CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/wordsHerald/
normalized-crossword-m1-words-23-07.xml

Jump to solvers results

General information on the benchmark

Namecsp/wordsHerald/
normalized-crossword-m1-words-23-07.xml
MD5SUM9d8ebef5d3e95d8c2bf8acdb5a217291
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 benchmark3.82042
Satisfiable
(Un)Satisfiability was proved
Number of variables446
Number of constraints3889
Maximum constraint arity24
Maximum domain size26
Number of constraints which are defined in extension174
Number of constraints which are defined in intension3715
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Mistral-prime 1.3131076836SAT 3.82042 3.86718
MDG-noprobe 2008-06-271076826SAT 5.74512 5.77967
Abscon 112v4 ESAC1076840SAT 11.5672 11.6747
cpHydra k_101076841SAT 12.5301 12.7407
Abscon 112v4 AC1076839SAT 12.955 13.1361
cpHydra k_401076842SAT 19.733 19.9892
MDG-probe 2008-06-271076825SAT 35.5196 35.866
choco2_dwdeg 2008-06-261076832SAT 47.9767 47.6434
Minion/Tailor 2008-07-041107384SAT 82.7354 83.3871
casper zao1076837SAT 85.248 86.0697
casper zito1076838SAT 147.809 148.531
Mistral-option 1.3141076835SAT 363.073 364.226
Concrete + CPS4J 2008-05-301076824SAT 956.227 956.61
SAT4J CSP 2008-06-131076827? (MO) 37.7593 29.6388
galac E1076834? (TO) 1800.01 1811.92
Sugar v1.13+picosat1076828? (TO) 1800.02 1812.55
Concrete + CSP4J - Tabu Engine 2008-05-301076822? (TO) 1800.02 1812.92
Concrete + CSP4J - WMC Engine 2008-05-301076823? (TO) 1800.05 1800.62
galac M1076833? (TO) 1800.06 1806.02
bpsolver 2008-06-271076830? (TO) 1800.1 1808.67
Sugar v1.13+minisat1076829? (TO) 1800.1 1823.16
choco2_impwdeg 2008-06-261076831? (TO) 1800.16 1814.67

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