CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/lexPuzzle/
normalized-crossword-m1-lex-puzzle02.xml

Name	csp/lexPuzzle/ normalized-crossword-m1-lex-puzzle02.xml
MD5SUM	bd9d0c178ccf255c45ef9b214661e110
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.009998
Satisfiable
(Un)Satisfiability was proved
Number of variables	8
Number of constraints	13
Maximum constraint arity	6
Maximum domain size	26
Number of constraints which are defined in extension	6
Number of constraints which are defined in intension	7
Global constraints used (with number of constraints)

Solver Name	TraceID	Answer	CPU time	Wall clock time
Mistral-option 1.314	1074498	SAT	0.009998	0.0153291
Mistral-prime 1.313	1074499	SAT	0.013997	0.0222139
MDG-probe 2008-06-27	1074488	SAT	0.016997	0.0230529
MDG-noprobe 2008-06-27	1074489	SAT	0.018996	0.0256929
cpHydra k_40	1074505	SAT	0.032994	0.033775
cpHydra k_10	1074504	SAT	0.038993	0.156773
casper zito	1074501	SAT	0.039993	0.045857
casper zao	1074500	SAT	0.042993	0.051347
bpsolver 2008-06-27	1074493	SAT	0.059989	0.0668529
Minion/Tailor 2008-07-04	1105953	SAT	0.357945	0.398123
choco2_impwdeg 2008-06-26	1074494	SAT	0.649901	0.683015
choco2_dwdeg 2008-06-26	1074495	SAT	0.671897	0.674991
Sugar v1.13+minisat	1074492	SAT	0.707892	0.75137
Abscon 112v4 ESAC	1074503	SAT	0.737887	0.784878
Sugar v1.13+picosat	1074491	SAT	0.765883	0.865554
Abscon 112v4 AC	1074502	SAT	0.819875	0.851223
Concrete + CSP4J - Tabu Engine 2008-05-30	1074485	SAT	36.5904	36.5845
Concrete + CSP4J - WMC Engine 2008-05-30	1074486	SAT	37.8812	38.2902
galac M	1074496	SAT	74.4447	75.0893
galac E	1074497	SAT	75.1736	75.6192
Concrete + CPS4J 2008-05-30	1074487	SAT	88.4556	88.9567
SAT4J CSP 2008-06-13	1074490	SAT	1372.9	1385.89

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

Solution found:

0 3 0 0 0 2 20 1