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 Model and Solve Track 3D ASP Competition

Class Tree	[Root]    Unclassified (3031)    Fastfood (266)    Optimization Version of Fastfood (25)      Model and Solve Track 3D ASP Competition (15)
Description
Submitter	Barbara Nardi
Compatible Encodings
Output Predicates
Instances 1 - 15 of 15	10-fastfood_optimization-910-0.asp     14-fastfood_optimization-910-0.asp     17-fastfood_optimization-910-0.asp     19-fastfood_optimization-910-0.asp     22-fastfood_optimization-910-0.asp     26-fastfood_optimization-910-0.asp     30-fastfood_optimization-910-0.asp     32-fastfood_optimization-910-0.asp     38-fastfood_optimization-910-0.asp     41-fastfood_optimization-910-0.asp     45-fastfood_optimization-910-0.asp     51-fastfood_optimization-910-0.asp     54-fastfood_optimization-910-0.asp     57-fastfood_optimization-910-0.asp     59-fastfood_optimization-910-0.asp    un-/mark all