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

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