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

Result page for benchmark
coloring/
geom-40-6-ext.xml

Name	coloring/ geom-40-6-ext.xml
MD5SUM	583d710afa4b37469fcd77467acf26f1
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.002998
Satisfiable	YES
(Un)Satisfiability was proved
Number of variables	40
Number of constraints	78
Maximum constraint arity	2
Maximum domain size	6
Number of constraints which are defined in extension	78
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	252721	SAT	0.002998	0.00941598
VALCSP 3.1	269726	SAT	0.002998	0.0100259
Tramontane 2006-12-04	252727	SAT	0.014997	0.017503
Mistral 2006-12-04	252726	SAT	0.016997	0.0223431
CSPtoSAT+minisat 0.3	252729	SAT	0.017996	0.0226771
BPrologCSPSolver70a 2006-12-13	252713	SAT	0.018996	0.027283
rjw-solver 2006-12-09	252714	SAT	0.046992	0.052771
Diarmuid-rndi 2006-12-21	252712	SAT	0.048991	0.0538741
Diarmuid-wtdi 2006-12-21	252711	SAT	0.049992	0.241466
rjw-solver 2007-01-21	284212	SAT	0.050991	0.0611229
Diarmuid-rndi 2007-01-22	287150	SAT	0.050991	0.0582631
buggy_2_5 2007-01-08	252725	SAT	0.070988	0.0732779
buggy_2_5_s 2007-01-08	252724	SAT	0.071988	0.0798429
CSP4J - Combo 2006-12-19	252718	SAT	0.364944	0.396924
CSP4J - MAC 2007-01-16	273141	SAT	0.38994	0.399032
CSP4J - MAC 2006-12-19	252719	SAT	0.419935	0.455779
sat4jCSP 1.7 RC BF3	252723	SAT	0.625904	0.521685
Abscon 109 ESAC	252716	SAT	0.639901	0.654262
SAT4JCSP-CACHED 1.7 RC BF3	252722	SAT	0.673897	0.741738
Abscon 109 AC	252717	SAT	0.677896	0.723232
sugar 0.40	252728	SAT	0.77	1.22178
galacJ beta 1	252715	SAT	0.946855	1.0231
galac 1	252720	SAT	1.00585	1.18051