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

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