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

Result page for benchmark
queens/
queens-12.xml

Name	queens/ queens-12.xml
MD5SUM	98848b0ae0d62defd7242240219b52e2
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	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
VALCSP 3.1	267814	SAT	0.003998	0.00665588
VALCSP 3.0	192046	SAT	0.005998	0.0120699
Tramontane 2006-12-04	192052	SAT	0.014997	0.0235359
Mistral 2006-12-04	192051	SAT	0.016997	0.024032
BPrologCSPSolver70a 2006-12-13	192039	SAT	0.021996	0.0240449
CSPtoSAT+minisat 0.3	192054	SAT	0.028995	0.0312201
buggy_2_5 2007-01-08	192050	SAT	0.072988	0.074113
buggy_2_5_s 2007-01-08	192049	SAT	0.072988	0.084425
sugar 0.40	192053	SAT	0.35	1.99269
CSP4J - MAC 2007-01-16	269773	SAT	0.600908	0.908178
CSP4J - Combo 2006-12-19	192043	SAT	0.606906	0.657106
CSP4J - MAC 2006-12-19	192044	SAT	0.647901	0.719444
Abscon 109 ESAC	192041	SAT	0.767882	0.852188
Abscon 109 AC	192042	SAT	0.795878	0.875652
galac 1	192045	SAT	1.42678	1.73763
galacJ beta 1	192040	SAT	1.45178	1.7518
SAT4JCSP-CACHED 1.7 RC BF3	192047	SAT	1.70474	1.80687
sat4jCSP 1.7 RC BF3	192048	SAT	1.72374	1.21923