CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/QG5/
normalized-quasigroup5-5.xml

Name	csp/QG5/ normalized-quasigroup5-5.xml
MD5SUM	c75f5ab93ac6ff5a61cd3a1735512fe8
Bench Category	GLOBAL (global constraints)
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.009997
Satisfiable
(Un)Satisfiability was proved
Number of variables	65
Number of constraints	50
Maximum constraint arity	7
Maximum domain size	5
Number of constraints which are defined in extension	0
Number of constraints which are defined in intension	0
Global constraints used (with number of constraints)	alldifferent(10),element(40)

Solver Name	TraceID	Answer	CPU time	Wall clock time
MDG-noprobe 2008-06-27	1041287	SAT	0.009997	0.016427
Mistral-prime 1.313	1041295	SAT	0.010997	0.016008
Mistral-option 1.314	1041294	SAT	0.011997	0.0424849
MDG-probe 2008-06-27	1041286	SAT	0.013996	0.116764
casper zao	1043265	SAT	0.016997	0.018977
casper zito	1043894	SAT	0.018996	0.0255181
cpHydra k_10	1045781	SAT	0.020996	0.0271539
cpHydra k_40	1046410	SAT	0.020996	0.0235329
bpsolver 2008-06-27	1041291	SAT	0.038993	0.047167
Minion/Tailor 2008-07-04	1104593	SAT	0.328949	0.341733
choco2_dwdeg 2008-06-26	1041293	SAT	0.624904	0.517804
choco2_impwdeg 2008-06-26	1041292	SAT	0.727889	0.794718
Sugar v1.13+picosat	1041289	SAT	0.885864	1.01764
Abscon 112v4 ESAC	1045152	SAT	0.889863	0.894299
Abscon 112v4 AC	1044523	SAT	0.919859	0.937911
Sugar v1.13+minisat	1041290	SAT	1.06584	1.15624
SAT4J CSP 2008-06-13	1041288	?	0.722889	0.567606

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

Solution found:

1 3 5 2 4 5 2 4 1 3 4 1 3 5 2 3 5 2 4 1 2 4 1 3 5 4 2 2 3 5 4 3 5 4 1 5 3 3 4 1 5 2 1 5 2 1 4 4 5 5 1 3 2 1 3 2 5 3 1 1 2 4 3 2 4