CSP 2008 Competition: solvers results per benchmarks

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

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

Solver Name	TraceID	Answer	CPU time	Wall clock time
MDG-noprobe 2008-06-27	1093890	SAT	0.011997	0.019458
Mistral-prime 1.313	1093900	SAT	0.012997	0.018943
casper zito	1093902	SAT	0.017996	0.0264541
cpHydra k_40	1093906	SAT	0.022996	0.030545
cpHydra k_10	1093905	SAT	0.022996	0.030904
MDG-probe 2008-06-27	1093889	SAT	0.026995	0.0342701
bpsolver 2008-06-27	1093894	SAT	0.036994	0.0445109
casper zao	1093901	SAT	0.103983	0.112076
Mistral-option 1.314	1093899	SAT	0.173972	0.186286
Minion/Tailor 2008-07-04	1106585	SAT	0.438933	0.486535
Concrete + CSP4J - WMC Engine 2008-05-30	1093887	SAT	0.6549	0.700958
Concrete + CPS4J 2008-05-30	1093888	SAT	0.670897	0.68636
Concrete + CSP4J - Tabu Engine 2008-05-30	1093886	SAT	0.675897	0.690226
Sugar v1.13+minisat	1093893	SAT	0.683895	0.763451
Abscon 112v4 AC	1093903	SAT	0.757884	0.781884
Abscon 112v4 ESAC	1093904	SAT	0.774882	0.785789
Sugar v1.13+picosat	1093892	SAT	0.843871	0.940711
choco2_dwdeg 2008-06-26	1093896	SAT	1.08583	1.15191
choco2_impwdeg 2008-06-26	1093895	SAT	1.16482	1.20824
galac M	1093897	SAT	1.44878	1.51934
galac E	1093898	SAT	1.45478	1.49417
SAT4J CSP 2008-06-13	1093891	SAT	1.75473	1.75907

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

Solution found:

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