CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/pseudo/garden/
normalized-g-2x2.xml

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

Solver Name	TraceID	Answer	CPU time	Wall clock time
casper zito	1048981	SAT	0.004998	0.014038
MDG-probe 2008-06-27	1048968	SAT	0.004999	0.013586
MDG-noprobe 2008-06-27	1048969	SAT	0.005998	0.0120191
Mistral-prime 1.313	1048979	SAT	0.006998	0.0122691
Mistral-option 1.314	1048978	SAT	0.006998	0.0130229
casper zao	1048980	SAT	0.007998	0.019696
cpHydra k_40	1048985	SAT	0.018996	0.0437351
cpHydra k_10	1048984	SAT	0.018996	0.183107
bpsolver 2008-06-27	1048973	SAT	0.023996	0.0291809
Minion/Tailor 2008-07-04	1104752	SAT	0.263959	0.333352
Concrete + CPS4J 2008-05-30	1048967	SAT	0.420935	0.477894
Concrete + CSP4J - Tabu Engine 2008-05-30	1048965	SAT	0.421935	0.439675
Sugar v1.13+picosat	1048971	SAT	0.441932	0.49985
Concrete + CSP4J - WMC Engine 2008-05-30	1048966	SAT	0.443931	0.488306
choco2_dwdeg 2008-06-26	1048975	SAT	0.45493	0.47573
Sugar v1.13+minisat	1048972	SAT	0.480926	0.513321
choco2_impwdeg 2008-06-26	1048974	SAT	0.508922	0.530522
Abscon 112v4 ESAC	1048983	SAT	0.647901	0.676674
Abscon 112v4 AC	1048982	SAT	0.6509	0.676793
galac M	1048976	SAT	0.765883	0.820945
galac E	1048977	SAT	0.784879	0.850565
SAT4J CSP 2008-06-13	1048970	SAT	0.891864	0.907687

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