aim-100-2_0-no-1.cnf

c FILE: aim-100-2_0-no-1.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 200
6 55 66 0
6 62 -66 0
-62 -66 68 0
6 8 -55 0
8 58 70 0
-6 58 -70 0
-6 33 -58 0
-6 8 -33 0
-8 61 68 0
-8 -61 68 0
35 42 51 0
30 -42 51 0
30 -51 75 0
20 -51 -75 0
-20 -51 -75 0
-30 35 -68 0
34 -35 46 0
-35 46 86 0
-34 46 -68 0
-35 -46 -68 0
-31 42 91 0
-7 20 85 0
-20 -24 -42 0
18 -85 91 0
-18 -24 -31 0
-24 -31 -91 0
-17 32 60 0
-17 39 -60 0
36 50 56 0
-50 56 91 0
-44 52 -54 0
-52 53 -54 0
71 79 -97 0
9 71 -79 0
-8 34 -71 0
34 -71 95 0
-56 85 -95 0
-71 -85 -95 0
-18 -56 87 0
-52 -56 87 0
-7 -76 -93 0
3 9 86 0
3 -86 -96 0
3 12 67 0
-9 -40 67 0
-9 13 -67 0
-9 -67 -88 0
-3 13 -96 0
2 12 27 0
-33 36 -74 0
-13 -29 -41 0
11 52 -98 0
-50 90 92 0
-26 -47 -77 0
5 42 -93 0
28 36 -42 0
5 28 -36 0
-28 45 -73 0
5 -45 -73 0
7 25 -86 0
-25 37 -86 0
19 -25 -37 0
7 -19 41 0
12 -34 -47 0
-12 -34 -47 0
-13 -60 93 0
19 -94 98 0
92 -94 -98 0
67 -92 -98 0
1 26 55 0
26 -53 55 0
18 -29 31 0
-1 69 94 0
23 69 -93 0
-1 -23 69 0
-19 29 43 0
33 37 62 0
-20 -33 62 0
-18 39 65 0
45 51 -53 0
-1 11 -28 0
18 33 84 0
-14 -52 84 0
7 -40 -53 0
-7 -17 -40 0
-19 65 72 0
-63 77 -85 0
27 -63 -77 0
-4 64 94 0
22 -82 99 0
-11 41 -99 0
-11 85 -99 0
4 -65 -87 0
17 37 100 0
25 -37 100 0
17 -25 -37 0
83 -89 -100 0
15 17 -89 0
-15 -83 -100 0
-39 -74 -90 0
19 -26 40 0
41 -70 -99 0
-26 -41 -70 0
-28 59 -62 0
4 78 90 0
4 21 78 0
39 -49 63 0
-39 -49 -95 0
48 -54 65 0
60 82 98 0
49 -74 97 0
-21 49 -97 0
-79 87 -88 0
21 45 -75 0
16 -84 -89 0
-21 -46 63 0
14 16 -81 0
-14 -81 -87 0
-66 -67 -83 0
-80 81 100 0
2 -29 99 0
-2 -39 99 0
-44 -64 -90 0
-13 14 23 0
-10 -45 -91 0
10 40 73 0
40 -73 -76 0
22 -76 78 0
21 -32 -57 0
-38 -64 86 0
-12 -15 54 0
-12 47 -69 0
47 -69 -82 0
-22 -23 32 0
-22 -23 -78 0
-10 20 -50 0
-5 10 84 0
23 -92 97 0
-69 72 -78 0
1 11 -80 0
-2 27 50 0
-57 -61 -79 0
43 76 -90 0
-22 -49 -92 0
26 43 -60 0
-10 50 98 0
10 -30 59 0
-55 -72 -100 0
-41 53 -78 0
38 -65 94 0
38 -65 -94 0
29 -55 61 0
-46 -48 59 0
53 73 90 0
1 -11 74 0
15 76 82 0
-27 -82 -97 0
-3 -36 -48 0
28 -32 80 0
9 -63 80 0
70 73 89 0
-80 -91 93 0
22 -64 77 0
66 72 -87 0
-36 83 88 0
24 -38 52 0
-43 81 -96 0
-59 -62 81 0
48 66 71 0
-2 48 63 0
29 -83 93 0
-16 25 -72 0
-27 57 -84 0
-5 77 88 0
-5 -59 88 0
15 44 -45 0
13 -84 89 0
47 -48 83 0
-14 -44 54 0
-30 31 64 0
24 70 75 0
-15 -32 92 0
-16 -58 74 0
-4 54 -77 0
-43 57 60 0
-16 61 64 0
-59 79 95 0
-4 -61 -88 0
58 74 80 0
49 -58 82 0
16 44 -57 0
2 89 95 0
-3 -27 -81 0
24 75 79 0
44 96 97 0
31 -38 57 0
14 -43 -72 0
38 76 96 0
30 32 96 0
-21 35 56 0