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

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

Name	geom/ geo50-20-d4-75-54_ext.xml
MD5SUM	08e8eab957ad1f527cabf3fa727f0524
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.118981
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	412
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	412
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	230886	SAT	0.118981	0.125365
Tramontane 2006-12-04	230887	SAT	0.121981	0.126251
VALCSP 3.1	269273	SAT	0.172973	0.175271
VALCSP 3.0	230881	SAT	0.179972	0.180916
CSPtoSAT+minisat 0.3	230889	SAT	0.289955	0.315
BPrologCSPSolver70a 2006-12-13	230873	SAT	0.32295	0.330482
rjw-solver 2007-01-21	284017	SAT	0.355945	0.366972
rjw-solver 2006-12-09	230874	SAT	0.378941	0.383251
Diarmuid-wtdi 2006-12-21	230871	SAT	0.38694	0.394922
buggy_2_5 2007-01-08	230885	SAT	0.52192	0.521329
buggy_2_5_s 2007-01-08	230884	SAT	0.529918	0.571117
CSP4J - MAC 2006-12-19	230879	SAT	0.805876	0.859877
CSP4J - Combo 2006-12-19	230878	SAT	0.836872	0.875719
CSP4J - MAC 2007-01-16	272059	SAT	0.85387	0.873489
Abscon 109 AC	230877	SAT	0.948855	0.97979
Abscon 109 ESAC	230876	SAT	0.959853	0.975925
galacJ beta 1	230875	SAT	2.24866	2.34205
sat4jCSP 1.7 RC BF3	230883	SAT	2.47462	1.6763
SAT4JCSP-CACHED 1.7 RC BF3	230882	SAT	2.50162	1.66691
galac 1	230880	SAT	3.11553	3.25321
sugar 0.40	230888	SAT	5.99909	6.3044
Diarmuid-rndi 2007-01-22	286955	SAT	10.6814	10.8257
Diarmuid-rndi 2006-12-21	230872	SAT	11.6582	11.7174