CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/allsquares/
normalized-squares-6-6.xml

Name	csp/allsquares/ normalized-squares-6-6.xml
MD5SUM	26e7213d9e0a418cbdc0a92a802e27a0
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.011997
Satisfiable
(Un)Satisfiability was proved
Number of variables	72
Number of constraints	78
Maximum constraint arity	6
Maximum domain size	11
Number of constraints which are defined in extension	0
Number of constraints which are defined in intension	61
Global constraints used (with number of constraints)	cumulative(2),weightedsum(15)

Solver Name	TraceID	Answer	CPU time	Wall clock time
Mistral-prime 1.313	1042285	SAT	0.011997	0.012885
MDG-noprobe 2008-06-27	1042277	SAT	0.012997	0.01292
Mistral-option 1.314	1042284	SAT	0.012997	0.0136199
MDG-probe 2008-06-27	1042276	SAT	0.012997	0.0129949
cpHydra k_40	1046509	SAT	0.023995	0.030349
cpHydra k_10	1045880	SAT	0.023995	0.0299041
casper zito	1043993	SAT	0.030994	0.0370481
bpsolver 2008-06-27	1042281	SAT	0.043993	0.0541001
casper zao	1043364	SAT	0.160974	0.167695
Sugar v1.13+minisat	1042280	SAT	0.805877	0.844933
choco2_dwdeg 2008-06-26	1042283	SAT	0.868867	0.894357
Sugar v1.13+picosat	1042279	SAT	0.924859	1.02475
choco2_impwdeg 2008-06-26	1042282	SAT	0.988849	1.01224
Abscon 112v4 AC	1044622	?	0.683895	0.740264
Abscon 112v4 ESAC	1045251	?	0.708891	0.751742
SAT4J CSP 2008-06-13	1042278	?	1.67274	1.72165
Minion/Tailor 2008-07-04	1104692	? (exit code)	0.251961	0.274909

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

Solution found:

5 6 6 5 0 0 10 3 0 6 6 0 1 0 0 1 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0
0 1