aim-200-2_0-no-4.cnf

c FILE: aim-200-2_0-no-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: Not Satisfiable
c
p cnf 200 400
59 72 155 0
-72 96 185 0
59 -96 155 0
57 58 -59 0
-57 -59 185 0
28 -58 185 0
28 76 140 0
-76 106 140 0
-76 -106 -185 0
24 81 175 0
44 81 -175 0
-19 44 81 0
24 28 -81 0
-24 51 158 0
-51 137 158 0
-24 137 -158 0
44 63 -137 0
-24 -63 -137 0
-44 58 -140 0
-44 -58 -185 0
-44 -169 -185 0
-28 140 155 0
73 -140 173 0
-28 -73 173 0
-28 137 167 0
-137 167 -173 0
-140 -167 -173 0
9 49 -155 0
9 -49 90 0
-49 -90 192 0
-9 107 192 0
106 -107 144 0
34 132 -144 0
-107 -132 -144 0
34 -35 80 0
-35 -80 106 0
-9 -34 65 0
-34 -61 65 0
-34 -65 -107 0
-106 169 192 0
-9 -106 -169 0
3 96 -192 0
-3 96 -192 0
-96 149 -192 0
45 -149 -155 0
-45 -149 194 0
-96 -155 194 0
-45 -149 -194 0
-133 150 -182 0
79 142 187 0
40 -142 174 0
-126 174 -187 0
34 79 -174 0
-42 79 -174 0
68 -79 145 0
88 182 193 0
-79 -88 193 0
40 -68 145 0
40 -68 -193 0
10 98 160 0
10 -98 -145 0
-10 -42 -145 0
92 -126 -145 0
-92 128 -160 0
-92 -126 -128 0
-13 84 -176 0
-13 20 -84 0
-20 61 171 0
61 -84 -171 0
-20 61 87 0
-20 30 87 0
-30 -61 87 0
59 -109 145 0
93 163 -177 0
-93 113 -177 0
141 168 181 0
168 175 181 0
-168 175 181 0
-57 71 -175 0
-40 -71 -175 0
39 116 -123 0
1 104 -152 0
1 -104 151 0
41 -135 154 0
41 176 196 0
41 -135 -176 0
102 156 157 0
22 102 -157 0
-102 156 187 0
12 22 -102 0
-12 -102 156 0
21 -159 200 0
-98 -159 200 0
21 146 -200 0
21 -146 -200 0
-21 43 -159 0
19 -43 127 0
-21 -43 -127 0
142 163 193 0
86 95 190 0
36 95 154 0
36 86 -154 0
-61 -121 188 0
-33 -55 94 0
3 -173 186 0
-3 -178 186 0
25 29 129 0
29 62 -129 0
-39 -168 183 0
67 -144 182 0
49 111 188 0
19 95 99 0
50 134 197 0
127 134 -178 0
-85 -133 -147 0
-30 62 -170 0
35 67 187 0
51 67 -184 0
35 -51 -187 0
-51 -101 -184 0
-54 73 107 0
-53 -141 150 0
-56 -69 130 0
-56 -69 -130 0
2 -7 100 0
-7 100 148 0
-100 148 153 0
-148 153 -186 0
20 22 -154 0
-22 -154 -186 0
-71 148 -163 0
-71 -148 -163 0
23 74 -118 0
74 -118 -150 0
1 -64 -190 0
-1 113 -190 0
31 -64 -113 0
-1 -31 -113 0
-1 -64 -67 0
23 149 -170 0
-8 -46 91 0
27 85 136 0
-49 -85 114 0
-85 -114 136 0
-53 74 -162 0
9 -25 -164 0
-68 90 104 0
143 -151 -182 0
-143 -151 -182 0
-5 -164 196 0
7 -17 42 0
-17 -42 128 0
48 -141 166 0
-47 48 -166 0
-33 -40 160 0
-33 -40 -65 0
48 -74 -132 0
151 167 174 0
-119 165 179 0
-119 -129 179 0
15 33 -127 0
-4 77 -82 0
-2 -77 -82 0
78 139 196 0
139 -147 -196 0
-11 -78 139 0
99 129 158 0
99 -134 -158 0
-99 129 -134 0
118 180 183 0
-26 118 -180 0
72 -118 183 0
-26 57 -75 0
-26 -75 -183 0
-147 -171 -178 0
-39 112 131 0
-39 -58 -112 0
-11 -67 119 0
84 177 198 0
-127 -134 184 0
108 -133 177 0
-101 108 -177 0
37 53 86 0
120 -183 -197 0
56 -94 138 0
56 -94 -138 0
64 89 -181 0
36 64 -89 0
-15 49 -195 0
-36 -97 182 0
-116 -122 195 0
20 -110 -172 0
7 165 188 0
-7 -121 165 0
65 105 172 0
-160 189 -190 0
6 -74 75 0
-23 26 -97 0
82 -108 154 0
16 157 -181 0
110 -157 -181 0
92 -98 -123 0
6 57 -158 0
6 -57 -74 0
151 189 -193 0
30 189 -193 0
69 -101 128 0
52 -124 -148 0
-121 131 -174 0
13 85 111 0
31 90 150 0
-13 31 -150 0
-21 -162 191 0
52 -56 77 0
-5 83 125 0
-167 170 -194 0
77 -167 -194 0
98 110 198 0
-2 -17 -19 0
-31 -41 -136 0
-4 16 146 0
-113 135 -146 0
75 -99 159 0
80 -168 190 0
7 -108 115 0
78 144 -198 0
78 -170 -198 0
-78 -84 -198 0
2 -53 199 0
58 -65 149 0
15 76 105 0
104 120 -164 0
43 51 -115 0
-111 142 -195 0
-48 -97 -189 0
-59 124 141 0
-6 25 -55 0
27 -197 200 0
27 138 179 0
-138 -197 -200 0
63 83 -156 0
37 161 -165 0
-8 -161 -165 0
-8 -37 127 0
-43 -111 169 0
15 92 132 0
54 -90 198 0
54 -79 -90 0
-31 110 114 0
-119 -176 -189 0
30 -41 -104 0
26 47 93 0
47 -55 -93 0
18 -123 162 0
-60 122 171 0
25 98 131 0
-62 -91 191 0
-62 -67 -91 0
-23 -48 143 0
-130 152 164 0
62 -152 164 0
-99 135 -179 0
-10 -72 178 0
-54 123 -125 0
8 -25 -30 0
26 -109 -115 0
11 -29 43 0
-29 47 -122 0
75 -87 93 0
-89 -132 -162 0
-15 45 162 0
38 45 64 0
147 -179 -183 0
14 -47 -131 0
-66 -120 135 0
88 103 -125 0
42 153 -157 0
73 -77 -93 0
38 133 147 0
-52 -151 160 0
-32 -92 136 0
94 -108 -199 0
-36 -91 194 0
-3 -69 -78 0
17 -35 161 0
39 69 105 0
63 82 -180 0
68 108 157 0
23 72 109 0
32 68 199 0
13 32 -199 0
3 -171 -195 0
-18 130 191 0
83 184 190 0
11 89 124 0
-11 84 89 0
-37 -83 113 0
-37 -83 -135 0
-6 100 119 0
14 -88 -143 0
-6 162 195 0
53 -110 117 0
-25 88 -104 0
46 -62 166 0
-60 -130 -165 0
-27 133 171 0
-48 124 180 0
32 39 -80 0
186 -188 199 0
38 -45 94 0
97 103 -152 0
66 118 121 0
-16 -114 147 0
117 -128 195 0
71 111 -156 0
-36 -83 -180 0
42 -111 169 0
55 -110 121 0
-16 159 163 0
12 18 180 0
-46 103 -146 0
12 107 -109 0
24 -86 -120 0
-23 -52 -66 0
71 82 -117 0
13 -70 166 0
-128 -161 -179 0
-15 -73 -156 0
55 -103 -172 0
-18 -66 -150 0
52 91 109 0
-73 -105 -125 0
-12 -89 132 0
116 -153 172 0
76 119 123 0
11 18 -88 0
37 -120 121 0
-52 -115 -139 0
2 141 -172 0
-47 70 -189 0
-16 55 -80 0
-27 53 -116 0
46 -63 -105 0
70 -87 -138 0
29 -50 -199 0
8 -94 184 0
-50 123 138 0
125 126 -191 0
69 -82 -86 0
-12 70 -114 0
-14 97 101 0
-19 -142 152 0
-10 -143 164 0
17 -41 -188 0
5 91 97 0
-60 112 161 0
-14 -77 168 0
-70 -87 143 0
8 -38 46 0
-18 -54 176 0
-95 125 -139 0
-27 66 -166 0
101 -116 -117 0
16 114 120 0
-32 -105 -166 0
-50 -112 -131 0
4 -131 133 0
-112 144 177 0
4 -184 0
-22 -38 0
56 60 -136 0
-5 178 -191 0
80 102 -187 0
-63 116 -153 0
-100 130 -161 0
5 54 -136 0
19 122 176 0
-2 -46 -81 0
85 -86 -100 0
50 146 0
33 -72 -124 0
-4 14 -169 0
-95 117 -142 0
17 159 172 0
-95 -117 -129 0
-139 -141 -188 0
33 -186 197 0
-103 152 -191 0
10 35 101 0
-81 -122 -160 0
-75 112 -124 0
126 170 -196 0
5 -22 173 0
60 134 170 0
-29 -70 126 0
109 115 122 0
-14 -163 197 0
-76 -103 178 0
66 -153 -196 0
-32 60 115 0