CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/ogdHerald/
normalized-crossword-m1-ogd-23-10.xml

Jump to solvers results

General information on the benchmark

Namecsp/ogdHerald/
normalized-crossword-m1-ogd-23-10.xml
MD5SUMcfb1178a1cf591aa2f175ed29511835d
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark5.55915
Satisfiable
(Un)Satisfiability was proved
Number of variables462
Number of constraints2086
Maximum constraint arity26
Maximum domain size26
Number of constraints which are defined in extension156
Number of constraints which are defined in intension1930
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MDG-noprobe 2008-06-271075434SAT 5.55915 5.5896
Mistral-prime 1.3131075444SAT 8.97563 9.05451
Abscon 112v4 AC1075447SAT 12.0252 12.2087
cpHydra k_101075449SAT 23.0045 23.2149
cpHydra k_401075450SAT 26.045 26.6823
Abscon 112v4 ESAC1075448SAT 29.9195 30.2046
choco2_dwdeg 2008-06-261075440SAT 69.6224 70.0248
casper zao1075445SAT 84.1482 84.1784
casper zito1075446SAT 99.0179 99.068
MDG-probe 2008-06-271075433SAT 147.162 148.433
Concrete + CPS4J 2008-05-301075432SAT 216.174 217.175
Mistral-option 1.3141075443SAT 635.023 641.095
SAT4J CSP 2008-06-131075435? 63.4574 61.6466
bpsolver 2008-06-271075438? (problem) 60.8208 61.3635
Sugar v1.13+picosat1075436? (MO) 7.14 7.39353
Sugar v1.13+minisat1075437? (MO) 7.31 7.54838
Minion/Tailor 2008-07-041106077? (MO) 7.49 7.64457
Concrete + CSP4J - Tabu Engine 2008-05-301075430? (TO) 1800.04 1809.92
Concrete + CSP4J - WMC Engine 2008-05-301075431? (TO) 1800.06 1816.52
galac M1075441? (TO) 1800.09 1803.82
galac E1075442? (TO) 1800.09 1805.13
choco2_impwdeg 2008-06-261075439? (TO) 1800.14 1814.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:
0 6 4 19 0 2 3 14 15 0 6 4 0 3 0 5 4 21 0 11 1 0 11 0 3 0 20 17 8 13 0 11 17 4 3 14 17 12 8 17 0 0 17 8 13 20 11 0 1 8 11 8 19 4 0 1 0 18 14
20 17 3 8 2 0 12 11 0 20 17 4 14 11 4 2 11 14 15 0 8 4 14 13 0 6 8 17 0 3 4 13 19 18 17 4 3 8 19 3 4 21 8 0 18 4 13 4 2 4 20 19 0 19 0 12 8
18 0 19 2 14 18 0 6 17 0 3 4 19 17 8 2 14 19 0 17 0 11 11 8 0 0 18 19 0 8 17 4 17 4 0 6 8 13 4 2 20 1 0 19 4 18 1 4 17 11 14 19 4 18 18 2 4
13 4 21 14 2 8 5 4 17 0 0 1 8 4 19 0 2 4 4 14 17 4 17 4 3 8 12 0 3 0 2 2 0 10 0 12 0 11 0 1 0 19 8 3 0 14 13 19 0 2 4 18 15 14 11 8 17 0 2
20 1 4 17 0 18 18 8 8 13 4 18 1 4 8 8 4 18 13 0 6 0 17 8 1 20 19 0 19 2 17 14 18 13 4 21 0 17 1 0 6 0 17 17 4 20 17 3 4 15 11 0 13 4 4 6 0 6
13 0 13 4 12 0 19 14 3 4 4 1 0 20 3 8 18 0 20 17 4 14 11 4 17 4 18 4 12 4 4 1 0 18 18 0 4 4 15 4 17 14 13 13 0 8 17 0 12 0 20 18 4 13 0 15 7
19 14 11 4 20 17 14 18 15 11 0 5 14 1 4 18 4 15 17 4 19 0 0 11 5 0 18 0 18 0 13 0 1 8 19 2 11 0 8 17 4 18 13 14 14 10 4 17 18 2 8 11 4 18 19
0 11 14 8 18 4 18 0 19 8 17 8 18 0 18 18 8 4 25 8 18 4 17 14 8 18 4 18 4 23 8 18 19 4 15 0 8 4 17 0 19 4 18 19 18 0 18 4 11 4 6 4 4 13 19 8
18 18 4 17