cnf.dimacs 166 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
p cnf 15 17
5 0
-5 6 0
-5 7 0
-6 -1 -2 0
-7 8 0
-7 9 0
-8 -1 -3 0
-9 10 0
-9 11 0
-10 -1 -4 0
-11 12 0
-11 13 0
-12 -2 -3 0
-13 14 0
-13 15 0
-14 -2 -4 0
-15 -3 -4 0