CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/lexHerald/
normalized-crossword-m1-lex-23-04.xml
MD5SUM60de36950254e9d89851a191e6b5db44
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 benchmark858.914
Satisfiable
(Un)Satisfiability was proved
Number of variables449
Number of constraints4287
Maximum constraint arity18
Maximum domain size26
Number of constraints which are defined in extension170
Number of constraints which are defined in intension4117
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
cpHydra k_101067770SAT 858.914 859.577
Abscon 112v4 AC1067768SAT 917.591 926.302
Abscon 112v4 ESAC1067769SAT 1150.59 1153.83
SAT4J CSP 2008-06-131067756? 91.3791 93.5365
Sugar v1.13+picosat1067757? (TO) 1800 1808.94
Concrete + CSP4J - WMC Engine 2008-05-301067752? (TO) 1800.03 1810.22
Minion/Tailor 2008-07-041105950? (TO) 1800.03 1806.61
galac E1067763? (TO) 1800.03 1929.72
cpHydra k_401067771? (TO) 1800.04 1826.73
Mistral-prime 1.3131067765? (TO) 1800.04 1807.51
MDG-noprobe 2008-06-271067755? (TO) 1800.06 1804.41
Sugar v1.13+minisat1067758? (TO) 1800.06 1809.64
Concrete + CPS4J 2008-05-301067753? (TO) 1800.06 1818.32
choco2_dwdeg 2008-06-261067761? (TO) 1800.07 1810.96
galac M1067762? (TO) 1800.07 1809.02
Mistral-option 1.3141067764? (TO) 1800.07 1802.31
Concrete + CSP4J - Tabu Engine 2008-05-301067751? (TO) 1800.08 1801.42
MDG-probe 2008-06-271067754? (TO) 1800.08 1811.01
casper zao1067766? (TO) 1800.08 1814.13
casper zito1067767? (TO) 1800.11 1808.11
bpsolver 2008-06-271067759? (TO) 1800.13 1814.08
choco2_impwdeg 2008-06-261067760? (TO) 1800.13 1810.28

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