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

Result page for benchmark
coloring/
queens-5-5-5-ext.xml

Name	coloring/ queens-5-5-5-ext.xml
MD5SUM	64fa25792b231fe99d7bc6efdb675d89
Bench Category	2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.003998
Satisfiable	YES
(Un)Satisfiability was proved
Number of variables	25
Number of constraints	160
Maximum constraint arity	2
Maximum domain size	5
Number of constraints which are defined in extension	160
Number of constraints which are defined in intension	0
Global constraints used (with number of constraints)

Solver Name	TraceID	Answer	CPU time	Wall clock time
VALCSP 3.0	253058	SAT	0.003998	0.00622788
VALCSP 3.1	269739	SAT	0.004998	0.010902
Tramontane 2006-12-04	253064	SAT	0.016997	0.023149
Mistral 2006-12-04	253063	SAT	0.018996	0.020656
CSPtoSAT+minisat 0.3	253066	SAT	0.019996	0.026907
BPrologCSPSolver70a 2006-12-13	253050	SAT	0.021996	0.0234851
Diarmuid-wtdi 2006-12-21	253048	SAT	0.053991	0.0628639
rjw-solver 2006-12-09	253051	SAT	0.05499	0.063607
rjw-solver 2007-01-21	284225	SAT	0.05699	0.057715
buggy_2_5_s 2007-01-08	253061	SAT	0.072988	0.0791409
buggy_2_5 2007-01-08	253062	SAT	0.080987	0.46092
Diarmuid-rndi 2006-12-21	253049	SAT	0.12398	0.127045
Diarmuid-rndi 2007-01-22	287163	SAT	0.12398	0.124582
sugar 0.40	253065	SAT	0.173972	1.05163
CSP4J - Combo 2006-12-19	253055	SAT	0.402938	0.418529
CSP4J - MAC 2007-01-16	273154	SAT	0.432933	0.507695
CSP4J - MAC 2006-12-19	253056	SAT	0.436932	0.508311
Abscon 109 AC	253054	SAT	0.665898	0.709495
Abscon 109 ESAC	253053	SAT	0.700893	0.824026
SAT4JCSP-CACHED 1.7 RC BF3	253059	SAT	0.742886	0.809991
sat4jCSP 1.7 RC BF3	253060	SAT	0.78388	0.789344
galac 1	253057	SAT	1.07783	1.20746
galacJ beta 1	253052	SAT	1.10183	1.15282