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

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