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 ASP Contest 09 (Knight's Tour)

Class Tree	[Root]    Unclassified (3031)    KnightsTour (190)      ASP Contest 09 (Knight's Tour) (10)
Description	The instances in this class have been supplied for the 2nd ASP competition.
Submitter	Martin Gebser
Compatible Encodings	knights-tour_decision.gringo
Output Predicates	givenmove/4 size/1
Instances 1 - 10 of 10	knightTour.in1     knightTour.in10     knightTour.in2     knightTour.in3     knightTour.in4     knightTour.in5     knightTour.in6     knightTour.in7     knightTour.in8     knightTour.in9    un-/mark all