CSP 2008 Competition: solvers results per benchmarks

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

Name	csp/geom/ normalized-geo50-20-d4-75-49_ext.xml
MD5SUM	48e151a3f5ba36f61c002668531e0baa
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.069988
Satisfiable
(Un)Satisfiability was proved
Number of variables	50
Number of constraints	425
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	425
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	1096377	SAT	0.069988	0.0698331
Mistral-prime 1.313	1096387	SAT	0.074988	0.0849149
cpHydra k_10	1096392	SAT	0.081986	0.0902771
cpHydra k_40	1096393	SAT	0.085986	0.091818
Mistral-option 1.314	1096386	SAT	0.129979	0.138384
casper zito	1096389	SAT	0.224965	0.234518
spider 2008-06-14	1096375	SAT	0.282956	0.295054
MDG-probe 2008-06-27	1096376	SAT	0.32495	0.332866
casper zao	1096388	SAT	0.38894	0.401334
Concrete + CSP4J - WMC Engine 2008-05-30	1096373	SAT	0.801877	0.840435
choco2_impwdeg 2008-06-26	1096382	SAT	0.84987	0.888445
choco2_dwdeg 2008-06-26	1096383	SAT	0.84987	0.884532
Concrete + CPS4J 2008-05-30	1096374	SAT	0.864867	0.916305
Abscon 112v4 AC	1096390	SAT	0.962853	0.996144
Abscon 112v4 ESAC	1096391	SAT	1.04884	1.10955
Concrete + CSP4J - Tabu Engine 2008-05-30	1096372	SAT	1.19282	1.22831
bpsolver 2008-06-27	1096381	SAT	1.26881	1.28445
Minion/Tailor 2008-07-04	1105639	SAT	1.38279	1.44157
Sugar v1.13+minisat	1096380	SAT	1.87871	2.00385
Sugar v1.13+picosat	1096379	SAT	1.89671	2.04107
SAT4J CSP 2008-06-13	1096378	SAT	2.88556	2.93518
galac M	1096384	SAT	3.48647	3.55652
galac E	1096385	SAT	3.9194	4.01184

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

Solution found:

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