CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/geom/
normalized-geo50-20-d4-75-40_ext.xml

Name	csp/geom/ normalized-geo50-20-d4-75-40_ext.xml
MD5SUM	2416bb217a72e8ed7850e249d81a62ad
Bench Category	2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.05699
Satisfiable
(Un)Satisfiability was proved
Number of variables	50
Number of constraints	377
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	377
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	1096201	SAT	0.05699	0.0587721
MDG-probe 2008-06-27	1096200	SAT	0.06099	0.068113
Mistral-prime 1.313	1096211	SAT	0.06099	0.0676419
Mistral-option 1.314	1096210	SAT	0.065989	0.073816
cpHydra k_40	1096217	SAT	0.071988	0.080413
cpHydra k_10	1096216	SAT	0.072988	0.079271
spider 2008-06-14	1096199	SAT	0.149976	0.154534
casper zito	1096213	SAT	0.183971	0.191064
casper zao	1096212	SAT	0.273957	0.281184
Concrete + CSP4J - Tabu Engine 2008-05-30	1096196	SAT	0.736887	0.751186
Concrete + CPS4J 2008-05-30	1096198	SAT	0.745886	0.628132
choco2_impwdeg 2008-06-26	1096206	SAT	0.806876	0.837822
choco2_dwdeg 2008-06-26	1096207	SAT	0.830873	0.890675
Concrete + CSP4J - WMC Engine 2008-05-30	1096197	SAT	0.928858	0.961136
Abscon 112v4 AC	1096214	SAT	0.962853	1.0145
Minion/Tailor 2008-07-04	1105636	SAT	0.988849	1.01765
Abscon 112v4 ESAC	1096215	SAT	0.989849	1.0491
bpsolver 2008-06-27	1096205	SAT	1.02484	1.0428
Sugar v1.13+minisat	1096204	SAT	1.54177	1.67919
Sugar v1.13+picosat	1096203	SAT	1.78173	1.9677
SAT4J CSP 2008-06-13	1096202	SAT	2.38664	2.43517
galac M	1096208	SAT	3.11253	3.13297
galac E	1096209	SAT	3.2975	3.44611

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

Solution found:

4 2 1 7 13 9 15 2 1 7 16 10 5 3 1 1 10 9 8 6 10 2 1 16 13 5 20 15 1 6 12 18 3 5 9 13 7 1 1 6 8 10 18 7 1 2 8 2 18 5