CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/ukHerald/
normalized-crossword-m1-uk-19-05.xml

Jump to solvers results

General information on the benchmark

Namecsp/ukHerald/
normalized-crossword-m1-uk-19-05.xml
MD5SUM7673da9bb2ec89d6ebeb64aba0b3e8de
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.577912
Satisfiable
(Un)Satisfiability was proved
Number of variables291
Number of constraints2544
Maximum constraint arity32
Maximum domain size26
Number of constraints which are defined in extension126
Number of constraints which are defined in intension2418
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MDG-noprobe 2008-06-271064082SAT 0.577912 0.579133
cpHydra k_101064097SAT 0.612906 0.617529
Mistral-prime 1.3131064092SAT 0.613906 0.624998
cpHydra k_401064098SAT 0.626903 0.633069
MDG-probe 2008-06-271064081SAT 2.76258 2.79537
Abscon 112v4 AC1064095SAT 3.98839 4.02333
Abscon 112v4 ESAC1064096SAT 5.80912 5.94546
casper zito1064094SAT 15.1687 15.3238
casper zao1064093SAT 20.7598 20.8536
choco2_dwdeg 2008-06-261064088SAT 30.1084 30.1455
Mistral-option 1.3141064091SAT 30.6033 30.881
choco2_impwdeg 2008-06-261064087SAT 64.6992 65.3628
Concrete + CPS4J 2008-05-301064080SAT 233.301 234.47
SAT4J CSP 2008-06-131064083? (MO) 30.3334 27.8335
Minion/Tailor 2008-07-041107287? (TO) 1800 1809.91
Concrete + CSP4J - Tabu Engine 2008-05-301064078? (TO) 1800 1816.52
galac E1064090? (TO) 1800.04 1802.12
Sugar v1.13+picosat1064084? (TO) 1800.04 1809.94
Concrete + CSP4J - WMC Engine 2008-05-301064079? (TO) 1800.06 1800.82
bpsolver 2008-06-271064086? (TO) 1800.07 1810.14
Sugar v1.13+minisat1064085? (TO) 1800.09 1809.76
galac M1064089? (TO) 1800.09 1814.22

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