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

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

Name	geom/ geo50-20-d4-75-25_ext.xml
MD5SUM	abd0706bdc48545b86fc2f2c67cfefdf
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.141977
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	390
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	390
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	231799	SAT	0.141977	0.148347
Mistral 2006-12-04	231798	SAT	0.159975	0.16821
VALCSP 3.1	269321	SAT	0.166974	0.168427
VALCSP 3.0	231793	SAT	0.169973	0.178311
CSPtoSAT+minisat 0.3	231801	SAT	0.287955	0.303365
BPrologCSPSolver70a 2006-12-13	231785	SAT	0.309952	0.317103
Diarmuid-rndi 2007-01-22	287003	SAT	0.384941	0.392405
buggy_2_5_s 2007-01-08	231796	SAT	0.51692	0.522709
buggy_2_5 2007-01-08	231797	SAT	0.51992	0.537208
Diarmuid-wtdi 2006-12-21	231783	SAT	0.559914	0.567568
rjw-solver 2006-12-09	231786	SAT	0.566913	0.570435
rjw-solver 2007-01-21	284065	SAT	0.602908	0.775016
CSP4J - MAC 2007-01-16	272107	SAT	0.794878	0.809637
CSP4J - Combo 2006-12-19	231790	SAT	0.830873	0.877999
CSP4J - MAC 2006-12-19	231791	SAT	0.839872	0.868877
Abscon 109 AC	231789	SAT	0.866867	0.915083
Abscon 109 ESAC	231788	SAT	0.960853	0.985951
galacJ beta 1	231787	SAT	2.34264	2.56125
SAT4JCSP-CACHED 1.7 RC BF3	231794	SAT	2.43163	2.44875
sat4jCSP 1.7 RC BF3	231795	SAT	2.58061	2.65345
galac 1	231792	SAT	3.2945	3.37374
sugar 0.40	231800	SAT	5.88	6.19821
Diarmuid-rndi 2006-12-21	231784	SAT	6.97694	7.03607