CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/os-taillard-4/
normalized-os-taillard-4-105-2.xml

Jump to solvers results

General information on the benchmark

Namecsp/os-taillard-4/
normalized-os-taillard-4-105-2.xml
MD5SUM25e5a9e74df72af21209ac4d2596d9d6
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.008997
Satisfiable
(Un)Satisfiability was proved
Number of variables16
Number of constraints48
Maximum constraint arity2
Maximum domain size284
Number of constraints which are defined in extension0
Number of constraints which are defined in intension48
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MDG-probe 2008-06-271074845SAT 0.008997 0.0169049
Mistral-prime 1.3131074856SAT 0.008998 0.0204329
MDG-noprobe 2008-06-271074846SAT 0.009998 0.0153351
Mistral-option 1.3141074855SAT 0.010997 0.0156351
casper zito1074858SAT 0.011997 0.0188401
cpHydra k_401074862SAT 0.019996 0.0266299
cpHydra k_101074861SAT 0.020995 0.027203
bpsolver 2008-06-271074850SAT 0.035993 0.043504
casper zao1074857SAT 0.111982 0.118434
Minion/Tailor 2008-07-041106173SAT 0.421935 0.448221
Concrete + CSP4J - WMC Engine 2008-05-301074843SAT 0.590909 0.634321
Sugar v1.13+minisat1074849SAT 0.662898 0.764182
choco2_impwdeg 2008-06-261074851SAT 0.789879 0.848477
choco2_dwdeg 2008-06-261074852SAT 0.828873 0.839357
Concrete + CSP4J - Tabu Engine 2008-05-301074842SAT 0.866867 0.920821
Concrete + CPS4J 2008-05-301074844SAT 0.874866 0.906151
Sugar v1.13+picosat1074848SAT 0.952854 1.04829
Abscon 112v4 AC1074859SAT 1.57176 1.62768
Abscon 112v4 ESAC1074860SAT 1.57276 1.61441
SAT4J CSP 2008-06-131074847SAT 9.34158 9.4588
galac M1074853SAT 38.4112 38.6953
galac E1074854SAT 1313.43 1323.27

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:
85 145 140 0 210 85 115 0 183 115 0 77 169 228 77 0