CSP 2008 Competition: solvers results per benchmarks

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

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

Solver Name	TraceID	Answer	CPU time	Wall clock time
MDG-noprobe 2008-06-27	1084546	SAT	0.007997	0.0098109
Mistral-prime 1.313	1084556	SAT	0.009997	0.015602
MDG-probe 2008-06-27	1084545	SAT	0.009998	0.012289
casper zito	1084558	SAT	0.010997	0.011808
Mistral-option 1.314	1084555	SAT	0.011997	0.0107131
casper zao	1084557	SAT	0.019996	0.023003
cpHydra k_40	1084562	SAT	0.020996	0.026646
cpHydra k_10	1084561	SAT	0.020996	0.019964
bpsolver 2008-06-27	1084550	SAT	0.035994	0.043448
Minion/Tailor 2008-07-04	1105902	SAT	0.355945	0.373898
Sugar v1.13+minisat	1084549	SAT	0.618905	0.693233
Sugar v1.13+picosat	1084548	SAT	0.660899	0.709798
Concrete + CSP4J - Tabu Engine 2008-05-30	1084542	SAT	0.669897	0.686483
Concrete + CPS4J 2008-05-30	1084544	SAT	0.670897	0.690889
choco2_impwdeg 2008-06-26	1084551	SAT	0.710891	0.735183
Abscon 112v4 ESAC	1084560	SAT	0.753885	0.789847
choco2_dwdeg 2008-06-26	1084552	SAT	0.791879	0.845927
Abscon 112v4 AC	1084559	SAT	0.806876	0.835194
Concrete + CSP4J - WMC Engine 2008-05-30	1084543	SAT	1.06884	1.11602
galac M	1084553	SAT	1.2828	1.34596
galac E	1084554	SAT	1.54277	1.61939
SAT4J CSP 2008-06-13	1084547	SAT	1.62375	1.65564

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

Solution found:

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