Name | csp/largeQueens/ normalized-queens-300.xml |
MD5SUM | c7d57b0262fde2b45e9a562f45f9d3ca |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 10.9213 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 300 |
Number of constraints | 44850 |
Maximum constraint arity | 2 |
Maximum domain size | 300 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 44850 |
Global constraints used (with number of constraints) |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:85 83 86 91 79 135 142 80 136 146 173 160 156 19 145 126 129 76 81 158 147 133 74 139 150 73 69 65 128 18 71 148 164 176 205 159 170 63 144 67 117 120 66 72 17 141 118 100 64 56 61 115 52 110 104 58 124 161 16 151 153 59 149 112 54 116 53 111 108 57 296 15 163 174 154 169 165 292 289 155 298 281 294 14 88 103 282 293 267 283 254 93 131 258 13 264 77 259 255 266 274 256 101 87 12 97 299 297 285 290 278 90 300 11 287 82 75 70 288 291 295 10 78 132 221 271 277 280 9 279 268 253 265 84 8 171 246 172 208 7 157 244 241 6 251 219 5 143 4 1 3 137 106 167 223 220 168 162 95 152 138 99 105 140 186 130 224 222 2 252 134 261 250 109 240 24 94 102 245 239 25 243 22 122 218 23 21 96 98 119 125 182 20 178 107 196 190 29 27 30 92 113 177 28 166 31 175 121 179 236 32 114 123 89 180 210 33 232 226 229 217 127 247 34 206 262 249 257 275 260 263 35 286 60 276 248 216 269 62 284 36 188 192 195 184 194 187 189 193 270 37 225 272 68 273 26 202 233 215 242 183 38 191 231 227 235 238 55 200 230 43 45 198 39 181 42 204 237 199 234 228 214 41 203 201 212 40 209 49 213 46 207 47 50 185 197 211 44 51 48