CSP 2008 Competition: solvers results per benchmarks

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

Name	csp/langford2/ normalized-langford-2-8.xml
MD5SUM	597114782507517e5af808ba8c1eefba
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.009998
Satisfiable
(Un)Satisfiability was proved
Number of variables	16
Number of constraints	128
Maximum constraint arity	2
Maximum domain size	16
Number of constraints which are defined in extension	0
Number of constraints which are defined in intension	128
Global constraints used (with number of constraints)

Solver Name	TraceID	Answer	CPU time	Wall clock time
MDG-probe 2008-06-27	1084629	SAT	0.009998	0.0121551
MDG-noprobe 2008-06-27	1084630	SAT	0.010997	0.0123939
Mistral-prime 1.313	1084640	SAT	0.010997	0.0133649
Mistral-option 1.314	1084639	SAT	0.011997	0.013373
casper zito	1084642	SAT	0.012997	0.0155199
cpHydra k_40	1084646	SAT	0.021995	0.0215339
cpHydra k_10	1084645	SAT	0.021996	0.035575
casper zao	1084641	SAT	0.025995	0.0259701
bpsolver 2008-06-27	1084634	SAT	0.038994	0.058486
Minion/Tailor 2008-07-04	1105903	SAT	0.392939	0.439558
Sugar v1.13+minisat	1084633	SAT	0.672897	0.681876
Sugar v1.13+picosat	1084632	SAT	0.680896	0.785681
choco2_dwdeg 2008-06-26	1084636	SAT	0.741886	0.7293
Concrete + CSP4J - Tabu Engine 2008-05-30	1084626	SAT	0.78088	0.847065
Abscon 112v4 AC	1084643	SAT	0.786879	0.792229
choco2_impwdeg 2008-06-26	1084635	SAT	0.787879	0.832965
Concrete + CPS4J 2008-05-30	1084628	SAT	0.798878	0.852681
Concrete + CSP4J - WMC Engine 2008-05-30	1084627	SAT	0.863868	0.908636
Abscon 112v4 ESAC	1084644	SAT	0.867867	0.869724
galac M	1084637	SAT	1.51077	1.60991
galac E	1084638	SAT	1.83972	1.82421
SAT4J CSP 2008-06-13	1084631	SAT	2.13068	1.60945

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

Solution found:

8 0 11 1 7 2 4 5 10 3 15 6 13 9 12 14