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

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