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

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

Name	geom/ geo50-20-d4-75-40_ext.xml
MD5SUM	9e752eadb73a05c559f4ce8e861670c7
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.113981
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	377
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	377
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	230716	SAT	0.113981	0.114948
Mistral 2006-12-04	230715	SAT	0.115981	0.123105
VALCSP 3.1	269264	SAT	0.153975	0.155208
VALCSP 3.0	230710	SAT	0.154975	0.159038
BPrologCSPSolver70a 2006-12-13	230702	SAT	0.293955	0.296747
CSPtoSAT+minisat 0.3	230718	SAT	0.305952	0.318555
Diarmuid-wtdi 2006-12-21	230700	SAT	0.32595	0.333247
rjw-solver 2006-12-09	230703	SAT	0.340947	0.351814
rjw-solver 2007-01-21	284008	SAT	0.344946	0.354447
buggy_2_5_s 2007-01-08	230713	SAT	0.497923	0.510858
buggy_2_5 2007-01-08	230714	SAT	0.510922	0.527687
CSP4J - MAC 2006-12-19	230708	SAT	0.78388	0.893834
CSP4J - Combo 2006-12-19	230707	SAT	0.814875	0.952532
CSP4J - MAC 2007-01-16	272050	SAT	0.833872	0.867137
Abscon 109 AC	230706	SAT	0.840871	0.951227
Abscon 109 ESAC	230705	SAT	0.919859	0.981696
Diarmuid-rndi 2007-01-22	286946	SAT	1.9347	1.96003
sat4jCSP 1.7 RC BF3	230712	SAT	2.23066	2.26832
SAT4JCSP-CACHED 1.7 RC BF3	230711	SAT	2.26266	2.31594
galacJ beta 1	230704	SAT	2.27465	2.38451
Diarmuid-rndi 2006-12-21	230701	SAT	2.73458	2.73958
galac 1	230709	SAT	3.01954	3.10449
sugar 0.40	230717	SAT	5.73313	5.88153