CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/latinSquare/
normalized-latinSquare-dg-7_all.xml

Name	csp/latinSquare/ normalized-latinSquare-dg-7_all.xml
MD5SUM	8e93882197b54ceb337c731d5342a28d
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.008997
Satisfiable
(Un)Satisfiability was proved
Number of variables	49
Number of constraints	28
Maximum constraint arity	7
Maximum domain size	7
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(28)

Solver Name	TraceID	Answer	CPU time	Wall clock time
MDG-probe 2008-06-27	1041376	SAT	0.008997	0.0162289
MDG-noprobe 2008-06-27	1041377	SAT	0.009997	0.0159189
Mistral-prime 1.313	1041385	SAT	0.010997	0.0178471
Mistral-option 1.314	1041384	SAT	0.013997	0.0206979
cpHydra k_10	1045790	SAT	0.019996	0.027717
cpHydra k_40	1046419	SAT	0.020996	0.027594
casper zao	1043274	SAT	0.029995	0.0366641
casper zito	1043903	SAT	0.029995	0.0378901
bpsolver 2008-06-27	1041381	SAT	0.033994	0.0415459
Minion/Tailor 2008-07-04	1104602	SAT	0.302953	0.341459
choco2_dwdeg 2008-06-26	1041383	SAT	0.723889	0.743059
choco2_impwdeg 2008-06-26	1041382	SAT	0.737887	0.791477
Abscon 112v4 AC	1044532	SAT	0.77988	0.803705
Abscon 112v4 ESAC	1045161	SAT	0.834872	0.900423
SAT4J CSP 2008-06-13	1041378	SAT	0.869867	0.86755
Sugar v1.13+picosat	1041379	SAT	0.883865	1.01576
Sugar v1.13+minisat	1041380	SAT	1.05684	1.18903

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

Solution found:

0 6 1 3 4 5 2 4 5 2 0 6 1 3 6 1 3 4 5 2 0 5 2 0 6 1 3 4 1 3 4 5 2 0 6 2 0 6 1 3 4 5 3 4 5 2 0 6 1