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

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