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

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

Name	geom/ geo50-20-d4-75-16_ext.xml
MD5SUM	b3691f89f8f860d6ab40bcbed3554405
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.187971
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	421
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	421
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	230848	SAT	0.187971	0.195678
VALCSP 3.1	269271	SAT	0.189971	0.191683
VALCSP 3.0	230843	SAT	0.196969	0.202025
Tramontane 2006-12-04	230849	SAT	0.251961	0.263468
BPrologCSPSolver70a 2006-12-13	230835	SAT	0.350946	0.352714
CSPtoSAT+minisat 0.3	230851	SAT	0.369943	0.373578
buggy_2_5_s 2007-01-08	230846	SAT	0.556915	0.569054
buggy_2_5 2007-01-08	230847	SAT	0.569912	0.589828
CSP4J - MAC 2007-01-16	272057	SAT	0.834872	0.87558
Abscon 109 AC	230839	SAT	0.882865	0.987968
Abscon 109 ESAC	230838	SAT	0.919859	0.976468
CSP4J - MAC 2006-12-19	230841	SAT	0.92086	0.973163
CSP4J - Combo 2006-12-19	230840	SAT	0.972851	1.02772
Diarmuid-wtdi 2006-12-21	230833	SAT	1.47178	1.47354
rjw-solver 2006-12-09	230836	SAT	1.67974	1.70438
rjw-solver 2007-01-21	284015	SAT	1.68574	1.69059
galacJ beta 1	230837	SAT	2.6426	3.16843
SAT4JCSP-CACHED 1.7 RC BF3	230844	SAT	2.74658	1.83659
sat4jCSP 1.7 RC BF3	230845	SAT	2.75758	2.01129
galac 1	230842	SAT	3.32449	3.45464
sugar 0.40	230850	SAT	7.04	7.34562
Diarmuid-rndi 2006-12-21	230834	SAT	29.9904	30.2658
Diarmuid-rndi 2007-01-22	286953	SAT	30.8173	31.108