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

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

Name	geom/ geo50-20-d4-75-24_ext.xml
MD5SUM	7c4e8f924c770ec00d720e1f8e8a4ad3
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.12698
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	393
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	393
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
Mistral 2006-12-04	230962	SAT	0.12698	0.128322
Tramontane 2006-12-04	230963	SAT	0.140978	0.145059
VALCSP 3.1	269277	SAT	0.156975	0.164024
VALCSP 3.0	230957	SAT	0.167974	0.169572
BPrologCSPSolver70a 2006-12-13	230949	SAT	0.289955	0.291616
CSPtoSAT+minisat 0.3	230965	SAT	0.302953	0.323603
rjw-solver 2006-12-09	230950	SAT	0.347946	0.429095
Diarmuid-wtdi 2006-12-21	230947	SAT	0.349946	0.363074
rjw-solver 2007-01-21	284021	SAT	0.349946	0.355586
buggy_2_5_s 2007-01-08	230960	SAT	0.502923	0.501849
buggy_2_5 2007-01-08	230961	SAT	0.535917	0.549963
CSP4J - Combo 2006-12-19	230954	SAT	0.785879	0.81777
CSP4J - MAC 2007-01-16	272063	SAT	0.819874	0.866129
Abscon 109 ESAC	230952	SAT	0.831873	0.867253
Abscon 109 AC	230953	SAT	0.868867	0.919165
CSP4J - MAC 2006-12-19	230955	SAT	0.872867	0.940649
galacJ beta 1	230951	SAT	2.23166	2.35616
SAT4JCSP-CACHED 1.7 RC BF3	230958	SAT	2.32465	2.41816
sat4jCSP 1.7 RC BF3	230959	SAT	2.47562	1.62183
galac 1	230956	SAT	3.22151	3.33049
Diarmuid-rndi 2006-12-21	230948	SAT	3.3115	3.33844
sugar 0.40	230964	SAT	6.07	6.40718
Diarmuid-rndi 2007-01-22	286959	SAT	22.6606	22.8773