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 Hydraulic Planning

Class Tree	[Root]    Planning (2188)    Hydraulic System (2188)    Hydraulic Planning (33)      Model and Solve Track 3D ASP Competition (13)      Training Instances 3D ASP Competition (5)
Description	See http://asp.haiti.cs.uni-potsdam.de/encodingclass/show/id/98
Submitter	Martin Gebser
Compatible Encodings	hydraulic-planning_decision.gringo hydraulic-planning_decision.iclingo
Output Predicates	full/1 goal/1 jet/1 junction/1 link/3 numValves/1 stuck/1 tank/1 valve/1
Instances 1 - 15 of 15	cg01-planning.pl.txt     cg02-planning.pl.txt     cg03-planning.pl.txt     cg11-planning.pl.txt     cg12-planning.pl.txt     cg13-planning.pl.txt     cg21-planning.pl.txt     cg22-planning.pl.txt     cg23-planning.pl.txt     cg31-planning.pl.txt     cg32-planning.pl.txt     cg33-planning.pl.txt     cg61-planning.pl.txt     cg62-planning.pl.txt     cg63-planning.pl.txt    un-/mark all