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