CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/ukHerald/
normalized-crossword-m1-uk-23-02.xml

Jump to solvers results

General information on the benchmark

Namecsp/ukHerald/
normalized-crossword-m1-uk-23-02.xml
MD5SUMdb48a5def5ffad94b53c1d6b30c5d3ee
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.47078
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
Mistral-prime 1.3131064176SAT 1.47078 1.5268
cpHydra k_101064181SAT 1.68074 1.70328
MDG-noprobe 2008-06-271064166SAT 1.70974 1.71338
cpHydra k_401064182SAT 1.9417 2.13918
Abscon 112v4 AC1064179SAT 9.08662 9.21625
Abscon 112v4 ESAC1064180SAT 10.0845 10.2421
MDG-probe 2008-06-271064165SAT 11.7922 11.799
casper zito1064178SAT 35.4986 35.8206
choco2_dwdeg 2008-06-261064172SAT 44.6542 44.7288
casper zao1064177SAT 47.4578 47.9318
Mistral-option 1.3141064175SAT 168.643 170.134
Concrete + CPS4J 2008-05-301064164SAT 335.906 336.273
choco2_impwdeg 2008-06-261064171SAT 958.567 960.72
SAT4J CSP 2008-06-131064167? 94.0367 92.9392
Sugar v1.13+minisat1064169? (MO) 8.12 8.35236
Sugar v1.13+picosat1064168? (MO) 8.17 8.30587
Minion/Tailor 2008-07-041107293? (MO) 39.95 40.3152
galac M1064173? (TO) 1800 1808.62
Concrete + CSP4J - Tabu Engine 2008-05-301064162? (TO) 1800.04 1804.32
galac E1064174? (TO) 1800.08 1805.22
Concrete + CSP4J - WMC Engine 2008-05-301064163? (TO) 1800.09 1806.82
bpsolver 2008-06-271064170? (TO) 1800.15 1803.47

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