CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/ogdHerald/
normalized-crossword-m1-ogd-21-08.xml
MD5SUM1eeb633eda18b14a135c3032845816d7
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.14083
Satisfiable
(Un)Satisfiability was proved
Number of variables365
Number of constraints3584
Maximum constraint arity18
Maximum domain size26
Number of constraints which are defined in extension150
Number of constraints which are defined in intension3434
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MDG-noprobe 2008-06-271075392SAT 1.14083 1.15218
Mistral-prime 1.3131075402SAT 1.14482 1.14653
cpHydra k_101075407SAT 1.14982 1.15872
cpHydra k_401075408SAT 1.21381 1.23528
Abscon 112v4 AC1075405SAT 7.06992 7.16011
Abscon 112v4 ESAC1075406SAT 8.67968 8.7734
casper zito1075404SAT 31.5932 31.8804
MDG-probe 2008-06-271075391SAT 38.7671 38.8689
choco2_dwdeg 2008-06-261075398SAT 45.1871 45.6494
casper zao1075403SAT 69.6554 70.2085
Mistral-option 1.3141075401SAT 155.23 156.719
Concrete + CPS4J 2008-05-301075390SAT 478.945 481.596
SAT4J CSP 2008-06-131075393? 83.3583 83.1124
Sugar v1.13+picosat1075394? (MO) 7.28 7.48582
Sugar v1.13+minisat1075395? (MO) 7.38077 7.80014
galac E1075400? (TO) 1800.01 1800.92
Minion/Tailor 2008-07-041106070? (TO) 1800.01 1801.72
Concrete + CSP4J - WMC Engine 2008-05-301075389? (TO) 1800.01 1803.52
Concrete + CSP4J - Tabu Engine 2008-05-301075388? (TO) 1800.05 1800.82
galac M1075399? (TO) 1800.1 1801.02
bpsolver 2008-06-271075396? (TO) 1800.11 1800.98
choco2_impwdeg 2008-06-261075397? (TO) 1800.15 1807.68

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