Please wait ...
Benchmark(s) have been added to cart.
Tag has been added.
Login
Links
FAQs
Contact
Actions
Tree Structure
Expand All
Collapse All
Model and Solve Track 3D ASP Competition
Add all to Cart
Pagination
#/Page:
Navigation
Instance
Show Instances
Problem
Show Problems
Show Tags
Search
Cart
Instance Class Model and Solve Track 3D ASP Competition
Class Tree
[Root]
Unclassified (3031)
Solitaire (15)
Model and Solve Track 3D ASP Competition
(10)
Description
Submitter
Barbara Nardi
Compatible Encodings
Output Predicates
Instances
1 - 10 of 10
 
08-solitaire-50-0.asp
 
16-solitaire-50-0.asp
 
17-solitaire-50-0.asp
 
2-solitaire-14-0.asp
 
24-solitaire-50-0.asp
 
25-solitaire-50-0.asp
 
26-solitaire-50-0.asp
 
3-solitaire-14-0.asp
 
4-solitaire-14-0.asp
 
6-solitaire-14-0.asp
un-/mark all