puresat-0.1: dimacs/dubois/dubois27.cnf
c FILE: dubois27.cnf
c
c SOURCE: Olivier Dubois (dubois@laforia.ibp.fr)
c
c DESCRIPTION: Instance from generator gensathard.c
c
c NOTE: Not satisfiable
c
c d = 27
c n = 81
c p = 216
c r = 3
p cnf 81 216
53 54 1 0
-53 -54 1 0
53 -54 -1 0
-53 54 -1 0
1 55 2 0
-1 -55 2 0
1 -55 -2 0
-1 55 -2 0
2 56 3 0
-2 -56 3 0
2 -56 -3 0
-2 56 -3 0
3 57 4 0
-3 -57 4 0
3 -57 -4 0
-3 57 -4 0
4 58 5 0
-4 -58 5 0
4 -58 -5 0
-4 58 -5 0
5 59 6 0
-5 -59 6 0
5 -59 -6 0
-5 59 -6 0
6 60 7 0
-6 -60 7 0
6 -60 -7 0
-6 60 -7 0
7 61 8 0
-7 -61 8 0
7 -61 -8 0
-7 61 -8 0
8 62 9 0
-8 -62 9 0
8 -62 -9 0
-8 62 -9 0
9 63 10 0
-9 -63 10 0
9 -63 -10 0
-9 63 -10 0
10 64 11 0
-10 -64 11 0
10 -64 -11 0
-10 64 -11 0
11 65 12 0
-11 -65 12 0
11 -65 -12 0
-11 65 -12 0
12 66 13 0
-12 -66 13 0
12 -66 -13 0
-12 66 -13 0
13 67 14 0
-13 -67 14 0
13 -67 -14 0
-13 67 -14 0
14 68 15 0
-14 -68 15 0
14 -68 -15 0
-14 68 -15 0
15 69 16 0
-15 -69 16 0
15 -69 -16 0
-15 69 -16 0
16 70 17 0
-16 -70 17 0
16 -70 -17 0
-16 70 -17 0
17 71 18 0
-17 -71 18 0
17 -71 -18 0
-17 71 -18 0
18 72 19 0
-18 -72 19 0
18 -72 -19 0
-18 72 -19 0
19 73 20 0
-19 -73 20 0
19 -73 -20 0
-19 73 -20 0
20 74 21 0
-20 -74 21 0
20 -74 -21 0
-20 74 -21 0
21 75 22 0
-21 -75 22 0
21 -75 -22 0
-21 75 -22 0
22 76 23 0
-22 -76 23 0
22 -76 -23 0
-22 76 -23 0
23 77 24 0
-23 -77 24 0
23 -77 -24 0
-23 77 -24 0
24 78 25 0
-24 -78 25 0
24 -78 -25 0
-24 78 -25 0
25 79 26 0
-25 -79 26 0
25 -79 -26 0
-25 79 -26 0
26 80 81 0
-26 -80 81 0
26 -80 -81 0
-26 80 -81 0
27 80 81 0
-27 -80 81 0
27 -80 -81 0
-27 80 -81 0
28 79 27 0
-28 -79 27 0
28 -79 -27 0
-28 79 -27 0
29 78 28 0
-29 -78 28 0
29 -78 -28 0
-29 78 -28 0
30 77 29 0
-30 -77 29 0
30 -77 -29 0
-30 77 -29 0
31 76 30 0
-31 -76 30 0
31 -76 -30 0
-31 76 -30 0
32 75 31 0
-32 -75 31 0
32 -75 -31 0
-32 75 -31 0
33 74 32 0
-33 -74 32 0
33 -74 -32 0
-33 74 -32 0
34 73 33 0
-34 -73 33 0
34 -73 -33 0
-34 73 -33 0
35 72 34 0
-35 -72 34 0
35 -72 -34 0
-35 72 -34 0
36 71 35 0
-36 -71 35 0
36 -71 -35 0
-36 71 -35 0
37 70 36 0
-37 -70 36 0
37 -70 -36 0
-37 70 -36 0
38 69 37 0
-38 -69 37 0
38 -69 -37 0
-38 69 -37 0
39 68 38 0
-39 -68 38 0
39 -68 -38 0
-39 68 -38 0
40 67 39 0
-40 -67 39 0
40 -67 -39 0
-40 67 -39 0
41 66 40 0
-41 -66 40 0
41 -66 -40 0
-41 66 -40 0
42 65 41 0
-42 -65 41 0
42 -65 -41 0
-42 65 -41 0
43 64 42 0
-43 -64 42 0
43 -64 -42 0
-43 64 -42 0
44 63 43 0
-44 -63 43 0
44 -63 -43 0
-44 63 -43 0
45 62 44 0
-45 -62 44 0
45 -62 -44 0
-45 62 -44 0
46 61 45 0
-46 -61 45 0
46 -61 -45 0
-46 61 -45 0
47 60 46 0
-47 -60 46 0
47 -60 -46 0
-47 60 -46 0
48 59 47 0
-48 -59 47 0
48 -59 -47 0
-48 59 -47 0
49 58 48 0
-49 -58 48 0
49 -58 -48 0
-49 58 -48 0
50 57 49 0
-50 -57 49 0
50 -57 -49 0
-50 57 -49 0
51 56 50 0
-51 -56 50 0
51 -56 -50 0
-51 56 -50 0
52 55 51 0
-52 -55 51 0
52 -55 -51 0
-52 55 -51 0
53 54 -52 0
-53 -54 -52 0
53 -54 52 0
-53 54 52 0