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

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