ersatz-0.2: data/dimacs/parity/par8-3-c.cnf
c FILE: par8-3-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:33 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
-35 -34 -32
0
35 34 -32
0
-35 34 32
0
35 -34 32
0
-37 -36 -34
0
37 36 -34
0
-37 36 34
0
37 -36 34
0
-38 -36 -27
0
38 -36 27
0
38 36 -27
0
-38 36 27
0
-40 -38 39
0
40 -38 -39
0
-40 38 -39
0
40 38 39
0
-37 -41 -5
0
37 41 -5
0
-37 41 5
0
37 -41 5
0
-43 -42 -41
0
43 42 -41
0
-43 42 41
0
43 -42 41
0
-44 -42 -27
0
44 -42 27
0
44 42 -27
0
-44 42 27
0
-40 -44 39
0
40 -44 -39
0
-40 44 -39
0
40 44 39
0
-33 -45 -7
0
33 45 -7
0
-33 45 7
0
33 -45 7
0
-47 -46 -45
0
47 46 -45
0
-47 46 45
0
47 -46 45
0
-35 -46 40
0
35 -46 -40
0
-35 46 -40
0
35 46 40
0
-37 -48 -9
0
37 48 -9
0
-37 48 9
0
37 -48 9
0
-49 -48 -27
0
49 -48 27
0
49 48 -27
0
-49 48 27
0
-40 -49 39
0
40 -49 -39
0
-40 49 -39
0
40 49 39
0
-35 -50 -11
0
35 50 -11
0
-35 50 11
0
35 -50 11
0
-37 -51 -50
0
37 51 -50
0
-37 51 50
0
37 -51 50
0
-43 -52 -51
0
43 52 -51
0
-43 52 51
0
43 -52 51
0
-52 -27 39
0
-52 27 -39
0
52 -27 -39
0
52 27 39
0
-47 -53 -13
0
47 53 -13
0
-47 53 13
0
47 -53 13
0
-43 -54 -53
0
43 54 -53
0
-43 54 53
0
43 -54 53
0
-54 -40 -27
0
-54 40 27
0
54 40 -27
0
54 -40 27
0
-47 -55 -15
0
47 55 -15
0
-47 55 15
0
47 -55 15
0
-35 -56 -55
0
35 56 -55
0
-35 56 55
0
35 -56 55
0
-37 -57 -56
0
37 57 -56
0
-37 57 56
0
37 -57 56
0
-43 -58 -57
0
43 58 -57
0
-43 58 57
0
43 -58 57
0
-58 -40 -27
0
-58 40 27
0
58 40 -27
0
58 -40 27
0
-33 -59 -17
0
33 59 -17
0
-33 59 17
0
33 -59 17
0
-35 -59 43
0
35 -59 -43
0
-35 59 -43
0
35 59 43
0
-33 -60 -19
0
33 60 -19
0
-33 60 19
0
33 -60 19
0
-35 -61 -60
0
35 61 -60
0
-35 61 60
0
35 -61 60
0
-37 -62 -61
0
37 62 -61
0
-37 62 61
0
37 -62 61
0
-43 -62 -27
0
43 -62 27
0
-43 62 27
0
43 62 -27
0
-33 -63 -21
0
33 63 -21
0
-33 63 21
0
33 -63 21
0
-47 -64 -63
0
47 64 -63
0
-47 64 63
0
47 -64 63
0
-35 -65 -64
0
35 65 -64
0
-35 65 64
0
35 -65 64
0
-37 -66 -65
0
37 66 -65
0
-37 66 65
0
37 -66 65
0
-39 -66 -27
0
39 -66 27
0
39 66 -27
0
-39 66 27
0
-35 -67 -23
0
35 67 -23
0
-35 67 23
0
35 -67 23
0
-37 -67 -27
0
37 -67 27
0
-37 67 27
0
37 67 -27
0
-35 -68 -25
0
35 68 -25
0
-35 68 25
0
35 -68 25
0
-43 -69 -68
0
43 69 -68
0
-43 69 68
0
43 -69 68
0
-40 -69 39
0
40 -69 -39
0
-40 69 -39
0
40 69 39
0
-47 -70 -29
0
47 70 -29
0
-47 70 29
0
47 -70 29
0
-35 -71 -70
0
35 71 -70
0
-35 71 70
0
35 -71 70
0
-43 -71 40
0
43 -71 -40
0
-43 71 -40
0
43 71 40
0
-47 -72 -31
0
47 72 -31
0
-47 72 31
0
47 -72 31
0
-37 -72 39
0
37 -72 -39
0
-37 72 -39
0
37 72 39
0
-47 -73 -30
0
47 73 -30
0
-47 73 30
0
47 -73 30
0
-35 -74 -73
0
35 74 -73
0
-35 74 73
0
35 -74 73
0
-37 -75 -74
0
37 75 -74
0
-37 75 74
0
37 -75 74
0
-43 -75 -39
0
43 -75 39
0
-43 75 39
0
43 75 -39
0