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 41 - 58 of 58	gryzzles.45.lp     gryzzles.46.lp     gryzzles.47.lp     gryzzles.48.lp     gryzzles.49.lp     gryzzles.5.lp     gryzzles.6.lp     gryzzles.7.lp     gryzzles.8.lp     gryzzles.9.lp     random.1.lp     random.2.lp     random.3.lp     random.4.lp     random.5.lp     random.6.lp     random.7.lp     random.8.lp    un-/mark all