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

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

Name	geom/ geo50-20-d4-75-43_ext.xml
MD5SUM	76c9822fcb4ea05bb30cd3d12a046a6f
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.142977
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	432
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	432
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	231153	SAT	0.142977	0.150019
Mistral 2006-12-04	231152	SAT	0.146977	0.155768
VALCSP 3.0	231147	SAT	0.19497	0.200547
VALCSP 3.1	269287	SAT	0.196969	0.19904
CSPtoSAT+minisat 0.3	231155	SAT	0.38994	0.408039
BPrologCSPSolver70a 2006-12-13	231139	SAT	0.6549	0.656649
buggy_2_5_s 2007-01-08	231150	SAT	0.680895	0.70641
buggy_2_5 2007-01-08	231151	SAT	0.696893	0.709855
CSP4J - Combo 2006-12-19	231144	SAT	0.835872	0.862265
Diarmuid-wtdi 2006-12-21	231137	SAT	0.838871	0.840983
rjw-solver 2006-12-09	231140	SAT	0.892863	0.89959
Abscon 109 AC	231143	SAT	0.901861	0.918464
rjw-solver 2007-01-21	284031	SAT	0.920859	0.927333
Abscon 109 ESAC	231142	SAT	1.00585	1.08401
CSP4J - MAC 2007-01-16	272073	SAT	1.06484	1.12834
CSP4J - MAC 2006-12-19	231145	SAT	1.18982	1.24586
galacJ beta 1	231141	SAT	2.50062	2.61459
sat4jCSP 1.7 RC BF3	231149	SAT	3.14052	3.20013
SAT4JCSP-CACHED 1.7 RC BF3	231148	SAT	3.3085	3.44587
galac 1	231146	SAT	3.50347	3.60886
sugar 0.40	231154	SAT	7.43	7.85112
Diarmuid-rndi 2006-12-21	231138	SAT	24.0303	24.1569
Diarmuid-rndi 2007-01-22	286969	SAT	26.257	26.3359