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

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