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