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

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

Name	geom/ geo50-20-d4-75-71_ext.xml
MD5SUM	3251e7082d2e52b90af2cf3350edbd60
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.152976
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	400
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	400
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	231722	SAT	0.152976	0.161953
Tramontane 2006-12-04	231723	SAT	0.159975	0.163579
VALCSP 3.1	269317	SAT	0.169973	0.171207
VALCSP 3.0	231717	SAT	0.173973	0.179702
BPrologCSPSolver70a 2006-12-13	231709	SAT	0.308952	0.317367
CSPtoSAT+minisat 0.3	231725	SAT	0.32295	0.346588
buggy_2_5_s 2007-01-08	231720	SAT	0.528919	0.552083
buggy_2_5 2007-01-08	231721	SAT	0.530918	0.543342
CSP4J - MAC 2006-12-19	231715	SAT	0.806876	0.863007
CSP4J - Combo 2006-12-19	231714	SAT	0.810876	0.872126
CSP4J - MAC 2007-01-16	272103	SAT	0.840872	0.876138
Abscon 109 AC	231713	SAT	0.846871	0.898009
Abscon 109 ESAC	231712	SAT	0.925859	0.971714
Diarmuid-wtdi 2006-12-21	231707	SAT	1.12883	1.14658
rjw-solver 2007-01-21	284061	SAT	1.18382	1.19808
rjw-solver 2006-12-09	231710	SAT	1.24481	1.25741
galacJ beta 1	231711	SAT	2.31165	2.41782
sat4jCSP 1.7 RC BF3	231719	SAT	2.50362	2.56804
SAT4JCSP-CACHED 1.7 RC BF3	231718	SAT	2.69759	2.7854
galac 1	231716	SAT	3.39348	3.52002
sugar 0.40	231724	SAT	5.8	6.19605
Diarmuid-rndi 2007-01-22	286999	SAT	15.7916	15.9455
Diarmuid-rndi 2006-12-21	231708	SAT	22.5716	22.7871