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