CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/ogdHerald/
normalized-crossword-m1-ogd-19-06.xml

Jump to solvers results

General information on the benchmark

Namecsp/ogdHerald/
normalized-crossword-m1-ogd-19-06.xml
MD5SUM5e286f1e2243897cc3cc9750db43f6d9
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.45378
Satisfiable
(Un)Satisfiability was proved
Number of variables287
Number of constraints2528
Maximum constraint arity22
Maximum domain size26
Number of constraints which are defined in extension128
Number of constraints which are defined in intension2400
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MDG-noprobe 2008-06-271075665SAT 1.45378 1.47704
cpHydra k_401075681SAT 1.47977 1.50734
Mistral-prime 1.3131075675SAT 1.49077 1.50668
cpHydra k_101075680SAT 1.53677 1.55433
Abscon 112v4 AC1075678SAT 5.32719 5.38204
Abscon 112v4 ESAC1075679SAT 7.2059 7.29761
MDG-probe 2008-06-271075664SAT 20.5759 20.7722
casper zito1075677SAT 27.7098 27.9657
choco2_dwdeg 2008-06-261075671SAT 42.0076 42.2406
casper zao1075676SAT 55.5306 56.0738
choco2_impwdeg 2008-06-261075670SAT 65.947 65.9974
Mistral-option 1.3141075674SAT 203.098 204.872
Concrete + CPS4J 2008-05-301075663SAT 216.712 218.847
SAT4J CSP 2008-06-131075666? 100.411 99.3503
Sugar v1.13+minisat1075668? (MO) 7.29 7.49262
Sugar v1.13+picosat1075667? (MO) 7.88 8.09131
Concrete + CSP4J - WMC Engine 2008-05-301075662? (TO) 1800 1824.52
galac E1075673? (TO) 1800.02 1802.72
Minion/Tailor 2008-07-041106066? (TO) 1800.03 1809.42
Concrete + CSP4J - Tabu Engine 2008-05-301075661? (TO) 1800.04 1805.62
bpsolver 2008-06-271075669? (TO) 1800.07 1804.96
galac M1075672? (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:
12 0 0 17 0 2 19 0 2 5 0 14 15 0 2 0 0 1 1 4 2 11 0 15 0 11 20 18 0 3 0 18 2 0 4 12 2 0 11 11 19 0 23 0 17 0 11 0 19 4 4 14 13 2 14 11 14 6
8 18 19 4 12 18 19 12 8 13 18 0 8 4 1 0 12 1 0 1 0 1 0 18 19 4 11 11 0 6 4 0 2 4 17 4 0 8 4 0 7 0 13 0 18 0 11 18 2 8 4 11 3 17 4 23 4 0 19
19 21 0 0 20 19 17 8 2 4 10 17 8 11 11 2 0 1 0 13 13 0 17 3 19 0 17 0 5 2 0 15 14 14 1 4 8 4 1 0 13 0 11 2 0 1 14 20 17 6 1 0 17 12 0 19 0 8
11 0 2 3 17 0 0 8 2 8 12 0 13 0 18 21 0 11 12 8 13 2 8 19 18 20 13 0 12 8 18 1 0 3 0 14 2 4 0 13 12 0 2 18 19 0 6 0 8 19 19 7 4 17 12 8 2 8
4 13 18 8 3 4 5 0 0 0 11 0 8 2 18 19 0 17 16 0 19 18 0 13 0 11 11 0 2 0 18 0 6 0 20 13 0 20 1 0 18 4 4 6 0 11 4 11 0 12 4 18 19 4