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

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

Name	geom/ geo50-20-d4-75-34_ext.xml
MD5SUM	219d991730d63087fa059506c0c45b8a
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.109983
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
Tramontane 2006-12-04	230412	SAT	0.109983	0.113862
Mistral 2006-12-04	230411	SAT	0.120981	0.124455
VALCSP 3.1	269248	SAT	0.166974	0.177024
VALCSP 3.0	230406	SAT	0.183971	0.196021
CSPtoSAT+minisat 0.3	230414	SAT	0.306953	0.32647
BPrologCSPSolver70a 2006-12-13	230398	SAT	0.317951	0.330221
buggy_2_5_s 2007-01-08	230409	SAT	0.51992	0.525527
Diarmuid-wtdi 2006-12-21	230396	SAT	0.529919	0.540758
buggy_2_5 2007-01-08	230410	SAT	0.531919	0.536323
rjw-solver 2006-12-09	230399	SAT	0.535918	0.544442
rjw-solver 2007-01-21	283992	SAT	0.607907	0.6389
CSP4J - Combo 2006-12-19	230403	SAT	0.768882	0.830122
CSP4J - MAC 2006-12-19	230404	SAT	0.779881	0.826877
CSP4J - MAC 2007-01-16	272034	SAT	0.838871	0.869135
Abscon 109 AC	230402	SAT	0.854869	0.882128
Abscon 109 ESAC	230401	SAT	0.896863	0.916246
galacJ beta 1	230400	SAT	2.18467	2.29965
sat4jCSP 1.7 RC BF3	230408	SAT	2.48462	1.68194
SAT4JCSP-CACHED 1.7 RC BF3	230407	SAT	2.6096	2.65466
galac 1	230405	SAT	3.3195	3.49856
sugar 0.40	230413	SAT	6.15	6.51862
Diarmuid-rndi 2006-12-21	230397	SAT	12.6741	12.6881
Diarmuid-rndi 2007-01-22	286930	SAT	25.2352	25.4747