aim-200-1_6-yes1-4.cnf

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