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