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

Result page for benchmark
queens/
queens-10.xml

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

Solver Name	TraceID	Answer	CPU time	Wall clock time
VALCSP 3.1	267813	SAT	0.002998	0.00596801
VALCSP 3.0	192030	SAT	0.005998	0.0153841
Tramontane 2006-12-04	192036	SAT	0.014997	0.022287
Mistral 2006-12-04	192035	SAT	0.015997	0.0352649
BPrologCSPSolver70a 2006-12-13	192023	SAT	0.019996	0.022001
CSPtoSAT+minisat 0.3	192038	SAT	0.024995	0.603746
buggy_2_5 2007-01-08	192034	SAT	0.067989	0.080745
buggy_2_5_s 2007-01-08	192033	SAT	0.073988	0.507044
CSP4J - Combo 2006-12-19	192027	SAT	0.523919	0.552682
CSP4J - MAC 2006-12-19	192028	SAT	0.538917	0.568496
CSP4J - MAC 2007-01-16	269772	SAT	0.563913	0.675801
Abscon 109 AC	192026	SAT	0.659899	0.729968
Abscon 109 ESAC	192025	SAT	0.685894	0.718842
sugar 0.40	192037	SAT	0.808876	1.16431
galac 1	192029	SAT	1.26981	1.35336
galacJ beta 1	192024	SAT	1.3238	1.45431
sat4jCSP 1.7 RC BF3	192032	SAT	1.39679	1.53929
SAT4JCSP-CACHED 1.7 RC BF3	192031	SAT	1.45778	1.50119