CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/langford2/
normalized-langford-2-4.xml

Name	csp/langford2/ normalized-langford-2-4.xml
MD5SUM	be55c9c56f9fe119dba73251bdbac9e5
Bench Category	2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.006998
Satisfiable
(Un)Satisfiability was proved
Number of variables	8
Number of constraints	32
Maximum constraint arity	2
Maximum domain size	8
Number of constraints which are defined in extension	0
Number of constraints which are defined in intension	32
Global constraints used (with number of constraints)

Solver Name	TraceID	Answer	CPU time	Wall clock time
MDG-noprobe 2008-06-27	1084672	SAT	0.006998	0.00745802
Mistral-option 1.314	1084681	SAT	0.006998	0.0135161
Mistral-prime 1.313	1084682	SAT	0.007998	0.0139449
casper zito	1084684	SAT	0.007998	0.0162659
MDG-probe 2008-06-27	1084671	SAT	0.007998	0.00787008
casper zao	1084683	SAT	0.010997	0.019205
cpHydra k_10	1084687	SAT	0.018996	0.0243019
cpHydra k_40	1084688	SAT	0.018996	0.0247359
bpsolver 2008-06-27	1084676	SAT	0.028994	0.0345469
Minion/Tailor 2008-07-04	1105899	SAT	0.308952	0.329275
Concrete + CPS4J 2008-05-30	1084670	SAT	0.481926	0.520292
Sugar v1.13+picosat	1084674	SAT	0.505922	0.538131
Concrete + CSP4J - Tabu Engine 2008-05-30	1084668	SAT	0.508922	0.534571
Sugar v1.13+minisat	1084675	SAT	0.51792	0.557505
choco2_dwdeg 2008-06-26	1084678	SAT	0.528919	0.5712
Concrete + CSP4J - WMC Engine 2008-05-30	1084669	SAT	0.539917	0.587894
Abscon 112v4 ESAC	1084686	SAT	0.693894	0.738534
Abscon 112v4 AC	1084685	SAT	0.71389	0.746814
SAT4J CSP 2008-06-13	1084673	SAT	0.975851	1.01205
galac M	1084679	SAT	1.05784	1.16918
choco2_impwdeg 2008-06-26	1084677	SAT	1.15282	1.32612
galac E	1084680	SAT	1.20681	1.31918

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

Solution found:

1 4 2 0 3 7 6 5