CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/pseudo/garden/
normalized-g-9x3.xml

Name	csp/pseudo/garden/ normalized-g-9x3.xml
MD5SUM	4ca8aae4b8d7bfaa3d821d8d6ba5a3fb
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.005998
Satisfiable
(Un)Satisfiability was proved
Number of variables	27
Number of constraints	27
Maximum constraint arity	5
Maximum domain size	2
Number of constraints which are defined in extension	0
Number of constraints which are defined in intension	27
Global constraints used (with number of constraints)

Solver Name	TraceID	Answer	CPU time	Wall clock time
casper zito	1049044	SAT	0.005998	0.010697
Mistral-option 1.314	1049041	SAT	0.007997	0.0145769
MDG-probe 2008-06-27	1049031	SAT	0.007998	0.01468
MDG-noprobe 2008-06-27	1049032	SAT	0.008998	0.00917593
Mistral-prime 1.313	1049042	SAT	0.008998	0.0142771
casper zao	1049043	SAT	0.010998	0.011859
cpHydra k_40	1049048	SAT	0.017996	0.0264929
cpHydra k_10	1049047	SAT	0.018996	0.026116
bpsolver 2008-06-27	1049036	SAT	0.032994	0.0387461
Minion/Tailor 2008-07-04	1104755	SAT	0.328949	0.382031
choco2_dwdeg 2008-06-26	1049038	SAT	0.511922	0.523256
Sugar v1.13+picosat	1049034	SAT	0.523919	0.527403
Concrete + CSP4J - WMC Engine 2008-05-30	1049029	SAT	0.534918	0.583537
Sugar v1.13+minisat	1049035	SAT	0.555914	0.703552
Concrete + CPS4J 2008-05-30	1049030	SAT	0.561914	0.584269
choco2_impwdeg 2008-06-26	1049037	SAT	0.567913	0.578499
Concrete + CSP4J - Tabu Engine 2008-05-30	1049028	SAT	0.623904	0.651091
Abscon 112v4 AC	1049045	SAT	0.71789	0.730791
Abscon 112v4 ESAC	1049046	SAT	0.736887	0.802594
SAT4J CSP 2008-06-13	1049033	SAT	1.02384	1.08391
galac M	1049039	SAT	1.04084	1.15522
galac E	1049040	SAT	1.16482	1.22162

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 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 1 0