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

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