CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/ogdHerald/
normalized-crossword-m1-ogd-23-02.xml
MD5SUM6e837bcff90ceecc34ace19452d7a79e
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.25766
Satisfiable
(Un)Satisfiability was proved
Number of variables435
Number of constraints4428
Maximum constraint arity24
Maximum domain size26
Number of constraints which are defined in extension182
Number of constraints which are defined in intension4246
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Mistral-prime 1.3131075318SAT 2.25766 2.27642
MDG-noprobe 2008-06-271075308SAT 2.38664 2.41397
cpHydra k_101075323SAT 2.39164 2.41804
cpHydra k_401075324SAT 2.50162 2.53289
Abscon 112v4 AC1075321SAT 9.26459 9.4577
Abscon 112v4 ESAC1075322SAT 11.2783 11.0207
casper zito1075320SAT 32.5181 32.823
choco2_dwdeg 2008-06-261075314SAT 70.3593 70.4347
casper zao1075319SAT 72.649 72.7001
MDG-probe 2008-06-271075307SAT 85.353 86.1168
choco2_impwdeg 2008-06-261075313SAT 159.886 159.978
Mistral-option 1.3141075317SAT 269.006 270.31
Concrete + CPS4J 2008-05-301075306SAT 368.915 370.951
SAT4J CSP 2008-06-131075309? 98.452 97.4333
bpsolver 2008-06-271075312? (problem) 65.3191 65.9513
Sugar v1.13+picosat1075310? (MO) 9.31 9.54532
Sugar v1.13+minisat1075311? (MO) 9.35 9.54729
Minion/Tailor 2008-07-041106072? (MO) 44.76 45.3133
Concrete + CSP4J - WMC Engine 2008-05-301075305? (TO) 1800 1815.92
Concrete + CSP4J - Tabu Engine 2008-05-301075304? (TO) 1800.02 1809.12
galac M1075315? (TO) 1800.03 1805.92
galac E1075316? (TO) 1800.03 1803.52

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