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

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

Name	geom/ geo50-20-d4-75-22_ext.xml
MD5SUM	d20ccbe7f43dd4711fe776c6d108ca04
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.236963
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	435
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	435
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
VALCSP 3.1	269328	SAT	0.228964	0.232345
VALCSP 3.0	231926	SAT	0.236963	0.23776
Mistral 2006-12-04	231931	SAT	0.291955	0.305837
Tramontane 2006-12-04	231932	SAT	0.327949	0.336731
BPrologCSPSolver70a 2006-12-13	231918	SAT	0.352945	0.360784
CSPtoSAT+minisat 0.3	231934	SAT	0.536918	0.537792
buggy_2_5 2007-01-08	231930	SAT	0.556914	0.555429
buggy_2_5_s 2007-01-08	231929	SAT	0.568912	0.574052
CSP4J - Combo 2006-12-19	231923	SAT	0.835872	0.865692
CSP4J - MAC 2006-12-19	231924	SAT	0.850869	0.87512
Abscon 109 AC	231922	SAT	0.894863	0.940127
Abscon 109 ESAC	231921	SAT	0.931857	0.97844
CSP4J - MAC 2007-01-16	272114	SAT	0.951855	0.970788
galacJ beta 1	231920	SAT	2.38664	2.5407
sat4jCSP 1.7 RC BF3	231928	SAT	2.67259	2.77448
SAT4JCSP-CACHED 1.7 RC BF3	231927	SAT	2.71459	2.81784
galac 1	231925	SAT	3.2995	3.42116
rjw-solver 2006-12-09	231919	SAT	3.68344	3.7356
rjw-solver 2007-01-21	284072	SAT	4.02339	4.26045
sugar 0.40	231933	SAT	6.24	6.65222
Diarmuid-wtdi 2006-12-21	231916	SAT	7.71883	7.7594
Diarmuid-rndi 2006-12-21	231917	SAT	16.8284	17.0576
Diarmuid-rndi 2007-01-22	287010	SAT	21.5977	21.7551