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