CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/aim-50/
normalized-aim-50-6-0-sat-1_ext.xml

Name	csp/aim-50/ normalized-aim-50-6-0-sat-1_ext.xml
MD5SUM	aaa654d3bd49f8d749ae7a901f7d4a86
Bench Category	N-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.012997
Satisfiable
(Un)Satisfiability was proved
Number of variables	50
Number of constraints	290
Maximum constraint arity	3
Maximum domain size	2
Number of constraints which are defined in extension	290
Number of constraints which are defined in intension	0
Global constraints used (with number of constraints)

Solver Name	TraceID	Answer	CPU time	Wall clock time
MDG-noprobe 2008-06-27	1053225	SAT	0.012997	0.018435
Mistral-option 1.314	1053234	SAT	0.012997	0.018715
Mistral-prime 1.313	1053235	SAT	0.012997	0.0186899
MDG-probe 2008-06-27	1053224	SAT	0.012997	0.019633
casper zao	1053236	SAT	0.015997	0.0242741
casper zito	1053237	SAT	0.015997	0.023418
spider 2008-06-14	1053223	SAT	0.022996	0.0302881
cpHydra k_40	1053241	SAT	0.024995	0.0302861
cpHydra k_10	1053240	SAT	0.025995	0.0309639
mddc-solv 2008-06-09	1053222	SAT	0.05699	0.063181
bpsolver 2008-06-27	1053229	SAT	0.059989	0.067461
Concrete + CSP4J - WMC Engine 2008-05-30	1053220	SAT	0.442932	0.494041
Concrete + CPS4J 2008-05-30	1053221	SAT	0.458929	0.480317
Minion/Tailor 2008-07-04	1105106	SAT	0.487925	0.511388
choco2_impwdeg 2008-06-26	1053230	SAT	0.541916	0.579984
choco2_dwdeg 2008-06-26	1053231	SAT	0.565913	0.58074
Concrete + CSP4J - Tabu Engine 2008-05-30	1053219	SAT	0.652899	0.706864
Sugar v1.13+minisat	1053228	SAT	0.766882	0.917615
Sugar v1.13+picosat	1053227	SAT	0.766883	0.826242
Abscon 112v4 AC	1053238	SAT	0.836872	0.894687
Abscon 112v4 ESAC	1053239	SAT	0.85387	0.887817
SAT4J CSP 2008-06-13	1053226	SAT	0.859868	0.87184
galac E	1053233	SAT	1.21081	1.29502
galac M	1053232	SAT	1.37379	1.42191

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