CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/wordsHerald/
normalized-crossword-m1-words-21-01.xml

Jump to solvers results

General information on the benchmark

Namecsp/wordsHerald/
normalized-crossword-m1-words-21-01.xml
MD5SUMd641e6d421915b203052ef4c4deb4c35
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 benchmark45.2021
Satisfiable
(Un)Satisfiability was proved
Number of variables373
Number of constraints2303
Maximum constraint arity24
Maximum domain size26
Number of constraints which are defined in extension138
Number of constraints which are defined in intension2165
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MDG-probe 2008-06-271077056SAT 45.2021 45.2154
Mistral-prime 1.3131077067SAT 92.7249 92.752
cpHydra k_101077072SAT 101.311 101.83
casper zito1077069SAT 163.009 164.545
Abscon 112v4 ESAC1077071SAT 221.297 222.466
MDG-noprobe 2008-06-271077057SAT 295.914 298.058
Abscon 112v4 AC1077070SAT 367.338 371.506
cpHydra k_401077073SAT 371.378 378.718
Mistral-option 1.3141077066SAT 402.652 406.292
casper zao1077068SAT 528.771 530.424
choco2_dwdeg 2008-06-261077063SAT 617.182 620.276
choco2_impwdeg 2008-06-261077062SAT 931.838 932.213
SAT4J CSP 2008-06-131077058? (MO) 33.6489 33.2373
galac E1077065? (TO) 1800.01 1820.53
Concrete + CSP4J - Tabu Engine 2008-05-301077053? (TO) 1800.02 1808.52
Concrete + CPS4J 2008-05-301077055? (TO) 1800.03 1812.72
Minion/Tailor 2008-07-041107378? (TO) 1800.04 1817.31
galac M1077064? (TO) 1800.05 1800.42
Concrete + CSP4J - WMC Engine 2008-05-301077054? (TO) 1800.05 1817.02
Sugar v1.13+picosat1077059? (TO) 1800.06 1801.52
bpsolver 2008-06-271077061? (TO) 1800.11 1805.47
Sugar v1.13+minisat1077060? (TO) 1800.15 1807.35

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