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

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

Name	geom/ geo50-20-d4-75-6_ext.xml
MD5SUM	79d003d8cd215818b5fa7efa267f3fbf
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.115981
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	376
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	376
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	230089	SAT	0.115981	0.125406
Mistral 2006-12-04	230088	SAT	0.117981	0.120771
VALCSP 3.1	269231	SAT	0.157975	0.159685
VALCSP 3.0	230083	SAT	0.164974	0.167838
CSPtoSAT+minisat 0.3	230091	SAT	0.272957	0.293123
BPrologCSPSolver70a 2006-12-13	230075	SAT	0.300953	0.307869
Diarmuid-wtdi 2006-12-21	230073	SAT	0.351945	0.359427
rjw-solver 2006-12-09	230076	SAT	0.378942	0.386759
rjw-solver 2007-01-21	283975	SAT	0.38994	0.396779
buggy_2_5_s 2007-01-08	230086	SAT	0.481926	0.489174
buggy_2_5 2007-01-08	230087	SAT	0.491924	0.498037
CSP4J - Combo 2006-12-19	230080	SAT	0.77788	0.831918
CSP4J - MAC 2007-01-16	272017	SAT	0.798877	0.82208
CSP4J - MAC 2006-12-19	230081	SAT	0.833872	0.874482
Abscon 109 AC	230079	SAT	0.869867	0.918991
Abscon 109 ESAC	230078	SAT	0.892864	0.918152
Diarmuid-rndi 2006-12-21	230074	SAT	1.9397	1.96246
galacJ beta 1	230077	SAT	2.12368	2.23071
sat4jCSP 1.7 RC BF3	230085	SAT	2.23966	2.2788
SAT4JCSP-CACHED 1.7 RC BF3	230084	SAT	2.45063	2.48617
galac 1	230082	SAT	3.11452	3.2039
Diarmuid-rndi 2007-01-22	286913	SAT	5.95509	5.98097
sugar 0.40	230090	SAT	6.02	6.42356