CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/wordsHerald/
normalized-crossword-m1-words-21-05.xml

Jump to solvers results

General information on the benchmark

Namecsp/wordsHerald/
normalized-crossword-m1-words-21-05.xml
MD5SUMa5449fb7f94202e7e869eae3c34f8472
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 benchmark4.56331
Satisfiable
(Un)Satisfiability was proved
Number of variables368
Number of constraints2312
Maximum constraint arity14
Maximum domain size26
Number of constraints which are defined in extension144
Number of constraints which are defined in intension2168
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Mistral-prime 1.3131076920SAT 4.56331 4.61619
Abscon 112v4 ESAC1076924SAT 8.48671 8.61707
Abscon 112v4 AC1076923SAT 11.8622 11.5657
cpHydra k_401076926SAT 18.6172 18.2259
cpHydra k_101076925SAT 19.1881 19.4049
MDG-probe 2008-06-271076909SAT 21.3787 21.5888
Mistral-option 1.3141076919SAT 41.8036 42.2048
casper zito1076922SAT 67.9667 68.5653
casper zao1076921SAT 69.9954 70.0586
choco2_dwdeg 2008-06-261076916SAT 111.201 111.29
Minion/Tailor 2008-07-041107379SAT 146.865 147.875
MDG-noprobe 2008-06-271076910SAT 167.46 167.539
SAT4J CSP 2008-06-131076911? (MO) 43.0804 34.5344
Concrete + CPS4J 2008-05-301076908? (TO) 1800.03 1809.72
galac E1076918? (TO) 1800.05 1800.32
Concrete + CSP4J - Tabu Engine 2008-05-301076906? (TO) 1800.05 1800.82
Sugar v1.13+picosat1076912? (TO) 1800.05 1812.24
Concrete + CSP4J - WMC Engine 2008-05-301076907? (TO) 1800.07 1808.12
Sugar v1.13+minisat1076913? (TO) 1800.08 1820.56
choco2_impwdeg 2008-06-261076915? (TO) 1800.09 1805.15
galac M1076917? (TO) 1800.1 1815.52
bpsolver 2008-06-271076914? (TO) 1800.12 1812.96

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