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

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

Name	geom/ geo50-20-d4-75-93_ext.xml
MD5SUM	b0a40072e0c479f88300686104d43ffa
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.116981
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	388
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	388
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	231589	SAT	0.116981	0.121121
Tramontane 2006-12-04	231590	SAT	0.12298	0.125466
VALCSP 3.0	231584	SAT	0.155975	0.15705
VALCSP 3.1	269310	SAT	0.160975	0.162313
BPrologCSPSolver70a 2006-12-13	231576	SAT	0.305953	0.307843
CSPtoSAT+minisat 0.3	231592	SAT	0.312951	0.328335
Diarmuid-wtdi 2006-12-21	231574	SAT	0.353945	0.354615
rjw-solver 2006-12-09	231577	SAT	0.371942	0.372174
rjw-solver 2007-01-21	284054	SAT	0.376942	0.378258
buggy_2_5_s 2007-01-08	231587	SAT	0.493924	0.551439
buggy_2_5 2007-01-08	231588	SAT	0.497923	0.505201
CSP4J - Combo 2006-12-19	231581	SAT	0.773881	0.810827
Abscon 109 AC	231580	SAT	0.854869	0.912778
CSP4J - MAC 2007-01-16	272096	SAT	0.874866	0.923227
CSP4J - MAC 2006-12-19	231582	SAT	0.878866	0.926812
Abscon 109 ESAC	231579	SAT	0.887864	0.92374
Diarmuid-rndi 2007-01-22	286992	SAT	1.79173	1.79992
galacJ beta 1	231578	SAT	2.37064	2.53342
SAT4JCSP-CACHED 1.7 RC BF3	231585	SAT	2.53261	1.66732
sat4jCSP 1.7 RC BF3	231586	SAT	2.56961	2.6222
galac 1	231583	SAT	3.20151	3.28467
sugar 0.40	231591	SAT	6.36403	6.57018
Diarmuid-rndi 2006-12-21	231575	SAT	12.2471	12.2623