CSP 2008 Competition: solvers results per benchmarks

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

Name	csp/lexHerald/ normalized-crossword-m1-lex-05-05.xml
MD5SUM	dca68007b93497b4ebbd161ce536e380
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.030995
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
Mistral-option 1.314	1067932	SAT	0.030995	0.0360271
Mistral-prime 1.313	1067933	SAT	0.031994	0.0378101
MDG-probe 2008-06-27	1067922	SAT	0.080987	0.087516
casper zito	1067935	SAT	0.234964	0.24116
casper zao	1067934	SAT	0.274958	0.285296
MDG-noprobe 2008-06-27	1067923	SAT	0.401938	0.412773
cpHydra k_10	1067938	SAT	0.483926	0.496273
cpHydra k_40	1067939	SAT	0.485925	0.499156
Minion/Tailor 2008-07-04	1105934	SAT	0.722889	0.768604
bpsolver 2008-06-27	1067927	SAT	0.777881	0.78383
Abscon 112v4 ESAC	1067937	SAT	0.876865	0.901999
Abscon 112v4 AC	1067936	SAT	0.995848	1.04256
choco2_impwdeg 2008-06-26	1067928	SAT	1.12883	1.16412
choco2_dwdeg 2008-06-26	1067929	SAT	1.3028	1.3692
Sugar v1.13+minisat	1067926	SAT	2.25966	2.37445
Sugar v1.13+picosat	1067925	SAT	2.67559	2.8432
Concrete + CSP4J - Tabu Engine 2008-05-30	1067919	SAT	48.0487	48.578
Concrete + CSP4J - WMC Engine 2008-05-30	1067920	SAT	111.204	111.322
Concrete + CPS4J 2008-05-30	1067921	SAT	115.396	116.002
SAT4J CSP 2008-06-13	1067924	? (MO)	37.7873	37.6305
galac M	1067930	? (TO)	1800.01	1805.22
galac E	1067931	? (TO)	1800.08	1813.83

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

Solution found:

9 20 19 4 17 0 3 8 13 0 7 18 17 8 24 4 19