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