CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/ogdHerald/
normalized-crossword-m1-ogd-23-07.xml
MD5SUM0a686702ca9a26462bbb33f67d4dcac6
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.42563
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
MDG-noprobe 2008-06-271075266SAT 2.42563 2.46357
cpHydra k_401075282SAT 2.45163 2.47883
Mistral-prime 1.3131075276SAT 2.55461 2.58284
cpHydra k_101075281SAT 2.58161 2.62694
Abscon 112v4 AC1075279SAT 9.98748 10.0717
Abscon 112v4 ESAC1075280SAT 12.6231 12.7419
casper zito1075278SAT 35.2946 35.4592
choco2_dwdeg 2008-06-261075272SAT 71.4051 72.1183
casper zao1075277SAT 73.6158 74.3365
choco2_impwdeg 2008-06-261075271SAT 75.4975 76.2529
MDG-probe 2008-06-271075265SAT 111.345 111.631
Concrete + CPS4J 2008-05-301075264SAT 430.468 434.309
Mistral-option 1.3141075275SAT 445.216 445.75
SAT4J CSP 2008-06-131075267? 100.139 98.9794
bpsolver 2008-06-271075270? (problem) 64.5832 65.1797
Sugar v1.13+minisat1075269? (MO) 9.44 9.64043
Sugar v1.13+picosat1075268? (MO) 9.54948 10.0821
Minion/Tailor 2008-07-041106074? (MO) 46 46.3168
galac M1075273? (TO) 1800.01 1808.52
Concrete + CSP4J - WMC Engine 2008-05-301075263? (TO) 1800.01 1801.62
galac E1075274? (TO) 1800.05 1802.62
Concrete + CSP4J - Tabu Engine 2008-05-301075262? (TO) 1800.06 1800.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:
1 0 1 0 0 6 6 11 14 12 0 6 8 13 5 0 6 14 19 0 1 0 19 21 17 0 8 18 0 6 0 2 0 0 17 0 18 4 4 4 1 20 17 13 4 4 13 13 4 8 17 17 8 19 4 17 0 8 4
13 19 18 4 23 14 8 18 4 18 17 0 6 4 0 19 17 0 2 17 4 0 15 0 19 4 12 0 3 17 4 1 0 17 3 12 0 20 11 17 0 15 7 8 0 5 0 8 13 4 17 0 6 0 3 0 8 17
0 0 1 14 8 18 4 17 13 4 0 4 3 4 8 17 0 1 0 3 0 4 11 14 8 18 8 4 13 13 4 2 18 0 17 3 0 18 0 2 4 6 11 4 13 0 15 8 0 5 12 17 1 12 4 21 4 1 0 13
19 14 20 4 18 10 4 17 11 0 25 8 4 13 2 11 0 12 18 0 6 4 0 6 0 2 4 8 14 3 0 5 4 8 17 0 0 17 0 1 11 4 2 0 11 0 4 19 4 18 1 0 17 6 4 18 1 0 2 0
20 1 0 19 0 2 11 0 18 7 0 12 0 13 0 3 0 2 1 17 8 0 13 19 0 8 18 8 18 11 0 12 8 18 0 19 0 8 7 0 8 18 2 7 8 0 0 15 15 0 18 5 4 18 18 8 18 12 0
11 4 15 7 0 13 19 0 18 12 0 8 2 8 11 18 14 8 4 0 11 14 8 6 17 0 12 3 17 0 21 0 0 19 19 0 17 0 6 8 4 0 17 6 0 13 2 17 4 19 0 8 11 0 14 18 0 2
17 0 14 6 7 0 12 5 14 8 13 4 20 23 14 13 2 4 18 0 17 14 3 17 0 2 11 4 19 19 4 18 15 8 17 8 19 20 0 11 8 18 0 0 24 0 19 14 11 11 0 7 18 0 8 2
7 4 17 6 4 11 8 5 7 0 3 0 11 0 11 24 0 13 14 4 18 4 4 21 0 18 0 18 12 0 11 0 18 0 12 20