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 Decision Version of Fastfood

Class Tree	[Root]    Unclassified (3031)    Fastfood (266)    Decision Version of Fastfood (241)      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/95
Submitter	Martin Gebser
Compatible Encodings	checkdepots.dlv checkdepots.lparse fastfood_decision.gringo
Output Predicates	depot/2 restaurant/2
Instances 161 - 180 of 221	a7.3.1.tweaked.3.asp     a7.3.1.tweaked.5.asp     a7.3.10.asp     a7.3.10.tweaked.4.asp     a7.3.10.tweaked.5.asp     a7.3.11.asp     a7.3.11.tweaked.4.asp     a7.3.11.tweaked.5.asp     a7.3.2.asp     a7.3.2.tweaked.2.asp     a7.3.2.tweaked.3.asp     a7.3.2.tweaked.4.asp     a7.3.2.tweaked.5.asp     a7.3.3.asp     a7.3.3.tweaked.2.asp     a7.3.3.tweaked.3.asp     a7.3.3.tweaked.5.asp     a7.3.4.asp     a7.3.4.tweaked.4.asp     a7.3.4.tweaked.5.asp    un-/mark all