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

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

Name	geom/ geo50-20-d4-75-78_ext.xml
MD5SUM	11868b0ab3186961175a1c70c910f064
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.127979
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	388
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	388
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	230925	SAT	0.127979	0.141577
Mistral 2006-12-04	230924	SAT	0.136979	0.141232
VALCSP 3.0	230919	SAT	0.167974	0.16935
VALCSP 3.1	269275	SAT	0.168973	0.211927
BPrologCSPSolver70a 2006-12-13	230911	SAT	0.304952	0.306151
CSPtoSAT+minisat 0.3	230927	SAT	0.309952	0.318099
rjw-solver 2007-01-21	284019	SAT	0.45593	0.526516
Diarmuid-wtdi 2006-12-21	230909	SAT	0.458929	0.46133
rjw-solver 2006-12-09	230912	SAT	0.480926	0.485598
buggy_2_5 2007-01-08	230923	SAT	0.491925	0.500192
buggy_2_5_s 2007-01-08	230922	SAT	0.493924	0.499834
CSP4J - MAC 2007-01-16	272061	SAT	0.78288	0.813111
CSP4J - Combo 2006-12-19	230916	SAT	0.819874	0.880074
Abscon 109 ESAC	230914	SAT	0.827873	0.866096
CSP4J - MAC 2006-12-19	230917	SAT	0.833872	0.967556
Abscon 109 AC	230915	SAT	0.858868	0.968091
galacJ beta 1	230913	SAT	2.28865	2.40786
SAT4JCSP-CACHED 1.7 RC BF3	230920	SAT	2.67559	1.92753
sat4jCSP 1.7 RC BF3	230921	SAT	2.74958	1.72997
galac 1	230918	SAT	3.12552	3.21578
sugar 0.40	230926	SAT	5.82311	5.95473
Diarmuid-rndi 2006-12-21	230910	SAT	10.0595	10.0705
Diarmuid-rndi 2007-01-22	286957	SAT	16.8014	16.965