CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/ogdHerald/
normalized-crossword-m1-ogd-15-06.xml

Jump to solvers results

General information on the benchmark

Namecsp/ogdHerald/
normalized-crossword-m1-ogd-15-06.xml
MD5SUMbc53d36da8b35d0beaaafb88ccc5dbed
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.896863
Satisfiable
(Un)Satisfiability was proved
Number of variables195
Number of constraints567
Maximum constraint arity18
Maximum domain size26
Number of constraints which are defined in extension72
Number of constraints which are defined in intension495
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MDG-noprobe 2008-06-271075371SAT 0.896863 0.898501
cpHydra k_101075386SAT 0.906861 0.909561
cpHydra k_401075387SAT 0.965852 0.971821
Mistral-prime 1.3131075381SAT 1.07184 1.08689
Abscon 112v4 AC1075384SAT 6.15306 6.22058
Abscon 112v4 ESAC1075385SAT 7.18991 7.30387
casper zito1075383SAT 25.3471 25.5824
choco2_dwdeg 2008-06-261075377SAT 31.9241 32.2529
Minion/Tailor 2008-07-041106062SAT 35.0197 35.2239
casper zao1075382SAT 37.4243 37.7911
Mistral-option 1.3141075380SAT 45.762 46.1848
choco2_impwdeg 2008-06-261075376SAT 47.5228 47.8098
MDG-probe 2008-06-271075370SAT 65.3171 65.5063
Concrete + CPS4J 2008-05-301075369SAT 204.321 206.671
SAT4J CSP 2008-06-131075372? 77.5032 77.3218
Sugar v1.13+picosat1075373? (MO) 6.37579 6.79187
galac E1075379? (TO) 1800.01 1800.92
Concrete + CSP4J - Tabu Engine 2008-05-301075367? (TO) 1800.04 1807.52
galac M1075378? (TO) 1800.04 1814.52
Concrete + CSP4J - WMC Engine 2008-05-301075368? (TO) 1800.06 1800.82
bpsolver 2008-06-271075375? (TO) 1800.07 1805.46
Sugar v1.13+minisat1075374? (TO) 1800.09 1809.73

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