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

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