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 StrategicCompanies

Class Tree	[Root]    Puzzles (806)    StrategicCompanies (60)      ASP Contest 09 (Strategic Companies) (5)      Model and Solve Track 3D ASP Competition (15)      Training Instances 3D ASP Competition (5)
Description
Submitter	Martin Gebser
Compatible Encodings
Output Predicates
Instances 1 - 20 of 35	x105.38     x115.3     x120.0     x125.45     x130.15     x135.11     x135.15     x135.2     x135.6     x150.2     x150.26     x155.0     x155.17     x155.3     x160.1     x160.15     x160.17     x160.19     x160.3     x160.6    un-/mark all