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