ersatz-0.2: data/dimacs/parity/par8-5-c.cnf
c FILE: par8-5-c.cnf
c
c SOURCE: James Crawford (jc@research.att.com)
c
c DESCRIPTION: Instance arises from the problem of learning the parity
c function.
c
c parxx-y denotes a parity problem on xx bits. y is simply the
c intance number.
c
c parxx-y-c denotes an instance identical to parxx-y except that
c the instances have been simplified (to create an equivalent
c problem).
c
c NOTE: Satisfiable (checked for 8 and 16 size instances. All
c instances are satisfiable by construction)
c
c NOTE: Number of clauses corrected August 3, 1993
c
c Converted from tableau format Tue Aug 3 09:55:47 EDT 1993
p cnf 75 298
-2 1
0
-3 -2
0
-3 -2 -1
0
3 2 -1
0
-3 2 1
0
3 -2 1
0
-4 2
0
-5 -4
0
-5 -4 -2
0
5 4 -2
0
-5 4 2
0
5 -4 2
0
-6 4
0
-7 -6
0
-7 -6 -4
0
7 6 -4
0
-7 6 4
0
7 -6 4
0
-8 6
0
-9 -8
0
-9 -8 -6
0
9 8 -6
0
-9 8 6
0
9 -8 6
0
-10 8
0
-11 -10
0
-11 -10 -8
0
11 10 -8
0
-11 10 8
0
11 -10 8
0
-12 10
0
-13 -12
0
-13 -12 -10
0
13 12 -10
0
-13 12 10
0
13 -12 10
0
-14 12
0
-15 -14
0
-15 -14 -12
0
15 14 -12
0
-15 14 12
0
15 -14 12
0
-16 14
0
-17 -16
0
-17 -16 -14
0
17 16 -14
0
-17 16 14
0
17 -16 14
0
-18 16
0
-19 -18
0
-19 -18 -16
0
19 18 -16
0
-19 18 16
0
19 -18 16
0
-20 18
0
-21 -20
0
-21 -20 -18
0
21 20 -18
0
-21 20 18
0
21 -20 18
0
-22 20
0
-23 -22
0
-23 -22 -20
0
23 22 -20
0
-23 22 20
0
23 -22 20
0
-24 22
0
-25 -24
0
-25 -24 -22
0
25 24 -22
0
-25 24 22
0
25 -24 22
0
-26 24
0
-27 -26
0
-27 -26 -24
0
27 26 -24
0
-27 26 24
0
27 -26 24
0
-28 26
0
-29 -28
0
-29 -28 -26
0
29 28 -26
0
-29 28 26
0
29 -28 26
0
28 -30
0
-31 -30
0
-31 -28 -30
0
31 -28 30
0
-31 28 30
0
31 28 -30
0
-33 -32 -3
0
33 32 -3
0
-33 32 3
0
33 -32 3
0
-34 -32 -29
0
34 -32 29
0
34 32 -29
0
-34 32 29
0
-36 -34 -35
0
36 -34 35
0
-36 34 35
0
36 34 -35
0
-38 -37 -5
0
38 37 -5
0
-38 37 5
0
38 -37 5
0
-40 -39 -37
0
40 39 -37
0
-40 39 37
0
40 -39 37
0
-42 -41 -39
0
42 41 -39
0
-42 41 39
0
42 -41 39
0
-33 -43 -41
0
33 43 -41
0
-33 43 41
0
33 -43 41
0
-43 -29 36
0
-43 29 -36
0
43 -29 -36
0
43 29 36
0
-38 -44 -7
0
38 44 -7
0
-38 44 7
0
38 -44 7
0
-46 -45 -44
0
46 45 -44
0
-46 45 44
0
46 -45 44
0
-40 -45 29
0
40 -45 -29
0
-40 45 -29
0
40 45 29
0
-38 -47 -9
0
38 47 -9
0
-38 47 9
0
38 -47 9
0
-46 -48 -47
0
46 48 -47
0
-46 48 47
0
46 -48 47
0
-40 -49 -48
0
40 49 -48
0
-40 49 48
0
40 -49 48
0
-42 -50 -49
0
42 50 -49
0
-42 50 49
0
42 -50 49
0
-33 -51 -50
0
33 51 -50
0
-33 51 50
0
33 -51 50
0
-51 -36 -29
0
-51 36 29
0
51 36 -29
0
51 -36 29
0
-38 -52 -11
0
38 52 -11
0
-38 52 11
0
38 -52 11
0
-46 -53 -52
0
46 53 -52
0
-46 53 52
0
46 -53 52
0
-33 -54 -53
0
33 54 -53
0
-33 54 53
0
33 -54 53
0
-54 -29 35
0
-54 29 -35
0
54 -29 -35
0
54 29 35
0
-38 -55 -13
0
38 55 -13
0
-38 55 13
0
38 -55 13
0
-46 -56 -55
0
46 56 -55
0
-46 56 55
0
46 -56 55
0
-40 -57 -56
0
40 57 -56
0
-40 57 56
0
40 -57 56
0
-42 -58 -57
0
42 58 -57
0
-42 58 57
0
42 -58 57
0
-35 -58 -29
0
35 -58 29
0
35 58 -29
0
-35 58 29
0
-46 -59 -15
0
46 59 -15
0
-46 59 15
0
46 -59 15
0
-40 -60 -59
0
40 60 -59
0
-40 60 59
0
40 -60 59
0
-61 -60 -29
0
61 -60 29
0
61 60 -29
0
-61 60 29
0
-36 -61 35
0
36 -61 -35
0
-36 61 -35
0
36 61 35
0
-46 -62 -17
0
46 62 -17
0
-46 62 17
0
46 -62 17
0
-40 -63 -62
0
40 63 -62
0
-40 63 62
0
40 -63 62
0
-64 -63 -29
0
64 -63 29
0
64 63 -29
0
-64 63 29
0
-36 -64 35
0
36 -64 -35
0
-36 64 -35
0
36 64 35
0
-38 -65 -19
0
38 65 -19
0
-38 65 19
0
38 -65 19
0
-42 -65 35
0
42 -65 -35
0
-42 65 -35
0
42 65 35
0
-38 -66 -21
0
38 66 -21
0
-38 66 21
0
38 -66 21
0
-46 -66 29
0
46 -66 -29
0
-46 66 -29
0
46 66 29
0
-46 -67 -23
0
46 67 -23
0
-46 67 23
0
46 -67 23
0
-42 -68 -67
0
42 68 -67
0
-42 68 67
0
42 -68 67
0
-35 -68 -29
0
35 -68 29
0
35 68 -29
0
-35 68 29
0
-35 -25 -29
0
35 -25 29
0
35 25 -29
0
-35 25 29
0
-38 -69 -27
0
38 69 -27
0
-38 69 27
0
38 -69 27
0
-46 -70 -69
0
46 70 -69
0
-46 70 69
0
46 -70 69
0
-42 -71 -70
0
42 71 -70
0
-42 71 70
0
42 -71 70
0
-72 -71 -29
0
72 -71 29
0
72 71 -29
0
-72 71 29
0
-36 -72 -35
0
36 -72 35
0
-36 72 35
0
36 72 -35
0
-40 -42 -31
0
40 42 -31
0
-40 42 31
0
40 -42 31
0
-40 -73 -30
0
40 73 -30
0
-40 73 30
0
40 -73 30
0
-42 -74 -73
0
42 74 -73
0
-42 74 73
0
42 -74 73
0
-33 -75 -74
0
33 75 -74
0
-33 75 74
0
33 -75 74
0
-75 -29 35
0
-75 29 -35
0
75 -29 -35
0
75 29 35
0