Please wait ...

Benchmark(s) have been added to cart.

Tag has been added.

• Login
• Links
• FAQs
• Contact

Navigation

• Instance
  • Show Instances
• Problem
  • Show Problems
• Show Tags
• Search
• Cart

Instance Class Optimization Version of Fastfood

Class Tree	[Root]    Unclassified (3031)    Fastfood (266)    Optimization Version of Fastfood (25)      Model and Solve Track 3D ASP Competition (15)      Training Instances 3D ASP Competition (5)
Description	See http://asp.haiti.cs.uni-potsdam.de/encodingclass/show/id/96
Submitter	Martin Gebser
Compatible Encodings	fastfood_optimization.gringo
Output Predicates	number_depots/2 restaurant/2
Instances 1 - 5 of 5	a5.16.dl     a5.4.dl     a8.17.dl     a8.8.dl     a9.11.dl    un-/mark all