CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/ukHerald/
normalized-crossword-m1-uk-15-03.xml
MD5SUM39d57a694101a674ebe4c2362ea1f4a0
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.434933
Satisfiable
(Un)Satisfiability was proved
Number of variables189
Number of constraints1001
Maximum constraint arity16
Maximum domain size26
Number of constraints which are defined in extension78
Number of constraints which are defined in intension923
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MDG-noprobe 2008-06-271064271SAT 0.434933 0.441524
Mistral-prime 1.3131064281SAT 0.460929 0.468189
cpHydra k_401064287SAT 0.474927 0.499258
cpHydra k_101064286SAT 0.476927 0.499181
Abscon 112v4 AC1064284SAT 3.01054 3.10591
Abscon 112v4 ESAC1064285SAT 3.84442 3.92166
choco2_dwdeg 2008-06-261064277SAT 16.7585 16.9365
casper zito1064283SAT 21.9537 22.0962
casper zao1064282SAT 23.4994 23.7238
bpsolver 2008-06-271064275SAT 43.5544 50.6906
MDG-probe 2008-06-271064270SAT 48.6756 48.8927
Mistral-option 1.3141064280SAT 57.1193 57.6627
choco2_impwdeg 2008-06-261064276SAT 62.9694 63.6006
Concrete + CPS4J 2008-05-301064269SAT 211.905 214.919
SAT4J CSP 2008-06-131064272? (MO) 32.1291 31.1432
Minion/Tailor 2008-07-041107280? (TO) 1800.01 1800.91
galac E1064279? (TO) 1800.06 1804.03
galac M1064278? (TO) 1800.07 1802.52
Concrete + CSP4J - Tabu Engine 2008-05-301064267? (TO) 1800.08 1808.92
Concrete + CSP4J - WMC Engine 2008-05-301064268? (TO) 1800.08 1813.82
Sugar v1.13+picosat1064273? (TO) 1800.1 1809.44
Sugar v1.13+minisat1064274? (TO) 1800.18 1806.55

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