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 ASP Contest 09 (Reachability)

Class Tree	[Root]    Graphs (3030)    Generic (90)    ASP Contest 09 (Reachability) (29)      Model and Solve Track 3D ASP Competition (15)      Training Instances 3D ASP Competition (5)
Description	The graphs in this class have been supplied for the 2nd ASP competition.
Submitter	Martin Gebser
Compatible Encodings	reachability_decision.gringo reachability_decision.bingo
Output Predicates	edge/2 query/2
Instances 1 - 9 of 9	AC_1650_544170_20_E     AC_1850_684130_20_E     AC_2650_1403970_20_E     CG_1250_312250_20_E     CG_390_30342_20_E     CIL1_12100_110_E_I     CIL1_22500_150_E_I     testSAT.fac     testUNSAT.fac    un-/mark all