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]    Graphs (3030)    Generic (90)    ASP Contest 09 (Reachability) (29)      Model and Solve Track 3D ASP Competition (15)
Description
Submitter	Barbara Nardi
Compatible Encodings
Output Predicates
Instances 1 - 15 of 15	02-reachability-0-0.asp     03-reachability-0-0.asp     04-reachability-0-0.asp     05-reachability-0-0.asp     06-reachability-0-0.asp     07-reachability-0-0.asp     08-reachability-0-0.asp     09-reachability-0-0.asp     10-reachability-0-0.asp     11-reachability-0-0.asp     12-reachability-0-0.asp     13-reachability-0-0.asp     14-reachability-0-0.asp     15-reachability-0-0.asp     16-reachability-0-0.asp    un-/mark all