CSP 2006 Competition (second round): solvers results per benchmarks

Result page for benchmark
queens/
queens-15.xml

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

Solver Name	TraceID	Answer	CPU time	Wall clock time
VALCSP 3.1	267815	SAT	0.006998	0.00947694
VALCSP 3.0	192062	SAT	0.008997	0.00972409
Tramontane 2006-12-04	192068	SAT	0.016996	0.0257819
Mistral 2006-12-04	192067	SAT	0.017996	0.0200171
BPrologCSPSolver70a 2006-12-13	192055	SAT	0.022996	0.0287269
buggy_2_5 2007-01-08	192066	SAT	0.082987	0.0954401
buggy_2_5_s 2007-01-08	192065	SAT	0.087985	0.094989
CSPtoSAT+minisat 0.3	192070	SAT	0.400938	0.402301
Abscon 109 AC	192058	SAT	0.728888	0.883512
CSP4J - MAC 2007-01-16	269774	SAT	0.750885	0.842573
CSP4J - Combo 2006-12-19	192059	SAT	0.774881	0.836621
Abscon 109 ESAC	192057	SAT	0.78188	0.823896
CSP4J - MAC 2006-12-19	192060	SAT	0.813875	0.985305
sugar 0.40	192069	SAT	1.14	2.40188
galacJ beta 1	192056	SAT	1.51177	1.60132
galac 1	192061	SAT	1.69074	1.8541
sat4jCSP 1.7 RC BF3	192064	SAT	2.19966	2.23722
SAT4JCSP-CACHED 1.7 RC BF3	192063	SAT	2.29865	2.34054