aim-200-1_6-no-1.cnf

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