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

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

Name	geom/ geo50-20-d4-75-48_ext.xml
MD5SUM	4e2701b661ec9bf1a8903243048e96af
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.120981
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	413
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	413
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	231304	SAT	0.120981	0.123999
Tramontane 2006-12-04	231305	SAT	0.12498	0.124969
VALCSP 3.1	269295	SAT	0.175972	0.17826
VALCSP 3.0	231299	SAT	0.175973	0.188177
BPrologCSPSolver70a 2006-12-13	231291	SAT	0.31995	0.325859
CSPtoSAT+minisat 0.3	231307	SAT	0.328949	0.35234
rjw-solver 2007-01-21	284039	SAT	0.343947	0.37068
Diarmuid-wtdi 2006-12-21	231289	SAT	0.346946	0.356839
rjw-solver 2006-12-09	231292	SAT	0.357945	0.373439
buggy_2_5_s 2007-01-08	231302	SAT	0.536917	0.550922
buggy_2_5 2007-01-08	231303	SAT	0.545916	0.542378
CSP4J - MAC 2006-12-19	231297	SAT	0.806877	0.859193
CSP4J - MAC 2007-01-16	272081	SAT	0.844871	0.862597
CSP4J - Combo 2006-12-19	231296	SAT	0.855869	0.877838
Abscon 109 AC	231295	SAT	0.887864	0.916332
Abscon 109 ESAC	231294	SAT	0.929857	1.01032
galacJ beta 1	231293	SAT	2.30765	2.40878
Diarmuid-rndi 2007-01-22	286977	SAT	2.32465	2.32692
Diarmuid-rndi 2006-12-21	231290	SAT	2.44863	2.46146
SAT4JCSP-CACHED 1.7 RC BF3	231300	SAT	2.50262	2.57853
sat4jCSP 1.7 RC BF3	231301	SAT	2.6206	2.61396
galac 1	231298	SAT	3.16352	3.28025
sugar 0.40	231306	SAT	6.28	6.6619