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

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

Name	geom/ geo50-20-d4-75-81_ext.xml
MD5SUM	37f2637503bfd9cd629e1758944d6a10
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.113982
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	401
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	401
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	231855	SAT	0.113982	0.115093
Tramontane 2006-12-04	231856	SAT	0.114981	0.118946
VALCSP 3.0	231850	SAT	0.171973	0.173808
VALCSP 3.1	269324	SAT	0.174973	0.17735
CSPtoSAT+minisat 0.3	231858	SAT	0.301953	0.3261
BPrologCSPSolver70a 2006-12-13	231842	SAT	0.32195	0.328591
rjw-solver 2007-01-21	284068	SAT	0.421934	0.593458
Diarmuid-wtdi 2006-12-21	231840	SAT	0.426934	0.4329
rjw-solver 2006-12-09	231843	SAT	0.426934	0.434062
buggy_2_5_s 2007-01-08	231853	SAT	0.513921	0.513435
buggy_2_5 2007-01-08	231854	SAT	0.525919	0.530211
CSP4J - Combo 2006-12-19	231847	SAT	0.796878	0.804141
CSP4J - MAC 2007-01-16	272110	SAT	0.802877	0.865004
CSP4J - MAC 2006-12-19	231848	SAT	0.808876	0.858134
Abscon 109 ESAC	231845	SAT	0.84787	0.859661
Abscon 109 AC	231846	SAT	0.869866	0.982556
galacJ beta 1	231844	SAT	2.37564	2.46497
sat4jCSP 1.7 RC BF3	231852	SAT	2.43763	2.51544
SAT4JCSP-CACHED 1.7 RC BF3	231851	SAT	2.6206	2.77251
galac 1	231849	SAT	3.22051	3.31648
Diarmuid-rndi 2006-12-21	231841	SAT	3.45647	3.48015
sugar 0.40	231857	SAT	5.82311	6.07881
Diarmuid-rndi 2007-01-22	287006	SAT	10.8004	10.9059