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

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

Name	geom/ geo50-20-d4-75-99_ext.xml
MD5SUM	4907af99d43d140a9fa6131677ed6c6f
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	396
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	396
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	230393	SAT	0.115981	0.121724
Mistral 2006-12-04	230392	SAT	0.118981	0.139592
VALCSP 3.1	269247	SAT	0.169973	0.173012
VALCSP 3.0	230387	SAT	0.169974	0.177787
CSPtoSAT+minisat 0.3	230395	SAT	0.310951	0.332863
BPrologCSPSolver70a 2006-12-13	230379	SAT	0.312951	0.321852
rjw-solver 2007-01-21	283991	SAT	0.350946	0.363436
rjw-solver 2006-12-09	230380	SAT	0.361944	0.376172
Diarmuid-wtdi 2006-12-21	230377	SAT	0.371943	0.377638
buggy_2_5_s 2007-01-08	230390	SAT	0.492924	0.505677
buggy_2_5 2007-01-08	230391	SAT	0.51992	0.532347
CSP4J - Combo 2006-12-19	230384	SAT	0.78588	0.840361
Abscon 109 AC	230383	SAT	0.847871	0.872486
CSP4J - MAC 2006-12-19	230385	SAT	0.863868	0.911753
CSP4J - MAC 2007-01-16	272033	SAT	0.874866	0.918342
Abscon 109 ESAC	230382	SAT	0.971851	0.991864
galacJ beta 1	230381	SAT	2.21766	2.28867
sat4jCSP 1.7 RC BF3	230389	SAT	2.5916	2.67468
SAT4JCSP-CACHED 1.7 RC BF3	230388	SAT	2.6326	2.66345
galac 1	230386	SAT	3.33149	3.55879
sugar 0.40	230394	SAT	5.83511	6.19084
Diarmuid-rndi 2007-01-22	286929	SAT	10.1325	10.1891
Diarmuid-rndi 2006-12-21	230378	SAT	11.6482	11.7753