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 HamiltonianPath

Class Tree	[Root]    Unclassified (3031)    HamiltonianPath (58)
Description	Instances of Hamiltonian Path problem
Submitter	Martin Gebser
Compatible Encodings	dlv encoding nlp encoding hampath_decision.gringo
Output Predicates	edge/2 start/1 vtx/1
Instances 1 - 20 of 58	gryzzles.0.lp     gryzzles.1.lp     gryzzles.10.lp     gryzzles.11.lp     gryzzles.12.lp     gryzzles.13.lp     gryzzles.14.lp     gryzzles.15.lp     gryzzles.16.lp     gryzzles.17.lp     gryzzles.18.lp     gryzzles.19.lp     gryzzles.2.lp     gryzzles.20.lp     gryzzles.21.lp     gryzzles.22.lp     gryzzles.23.lp     gryzzles.24.lp     gryzzles.25.lp     gryzzles.26.lp    un-/mark all