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

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

Name	geom/ geo50-20-d4-75-80_ext.xml
MD5SUM	e245ce0bccf29f5678cdb2df200b4ae3
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.114982
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	386
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	386
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	231400	SAT	0.114982	0.118412
Mistral 2006-12-04	231399	SAT	0.116981	0.118409
VALCSP 3.1	269300	SAT	0.162974	0.165756
VALCSP 3.0	231394	SAT	0.169973	0.176069
BPrologCSPSolver70a 2006-12-13	231386	SAT	0.307953	0.314548
CSPtoSAT+minisat 0.3	231402	SAT	0.309952	0.326238
rjw-solver 2007-01-21	284044	SAT	0.335948	0.336702
Diarmuid-wtdi 2006-12-21	231384	SAT	0.340947	0.345822
rjw-solver 2006-12-09	231387	SAT	0.353945	0.37065
buggy_2_5 2007-01-08	231398	SAT	0.486925	0.519181
buggy_2_5_s 2007-01-08	231397	SAT	0.540917	0.547955
CSP4J - MAC 2007-01-16	272086	SAT	0.830873	0.858246
CSP4J - Combo 2006-12-19	231391	SAT	0.833873	0.871999
Diarmuid-rndi 2007-01-22	286982	SAT	0.857869	0.873237
CSP4J - MAC 2006-12-19	231392	SAT	0.862868	0.915062
Abscon 109 AC	231390	SAT	0.890864	0.959661
Abscon 109 ESAC	231389	SAT	0.895863	0.92212
galacJ beta 1	231388	SAT	2.32964	2.57288
SAT4JCSP-CACHED 1.7 RC BF3	231395	SAT	2.38564	2.4065
sat4jCSP 1.7 RC BF3	231396	SAT	2.47562	1.67567
galac 1	231393	SAT	3.09953	3.15304
Diarmuid-rndi 2006-12-21	231385	SAT	3.85041	3.85937
sugar 0.40	231401	SAT	6	6.3529