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

Result page for benchmark
queens/
queens-4.xml

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

Solver Name	TraceID	Answer	CPU time	Wall clock time
VALCSP 3.0	192110	SAT	0.001998	0.00888788
VALCSP 3.1	267818	SAT	0.001999	0.00594305
Tramontane 2006-12-04	192116	SAT	0.011997	0.0234021
Mistral 2006-12-04	192115	SAT	0.012997	0.0181491
BPrologCSPSolver70a 2006-12-13	192103	SAT	0.017996	0.0202661
CSPtoSAT+minisat 0.3	192118	SAT	0.024995	0.0988551
buggy_2_5_s 2007-01-08	192113	SAT	0.05899	0.415543
buggy_2_5 2007-01-08	192114	SAT	0.06099	0.0947361
CSP4J - MAC 2007-01-16	269777	SAT	0.349946	0.503814
CSP4J - Combo 2006-12-19	192107	SAT	0.359944	0.40488
CSP4J - MAC 2006-12-19	192108	SAT	0.369942	0.416025
sugar 0.40	192117	SAT	0.41	1.57735
Abscon 109 ESAC	192105	SAT	0.624904	0.733026
Abscon 109 AC	192106	SAT	0.672896	0.723742
sat4jCSP 1.7 RC BF3	192112	SAT	0.769882	0.687669
SAT4JCSP-CACHED 1.7 RC BF3	192111	SAT	0.814875	0.864778
galac 1	192109	SAT	0.928858	1.08842
galacJ beta 1	192104	SAT	0.98185	1.09841