CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/wordsHerald/
normalized-crossword-m1-words-15-08.xml

Jump to solvers results

General information on the benchmark

Namecsp/wordsHerald/
normalized-crossword-m1-words-15-08.xml
MD5SUMb681c587011422235c48aff4aa44314b
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.245962
Satisfiable
(Un)Satisfiability was proved
Number of variables186
Number of constraints978
Maximum constraint arity16
Maximum domain size26
Number of constraints which are defined in extension84
Number of constraints which are defined in intension894
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Mistral-prime 1.3131077130SAT 0.245962 0.246434
MDG-noprobe 2008-06-271077120SAT 0.294954 0.299551
cpHydra k_101077135SAT 0.302952 0.308254
cpHydra k_401077136SAT 0.305953 0.30442
Abscon 112v4 AC1077133SAT 2.43463 2.46317
Abscon 112v4 ESAC1077134SAT 2.82957 2.87673
casper zito1077132SAT 10.7174 10.8287
choco2_dwdeg 2008-06-261077126SAT 11.0663 11.1791
MDG-probe 2008-06-271077119SAT 20.9428 21.0447
choco2_impwdeg 2008-06-261077125SAT 39.0921 39.4982
casper zao1077131SAT 42.0136 42.3882
Mistral-option 1.3141077129SAT 81.9755 82.0096
Concrete + CPS4J 2008-05-301077118SAT 217.1 219.217
Sugar v1.13+minisat1077123SAT 322.61 325.86
SAT4J CSP 2008-06-131077121? (MO) 40.6818 37.0346
Sugar v1.13+picosat1077122? (TO) 1800.01 1811.85
galac E1077128? (TO) 1800.03 1800.32
Concrete + CSP4J - WMC Engine 2008-05-301077117? (TO) 1800.05 1800.82
Minion/Tailor 2008-07-041107373? (TO) 1800.05 1815.11
galac M1077127? (TO) 1800.07 1811.82
Concrete + CSP4J - Tabu Engine 2008-05-301077116? (TO) 1800.08 1812.32
bpsolver 2008-06-271077124? (TO) 1800.11 1803.23

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