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