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

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