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