CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/ogdHerald/
normalized-crossword-m1-ogd-23-03.xml

Jump to solvers results

General information on the benchmark

Namecsp/ogdHerald/
normalized-crossword-m1-ogd-23-03.xml
MD5SUMd629cc284e853f0a686a61cfd31aa5b4
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 benchmark2.54261
Satisfiable
(Un)Satisfiability was proved
Number of variables440
Number of constraints3345
Maximum constraint arity26
Maximum domain size26
Number of constraints which are defined in extension174
Number of constraints which are defined in intension3171
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Mistral-prime 1.3131075654SAT 2.54261 2.57561
cpHydra k_101075659SAT 2.82457 2.86746
cpHydra k_401075660SAT 2.84157 2.87183
MDG-noprobe 2008-06-271075644SAT 2.88156 2.90909
Abscon 112v4 AC1075657SAT 9.8395 9.9866
Abscon 112v4 ESAC1075658SAT 13.26 13.4018
casper zito1075656SAT 39.0481 39.4111
choco2_dwdeg 2008-06-261075650SAT 69.4744 69.5492
casper zao1075655SAT 85.375 86.1607
MDG-probe 2008-06-271075643SAT 94.2827 94.7
Mistral-option 1.3141075653SAT 126.51 126.563
Concrete + CPS4J 2008-05-301075642SAT 531.525 534.154
choco2_impwdeg 2008-06-261075649SAT 600.469 603.874
SAT4J CSP 2008-06-131075645? 109.239 108.276
bpsolver 2008-06-271075648? (problem) 70.9152 71.5759
Sugar v1.13+minisat1075647? (MO) 9.53 9.71369
Sugar v1.13+picosat1075646? (MO) 9.53 9.74166
Minion/Tailor 2008-07-041106073? (MO) 44.75 45.3148
galac M1075651? (TO) 1800.03 1815.52
Concrete + CSP4J - Tabu Engine 2008-05-301075640? (TO) 1800.05 1817.13
galac E1075652? (TO) 1800.07 1801.83
Concrete + CSP4J - WMC Engine 2008-05-301075641? (TO) 1800.09 1805.03

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