CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/os-taillard-10/
normalized-os-taillard-10-100-8.xml

Jump to solvers results

General information on the benchmark

Namecsp/os-taillard-10/
normalized-os-taillard-10-100-8.xml
MD5SUMf0df99011d7440fb883a6ea68fd3f0ea
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 benchmark2.04969
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints900
Maximum constraint arity2
Maximum domain size595
Number of constraints which are defined in extension0
Number of constraints which are defined in intension900
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Mistral-prime 1.3131094194SAT 2.04969 2.07144
choco2_dwdeg 2008-06-261094190SAT 2.46462 2.5159
choco2_impwdeg 2008-06-261094189SAT 2.6256 2.6837
MDG-probe 2008-06-271094183SAT 4.42333 4.46871
Sugar v1.13+minisat1094187SAT 4.94125 5.28637
cpHydra k_401094200SAT 9.1766 9.44637
cpHydra k_101094199SAT 9.8865 10.0855
Mistral-option 1.3141094193SAT 10.1865 10.2349
Sugar v1.13+picosat1094186SAT 11.8802 12.0558
Abscon 112v4 ESAC1094198SAT 616.411 619.628
Abscon 112v4 AC1094197SAT 658.829 664.489
Concrete + CPS4J 2008-05-301094182SAT 1025.07 1027.45
SAT4J CSP 2008-06-131094185? 313.277 315.551
galac E1094192? (problem) 58.911 59.5229
galac M1094191? (problem) 59.434 60.1154
bpsolver 2008-06-271094188? (TO) 1800.02 1811.71
Concrete + CSP4J - Tabu Engine 2008-05-301094180? (TO) 1800.03 1801.22
casper zao1094195? (TO) 1800.03 1805.41
casper zito1094196? (TO) 1800.04 1803.91
MDG-noprobe 2008-06-271094184? (TO) 1800.04 1807.31
Concrete + CSP4J - WMC Engine 2008-05-301094181? (TO) 1800.08 1807.32
Minion/Tailor 2008-07-041106139? (TO) 1800.08 1802.81

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:
592 414 464 318 516 216 154 477 56 381 477 529 218 497 301 0 396 560 58 159 490 206 185 392 54 427 252 0 318 82 309 466 128 99 414 0 210 497
249 35 216 522 431 381 305 592 54 0 478 82 0 556 99 241 197 522 450 218 309 380 576 573 396 310 249 85 529 163 0 431 0 154 206 84 392 534 58
382 301 466 280 453 252 490 189 379 90 0 542 464 117 382 249 280 464 189 0 201 197 56