CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/os-taillard-10/
normalized-os-taillard-10-105-6.xml

Jump to solvers results

General information on the benchmark

Namecsp/os-taillard-10/
normalized-os-taillard-10-105-6.xml
MD5SUMdc48f7b6a99795c6273dca1caae03926
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 benchmark0.250961
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints900
Maximum constraint arity2
Maximum domain size647
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
bpsolver 2008-06-271094146SAT 0.250961 0.25717
Mistral-prime 1.3131094152SAT 0.390939 0.402233
cpHydra k_401094158SAT 0.424934 0.435919
cpHydra k_101094157SAT 0.429934 0.441425
MDG-noprobe 2008-06-271094142SAT 0.812876 0.819873
Mistral-option 1.3141094151SAT 0.988849 0.99933
Abscon 112v4 ESAC1094156SAT 1.64575 1.67053
Abscon 112v4 AC1094155SAT 1.64675 1.67114
MDG-probe 2008-06-271094141SAT 2.12268 2.14383
choco2_dwdeg 2008-06-261094148SAT 2.27265 2.31027
choco2_impwdeg 2008-06-261094147SAT 2.6206 2.67622
Sugar v1.13+minisat1094145SAT 3.85941 4.03406
Concrete + CSP4J - WMC Engine 2008-05-301094139SAT 4.86326 4.92289
Sugar v1.13+picosat1094144SAT 12.943 13.147
casper zao1094153SAT 25.6631 25.7727
casper zito1094154SAT 36.8694 37.0558
Concrete + CPS4J 2008-05-301094140SAT 39.8139 40.1948
SAT4J CSP 2008-06-131094143? 282.241 282.794
galac M1094149? (problem) 54.6147 64.1243
galac E1094150? (problem) 58.4021 58.9804
Concrete + CSP4J - Tabu Engine 2008-05-301094138? (TO) 1800 1807.62
Minion/Tailor 2008-07-041106142? (TO) 1800.12 1801.61

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:
189 534 270 516 380 0 612 97 444 348 521 255 235 0 64 465 333 534 137 421 451 270 0 540 88 617 180 519 383 347 266 129 586 61 0 444 95 347
184 540 519 61 99 266 332 457 0 189 561 380 99 214 340 137 0 457 177 322 386 547 92 543 273 451 182 0 252 378 93 322 274 565 64 0 333 443
397 592 448 176 508 239 184 214 421 0 543 608 322 92 411 348 181 465 547 375 397 0 255 97