CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/ogdHerald/
normalized-crossword-m1-ogd-19-05.xml

Jump to solvers results

General information on the benchmark

Namecsp/ogdHerald/
normalized-crossword-m1-ogd-19-05.xml
MD5SUM004360dc4ee08fb7f6c35dfdfdd00b76
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.590909
Satisfiable
(Un)Satisfiability was proved
Number of variables291
Number of constraints2544
Maximum constraint arity32
Maximum domain size26
Number of constraints which are defined in extension126
Number of constraints which are defined in intension2418
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
cpHydra k_401075618SAT 0.590909 0.594307
cpHydra k_101075617SAT 0.591909 0.594605
Mistral-prime 1.3131075612SAT 0.657899 0.665504
MDG-noprobe 2008-06-271075602SAT 0.665898 0.679801
Abscon 112v4 AC1075615SAT 3.9684 4.0347
MDG-probe 2008-06-271075601SAT 5.15921 5.21228
Abscon 112v4 ESAC1075616SAT 6.33804 6.42775
casper zito1075614SAT 13.478 13.4861
casper zao1075613SAT 29.0346 29.3216
Minion/Tailor 2008-07-041106065SAT 29.8955 30.218
choco2_dwdeg 2008-06-261075608SAT 32.706 32.7445
Mistral-option 1.3141075611SAT 39.656 40.0429
choco2_impwdeg 2008-06-261075607SAT 66.6309 66.6718
Concrete + CPS4J 2008-05-301075600SAT 319.478 320.951
SAT4J CSP 2008-06-131075603? (MO) 45.764 44.4442
Concrete + CSP4J - WMC Engine 2008-05-301075599? (TO) 1800.03 1802.52
galac M1075609? (TO) 1800.04 1807.23
Sugar v1.13+picosat1075604? (TO) 1800.04 1808.34
Sugar v1.13+minisat1075605? (TO) 1800.05 1813.23
bpsolver 2008-06-271075606? (TO) 1800.06 1806.44
Concrete + CSP4J - Tabu Engine 2008-05-301075598? (TO) 1800.08 1801.23
galac E1075610? (TO) 1800.09 1817.32

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