ii8a1.cnf

c Filename:  ii8a1.sat
c
c Source: Mauricio Resende (AT&T Bell Labs)  (mgcr@gauss.att.com)
c
c Reference: "A continuous approach to inductive inference" by
c Kamath, Karmarkar, Ramakrishnan, and Resende (Math Prog 57,
c 215--238) (1992).
c
c Note: Instance is satisfiable
c
p cnf 66 186
 1 2
 0 
 3 4
 0 
 5 6
 0 
 7 8
 0 
 9 10
 0 
 11 12
 0 
 13 14
 0 
 15 16
 0 
 17 18
 0 
 19 20
 0 
 21 22
 0 
 23 24
 0 
 25 26
 0 
 27 28
 0 
 29 30
 0 
 31 32
 0 
 33 34
 0 
 35 36
 0 
 37 38
 0 
 39 40
 0 
 41 42
 0 
 43 44
 0 
 45 46
 0 
 47 48
 0 
 -2 -3 -6 -8 -9 -12
 -14 -16
 0 
 -18 -19 -22 -24 -25 -28
 -30 -32
 0 
 -34 -35 -38 -40 -41 -44
 -46 -48
 0 
 -1 -4 -6 -7 -10 -11
 -13 -16
 0 
 -17 -20 -22 -23 -26 -27
 -29 -32
 0 
 -33 -36 -38 -39 -42 -43
 -45 -48
 0 
 -2 -3 -6 -8 -9 -11
 -14 -15
 0 
 -18 -19 -22 -24 -25 -27
 -30 -31
 0 
 -34 -35 -38 -40 -41 -43
 -46 -47
 0 
 -1 -3 -5 -7 -9 -12
 -13 -15
 0 
 -17 -19 -21 -23 -25 -28
 -29 -31
 0 
 -33 -35 -37 -39 -41 -44
 -45 -47
 0 
 1 -49
 0 
 3 -49
 0 
 5 -49
 0 
 8 -49
 0 
 10 -49
 0 
 11 -49
 0 
 13 -49
 0 
 15 -49
 0 
 17 -50
 0 
 19 -50
 0 
 21 -50
 0 
 24 -50
 0 
 26 -50
 0 
 27 -50
 0 
 29 -50
 0 
 31 -50
 0 
 33 -51
 0 
 35 -51
 0 
 37 -51
 0 
 40 -51
 0 
 42 -51
 0 
 43 -51
 0 
 45 -51
 0 
 47 -51
 0 
 2 -52
 0 
 3 -52
 0 
 6 -52
 0 
 8 -52
 0 
 9 -52
 0 
 12 -52
 0 
 13 -52
 0 
 16 -52
 0 
 18 -53
 0 
 19 -53
 0 
 22 -53
 0 
 24 -53
 0 
 25 -53
 0 
 28 -53
 0 
 29 -53
 0 
 32 -53
 0 
 34 -54
 0 
 35 -54
 0 
 38 -54
 0 
 40 -54
 0 
 41 -54
 0 
 44 -54
 0 
 45 -54
 0 
 48 -54
 0 
 2 -55
 0 
 4 -55
 0 
 5 -55
 0 
 8 -55
 0 
 10 -55
 0 
 11 -55
 0 
 13 -55
 0 
 16 -55
 0 
 18 -56
 0 
 20 -56
 0 
 21 -56
 0 
 24 -56
 0 
 26 -56
 0 
 27 -56
 0 
 29 -56
 0 
 32 -56
 0 
 34 -57
 0 
 36 -57
 0 
 37 -57
 0 
 40 -57
 0 
 42 -57
 0 
 43 -57
 0 
 45 -57
 0 
 48 -57
 0 
 2 -58
 0 
 4 -58
 0 
 5 -58
 0 
 7 -58
 0 
 9 -58
 0 
 11 -58
 0 
 14 -58
 0 
 15 -58
 0 
 18 -59
 0 
 20 -59
 0 
 21 -59
 0 
 23 -59
 0 
 25 -59
 0 
 27 -59
 0 
 30 -59
 0 
 31 -59
 0 
 34 -60
 0 
 36 -60
 0 
 37 -60
 0 
 39 -60
 0 
 41 -60
 0 
 43 -60
 0 
 46 -60
 0 
 47 -60
 0 
 1 -61
 0 
 3 -61
 0 
 5 -61
 0 
 8 -61
 0 
 9 -61
 0 
 11 -61
 0 
 13 -61
 0 
 16 -61
 0 
 17 -62
 0 
 19 -62
 0 
 21 -62
 0 
 24 -62
 0 
 25 -62
 0 
 27 -62
 0 
 29 -62
 0 
 32 -62
 0 
 33 -63
 0 
 35 -63
 0 
 37 -63
 0 
 40 -63
 0 
 41 -63
 0 
 43 -63
 0 
 45 -63
 0 
 48 -63
 0 
 1 -64
 0 
 4 -64
 0 
 5 -64
 0 
 8 -64
 0 
 10 -64
 0 
 12 -64
 0 
 14 -64
 0 
 16 -64
 0 
 17 -65
 0 
 20 -65
 0 
 21 -65
 0 
 24 -65
 0 
 26 -65
 0 
 28 -65
 0 
 30 -65
 0 
 32 -65
 0 
 33 -66
 0 
 36 -66
 0 
 37 -66
 0 
 40 -66
 0 
 42 -66
 0 
 44 -66
 0 
 46 -66
 0 
 48 -66
 0 
 49 50 51
 0 
 52 53 54
 0 
 55 56 57
 0 
 58 59 60
 0 
 61 62 63
 0 
 64 65 66
 0