CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/ogdHerald/
normalized-crossword-m1-ogd-15-03.xml
MD5SUM6023d8b01905dd6c34bb294891b52766
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 benchmark0.537917
Satisfiable
(Un)Satisfiability was proved
Number of variables189
Number of constraints1001
Maximum constraint arity16
Maximum domain size26
Number of constraints which are defined in extension78
Number of constraints which are defined in intension923
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Mistral-prime 1.3131075297SAT 0.537917 0.538688
MDG-noprobe 2008-06-271075287SAT 0.546916 0.554488
cpHydra k_101075302SAT 0.551915 0.562859
cpHydra k_401075303SAT 0.552915 0.569078
Abscon 112v4 AC1075300SAT 2.94755 2.99972
Abscon 112v4 ESAC1075301SAT 3.9164 3.96871
choco2_dwdeg 2008-06-261075293SAT 21.1498 21.3689
Minion/Tailor 2008-07-041106060SAT 21.4677 21.7323
Mistral-option 1.3141075296SAT 22.1636 22.2655
casper zito1075299SAT 23.1685 23.3903
casper zao1075298SAT 30.8223 30.8388
bpsolver 2008-06-271075291SAT 33.076 33.3822
MDG-probe 2008-06-271075286SAT 48.7476 49.1773
choco2_impwdeg 2008-06-261075292SAT 60.5388 60.6977
Concrete + CPS4J 2008-05-301075285SAT 207.889 207.981
SAT4J CSP 2008-06-131075288? (MO) 31.6432 30.3462
galac M1075294? (TO) 1800 1812.62
Sugar v1.13+minisat1075290? (TO) 1800 1803.1
galac E1075295? (TO) 1800.03 1807.92
Concrete + CSP4J - Tabu Engine 2008-05-301075283? (TO) 1800.06 1814.32
Sugar v1.13+picosat1075289? (TO) 1800.06 1815.12
Concrete + CSP4J - WMC Engine 2008-05-301075284? (TO) 1800.08 1805.32

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