CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/ukHerald/
normalized-crossword-m1-uk-15-01.xml

Jump to solvers results

General information on the benchmark

Namecsp/ukHerald/
normalized-crossword-m1-uk-15-01.xml
MD5SUMf3c65471b39d3c01e7d512bb41ab7f4b
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 benchmark0.52292
Satisfiable
(Un)Satisfiability was proved
Number of variables189
Number of constraints681
Maximum constraint arity20
Maximum domain size26
Number of constraints which are defined in extension78
Number of constraints which are defined in intension603
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Mistral-prime 1.3131064260SAT 0.52292 0.531225
MDG-noprobe 2008-06-271064250SAT 0.591909 0.599796
cpHydra k_101064265SAT 0.594908 0.604423
cpHydra k_401064266SAT 0.680896 0.691653
Abscon 112v4 AC1064263SAT 2.43963 2.5211
Abscon 112v4 ESAC1064264SAT 3.61245 3.66562
casper zao1064261SAT 13.5709 13.6925
casper zito1064262SAT 13.6799 13.8103
choco2_dwdeg 2008-06-261064256SAT 16.9764 17.1514
Mistral-option 1.3141064259SAT 18.0613 18.2405
choco2_impwdeg 2008-06-261064255SAT 36.5374 36.9005
Minion/Tailor 2008-07-041107278SAT 38.0142 38.0488
MDG-probe 2008-06-271064249SAT 56.2724 56.7672
Concrete + CPS4J 2008-05-301064248SAT 271.525 271.694
SAT4J CSP 2008-06-131064251? (MO) 34.4528 33.1427
Concrete + CSP4J - WMC Engine 2008-05-301064247? (TO) 1800.03 1811.12
Concrete + CSP4J - Tabu Engine 2008-05-301064246? (TO) 1800.03 1805.42
galac E1064258? (TO) 1800.05 1810.62
Sugar v1.13+picosat1064252? (TO) 1800.05 1802.81
galac M1064257? (TO) 1800.06 1818.52
Sugar v1.13+minisat1064253? (TO) 1800.06 1809.6
bpsolver 2008-06-271064254? (TO) 1800.06 1805.44

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