CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/pseudo/garden/
normalized-g-7x7.xml

Name	csp/pseudo/garden/ normalized-g-7x7.xml
MD5SUM	e713bdf502b1b9e5affa523f883e26de
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.008997
Satisfiable
(Un)Satisfiability was proved
Number of variables	49
Number of constraints	49
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	49
Global constraints used (with number of constraints)

Solver Name	TraceID	Answer	CPU time	Wall clock time
MDG-probe 2008-06-27	1048947	SAT	0.008997	0.0172719
Mistral-option 1.314	1048957	SAT	0.009997	0.0169359
MDG-noprobe 2008-06-27	1048948	SAT	0.009998	0.01582
Mistral-prime 1.313	1048958	SAT	0.009998	0.0169531
casper zito	1048960	SAT	0.011998	0.0182721
casper zao	1048959	SAT	0.014997	0.02579
cpHydra k_10	1048963	SAT	0.020996	0.0278929
cpHydra k_40	1048964	SAT	0.021996	0.022939
bpsolver 2008-06-27	1048952	SAT	0.041993	0.048658
Minion/Tailor 2008-07-04	1104751	SAT	0.390939	0.41323
Sugar v1.13+picosat	1048950	SAT	0.573912	0.677015
Concrete + CPS4J 2008-05-30	1048946	SAT	0.632903	0.646545
Sugar v1.13+minisat	1048951	SAT	0.634903	0.724072
choco2_dwdeg 2008-06-26	1048954	SAT	0.677896	0.6937
Concrete + CSP4J - Tabu Engine 2008-05-30	1048944	SAT	0.688894	0.793708
choco2_impwdeg 2008-06-26	1048953	SAT	0.688895	0.735541
Concrete + CSP4J - WMC Engine 2008-05-30	1048945	SAT	0.697893	0.754963
Abscon 112v4 ESAC	1048962	SAT	0.78088	0.783511
Abscon 112v4 AC	1048961	SAT	0.866867	0.895457
galac M	1048955	SAT	1.18282	1.30649
galac E	1048956	SAT	1.3248	1.38829
SAT4J CSP 2008-06-13	1048949	SAT	1.53777	1.601

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