CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/ukHerald/
normalized-crossword-m1-uk-19-10.xml

Jump to solvers results

General information on the benchmark

Namecsp/ukHerald/
normalized-crossword-m1-uk-19-10.xml
MD5SUMc027916dfd2e151efb6693997eb2418f
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.767883
Satisfiable
(Un)Satisfiability was proved
Number of variables291
Number of constraints3443
Maximum constraint arity38
Maximum domain size26
Number of constraints which are defined in extension128
Number of constraints which are defined in intension3315
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
cpHydra k_101064055SAT 0.767883 0.773871
MDG-noprobe 2008-06-271064040SAT 0.811876 0.824768
Mistral-prime 1.3131064050SAT 0.819874 0.840505
cpHydra k_401064056SAT 0.824874 0.830422
MDG-probe 2008-06-271064039SAT 1.26181 1.28073
Abscon 112v4 AC1064053SAT 5.39218 5.48235
Abscon 112v4 ESAC1064054SAT 7.55985 7.73607
casper zito1064052SAT 14.8087 14.9577
Minion/Tailor 2008-07-041107289SAT 19.472 19.5229
casper zao1064051SAT 20.1859 20.2894
choco2_dwdeg 2008-06-261064046SAT 32.5231 32.5987
choco2_impwdeg 2008-06-261064045SAT 65.847 65.9216
Mistral-option 1.3141064049SAT 87.0068 87.0442
Concrete + CPS4J 2008-05-301064038SAT 206.331 208.292
SAT4J CSP 2008-06-131064041? 79.018 78.5166
Concrete + CSP4J - Tabu Engine 2008-05-301064036? (TO) 1800.02 1801.22
Sugar v1.13+picosat1064042? (TO) 1800.04 1815.14
Concrete + CSP4J - WMC Engine 2008-05-301064037? (TO) 1800.06 1806.42
galac M1064047? (TO) 1800.06 1804.72
galac E1064048? (TO) 1800.07 1807.02
bpsolver 2008-06-271064044? (TO) 1800.08 1808.74
Sugar v1.13+minisat1064043? (TO) 1800.08 1815.26

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