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

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

Name	geom/ geo50-20-d4-75-4_ext.xml
MD5SUM	77e1acefe0694f81db4e384dfc328a45
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.123981
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	418
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	418
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	231380	SAT	0.123981	0.128243
Tramontane 2006-12-04	231381	SAT	0.12498	0.142718
VALCSP 3.0	231375	SAT	0.165973	0.166819
VALCSP 3.1	269299	SAT	0.178972	0.181
BPrologCSPSolver70a 2006-12-13	231367	SAT	0.32495	0.326351
Diarmuid-wtdi 2006-12-21	231365	SAT	0.340947	0.346077
CSPtoSAT+minisat 0.3	231383	SAT	0.341947	0.367824
rjw-solver 2006-12-09	231368	SAT	0.346946	0.350971
rjw-solver 2007-01-21	284043	SAT	0.362944	0.372068
buggy_2_5 2007-01-08	231379	SAT	0.524919	0.527106
buggy_2_5_s 2007-01-08	231378	SAT	0.558914	0.602728
CSP4J - Combo 2006-12-19	231372	SAT	0.853869	0.877745
CSP4J - MAC 2006-12-19	231373	SAT	0.864868	0.91635
Abscon 109 AC	231371	SAT	0.873866	1.04886
CSP4J - MAC 2007-01-16	272085	SAT	0.879865	0.922845
Abscon 109 ESAC	231370	SAT	0.991848	1.04118
Diarmuid-rndi 2007-01-22	286981	SAT	2.13368	2.15837
galacJ beta 1	231369	SAT	2.35564	2.4567
sat4jCSP 1.7 RC BF3	231377	SAT	2.54161	2.60353
SAT4JCSP-CACHED 1.7 RC BF3	231376	SAT	2.58461	2.65978
galac 1	231374	SAT	3.45647	3.5496
sugar 0.40	231382	SAT	6.67	7.03271
Diarmuid-rndi 2006-12-21	231366	SAT	19.0751	19.1418