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

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

Name	geom/ geo50-20-d4-75-77_ext.xml
MD5SUM	648163b6ef5ac067b2ba1c06a966d354
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.165974
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	444
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	444
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	230278	SAT	0.165974	0.171791
Tramontane 2006-12-04	230279	SAT	0.208968	0.216653
VALCSP 3.1	269241	SAT	0.217966	0.223405
VALCSP 3.0	230273	SAT	0.221966	0.228289
CSPtoSAT+minisat 0.3	230281	SAT	0.341947	0.365466
BPrologCSPSolver70a 2006-12-13	230265	SAT	0.348946	0.356843
buggy_2_5 2007-01-08	230277	SAT	0.646901	0.659822
buggy_2_5_s 2007-01-08	230276	SAT	0.6519	0.66914
rjw-solver 2007-01-21	283985	SAT	0.795878	0.796177
rjw-solver 2006-12-09	230266	SAT	0.84987	0.861821
Diarmuid-wtdi 2006-12-21	230263	SAT	0.946855	0.95346
CSP4J - Combo 2006-12-19	230270	SAT	0.947855	0.976063
Abscon 109 AC	230269	SAT	0.952854	1.01802
Abscon 109 ESAC	230268	SAT	1.00385	1.04516
CSP4J - MAC 2006-12-19	230271	SAT	1.3378	1.40176
CSP4J - MAC 2007-01-16	272027	SAT	1.42278	1.4409
galacJ beta 1	230267	SAT	2.34164	2.4387
SAT4JCSP-CACHED 1.7 RC BF3	230274	SAT	3.39448	3.47951
sat4jCSP 1.7 RC BF3	230275	SAT	3.44048	3.48759
galac 1	230272	SAT	3.70944	3.76955
sugar 0.40	230280	SAT	6.85	7.20511
Diarmuid-rndi 2006-12-21	230264	SAT	19.3341	19.5215
Diarmuid-rndi 2007-01-22	286923	SAT	26.6619	26.6838