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

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

Name	geom/ geo50-20-d4-75-76_ext.xml
MD5SUM	55917955d4383c6485abc0a42570d36b
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.100983
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	365
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	365
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	230107	SAT	0.100983	0.104927
Tramontane 2006-12-04	230108	SAT	0.105983	0.113811
VALCSP 3.0	230102	SAT	0.157975	0.160215
VALCSP 3.1	269232	SAT	0.158975	0.160517
CSPtoSAT+minisat 0.3	230110	SAT	0.271958	0.291121
rjw-solver 2006-12-09	230095	SAT	0.275957	0.293186
BPrologCSPSolver70a 2006-12-13	230094	SAT	0.283956	0.292736
Diarmuid-wtdi 2006-12-21	230092	SAT	0.298953	0.305352
rjw-solver 2007-01-21	283976	SAT	0.306953	0.313347
buggy_2_5 2007-01-08	230106	SAT	0.461929	0.480216
buggy_2_5_s 2007-01-08	230105	SAT	0.481925	0.484579
Diarmuid-rndi 2007-01-22	286914	SAT	0.561914	0.569308
CSP4J - Combo 2006-12-19	230099	SAT	0.756884	0.807931
CSP4J - MAC 2006-12-19	230100	SAT	0.757884	0.818534
CSP4J - MAC 2007-01-16	272018	SAT	0.807876	0.868884
Abscon 109 ESAC	230097	SAT	0.875865	0.922625
Abscon 109 AC	230098	SAT	0.888864	0.93083
Diarmuid-rndi 2006-12-21	230093	SAT	1.52677	1.55232
galacJ beta 1	230096	SAT	2.07268	2.18538
SAT4JCSP-CACHED 1.7 RC BF3	230103	SAT	2.23866	1.52578
sat4jCSP 1.7 RC BF3	230104	SAT	2.28065	2.33943
galac 1	230101	SAT	3.20651	3.2701
sugar 0.40	230109	SAT	5.66	5.96023