hamiltonian_path_test_cases2.cnf

c, 1, h
p, u, 1, 0
v, 0
c, 1, h
p, u, 1, 0
v, 0
c, 1, h
p, u, 1, 0
v, 0
c, 1, h
p, u, 2, 1
v, 0, 1
e, 0, 1
c, 1, h
p, u, 2, 1
v, 0, 1
e, 0, 1
c, 1, h
p, u, 2, 1
v, 0, 1
e, 0, 1
c, 1, n
p, u, 3, 1
v, 0, 1, 2
e, 0, 1
c, 1, h
p, u, 3, 3
v, 0, 1, 2
e, 0, 1
e, 0, 2
e, 1, 2
c, 1, n
p, u, 3, 1
v, 0, 1, 2
e, 1, 2
c, 1, n
p, u, 4, 3
v, 0, 1, 2, 3
e, 1, 3
e, 1, 2
e, 2, 3
c, 1, n
p, u, 4, 2
v, 0, 1, 2, 3
e, 0, 3
e, 2, 3
c, 1, n
p, u, 4, 0
v, 0, 1, 2, 3
c, 1, n
p, u, 5, 2
v, 0, 1, 2, 3, 4
e, 1, 4
e, 2, 4
c, 1, n
p, u, 5, 2
v, 0, 1, 2, 3, 4
e, 0, 3
e, 2, 4
c, 1, h
p, u, 5, 7
v, 0, 1, 2, 3, 4
e, 0, 2
e, 0, 3
e, 0, 4
e, 0, 1
e, 1, 3
e, 2, 4
e, 3, 4
c, 1, n
p, u, 6, 0
v, 0, 1, 2, 3, 4, 5
c, 1, h
p, u, 6, 7
v, 0, 1, 2, 3, 4, 5
e, 0, 2
e, 0, 4
e, 1, 2
e, 1, 4
e, 1, 3
e, 1, 5
e, 4, 5
c, 1, h
p, u, 6, 9
v, 0, 1, 2, 3, 4, 5
e, 0, 2
e, 0, 5
e, 0, 3
e, 0, 4
e, 1, 2
e, 1, 3
e, 1, 4
e, 2, 5
e, 3, 4
c, 1, n
p, u, 7, 4
v, 0, 1, 2, 3, 4, 5, 6
e, 1, 2
e, 3, 5
e, 3, 6
e, 4, 5
c, 1, n
p, u, 7, 3
v, 0, 1, 2, 3, 4, 5, 6
e, 1, 5
e, 2, 3
e, 4, 5
c, 1, n
p, u, 7, 9
v, 0, 1, 2, 3, 4, 5, 6
e, 0, 5
e, 0, 3
e, 0, 4
e, 1, 6
e, 1, 5
e, 1, 3
e, 3, 4
e, 3, 5
e, 4, 5
c, 1, h
p, u, 8, 26
v, 0, 1, 2, 3, 4, 5, 6, 7
e, 0, 2
e, 0, 4
e, 0, 5
e, 0, 7
e, 0, 6
e, 0, 1
e, 1, 5
e, 1, 6
e, 1, 3
e, 1, 7
e, 1, 2
e, 2, 5
e, 2, 7
e, 2, 6
e, 2, 4
e, 2, 3
e, 3, 4
e, 3, 6
e, 3, 7
e, 3, 5
e, 4, 7
e, 4, 6
e, 4, 5
e, 5, 7
e, 5, 6
e, 6, 7
c, 1, h
p, u, 8, 9
v, 0, 1, 2, 3, 4, 5, 6, 7
e, 0, 7
e, 1, 6
e, 1, 3
e, 1, 5
e, 2, 4
e, 2, 3
e, 2, 6
e, 3, 4
e, 4, 7
c, 1, h
p, u, 8, 15
v, 0, 1, 2, 3, 4, 5, 6, 7
e, 0, 3
e, 0, 7
e, 0, 4
e, 0, 1
e, 1, 6
e, 2, 3
e, 2, 4
e, 3, 7
e, 3, 4
e, 3, 5
e, 4, 5
e, 4, 6
e, 4, 7
e, 5, 6
e, 6, 7
c, 1, n
p, u, 9, 8
v, 0, 1, 2, 3, 4, 5, 6, 7, 8
e, 0, 2
e, 0, 1
e, 0, 6
e, 1, 8
e, 2, 5
e, 2, 7
e, 3, 5
e, 5, 7
c, 1, h
p, u, 9, 32
v, 0, 1, 2, 3, 4, 5, 6, 7, 8
e, 0, 6
e, 0, 5
e, 0, 3
e, 0, 7
e, 0, 2
e, 0, 4
e, 0, 1
e, 1, 8
e, 1, 5
e, 1, 6
e, 1, 3
e, 1, 7
e, 1, 4
e, 2, 8
e, 2, 4
e, 2, 5
e, 2, 6
e, 2, 3
e, 2, 7
e, 3, 5
e, 3, 4
e, 3, 7
e, 3, 6
e, 4, 5
e, 4, 6
e, 4, 8
e, 5, 7
e, 5, 6
e, 5, 8
e, 6, 7
e, 6, 8
e, 7, 8
c, 1, h
p, u, 9, 27
v, 0, 1, 2, 3, 4, 5, 6, 7, 8
e, 0, 4
e, 0, 8
e, 0, 1
e, 0, 3
e, 0, 2
e, 0, 7
e, 0, 5
e, 1, 6
e, 1, 8
e, 1, 3
e, 1, 5
e, 2, 3
e, 2, 5
e, 2, 8
e, 2, 7
e, 2, 6
e, 3, 5
e, 3, 6
e, 3, 4
e, 3, 7
e, 3, 8
e, 4, 6
e, 4, 7
e, 4, 8
e, 5, 6
e, 6, 8
e, 7, 8
c, 1, h
p, u, 10, 22
v, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9
e, 0, 2
e, 0, 9
e, 0, 6
e, 0, 4
e, 0, 8
e, 1, 8
e, 1, 5
e, 1, 7
e, 2, 7
e, 2, 8
e, 2, 6
e, 3, 9
e, 3, 5
e, 3, 6
e, 4, 7
e, 4, 6
e, 4, 5
e, 4, 8
e, 5, 7
e, 5, 8
e, 6, 8
e, 7, 8
c, 1, n
p, u, 10, 8
v, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9
e, 0, 4
e, 0, 3
e, 2, 4
e, 2, 9
e, 3, 6
e, 3, 5
e, 4, 9
e, 6, 9
c, 1, h
p, u, 10, 26
v, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9
e, 0, 2
e, 0, 5
e, 0, 3
e, 1, 4
e, 1, 7
e, 1, 8
e, 1, 3
e, 2, 4
e, 2, 8
e, 2, 3
e, 2, 6
e, 2, 5
e, 2, 7
e, 3, 5
e, 3, 7
e, 3, 8
e, 3, 9
e, 4, 7
e, 4, 6
e, 4, 5
e, 5, 6
e, 5, 9
e, 6, 8
e, 6, 7
e, 7, 9
e, 7, 8
c, 1, n
p, u, 11, 11
v, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10
e, 1, 8
e, 2, 3
e, 2, 7
e, 4, 5
e, 4, 6
e, 5, 8
e, 5, 10
e, 6, 10
e, 7, 10
e, 8, 9
e, 9, 10
c, 1, h
p, u, 11, 22
v, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10
e, 0, 9
e, 0, 6
e, 0, 3
e, 1, 8
e, 1, 7
e, 1, 10
e, 2, 5
e, 2, 3
e, 2, 8
e, 3, 10
e, 3, 5
e, 3, 9
e, 3, 7
e, 3, 4
e, 4, 5
e, 4, 7
e, 5, 6
e, 5, 7
e, 5, 10
e, 5, 9
e, 6, 7
e, 9, 10
c, 1, h
p, u, 11, 19
v, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10
e, 0, 5
e, 0, 8
e, 0, 2
e, 1, 9
e, 1, 6
e, 1, 5
e, 2, 10
e, 2, 5
e, 2, 6
e, 3, 5
e, 3, 7
e, 3, 6
e, 4, 6
e, 4, 10
e, 5, 9
e, 5, 6
e, 6, 7
e, 7, 8
e, 8, 9
c, 1, n
p, u, 12, 0
v, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11
c, 1, n
p, u, 12, 6
v, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11
e, 2, 6
e, 2, 11
e, 3, 7
e, 4, 8
e, 5, 7
e, 6, 11
c, 1, h
p, u, 12, 46
v, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11
e, 0, 10
e, 0, 3
e, 0, 2
e, 0, 5
e, 0, 8
e, 0, 1
e, 1, 7
e, 1, 2
e, 1, 8
e, 1, 6
e, 1, 3
e, 1, 5
e, 1, 10
e, 2, 10
e, 2, 6
e, 2, 8
e, 2, 7
e, 2, 9
e, 2, 4
e, 3, 10
e, 3, 7
e, 3, 11
e, 3, 9
e, 3, 6
e, 3, 8
e, 4, 9
e, 4, 11
e, 4, 8
e, 4, 5
e, 5, 11
e, 5, 6
e, 5, 10
e, 5, 8
e, 6, 7
e, 6, 10
e, 6, 9
e, 6, 11
e, 7, 9
e, 7, 8
e, 7, 11
e, 8, 9
e, 8, 11
e, 8, 10
e, 9, 10
e, 9, 11
e, 10, 11
c, 1, h
p, u, 13, 35
v, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12
e, 0, 7
e, 0, 5
e, 0, 2
e, 0, 3
e, 1, 5
e, 1, 11
e, 1, 12
e, 1, 8
e, 1, 4
e, 2, 6
e, 2, 5
e, 2, 4
e, 2, 10
e, 2, 11
e, 3, 11
e, 3, 10
e, 4, 11
e, 4, 6
e, 4, 9
e, 4, 5
e, 5, 7
e, 5, 10
e, 5, 12
e, 5, 11
e, 5, 8
e, 6, 12
e, 6, 8
e, 6, 9
e, 6, 7
e, 7, 12
e, 8, 9
e, 9, 11
e, 10, 11
e, 10, 12
e, 11, 12
c, 1, h
p, u, 13, 57
v, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12
e, 0, 9
e, 0, 11
e, 0, 7
e, 0, 2
e, 0, 12
e, 0, 8
e, 0, 6
e, 0, 10
e, 0, 4
e, 1, 5
e, 1, 12
e, 1, 7
e, 1, 3
e, 1, 8
e, 1, 11
e, 1, 2
e, 1, 10
e, 1, 9
e, 2, 6
e, 2, 12
e, 2, 10
e, 2, 7
e, 2, 4
e, 2, 8
e, 2, 3
e, 3, 12
e, 3, 4
e, 3, 5
e, 3, 8
e, 3, 7
e, 3, 6
e, 4, 9
e, 4, 6
e, 4, 10
e, 4, 8
e, 4, 12
e, 5, 12
e, 5, 8
e, 5, 7
e, 5, 11
e, 6, 10
e, 6, 11
e, 6, 12
e, 6, 9
e, 6, 8
e, 7, 10
e, 7, 8
e, 7, 11
e, 7, 9
e, 8, 11
e, 8, 10
e, 8, 9
e, 8, 12
e, 9, 12
e, 10, 11
e, 10, 12
e, 11, 12
c, 1, h
p, u, 13, 76
v, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12
e, 0, 7
e, 0, 8
e, 0, 9
e, 0, 6
e, 0, 12
e, 0, 2
e, 0, 1
e, 0, 10
e, 0, 11
e, 0, 5
e, 0, 4
e, 1, 5
e, 1, 8
e, 1, 9
e, 1, 3
e, 1, 2
e, 1, 10
e, 1, 7
e, 1, 4
e, 1, 12
e, 1, 6
e, 1, 11
e, 2, 11
e, 2, 5
e, 2, 4
e, 2, 12
e, 2, 8
e, 2, 10
e, 2, 6
e, 2, 9
e, 2, 3
e, 2, 7
e, 3, 12
e, 3, 7
e, 3, 6
e, 3, 5
e, 3, 8
e, 3, 11
e, 3, 4
e, 3, 10
e, 4, 10
e, 4, 12
e, 4, 5
e, 4, 7
e, 4, 8
e, 4, 11
e, 4, 6
e, 4, 9
e, 5, 11
e, 5, 10
e, 5, 12
e, 5, 7
e, 5, 9
e, 5, 8
e, 5, 6
e, 6, 12
e, 6, 10
e, 6, 9
e, 6, 7
e, 6, 8
e, 6, 11
e, 7, 12
e, 7, 8
e, 7, 10
e, 7, 9
e, 7, 11
e, 8, 12
e, 8, 9
e, 8, 11
e, 8, 10
e, 9, 12
e, 9, 10
e, 9, 11
e, 10, 12
e, 10, 11
e, 11, 12
c, 1, h
p, u, 14, 48
v, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13
e, 0, 13
e, 0, 6
e, 0, 11
e, 0, 3
e, 0, 7
e, 0, 5
e, 0, 1
e, 0, 9
e, 0, 8
e, 1, 2
e, 1, 7
e, 1, 4
e, 1, 10
e, 1, 8
e, 2, 13
e, 2, 12
e, 2, 7
e, 2, 9
e, 2, 6
e, 2, 8
e, 2, 4
e, 2, 5
e, 3, 9
e, 4, 7
e, 4, 11
e, 4, 13
e, 4, 6
e, 5, 7
e, 5, 13
e, 5, 11
e, 5, 8
e, 6, 7
e, 6, 10
e, 6, 8
e, 7, 13
e, 7, 10
e, 7, 11
e, 8, 9
e, 8, 10
e, 9, 12
e, 9, 13
e, 9, 11
e, 9, 10
e, 10, 12
e, 10, 13
e, 10, 11
e, 11, 13
e, 12, 13