CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/lexHerald/
normalized-crossword-m1-lex-23-05.xml

Jump to solvers results

General information on the benchmark

Namecsp/lexHerald/
normalized-crossword-m1-lex-23-05.xml
MD5SUM64975a2ae0dcb245d91af9d13390acc2
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 benchmark9.75252
Satisfiable
(Un)Satisfiability was proved
Number of variables445
Number of constraints4690
Maximum constraint arity22
Maximum domain size26
Number of constraints which are defined in extension180
Number of constraints which are defined in intension4510
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MDG-noprobe 2008-06-271068070SAT 9.75252 9.84722
Abscon 112v4 AC1068083SAT 12.3911 12.4792
Mistral-prime 1.3131068080SAT 13.284 13.3969
cpHydra k_101068085SAT 19.948 20.0331
cpHydra k_401068086SAT 21.9097 22.1658
MDG-probe 2008-06-271068069SAT 29.7205 30.0051
Abscon 112v4 ESAC1068084SAT 34.1968 34.543
choco2_dwdeg 2008-06-261068076SAT 50.0894 50.3631
Mistral-option 1.3141068079SAT 106.103 107.163
casper zito1068082SAT 143.8 145.036
Concrete + CPS4J 2008-05-301068068SAT 232.729 234.984
casper zao1068081SAT 236.834 237.803
Minion/Tailor 2008-07-041105951SAT 244.698 247.08
SAT4J CSP 2008-06-131068071? (MO) 31.6962 30.8364
Concrete + CSP4J - WMC Engine 2008-05-301068067? (TO) 1800 1807.52
galac E1068078? (TO) 1800.01 1817.13
Sugar v1.13+picosat1068072? (TO) 1800.02 1815.44
Concrete + CSP4J - Tabu Engine 2008-05-301068066? (TO) 1800.06 1806.23
Sugar v1.13+minisat1068073? (TO) 1800.06 1812.14
galac M1068077? (TO) 1800.08 1809.62
choco2_impwdeg 2008-06-261068075? (TO) 1800.08 1800.95
bpsolver 2008-06-271068074? (TO) 1800.15 1808.07

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