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

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

Name	geom/ geo50-20-d4-75-30_ext.xml
MD5SUM	bde48eb75149863eae8031d3f1709edd
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.140977
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	401
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	401
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	230469	SAT	0.140977	0.150423
VALCSP 3.1	269251	SAT	0.168974	0.170922
VALCSP 3.0	230463	SAT	0.176973	0.188123
Mistral 2006-12-04	230468	SAT	0.181972	0.187498
CSPtoSAT+minisat 0.3	230471	SAT	0.301953	0.328975
BPrologCSPSolver70a 2006-12-13	230455	SAT	0.32295	0.326218
buggy_2_5_s 2007-01-08	230466	SAT	0.505922	0.60191
buggy_2_5 2007-01-08	230467	SAT	0.51892	0.519399
CSP4J - Combo 2006-12-19	230460	SAT	0.793879	0.888115
Abscon 109 ESAC	230458	SAT	0.853869	0.916355
CSP4J - MAC 2007-01-16	272037	SAT	0.854869	0.911672
Abscon 109 AC	230459	SAT	0.865868	0.916844
CSP4J - MAC 2006-12-19	230461	SAT	0.97685	1.03822
rjw-solver 2007-01-21	283995	SAT	1.11083	1.12297
rjw-solver 2006-12-09	230456	SAT	1.12383	1.14353
Diarmuid-wtdi 2006-12-21	230453	SAT	1.3078	1.3252
galacJ beta 1	230457	SAT	2.34364	2.524
sat4jCSP 1.7 RC BF3	230465	SAT	2.40563	2.4998
SAT4JCSP-CACHED 1.7 RC BF3	230464	SAT	2.46362	1.60913
galac 1	230462	SAT	3.35249	3.43496
sugar 0.40	230470	SAT	6.33	6.50215
Diarmuid-rndi 2007-01-22	286933	SAT	9.2136	9.31079
Diarmuid-rndi 2006-12-21	230454	SAT	18.4822	18.6812