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