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]    Grids (772)    Reverse Folding (20)    Model and Solve Track 3D ASP Competition (15)
Description
Submitter	Barbara Nardi
Compatible Encodings
Output Predicates
Instances 1 - 15 of 15	07-reverse_folding-0-0.asp     11-reverse_folding-0-0.asp     15-reverse_folding-0-0.asp     18-reverse_folding-0-0.asp     20-reverse_folding-0-0.asp     24-reverse_folding-0-0.asp     28-reverse_folding-0-0.asp     31-reverse_folding-0-0.asp     34-reverse_folding-0-0.asp     35-reverse_folding-0-0.asp     39-reverse_folding-0-0.asp     44-reverse_folding-0-0.asp     47-reverse_folding-0-0.asp     49-reverse_folding-0-0.asp     50-reverse_folding-0-0.asp    un-/mark all