CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/ogdHerald/
normalized-crossword-m1-ogd-21-03.xml
MD5SUM4017db100708ff15ef992f6d96e82e74
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.49477
Satisfiable
(Un)Satisfiability was proved
Number of variables362
Number of constraints2140
Maximum constraint arity22
Maximum domain size26
Number of constraints which are defined in extension144
Number of constraints which are defined in intension1996
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MDG-noprobe 2008-06-271075329SAT 1.49477 1.51699
cpHydra k_401075345SAT 1.51077 1.53287
cpHydra k_101075344SAT 1.51277 1.52852
Mistral-prime 1.3131075339SAT 1.77973 1.80176
Abscon 112v4 AC1075342SAT 5.53216 5.62285
Abscon 112v4 ESAC1075343SAT 7.69283 7.77795
casper zao1075340SAT 43.6874 44.0067
casper zito1075341SAT 45.0242 45.2227
choco2_dwdeg 2008-06-261075335SAT 51.5172 51.6073
choco2_impwdeg 2008-06-261075334SAT 66.4349 66.7553
MDG-probe 2008-06-271075328SAT 73.1049 73.4752
Mistral-option 1.3141075338SAT 89.5744 90.279
Concrete + CPS4J 2008-05-301075327SAT 492.62 497.425
SAT4J CSP 2008-06-131075330? 96.6583 95.3679
Sugar v1.13+picosat1075331? (MO) 8.45 8.6324
Minion/Tailor 2008-07-041106068? (MO) 41.58 42.1136
Concrete + CSP4J - Tabu Engine 2008-05-301075325? (TO) 1800 1800.73
galac E1075337? (TO) 1800.02 1807.62
Concrete + CSP4J - WMC Engine 2008-05-301075326? (TO) 1800.05 1800.82
galac M1075336? (TO) 1800.05 1808.22
bpsolver 2008-06-271075333? (TO) 1800.12 1807.98
Sugar v1.13+minisat1075332? (TO) 1800.2 1817.45

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