CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/pseudo/garden/
normalized-g-4x4.xml

Name	csp/pseudo/garden/ normalized-g-4x4.xml
MD5SUM	a049eec66e3491b32d9e80b20f559e89
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	16
Number of constraints	16
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	16
Global constraints used (with number of constraints)

Solver Name	TraceID	Answer	CPU time	Wall clock time
Mistral-prime 1.313	1048937	SAT	0.005998	0.014115
MDG-noprobe 2008-06-27	1048927	SAT	0.006998	0.0132781
casper zito	1048939	SAT	0.006998	0.0161399
Mistral-option 1.314	1048936	SAT	0.007997	0.0137579
casper zao	1048938	SAT	0.007998	0.0168661
MDG-probe 2008-06-27	1048926	SAT	0.007998	0.013755
cpHydra k_10	1048942	SAT	0.017997	0.035522
cpHydra k_40	1048943	SAT	0.019996	0.0245209
bpsolver 2008-06-27	1048931	SAT	0.028995	0.0375361
Minion/Tailor 2008-07-04	1104750	SAT	0.292955	0.335278
Sugar v1.13+minisat	1048930	SAT	0.483925	0.529735
choco2_impwdeg 2008-06-26	1048932	SAT	0.485925	0.521964
Concrete + CPS4J 2008-05-30	1048925	SAT	0.505922	0.533224
Concrete + CSP4J - Tabu Engine 2008-05-30	1048923	SAT	0.509922	0.554054
Sugar v1.13+picosat	1048929	SAT	0.513921	0.766163
Concrete + CSP4J - WMC Engine 2008-05-30	1048924	SAT	0.513921	0.539372
choco2_dwdeg 2008-06-26	1048933	SAT	0.591909	0.672183
Abscon 112v4 ESAC	1048941	SAT	0.682895	0.733449
Abscon 112v4 AC	1048940	SAT	0.701893	0.733683
SAT4J CSP 2008-06-13	1048928	SAT	0.895863	0.919017
galac M	1048934	SAT	0.963852	1.05614
galac E	1048935	SAT	1.00785	1.10555

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

Solution found:

0 1 1 1 0 0 0 0 1 0 0 0 0 0 1 1