aim-100-1_6-yes1-3.cnf

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