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