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 TowersOfHanoi

Class Tree	[Root]    Puzzles (806)    TowersOfHanoi (34)      Model and Solve Track 3D ASP Competition (15)      Training Instances 3D ASP Competition (5)
Description
Submitter	Martin Gebser
Compatible Encodings
Output Predicates
Instances 1 - 14 of 14	towers-hanoi.31_6     towers-hanoi.32_6     towers-hanoi.33_6     towers-hanoi.34_6     towers-hanoi.35_6     towers-hanoi.36_6     towers-hanoi.37_6     towers-hanoi.38_6     towers-hanoi.39_6     towers-hanoi.40_6     towers-hanoi.41_6     towers-hanoi.42_6     towers-hanoi.43_6     towers-hanoi.44_6    un-/mark all