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

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

Name	geom/ geo50-20-d4-75-39_ext.xml
MD5SUM	b546d16fc674198693e665410bfcd31c
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.104983
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	356
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	356
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	231760	SAT	0.104983	0.107222
Tramontane 2006-12-04	231761	SAT	0.106982	0.109356
VALCSP 3.1	269319	SAT	0.149976	0.152566
VALCSP 3.0	231755	SAT	0.151976	0.158707
CSPtoSAT+minisat 0.3	231763	SAT	0.258959	0.277517
BPrologCSPSolver70a 2006-12-13	231747	SAT	0.284956	0.290753
Diarmuid-rndi 2006-12-21	231746	SAT	0.293954	0.30123
rjw-solver 2007-01-21	284063	SAT	0.296954	0.304476
Diarmuid-wtdi 2006-12-21	231745	SAT	0.303953	0.312847
rjw-solver 2006-12-09	231748	SAT	0.304953	0.314233
Diarmuid-rndi 2007-01-22	287001	SAT	0.412937	0.416152
buggy_2_5 2007-01-08	231759	SAT	0.476926	0.502597
buggy_2_5_s 2007-01-08	231758	SAT	0.481925	0.494741
CSP4J - Combo 2006-12-19	231752	SAT	0.745886	0.818846
CSP4J - MAC 2007-01-16	272105	SAT	0.752885	0.759057
CSP4J - MAC 2006-12-19	231753	SAT	0.796878	0.82003
Abscon 109 AC	231751	SAT	0.84687	0.877499
Abscon 109 ESAC	231750	SAT	0.926858	0.985447
galacJ beta 1	231749	SAT	2.26365	2.36243
sat4jCSP 1.7 RC BF3	231757	SAT	2.28365	2.33555
SAT4JCSP-CACHED 1.7 RC BF3	231756	SAT	2.28765	2.41313
galac 1	231754	SAT	3.23251	3.3286
sugar 0.40	231762	SAT	5.18321	5.63742