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

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

Name	geom/ geo50-20-d4-75-64_ext.xml
MD5SUM	dd4bf1a695eed3c2f35fd70bc8dab40e
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.108983
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	361
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	361
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	231210	SAT	0.108983	0.114413
Mistral 2006-12-04	231209	SAT	0.110982	0.119361
VALCSP 3.1	269290	SAT	0.142977	0.147223
VALCSP 3.0	231204	SAT	0.154976	0.160942
CSPtoSAT+minisat 0.3	231212	SAT	0.26296	0.283007
BPrologCSPSolver70a 2006-12-13	231196	SAT	0.291955	0.304621
Diarmuid-wtdi 2006-12-21	231194	SAT	0.328949	0.338339
rjw-solver 2006-12-09	231197	SAT	0.346946	0.355698
rjw-solver 2007-01-21	284034	SAT	0.357944	0.361693
buggy_2_5 2007-01-08	231208	SAT	0.481926	0.499117
buggy_2_5_s 2007-01-08	231207	SAT	0.491924	0.494748
CSP4J - MAC 2007-01-16	272076	SAT	0.747886	0.811545
CSP4J - Combo 2006-12-19	231201	SAT	0.792878	0.822085
CSP4J - MAC 2006-12-19	231202	SAT	0.842871	0.871367
Abscon 109 ESAC	231199	SAT	0.853869	0.873039
Abscon 109 AC	231200	SAT	0.856868	0.91333
galacJ beta 1	231198	SAT	2.29065	2.35421
sat4jCSP 1.7 RC BF3	231206	SAT	2.40063	2.35505
SAT4JCSP-CACHED 1.7 RC BF3	231205	SAT	2.56161	2.60538
galac 1	231203	SAT	3.23051	3.32563
Diarmuid-rndi 2007-01-22	286972	SAT	3.33849	3.37082
Diarmuid-rndi 2006-12-21	231195	SAT	4.04039	4.08927
sugar 0.40	231211	SAT	5.70713	5.9089