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

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

Name	geom/ geo50-20-d4-75-42_ext.xml
MD5SUM	7aeb60b134a5bf62935b5a262139575d
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.12398
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	402
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	402
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	230221	SAT	0.12398	0.129143
Tramontane 2006-12-04	230222	SAT	0.130979	0.133541
VALCSP 3.1	269238	SAT	0.167974	0.170049
VALCSP 3.0	230216	SAT	0.172973	0.175342
CSPtoSAT+minisat 0.3	230224	SAT	0.277957	0.29551
BPrologCSPSolver70a 2006-12-13	230208	SAT	0.32195	0.328459
Diarmuid-wtdi 2006-12-21	230206	SAT	0.414936	0.421152
rjw-solver 2007-01-21	283982	SAT	0.419935	0.434139
rjw-solver 2006-12-09	230209	SAT	0.423935	0.432402
buggy_2_5 2007-01-08	230220	SAT	0.551916	0.630543
buggy_2_5_s 2007-01-08	230219	SAT	0.558914	0.574503
CSP4J - Combo 2006-12-19	230213	SAT	0.770882	0.811431
CSP4J - MAC 2006-12-19	230214	SAT	0.844871	0.867959
CSP4J - MAC 2007-01-16	272024	SAT	0.858869	0.885732
Abscon 109 AC	230212	SAT	0.868867	0.939116
Abscon 109 ESAC	230211	SAT	0.929857	1.02006
galacJ beta 1	230210	SAT	2.33864	2.46055
SAT4JCSP-CACHED 1.7 RC BF3	230217	SAT	2.52961	1.67245
sat4jCSP 1.7 RC BF3	230218	SAT	2.68059	2.75574
galac 1	230215	SAT	3.35049	3.48305
sugar 0.40	230223	SAT	6.17	6.60775
Diarmuid-rndi 2007-01-22	286920	SAT	8.42272	8.50315
Diarmuid-rndi 2006-12-21	230207	SAT	10.2224	10.3341