CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/ukPuzzle/
normalized-crossword-m1-uk-puzzle01.xml

Name	csp/ukPuzzle/ normalized-crossword-m1-uk-puzzle01.xml
MD5SUM	db93a5ea9a7c45080563225fde9797ab
Bench Category	2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.003998
Satisfiable
(Un)Satisfiability was proved
Number of variables	3
Number of constraints	3
Maximum constraint arity	2
Maximum domain size	26
Number of constraints which are defined in extension	2
Number of constraints which are defined in intension	1
Global constraints used (with number of constraints)

Solver Name	TraceID	Answer	CPU time	Wall clock time
MDG-noprobe 2008-06-27	1070873	SAT	0.003998	0.0124149
Mistral-prime 1.313	1070883	SAT	0.005998	0.00687292
Mistral-option 1.314	1070882	SAT	0.005998	0.00700997
MDG-probe 2008-06-27	1070872	SAT	0.006998	0.00730693
casper zao	1070884	SAT	0.007998	0.00955491
casper zito	1070885	SAT	0.007998	0.00891396
cpHydra k_40	1070889	SAT	0.014997	0.0171679
cpHydra k_10	1070888	SAT	0.015996	0.0171411
bpsolver 2008-06-27	1070877	SAT	0.024996	0.0259611
Minion/Tailor 2008-07-04	1107296	SAT	0.269958	0.320064
Concrete + CSP4J - WMC Engine 2008-05-30	1070870	SAT	0.373942	0.373288
Concrete + CSP4J - Tabu Engine 2008-05-30	1070869	SAT	0.392939	0.443492
Concrete + CPS4J 2008-05-30	1070871	SAT	0.397938	0.431367
choco2_dwdeg 2008-06-26	1070879	SAT	0.444932	0.412684
Sugar v1.13+minisat	1070876	SAT	0.477926	0.511071
Sugar v1.13+picosat	1070875	SAT	0.485925	0.530599
choco2_impwdeg 2008-06-26	1070878	SAT	0.492924	0.533797
Abscon 112v4 AC	1070886	SAT	0.639902	0.574874
Abscon 112v4 ESAC	1070887	SAT	0.681895	0.693682
SAT4J CSP 2008-06-13	1070874	SAT	0.902862	0.721037
galac M	1070880	SAT	0.918859	0.8228
galac E	1070881	SAT	1.00285	1.1036

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

Solution found:

1 0 0