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

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