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 Instance Group 1

Class Tree	[Root]    Unclassified (3031)    SolitaireForward (68)      Instance Group 1 (27)
Description	The Solitaire instances in this group are defined via empty/2, full/2, and time/1.
Submitter	Martin Gebser
Compatible Encodings	solitaire_decision.gringo
Output Predicates	empty/2 full/2 time/1
Instances 21 - 27 of 27	solitaire-edge-time=26     solitaire-edge-time=27     solitaire-edge-time=28     solitaire-edge-time=29     solitaire-edge-time=30     solitaire-edge-time=31     solitaire-edge-time=32    un-/mark all