CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/ukHerald/
normalized-crossword-m1-uk-15-09.xml

Jump to solvers results

General information on the benchmark

Namecsp/ukHerald/
normalized-crossword-m1-uk-15-09.xml
MD5SUM37fc4856568d841902d46b632fbbf16a
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 benchmark0.371942
Satisfiable
(Un)Satisfiability was proved
Number of variables187
Number of constraints907
Maximum constraint arity14
Maximum domain size26
Number of constraints which are defined in extension82
Number of constraints which are defined in intension825
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Mistral-prime 1.3131063945SAT 0.371942 0.379796
MDG-noprobe 2008-06-271063935SAT 0.407937 0.414529
cpHydra k_101063950SAT 0.413936 0.423597
cpHydra k_401063951SAT 0.440932 0.454178
Abscon 112v4 AC1063948SAT 2.57261 2.62193
Abscon 112v4 ESAC1063949SAT 3.33449 3.40001
choco2_dwdeg 2008-06-261063941SAT 15.2097 15.3599
casper zito1063947SAT 20.2709 20.2833
casper zao1063946SAT 21.7627 21.8142
MDG-probe 2008-06-271063934SAT 33.8649 34.0062
Mistral-option 1.3141063944SAT 60.1539 60.3944
choco2_impwdeg 2008-06-261063940SAT 62.9664 63.0347
Concrete + CPS4J 2008-05-301063933SAT 196.766 198.686
Sugar v1.13+minisat1063938SAT 1323.61 1335.72
SAT4J CSP 2008-06-131063936? (MO) 38.5931 37.844
Concrete + CSP4J - WMC Engine 2008-05-301063932? (TO) 1800 1801.92
Sugar v1.13+picosat1063937? (TO) 1800 1808.64
galac E1063943? (TO) 1800.01 1816.52
Minion/Tailor 2008-07-041107283? (TO) 1800.07 1815.61
Concrete + CSP4J - Tabu Engine 2008-05-301063931? (TO) 1800.08 1812.32
galac M1063942? (TO) 1800.1 1808.82
bpsolver 2008-06-271063939? (TO) 1800.12 1817.84

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:
12 0 11 12 0 1 0 2 0 15 0 2 0 0 17 4 0 1 0 1 0 17 0 7 0 1 0 1 0 2 0 15 0 8 3 1 0 1 0 12 0 13 3 0 24 18 12 4 3 20 18 0 18 20 13 0 2 0 1 0 11
7 0 8 5 0 17 0 13 2 0 0 1 0 14 11 0 5 2 0 19 0 2 17 0 22 11 10 0 8 0 20 18 19 17 8 0 18 0 11 20 15 3 0 19 4 0 24 17 0 8 13 20 12 0 14 17 8 0
11 0 0 11 0 0 15 0 11 0 12 14 22 7 0 19 17 8 12 19 0 1 18 0 0 13 4 13 18 0 8 3 0 17 0 2 4 17 13 0 0 13 10 0 11 8 14 6 7 0 12 0 11 6 0 0 11 4
2 13 4 0 11 18 7 4 0 15