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

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

Name	geom/ geo50-20-d4-75-72_ext.xml
MD5SUM	8b98ff77b4339d578a133cbe377e157c
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.128979
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	406
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	406
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	230507	SAT	0.128979	0.135808
Mistral 2006-12-04	230506	SAT	0.131979	0.1348
VALCSP 3.0	230501	SAT	0.176972	0.178586
VALCSP 3.1	269253	SAT	0.176972	0.179019
CSPtoSAT+minisat 0.3	230509	SAT	0.310952	0.33048
BPrologCSPSolver70a 2006-12-13	230493	SAT	0.32595	0.332398
Diarmuid-wtdi 2006-12-21	230491	SAT	0.373942	0.378159
rjw-solver 2007-01-21	283997	SAT	0.397939	0.410635
rjw-solver 2006-12-09	230494	SAT	0.414936	0.423755
buggy_2_5 2007-01-08	230505	SAT	0.532918	0.560198
buggy_2_5_s 2007-01-08	230504	SAT	0.538917	0.578295
CSP4J - MAC 2006-12-19	230499	SAT	0.807876	0.86728
CSP4J - Combo 2006-12-19	230498	SAT	0.854869	0.977807
Abscon 109 AC	230497	SAT	0.866867	0.952017
CSP4J - MAC 2007-01-16	272039	SAT	0.873866	0.920829
Abscon 109 ESAC	230496	SAT	0.957854	0.99053
Diarmuid-rndi 2006-12-21	230492	SAT	2.18167	2.22795
galacJ beta 1	230495	SAT	2.27765	2.45829
SAT4JCSP-CACHED 1.7 RC BF3	230502	SAT	2.35364	2.4411
sat4jCSP 1.7 RC BF3	230503	SAT	2.50962	2.56989
galac 1	230500	SAT	3.2515	3.33458
sugar 0.40	230508	SAT	5.87511	6.16974
Diarmuid-rndi 2007-01-22	286935	SAT	14.6128	14.7377