CSP 2008 Competition: solvers results per benchmarks

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

Name	csp/geom/ normalized-geo50-20-d4-75-5_ext.xml
MD5SUM	51df6c1f1025f584cf062404a3c25b17
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.064989
Satisfiable
(Un)Satisfiability was proved
Number of variables	50
Number of constraints	368
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	368
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	1096267	SAT	0.064989	0.071541
Mistral-prime 1.313	1096277	SAT	0.065989	0.0669739
cpHydra k_40	1096283	SAT	0.078987	0.096195
cpHydra k_10	1096282	SAT	0.080987	0.0864621
Mistral-option 1.314	1096276	SAT	0.116981	0.12231
MDG-probe 2008-06-27	1096266	SAT	0.180971	0.186867
spider 2008-06-14	1096265	SAT	0.196969	0.20575
casper zito	1096279	SAT	0.217966	0.220319
casper zao	1096278	SAT	0.369943	0.375303
Concrete + CSP4J - WMC Engine 2008-05-30	1096263	SAT	0.723889	0.746788
Concrete + CPS4J 2008-05-30	1096264	SAT	0.758883	0.737235
Concrete + CSP4J - Tabu Engine 2008-05-30	1096262	SAT	0.759883	0.810679
choco2_dwdeg 2008-06-26	1096273	SAT	0.882865	0.943697
Abscon 112v4 AC	1096280	SAT	0.965852	0.996827
Abscon 112v4 ESAC	1096281	SAT	0.971852	0.995739
Minion/Tailor 2008-07-04	1105640	SAT	0.995848	1.03482
bpsolver 2008-06-27	1096271	SAT	1.09583	1.11325
choco2_impwdeg 2008-06-26	1096272	SAT	1.10883	1.15301
Sugar v1.13+picosat	1096269	SAT	1.73873	1.78361
Sugar v1.13+minisat	1096270	SAT	1.82072	1.93652
SAT4J CSP 2008-06-13	1096268	SAT	2.93655	2.97365
galac M	1096274	SAT	3.18451	3.28743
galac E	1096275	SAT	3.18951	3.2605

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

Solution found:

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