CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/lexHerald/
normalized-crossword-m1-lex-05-10.xml

Name	csp/lexHerald/ normalized-crossword-m1-lex-05-10.xml
MD5SUM	22a03e9c27ff3c0fe19d39c3527e0c50
Bench Category	N-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.017996
Satisfiable
(Un)Satisfiability was proved
Number of variables	17
Number of constraints	39
Maximum constraint arity	8
Maximum domain size	26
Number of constraints which are defined in extension	10
Number of constraints which are defined in intension	29
Global constraints used (with number of constraints)

Solver Name	TraceID	Answer	CPU time	Wall clock time
MDG-probe 2008-06-27	1067859	SAT	0.017996	0.0253151
Mistral-option 1.314	1067869	SAT	0.023996	0.0294009
Mistral-prime 1.313	1067870	SAT	0.026995	0.0327899
casper zito	1067872	SAT	0.133979	0.140597
casper zao	1067871	SAT	0.215966	0.223344
cpHydra k_40	1067876	SAT	0.354945	0.358545
cpHydra k_10	1067875	SAT	0.356944	0.366138
MDG-noprobe 2008-06-27	1067860	SAT	0.552915	0.564453
Minion/Tailor 2008-07-04	1105937	SAT	0.631903	0.656688
bpsolver 2008-06-27	1067864	SAT	0.78788	0.801536
Abscon 112v4 AC	1067873	SAT	0.830873	0.884952
Abscon 112v4 ESAC	1067874	SAT	0.863868	0.89896
choco2_impwdeg 2008-06-26	1067865	SAT	0.956854	0.996489
choco2_dwdeg 2008-06-26	1067866	SAT	1.2828	1.31318
Sugar v1.13+minisat	1067863	SAT	2.26366	2.41725
Sugar v1.13+picosat	1067862	SAT	2.6326	2.78173
Concrete + CSP4J - Tabu Engine 2008-05-30	1067856	SAT	71.3981	72.0975
Concrete + CSP4J - WMC Engine 2008-05-30	1067857	SAT	74.6746	75.4158
Concrete + CPS4J 2008-05-30	1067858	SAT	128.76	129.494
SAT4J CSP 2008-06-13	1067861	?	91.799	91.4702
galac E	1067868	? (TO)	1800.04	1808.72
galac M	1067867	? (TO)	1800.07	1806.52

This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).

Solution found:

0 0 0 0 11 1 2 0 17 11 0 0 1 14 1 4 13