CSP 2008 Competition: solvers results per benchmarks

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

Name	csp/geom/ normalized-geo50-20-d4-75-61_ext.xml
MD5SUM	bfbfe23d2cbc53bc151ca56485324d1f
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.06099
Satisfiable
(Un)Satisfiability was proved
Number of variables	50
Number of constraints	372
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	372
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	1096233	SAT	0.06099	0.0687671
MDG-noprobe 2008-06-27	1096223	SAT	0.065989	0.0704031
cpHydra k_40	1096239	SAT	0.073988	0.0826449
cpHydra k_10	1096238	SAT	0.074988	0.0820589
Mistral-option 1.314	1096232	SAT	0.074988	0.0998919
spider 2008-06-14	1096221	SAT	0.168973	0.176546
casper zito	1096235	SAT	0.201968	0.208345
MDG-probe 2008-06-27	1096222	SAT	0.215966	0.233291
casper zao	1096234	SAT	0.323949	0.324544
Concrete + CSP4J - WMC Engine 2008-05-30	1096219	SAT	0.777881	0.811776
Concrete + CSP4J - Tabu Engine 2008-05-30	1096218	SAT	0.78388	0.846071
Concrete + CPS4J 2008-05-30	1096220	SAT	0.788879	0.846882
choco2_impwdeg 2008-06-26	1096228	SAT	0.864867	0.895453
Abscon 112v4 AC	1096236	SAT	0.953854	0.99037
Minion/Tailor 2008-07-04	1105641	SAT	1.01984	1.04386
Abscon 112v4 ESAC	1096237	SAT	1.02984	1.05195
choco2_dwdeg 2008-06-26	1096229	SAT	1.03884	1.05122
bpsolver 2008-06-27	1096227	SAT	1.04684	1.0875
Sugar v1.13+minisat	1096226	SAT	1.85172	1.94136
Sugar v1.13+picosat	1096225	SAT	2.04269	2.149
SAT4J CSP 2008-06-13	1096224	SAT	2.6246	2.64712
galac M	1096230	SAT	2.80957	2.85607
galac E	1096231	SAT	3.45347	3.74248

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

Solution found:

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