CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/largeQueens/
normalized-queens-500.xml

Jump to solvers results

General information on the benchmark

Namecsp/largeQueens/
normalized-queens-500.xml
MD5SUM2f41b36922ebee8c6bbe2e06a2cfd3a7
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark47.4628
Satisfiable
(Un)Satisfiability was proved
Number of variables500
Number of constraints124750
Maximum constraint arity2
Maximum domain size500
Number of constraints which are defined in extension0
Number of constraints which are defined in intension124750
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
bpsolver 2008-06-271056155SAT 47.4628 47.7576
Sugar v1.13+picosat1056153? 197.264 204.227
Sugar v1.13+minisat1056154? 211.551 219.2
SAT4J CSP 2008-06-131056152? 217.806 218.484
casper zao1056162? 798.022 801.984
choco2_dwdeg 2008-06-261056157? (MO) 147.012 148.458
choco2_impwdeg 2008-06-261056156? (MO) 168.129 168.845
Concrete + CPS4J 2008-05-301056149? (TO) 1800 1808.92
Mistral-prime 1.3131056161? (TO) 1800.03 1815.03
MDG-probe 2008-06-271056150? (TO) 1800.03 1815.23
galac E1056159? (TO) 1800.03 1805.32
Concrete + CSP4J - WMC Engine 2008-05-301056148? (TO) 1800.04 1808.72
Minion/Tailor 2008-07-041105197? (TO) 1800.04 1812.61
Mistral-option 1.3141056160? (TO) 1800.05 1806.43
cpHydra k_101056166? (TO) 1800.05 1801.43
cpHydra k_401056167? (TO) 1800.06 1821.43
Concrete + CSP4J - Tabu Engine 2008-05-301056147? (TO) 1800.06 1803.82
galac M1056158? (TO) 1800.07 1807.52
MDG-noprobe 2008-06-271056151? (TO) 1800.1 1811.92
casper zito1056163? (TO) 1800.13 1808.46
Abscon 112v4 ESAC1056165? (TO) 1800.17 1811.15
Abscon 112v4 AC1056164? (TO) 1800.18 1816.75

Additionnal information

This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).

Solution found:
120 116 113 192 186 180 103 176 110 190 104 111 182 97 119 412 422 184 24 421 198 213 410 413 99 409 105 165 101 98 183 109 179 167 94 91
178 199 403 23 177 401 173 93 406 399 402 414 90 415 397 175 208 115 366 210 85 211 204 22 172 420 171 206 134 92 68 154 71 197 96 75 136 70
74 201 400 100 21 185 405 144 195 73 203 214 416 408 76 66 388 393 138 398 431 194 20 141 215 146 442 86 78 441 436 453 164 425 437 80 444
430 440 19 423 87 89 392 166 72 209 395 385 391 232 411 157 374 443 18 429 447 242 161 434 77 231 424 380 230 79 156 455 223 17 158 473 248
81 450 363 234 159 459 368 376 428 448 16 435 438 427 117 432 456 469 124 475 439 454 460 15 465 468 114 463 426 361 389 449 354 112 462 14
367 365 377 122 347 384 108 379 118 458 13 123 106 457 481 174 107 446 451 497 12 494 461 491 485 467 477 452 445 11 466 474 125 498 500 492
499 10 121 479 464 487 470 433 9 493 484 163 471 490 8 472 216 189 489 7 486 476 495 6 148 488 5 212 4 1 3 478 480 200 137 359 482 360 483
352 356 152 496 145 139 350 382 143 321 147 306 196 364 2 317 308 337 188 315 140 202 319 303 294 282 302 151 135 267 168 30 132 27 142 275
28 26 233 191 193 229 309 25 160 314 207 31 296 32 295 205 33 133 187 129 34 285 181 150 289 35 128 304 343 225 221 36 305 322 330 126 353
351 37 327 340 345 328 219 127 299 38 169 339 130 217 358 170 131 226 39 311 244 237 316 149 271 162 224 297 40 291 218 286 281 332 220 288
155 82 222 41 88 300 153 326 310 245 228 298 249 243 227 42 247 236 239 246 325 83 250 84 333 417 355 387 43 313 318 307 235 419 29 240 418
241 252 394 407 404 44 95 386 396 370 254 373 383 362 253 258 369 390 372 102 45 371 381 378 375 255 49 51 55 256 348 238 335 52 342 53 46
329 331 349 357 346 344 338 50 320 336 269 324 334 341 323 312 47 292 276 301 272 57 290 56 279 273 260 251 58 268 283 274 59 293 48 280 287
60 284 265 61 259 264 62 277 257 278 64 262 69 261 63 54 266 263 270 67 65