CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/queens/
normalized-queens-4.xml

Name	csp/queens/ normalized-queens-4.xml
MD5SUM	cf9ea9a9e71ccfcd7a72eb217145a091
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.004998
Satisfiable
(Un)Satisfiability was proved
Number of variables	4
Number of constraints	6
Maximum constraint arity	2
Maximum domain size	4
Number of constraints which are defined in extension	0
Number of constraints which are defined in intension	6
Global constraints used (with number of constraints)

Solver Name	TraceID	Answer	CPU time	Wall clock time
Mistral-prime 1.313	1093984	SAT	0.004998	0.0123051
MDG-probe 2008-06-27	1093973	SAT	0.005998	0.0076849
MDG-noprobe 2008-06-27	1093974	SAT	0.006998	0.00669504
casper zito	1093986	SAT	0.007998	0.014551
Mistral-option 1.314	1093983	SAT	0.007998	0.0123519
casper zao	1093985	SAT	0.008998	0.0109439
cpHydra k_40	1093990	SAT	0.017997	0.0238
cpHydra k_10	1093989	SAT	0.018996	0.0209849
bpsolver 2008-06-27	1093978	SAT	0.023996	0.0243639
Minion/Tailor 2008-07-04	1106590	SAT	0.260959	0.269694
Concrete + CPS4J 2008-05-30	1093972	SAT	0.39094	0.420921
Concrete + CSP4J - WMC Engine 2008-05-30	1093971	SAT	0.391939	0.425267
Concrete + CSP4J - Tabu Engine 2008-05-30	1093970	SAT	0.396939	0.433169
Sugar v1.13+picosat	1093976	SAT	0.443932	0.520707
Sugar v1.13+minisat	1093977	SAT	0.45093	0.490197
choco2_dwdeg 2008-06-26	1093980	SAT	0.51792	0.577452
choco2_impwdeg 2008-06-26	1093979	SAT	0.58891	0.612632
Abscon 112v4 ESAC	1093988	SAT	0.637902	0.68173
Abscon 112v4 AC	1093987	SAT	0.743886	0.777375
SAT4J CSP 2008-06-13	1093975	SAT	0.843871	0.872479
galac E	1093982	SAT	0.864867	0.954278
galac M	1093981	SAT	0.864868	1.5185

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

Solution found:

2 4 1 3