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

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

Name	geom/ geo50-20-d4-75-31_ext.xml
MD5SUM	907a6baee2039bc59317b8429139af1e
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.106983
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	377
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	377
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	231419	SAT	0.106983	0.115353
Mistral 2006-12-04	231418	SAT	0.111982	0.120346
VALCSP 3.1	269301	SAT	0.152976	0.162327
VALCSP 3.0	231413	SAT	0.163974	0.168712
CSPtoSAT+minisat 0.3	231421	SAT	0.272958	0.304374
rjw-solver 2006-12-09	231406	SAT	0.297954	0.305614
BPrologCSPSolver70a 2006-12-13	231405	SAT	0.299953	0.301994
Diarmuid-wtdi 2006-12-21	231403	SAT	0.308953	0.315208
rjw-solver 2007-01-21	284045	SAT	0.32495	0.337973
Diarmuid-rndi 2007-01-22	286983	SAT	0.327949	0.334247
buggy_2_5 2007-01-08	231417	SAT	0.500923	0.506724
buggy_2_5_s 2007-01-08	231416	SAT	0.504922	0.522209
CSP4J - MAC 2007-01-16	272087	SAT	0.766882	0.807027
CSP4J - MAC 2006-12-19	231411	SAT	0.795878	0.810384
CSP4J - Combo 2006-12-19	231410	SAT	0.816875	0.875873
Abscon 109 AC	231409	SAT	0.816875	0.866896
Abscon 109 ESAC	231408	SAT	0.949855	0.981581
Diarmuid-rndi 2006-12-21	231404	SAT	1.87771	1.88335
galacJ beta 1	231407	SAT	2.19167	2.3039
SAT4JCSP-CACHED 1.7 RC BF3	231414	SAT	2.26066	1.52793
sat4jCSP 1.7 RC BF3	231415	SAT	2.38064	2.40999
galac 1	231412	SAT	3.12752	3.22209
sugar 0.40	231420	SAT	5.9	6.24106