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

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

Name	geom/ geo50-20-d4-75-26_ext.xml
MD5SUM	fdad79adee78a37de3b9ec29d2deb9f5
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.113981
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	399
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	399
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	230639	SAT	0.113981	0.121734
Tramontane 2006-12-04	230640	SAT	0.117981	0.125722
VALCSP 3.0	230634	SAT	0.165974	0.165715
VALCSP 3.1	269260	SAT	0.167974	0.169719
CSPtoSAT+minisat 0.3	230642	SAT	0.276957	0.295128
BPrologCSPSolver70a 2006-12-13	230626	SAT	0.315951	0.326225
rjw-solver 2006-12-09	230627	SAT	0.39194	0.395414
Diarmuid-wtdi 2006-12-21	230624	SAT	0.414936	0.429173
rjw-solver 2007-01-21	284004	SAT	0.418936	0.428157
buggy_2_5_s 2007-01-08	230637	SAT	0.534918	0.539319
buggy_2_5 2007-01-08	230638	SAT	0.542916	0.562695
CSP4J - Combo 2006-12-19	230631	SAT	0.803877	0.920336
CSP4J - MAC 2007-01-16	272046	SAT	0.809876	0.870909
CSP4J - MAC 2006-12-19	230632	SAT	0.836872	0.869016
Abscon 109 AC	230630	SAT	0.897862	0.990981
Abscon 109 ESAC	230629	SAT	0.957853	0.988773
galacJ beta 1	230628	SAT	2.19167	2.31319
sat4jCSP 1.7 RC BF3	230636	SAT	2.43563	2.46704
SAT4JCSP-CACHED 1.7 RC BF3	230635	SAT	2.6106	2.67697
galac 1	230633	SAT	3.37949	3.47813
Diarmuid-rndi 2006-12-21	230625	SAT	5.41718	5.47152
Diarmuid-rndi 2007-01-22	286942	SAT	5.82711	5.91462
sugar 0.40	230641	SAT	5.9121	6.18784