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

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