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

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

Name	geom/ geo50-20-d4-75-13_ext.xml
MD5SUM	7d5eedcaf608171fda0edb9e7a0360da
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.129979
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	428
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	428
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	231438	SAT	0.129979	0.132966
Mistral 2006-12-04	231437	SAT	0.137978	0.145963
VALCSP 3.1	269302	SAT	0.183971	0.185912
VALCSP 3.0	231432	SAT	0.188971	0.191151
CSPtoSAT+minisat 0.3	231440	SAT	0.351946	0.370186
BPrologCSPSolver70a 2006-12-13	231424	SAT	0.364944	0.371317
buggy_2_5_s 2007-01-08	231435	SAT	0.560914	0.894599
buggy_2_5 2007-01-08	231436	SAT	0.58491	0.667895
rjw-solver 2006-12-09	231425	SAT	0.589909	0.589932
Diarmuid-wtdi 2006-12-21	231422	SAT	0.594908	0.604418
rjw-solver 2007-01-21	284046	SAT	0.627904	0.713751
CSP4J - Combo 2006-12-19	231429	SAT	0.917859	0.969054
Abscon 109 AC	231428	SAT	0.927858	0.968314
Abscon 109 ESAC	231427	SAT	0.966852	1.02328
CSP4J - MAC 2007-01-16	272088	SAT	1.00285	1.10149
CSP4J - MAC 2006-12-19	231430	SAT	1.10783	1.13909
SAT4JCSP-CACHED 1.7 RC BF3	231433	SAT	2.6286	2.68932
sat4jCSP 1.7 RC BF3	231434	SAT	2.73358	1.8235
galacJ beta 1	231426	SAT	2.80657	2.92231
galac 1	231431	SAT	3.50747	3.59912
sugar 0.40	231439	SAT	6.21805	6.44895
Diarmuid-rndi 2006-12-21	231423	SAT	18.1732	18.2292
Diarmuid-rndi 2007-01-22	286984	SAT	29.8425	30.123