CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/lexHerald/
normalized-crossword-m1-lex-23-02.xml
MD5SUM819c3e677bbf729895a37d0aded931cf
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 benchmark1.77473
Satisfiable
(Un)Satisfiability was proved
Number of variables435
Number of constraints4428
Maximum constraint arity24
Maximum domain size26
Number of constraints which are defined in extension182
Number of constraints which are defined in intension4246
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
cpHydra k_401068107SAT 1.77473 1.79599
cpHydra k_101068106SAT 1.78573 1.81313
Mistral-prime 1.3131068101SAT 2.00169 2.01179
MDG-noprobe 2008-06-271068091SAT 3.69044 3.72774
Abscon 112v4 AC1068104SAT 11.8812 11.9895
MDG-probe 2008-06-271068090SAT 20.8168 20.8251
casper zito1068103SAT 43.0395 43.233
choco2_dwdeg 2008-06-261068097SAT 59.7349 60.3199
Abscon 112v4 ESAC1068105SAT 81.8086 82.6527
casper zao1068102SAT 128.731 129.844
Mistral-option 1.3141068100SAT 220.415 221.51
Concrete + CPS4J 2008-05-301068089SAT 602.784 605.786
SAT4J CSP 2008-06-131068092? (MO) 39.303 36.5457
galac M1068098? (TO) 1800.01 1814.82
galac E1068099? (TO) 1800.01 1815.12
Sugar v1.13+minisat1068094? (TO) 1800.02 1807.72
Concrete + CSP4J - Tabu Engine 2008-05-301068087? (TO) 1800.02 1802.02
Concrete + CSP4J - WMC Engine 2008-05-301068088? (TO) 1800.06 1801.82
Minion/Tailor 2008-07-041105949? (TO) 1800.07 1800.41
bpsolver 2008-06-271068095? (TO) 1800.07 1817.16
Sugar v1.13+picosat1068093? (TO) 1800.09 1807.63
choco2_impwdeg 2008-06-261068096? (TO) 1800.12 1804.39

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