CSP 2008 Competition: solvers results per benchmarks

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

Name	csp/aim-50/ normalized-aim-50-1-6-sat-3_ext.xml
MD5SUM	460a38102eb67c2c133ba6fb5dc90888
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.006998
Satisfiable
(Un)Satisfiability was proved
Number of variables	50
Number of constraints	78
Maximum constraint arity	3
Maximum domain size	2
Number of constraints which are defined in extension	78
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	1053294	SAT	0.006998	0.0151811
Mistral-prime 1.313	1053304	SAT	0.007998	0.00875895
Mistral-option 1.314	1053303	SAT	0.008998	0.0150709
MDG-probe 2008-06-27	1053293	SAT	0.010997	0.0190371
casper zao	1053305	SAT	0.012997	0.0192139
casper zito	1053306	SAT	0.013997	0.0196111
spider 2008-06-14	1053292	SAT	0.015997	0.0214951
cpHydra k_10	1053309	SAT	0.019996	0.027092
cpHydra k_40	1053310	SAT	0.020996	0.0266969
mddc-solv 2008-06-09	1053291	SAT	0.053991	0.060693
bpsolver 2008-06-27	1053298	SAT	0.062989	0.0685161
Minion/Tailor 2008-07-04	1105109	SAT	0.342947	0.364347
Concrete + CPS4J 2008-05-30	1053290	SAT	0.343947	0.367643
Concrete + CSP4J - WMC Engine 2008-05-30	1053289	SAT	0.377941	0.439776
choco2_dwdeg 2008-06-26	1053300	SAT	0.397938	0.414294
choco2_impwdeg 2008-06-26	1053299	SAT	0.417936	0.467612
Sugar v1.13+picosat	1053296	SAT	0.563913	0.679231
Sugar v1.13+minisat	1053297	SAT	0.594909	0.644462
Abscon 112v4 ESAC	1053308	SAT	0.735887	0.799498
Abscon 112v4 AC	1053307	SAT	0.754884	0.783699
SAT4J CSP 2008-06-13	1053295	SAT	0.779881	0.823914
galac E	1053302	SAT	0.867867	0.947724
galac M	1053301	SAT	0.97785	1.04166
Concrete + CSP4J - Tabu Engine 2008-05-30	1053288	SAT	3.81142	3.90183

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