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

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

Name	geom/ geo50-20-d4-75-79_ext.xml
MD5SUM	f12fdba45930ec498484abd31dad246d
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.113982
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	383
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	383
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	231684	SAT	0.113982	0.116862
Tramontane 2006-12-04	231685	SAT	0.113982	0.115658
VALCSP 3.1	269315	SAT	0.163974	0.165336
VALCSP 3.0	231679	SAT	0.166973	0.174927
BPrologCSPSolver70a 2006-12-13	231671	SAT	0.283956	0.287235
CSPtoSAT+minisat 0.3	231687	SAT	0.293954	0.306613
Diarmuid-wtdi 2006-12-21	231669	SAT	0.307953	0.315083
rjw-solver 2006-12-09	231672	SAT	0.328949	0.34293
rjw-solver 2007-01-21	284059	SAT	0.336947	0.338202
buggy_2_5_s 2007-01-08	231682	SAT	0.499923	0.505234
buggy_2_5 2007-01-08	231683	SAT	0.519919	0.529066
CSP4J - Combo 2006-12-19	231676	SAT	0.78088	0.811003
CSP4J - MAC 2007-01-16	272101	SAT	0.78288	0.811162
CSP4J - MAC 2006-12-19	231677	SAT	0.790879	0.903339
Abscon 109 ESAC	231674	SAT	0.851869	0.8724
Abscon 109 AC	231675	SAT	0.91486	1.03778
Diarmuid-rndi 2007-01-22	286997	SAT	1.80872	1.8229
galacJ beta 1	231673	SAT	2.25566	2.37691
sat4jCSP 1.7 RC BF3	231681	SAT	2.48262	2.09266
SAT4JCSP-CACHED 1.7 RC BF3	231680	SAT	2.6236	1.61882
galac 1	231678	SAT	3.13652	3.20739
sugar 0.40	231686	SAT	5.76812	5.90802
Diarmuid-rndi 2006-12-21	231670	SAT	9.76151	9.78172