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

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

Name	geom/ geo50-20-d4-75-69_ext.xml
MD5SUM	fcc723702dbd9f7d725a34a5013e12ba
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.112982
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	373
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	373
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	231247	SAT	0.112982	0.115139
Tramontane 2006-12-04	231248	SAT	0.116982	0.123088
VALCSP 3.1	269292	SAT	0.158975	0.159441
VALCSP 3.0	231242	SAT	0.160974	0.167953
BPrologCSPSolver70a 2006-12-13	231234	SAT	0.273957	0.278246
CSPtoSAT+minisat 0.3	231250	SAT	0.293954	0.32486
Diarmuid-wtdi 2006-12-21	231232	SAT	0.308952	0.3172
Diarmuid-rndi 2006-12-21	231233	SAT	0.318951	0.329219
rjw-solver 2006-12-09	231235	SAT	0.32395	0.332137
rjw-solver 2007-01-21	284036	SAT	0.325949	0.337187
buggy_2_5_s 2007-01-08	231245	SAT	0.479926	0.491112
buggy_2_5 2007-01-08	231246	SAT	0.498923	0.499863
CSP4J - MAC 2007-01-16	272078	SAT	0.78788	0.805538
CSP4J - MAC 2006-12-19	231240	SAT	0.797878	0.815284
CSP4J - Combo 2006-12-19	231239	SAT	0.831873	0.893929
Abscon 109 ESAC	231237	SAT	0.859869	0.922981
Abscon 109 AC	231238	SAT	0.866867	0.92234
galacJ beta 1	231236	SAT	2.19267	2.24639
SAT4JCSP-CACHED 1.7 RC BF3	231243	SAT	2.39564	2.01821
sat4jCSP 1.7 RC BF3	231244	SAT	2.46762	2.06908
galac 1	231241	SAT	3.07153	3.21876
Diarmuid-rndi 2007-01-22	286974	SAT	3.42748	3.46724
sugar 0.40	231249	SAT	5.48	5.89978