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

Result page for benchmark
geom/
geo50-20-d4-75-95_ext.xml

Name	geom/ geo50-20-d4-75-95_ext.xml
MD5SUM	461f80b0b95d6d63abd361bde86f8900
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.12398
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	384
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	384
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
Tramontane 2006-12-04	231077	SAT	0.12398	0.134541
Mistral 2006-12-04	231076	SAT	0.146976	0.154948
VALCSP 3.1	269283	SAT	0.157975	0.165602
VALCSP 3.0	231071	SAT	0.167974	0.169462
BPrologCSPSolver70a 2006-12-13	231063	SAT	0.303952	0.305337
CSPtoSAT+minisat 0.3	231079	SAT	0.307953	0.32337
buggy_2_5_s 2007-01-08	231074	SAT	0.487924	0.485589
buggy_2_5 2007-01-08	231075	SAT	0.490925	0.507864
rjw-solver 2006-12-09	231064	SAT	0.668897	0.67606
Diarmuid-wtdi 2006-12-21	231061	SAT	0.669897	0.683277
rjw-solver 2007-01-21	284027	SAT	0.670897	0.675236
CSP4J - Combo 2006-12-19	231068	SAT	0.803877	0.874989
CSP4J - MAC 2006-12-19	231069	SAT	0.816875	0.866139
CSP4J - MAC 2007-01-16	272069	SAT	0.853869	0.875871
Abscon 109 AC	231067	SAT	0.890863	0.914241
Abscon 109 ESAC	231066	SAT	0.906861	0.963696
Diarmuid-rndi 2007-01-22	286965	SAT	1.3108	1.32681
galacJ beta 1	231065	SAT	2.22166	2.31761
sat4jCSP 1.7 RC BF3	231073	SAT	2.40163	2.45936
SAT4JCSP-CACHED 1.7 RC BF3	231072	SAT	2.46263	1.6415
galac 1	231070	SAT	3.14952	3.19677
sugar 0.40	231078	SAT	5.91	6.25579
Diarmuid-rndi 2006-12-21	231062	SAT	10.4024	10.5069