CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/wordsHerald/
normalized-crossword-m1-words-21-08.xml
MD5SUM732fd222b42b1b48209bcbd3b606cfba
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.627904
Satisfiable
(Un)Satisfiability was proved
Number of variables365
Number of constraints3584
Maximum constraint arity18
Maximum domain size26
Number of constraints which are defined in extension150
Number of constraints which are defined in intension3434
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MDG-noprobe 2008-06-271076805SAT 0.627904 0.629219
cpHydra k_401076821SAT 0.676896 0.68842
cpHydra k_101076820SAT 0.676896 0.683086
Mistral-prime 1.3131076815SAT 0.739886 0.752801
Abscon 112v4 AC1076818SAT 5.71413 5.79837
Abscon 112v4 ESAC1076819SAT 7.37688 7.46238
casper zito1076817SAT 15.9216 16.0202
MDG-probe 2008-06-271076804SAT 21.5567 21.603
choco2_dwdeg 2008-06-261076811SAT 39.8399 39.5199
casper zao1076816SAT 50.9862 51.8978
Minion/Tailor 2008-07-041107381SAT 182.1 183.028
Mistral-option 1.3141076814SAT 193.662 194.629
Concrete + CPS4J 2008-05-301076803SAT 612.412 617.774
SAT4J CSP 2008-06-131076806? (MO) 34.9797 34.4486
Sugar v1.13+picosat1076807? (TO) 1800.01 1811.54
Concrete + CSP4J - WMC Engine 2008-05-301076802? (TO) 1800.01 1802.72
galac M1076812? (TO) 1800.02 1801.02
Sugar v1.13+minisat1076808? (TO) 1800.06 1816.95
bpsolver 2008-06-271076809? (TO) 1800.07 1802.77
choco2_impwdeg 2008-06-261076810? (TO) 1800.07 1803.96
Concrete + CSP4J - Tabu Engine 2008-05-301076801? (TO) 1800.09 1816.82
galac E1076813? (TO) 1800.1 1808.92

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