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 1 - 20 of 27	solitaire-asymmetric-time=24 solitaire-asymmetric-time=25 solitaire-asymmetric-time=26 solitaire-asymmetric-time=27 solitaire-asymmetric-time=28 solitaire-asymmetric-time=29 solitaire-asymmetric-time=30 solitaire-asymmetric-time=31 solitaire-asymmetric-time=32 solitaire-center-time=24 solitaire-center-time=25 solitaire-center-time=26 solitaire-center-time=27 solitaire-center-time=28 solitaire-center-time=29 solitaire-center-time=30 solitaire-center-time=31 solitaire-center-time=32 solitaire-edge-time=24 solitaire-edge-time=25 un-/mark all

Actions