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