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

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

Name	geom/ geo50-20-d4-75-49_ext.xml
MD5SUM	9110350dfbdb54f2dbd4618d5d6efc71
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.141977
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	425
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	425
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	231913	SAT	0.141977	0.142966
Mistral 2006-12-04	231912	SAT	0.145977	0.147735
VALCSP 3.0	231907	SAT	0.182971	0.201677
VALCSP 3.1	269327	SAT	0.18597	0.191906
BPrologCSPSolver70a 2006-12-13	231899	SAT	0.340948	0.343693
CSPtoSAT+minisat 0.3	231915	SAT	0.364943	0.387566
buggy_2_5_s 2007-01-08	231910	SAT	0.593909	0.701739
rjw-solver 2006-12-09	231900	SAT	0.595908	0.601751
buggy_2_5 2007-01-08	231911	SAT	0.595909	0.598054
Diarmuid-wtdi 2006-12-21	231897	SAT	0.636902	0.648603
rjw-solver 2007-01-21	284071	SAT	0.656899	0.667993
Abscon 109 AC	231903	SAT	0.887864	1.10464
Abscon 109 ESAC	231902	SAT	0.945855	0.974927
CSP4J - Combo 2006-12-19	231904	SAT	0.975851	1.03108
CSP4J - MAC 2006-12-19	231905	SAT	1.00485	1.03477
CSP4J - MAC 2007-01-16	272113	SAT	1.01484	1.07501
galacJ beta 1	231901	SAT	2.23466	2.33486
sat4jCSP 1.7 RC BF3	231909	SAT	2.54561	2.26961
SAT4JCSP-CACHED 1.7 RC BF3	231908	SAT	2.73458	2.84872
galac 1	231906	SAT	3.2745	3.52207
sugar 0.40	231914	SAT	6.587	6.70977
Diarmuid-rndi 2007-01-22	287009	SAT	12.6471	13.1052
Diarmuid-rndi 2006-12-21	231898	SAT	18.8101	18.9524