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

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