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 Planning

Class Tree	[Root]    Planning (2188)    BlocksWorld    Hydraulic System (2188)    Hydraulic Leaking (26)      Model and Solve Track 3D ASP Competition (15)      Training Instances 3D ASP Competition (5)      Hydraulic Planning (33)      Model and Solve Track 3D ASP Competition (13)      Training Instances 3D ASP Competition (5)      Hydraulic Timed Planning (2129)      instances-auto (520)      ins (105)      ins-3-2 (73)      ins-4 (94)      ins-8 (86)      ins-ckt (94)      ins-ckt-4 (67)      instances-manual (7)      instances-monica (1601)      ins-10-0 (200)      ins-10-3 (200)      ins-10-5 (200)      ins-10-7 (200)      ins-3-0 (200)      ins-3-0    ins-3-2    ins-5-0    ins-5-3 (200)      ins-8-0 (200)      ins-8-5 (200)
Description
Submitter	Martin Gebser
Compatible Encodings
Output Predicates
Instances 0