CSP 2008 Competition: solvers results per benchmarks

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

Name	csp/geom/ normalized-geo50-20-d4-75-76_ext.xml
MD5SUM	d7332ed1d6750943688966b24549bd91
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.054991
Satisfiable
(Un)Satisfiability was proved
Number of variables	50
Number of constraints	365
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	365
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
Mistral-prime 1.313	1096343	SAT	0.054991	0.0570849
MDG-noprobe 2008-06-27	1096333	SAT	0.06099	0.067001
MDG-probe 2008-06-27	1096332	SAT	0.06099	0.0662081
Mistral-option 1.314	1096342	SAT	0.06199	0.0623511
cpHydra k_40	1096349	SAT	0.070988	0.0777249
cpHydra k_10	1096348	SAT	0.071988	0.0784471
spider 2008-06-14	1096331	SAT	0.150976	0.160311
casper zito	1096345	SAT	0.179972	0.186602
casper zao	1096344	SAT	0.273958	0.281972
Concrete + CSP4J - Tabu Engine 2008-05-30	1096328	SAT	0.721889	0.747102
Concrete + CSP4J - WMC Engine 2008-05-30	1096329	SAT	0.772881	0.805798
Minion/Tailor 2008-07-04	1105642	SAT	0.796878	0.845333
choco2_dwdeg 2008-06-26	1096339	SAT	0.830873	0.890591
choco2_impwdeg 2008-06-26	1096338	SAT	0.840871	0.895634
Concrete + CPS4J 2008-05-30	1096330	SAT	0.888864	0.898998
Abscon 112v4 ESAC	1096347	SAT	0.926858	0.989725
Abscon 112v4 AC	1096346	SAT	0.954854	1.0101
bpsolver 2008-06-27	1096337	SAT	1.05684	1.06882
Sugar v1.13+minisat	1096336	SAT	1.59876	1.72709
Sugar v1.13+picosat	1096335	SAT	1.92171	2.00815
SAT4J CSP 2008-06-13	1096334	SAT	2.37264	2.3991
galac M	1096340	SAT	2.81657	2.87628
galac E	1096341	SAT	3.38549	3.62628

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

Solution found:

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