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

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

Name	geom/ geo50-20-d4-75-82_ext.xml
MD5SUM	022634f50f774f3cb29ddfdd261f480d
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.109982
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	398
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	398
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
Mistral 2006-12-04	231038	SAT	0.109982	0.118503
Tramontane 2006-12-04	231039	SAT	0.114982	0.142461
VALCSP 3.1	269281	SAT	0.165974	0.168171
VALCSP 3.0	231033	SAT	0.167973	0.199915
CSPtoSAT+minisat 0.3	231041	SAT	0.287955	0.296134
BPrologCSPSolver70a 2006-12-13	231025	SAT	0.313951	0.320104
rjw-solver 2006-12-09	231026	SAT	0.32395	0.32639
rjw-solver 2007-01-21	284025	SAT	0.338947	0.350932
Diarmuid-wtdi 2006-12-21	231023	SAT	0.339947	0.391298
buggy_2_5_s 2007-01-08	231036	SAT	0.509921	0.512024
buggy_2_5 2007-01-08	231037	SAT	0.526919	0.532742
CSP4J - MAC 2006-12-19	231031	SAT	0.773881	0.811673
CSP4J - MAC 2007-01-16	272067	SAT	0.788879	0.818152
CSP4J - Combo 2006-12-19	231030	SAT	0.795879	0.819232
Abscon 109 AC	231029	SAT	0.856869	0.967058
Abscon 109 ESAC	231028	SAT	0.904862	0.919877
galacJ beta 1	231027	SAT	2.25566	2.35346
SAT4JCSP-CACHED 1.7 RC BF3	231034	SAT	2.39664	2.45056
sat4jCSP 1.7 RC BF3	231035	SAT	2.40763	2.50601
galac 1	231032	SAT	3.19451	3.25613
Diarmuid-rndi 2007-01-22	286963	SAT	3.62145	3.66029
sugar 0.40	231040	SAT	6.36403	6.53952
Diarmuid-rndi 2006-12-21	231024	SAT	6.70498	6.77691