CSP 2008 Competition: solvers results per benchmarks

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

Name	csp/queens/ normalized-queens-8.xml
MD5SUM	041d8a5e473344d6f48f9e7e3721a8ce
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.008998
Satisfiable
(Un)Satisfiability was proved
Number of variables	8
Number of constraints	28
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	28
Global constraints used (with number of constraints)

Solver Name	TraceID	Answer	CPU time	Wall clock time
Mistral-prime 1.313	1093942	SAT	0.008998	0.0149
MDG-probe 2008-06-27	1093931	SAT	0.008998	0.00937008
MDG-noprobe 2008-06-27	1093932	SAT	0.010998	0.00987212
casper zito	1093944	SAT	0.011997	0.0122579
cpHydra k_40	1093948	SAT	0.020996	0.02616
cpHydra k_10	1093947	SAT	0.020996	0.0275549
Mistral-option 1.314	1093941	SAT	0.022995	0.028651
bpsolver 2008-06-27	1093936	SAT	0.027995	0.0314239
casper zao	1093943	SAT	0.046992	0.0575309
Minion/Tailor 2008-07-04	1106592	SAT	0.320951	0.335138
Concrete + CSP4J - WMC Engine 2008-05-30	1093929	SAT	0.506922	0.530755
Concrete + CSP4J - Tabu Engine 2008-05-30	1093928	SAT	0.526919	0.543939
Concrete + CPS4J 2008-05-30	1093930	SAT	0.528919	0.582935
Sugar v1.13+picosat	1093934	SAT	0.547916	0.579106
Sugar v1.13+minisat	1093935	SAT	0.555914	0.635045
Abscon 112v4 AC	1093945	SAT	0.693893	0.730381
Abscon 112v4 ESAC	1093946	SAT	0.728889	0.795809
choco2_impwdeg 2008-06-26	1093937	SAT	0.801877	0.839009
choco2_dwdeg 2008-06-26	1093938	SAT	0.881865	0.900969
galac M	1093939	SAT	1.17282	1.22101
galac E	1093940	SAT	1.19582	1.25852
SAT4J CSP 2008-06-13	1093933	SAT	1.43078	1.44191

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

Solution found:

6 4 2 8 5 7 1 3