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

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