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