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

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

Name	geom/ geo50-20-d4-75-18_ext.xml
MD5SUM	9cfdd4a268b1855aad0033a3c1472481
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.140978
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	419
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	419
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	231893	SAT	0.140978	0.143776
Tramontane 2006-12-04	231894	SAT	0.19097	0.197803
VALCSP 3.0	231888	SAT	0.19197	0.198794
VALCSP 3.1	269326	SAT	0.205967	0.208393
BPrologCSPSolver70a 2006-12-13	231880	SAT	0.346946	0.353858
CSPtoSAT+minisat 0.3	231896	SAT	0.471927	0.489883
buggy_2_5 2007-01-08	231892	SAT	0.556914	0.581442
buggy_2_5_s 2007-01-08	231891	SAT	0.560914	0.597903
CSP4J - Combo 2006-12-19	231885	SAT	0.803877	0.875271
Diarmuid-wtdi 2006-12-21	231878	SAT	0.877866	0.883851
rjw-solver 2007-01-21	284070	SAT	0.920859	0.925913
Abscon 109 ESAC	231883	SAT	0.937857	0.964829
rjw-solver 2006-12-09	231881	SAT	0.992848	1.00854
Abscon 109 AC	231884	SAT	0.994848	1.08088
CSP4J - MAC 2007-01-16	272112	SAT	1.40579	1.44453
CSP4J - MAC 2006-12-19	231886	SAT	1.56076	1.59043
galacJ beta 1	231882	SAT	2.39963	2.46862
SAT4JCSP-CACHED 1.7 RC BF3	231889	SAT	2.6386	1.79152
sat4jCSP 1.7 RC BF3	231890	SAT	2.77158	2.83551
galac 1	231887	SAT	3.2735	3.39786
sugar 0.40	231895	SAT	6.43	6.76374
Diarmuid-rndi 2007-01-22	287008	SAT	21.5867	21.752
Diarmuid-rndi 2006-12-21	231879	SAT	30.9763	31.3022