CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/ukHerald/
normalized-crossword-m1-uk-21-02.xml

Jump to solvers results

General information on the benchmark

Namecsp/ukHerald/
normalized-crossword-m1-uk-21-02.xml
MD5SUM5ac73b28ca9b0050b6bc76f1ad4eff58
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 benchmark1.21381
Satisfiable
(Un)Satisfiability was proved
Number of variables369
Number of constraints3033
Maximum constraint arity24
Maximum domain size26
Number of constraints which are defined in extension150
Number of constraints which are defined in intension2883
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Mistral-prime 1.3131064008SAT 1.21381 1.23171
MDG-noprobe 2008-06-271063998SAT 1.3148 1.32511
cpHydra k_401064014SAT 1.35379 1.36948
cpHydra k_101064013SAT 1.35979 1.3657
Abscon 112v4 AC1064011SAT 5.76812 5.84809
Abscon 112v4 ESAC1064012SAT 8.51271 8.60518
casper zito1064010SAT 29.9844 30.2757
choco2_dwdeg 2008-06-261064004SAT 35.2566 35.4663
casper zao1064009SAT 37.8472 37.8808
MDG-probe 2008-06-271063997SAT 47.3478 47.5377
Mistral-option 1.3141064007SAT 124.792 125.41
Minion/Tailor 2008-07-041107290SAT 143.473 147.073
choco2_impwdeg 2008-06-261064003SAT 209.427 210.489
Concrete + CPS4J 2008-05-301063996SAT 362.062 365.587
SAT4J CSP 2008-06-131063999? 65.758 65.9244
Sugar v1.13+picosat1064000? (MO) 6.28077 7.04052
Concrete + CSP4J - Tabu Engine 2008-05-301063994? (TO) 1800.03 1813.02
galac E1064006? (TO) 1800.06 1800.92
Concrete + CSP4J - WMC Engine 2008-05-301063995? (TO) 1800.07 1809.43
galac M1064005? (TO) 1800.08 1808.52
bpsolver 2008-06-271064002? (TO) 1800.14 1807.47
Sugar v1.13+minisat1064001? (TO) 1800.15 1818.64

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