CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/super-os/super-os-taillard-10/
normalized-super-os-taillard-10-18.xml

Jump to solvers results

General information on the benchmark

Namecsp/super-os/super-os-taillard-10/
normalized-super-os-taillard-10-18.xml
MD5SUM3074edf8a49e2ed2abf95b9cd7a6a56e
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 benchmark8.36673
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints2800
Maximum constraint arity2
Maximum domain size625
Number of constraints which are defined in extension0
Number of constraints which are defined in intension2800
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Mistral-prime 1.3131082417SAT 8.36673 8.49465
Sugar v1.13+minisat1082410SAT 12.2141 12.4713
Concrete + CSP4J - WMC Engine 2008-05-301082404SAT 15.2647 15.3336
cpHydra k_101082422SAT 16.0296 16.1558
cpHydra k_401082423SAT 16.6855 16.9578
choco2_dwdeg 2008-06-261082413SAT 32.2951 32.6304
choco2_impwdeg 2008-06-261082412SAT 32.3861 33.1049
Sugar v1.13+picosat1082409SAT 38.7311 39.2462
MDG-probe 2008-06-271082406SAT 71.7651 72.3186
MDG-noprobe 2008-06-271082407SAT 997.934 1004.92
SAT4J CSP 2008-06-131082408? 251.51 252.084
galac E1082415? (problem) 53.3829 53.9404
galac M1082414? (problem) 54.4997 55.0501
Concrete + CPS4J 2008-05-301082405? (TO) 1800.01 1803.72
casper zito1082419? (TO) 1800.04 1810.41
Minion/Tailor 2008-07-041107098? (TO) 1800.04 1811.11
Mistral-option 1.3141082416? (TO) 1800.05 1806.71
bpsolver 2008-06-271082411? (TO) 1800.06 1808.51
Concrete + CSP4J - Tabu Engine 2008-05-301082403? (TO) 1800.07 1819.43
casper zao1082418? (TO) 1800.08 1810.52
Abscon 112v4 AC1082420? (TO) 1800.15 1820.85
Abscon 112v4 ESAC1082421? (TO) 1800.16 1803.07

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:
59 60 573 102 0 1 137 138 301 302 218 217 585 586 504 503 357 356 450 451 59 60 433 432 545 546 169 168 347 348 281 282 620 619 184 185 1 0
338 337 261 262 433 432 357 186 393 392 0 1 212 213 536 535 386 503 76 573 85 580 347 348 187 186 0 1 261 262 97 98 581 580 302 301 76 75
412 411 497 498 369 370 467 466 0 1 558 557 116 117 169 168 281 282 33 531 36 186 225 224 558 557 497 498 0 1 369 370 379 378 272 271 74 73
212 213 139 138 413 412 233 426 531 390 251 217 585 85 457 458 121 480 330 331 59 58 158 157 450 472 352 353 413 412 126 127 596 595 33 32
289 290 210 209 467 466 198 199 545 546 480 481 352 353 595 596 97 96 393 392 255 254 110 224 0 1 137 138 547 546 547 546 330 331 383 382 97
267 102 103 255 254 272 271 0 1 184 185 441 442