aim-100-1_6-no-4.cnf

c FILE: aim-100-1_6-no-4.cnf
c
c SOURCE: Kazuo Iwama, Eiji Miyano (miyano@cscu.kyushu-u.ac.jp),
c          and Yuichi Asahiro
c
c DESCRIPTION: Artifical instances from generator by source.  Generators
c              and more information in sat/contributed/iwama.
c
c NOTE: Not Satisfiable
c
p cnf 100 160
50 62 92 0
50 55 -92 0
-55 62 -92 0
-50 62 80 0
-80 83 99 0
-50 -80 -99 0
10 45 -62 0
-10 53 -62 0
45 -53 83 0
-45 58 83 0
-45 48 -58 0
-83 92 93 0
48 -83 -93 0
48 -83 -92 0
14 53 54 0
8 14 -53 0
8 -14 54 0
-8 41 -48 0
-41 57 74 0
-8 -57 74 0
11 -41 -74 0
-8 -41 -74 0
6 36 66 0
6 -36 66 0
-6 52 73 0
-6 66 -73 0
32 39 87 0
39 78 -87 0
32 -39 -54 0
-32 -66 81 0
-32 -54 -81 0
17 23 -78 0
-23 29 52 0
-29 52 61 0
-29 -61 -78 0
5 -17 52 0
-5 -17 -78 0
51 -52 98 0
-48 -51 98 0
2 -52 -98 0
-2 70 -98 0
58 -70 75 0
33 75 90 0
33 35 -90 0
-33 -58 -70 0
-2 73 -75 0
35 -73 96 0
-73 -75 -96 0
-35 -70 -98 0
26 72 95 0
72 79 95 0
1 26 -28 0
-26 -28 87 0
-26 -28 -87 0
7 37 -38 0
-1 27 67 0
31 71 -94 0
-18 -31 71 0
-13 34 -94 0
3 6 -67 0
-3 -67 -79 0
15 17 55 0
5 -55 93 0
-5 15 -55 0
-23 64 86 0
-1 -22 80 0
36 41 -53 0
-22 46 -51 0
-11 -65 -81 0
18 -21 -27 0
-11 -21 -27 0
26 -35 40 0
-12 49 -95 0
-12 -49 -95 0
28 57 61 0
28 -57 -65 0
-4 -57 69 0
5 -25 77 0
-47 57 -79 0
34 -38 -76 0
11 -68 -71 0
30 65 85 0
-30 69 85 0
56 -69 77 0
-56 65 -69 0
40 64 -88 0
3 -19 -89 0
-3 -31 -89 0
10 -42 43 0
18 24 31 0
-18 34 -39 0
24 -34 -39 0
25 -30 71 0
-49 79 90 0
22 -37 40 0
-10 56 94 0
43 46 -61 0
-9 -14 20 0
26 59 65 0
-19 26 -59 0
4 9 -68 0
-9 -40 -93 0
-46 49 56 0
-36 57 76 0
-1 82 97 0
82 -96 97 0
4 18 82 0
-59 67 68 0
-17 30 -91 0
1 28 29 0
30 -60 -72 0
-4 12 81 0
-10 19 -79 0
-47 81 100 0
47 -90 0
44 -56 91 0
13 -44 88 0
-64 -85 -99 0
9 44 -100 0
-4 68 -88 0
-20 33 38 0
2 27 89 0
21 -57 -60 0
-37 -79 99 0
78 88 96 0
-56 -77 -82 0
-16 -44 -91 0
-16 29 -84 0
-66 -71 -86 0
-25 88 -97 0
7 -59 -82 0
-28 42 -63 0
-42 -71 -76 0
-20 -24 -56 0
-15 59 0
-46 60 84 0
-33 -34 73 0
-49 60 63 0
47 76 -88 0
-24 -90 91 0
-44 -72 100 0
12 20 21 0
-3 -13 16 0
16 63 -64 0
42 -97 -100 0
-5 -7 -84 0
38 51 84 0
-43 -87 -88 0
25 -63 86 0
-32 59 -77 0
13 23 -86 0
22 -44 65 0
-34 37 -99 0
-15 30 -40 0
-16 38 86 0
32 -43 89 0
19 -43 -46 0
46 -74 -82 0
38 -85 94 0
-7 -64 70 0