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

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

Name	geom/ geo50-20-d4-75-47_ext.xml
MD5SUM	3dbd068911798d67bdacb95c91575a3d
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.116981
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	383
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	383
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
Tramontane 2006-12-04	231115	SAT	0.116981	0.119739
Mistral 2006-12-04	231114	SAT	0.118981	0.12058
VALCSP 3.1	269285	SAT	0.153976	0.155396
VALCSP 3.0	231109	SAT	0.166973	0.167012
CSPtoSAT+minisat 0.3	231117	SAT	0.272958	0.275516
BPrologCSPSolver70a 2006-12-13	231101	SAT	0.300954	0.303201
rjw-solver 2007-01-21	284029	SAT	0.318951	0.369809
rjw-solver 2006-12-09	231102	SAT	0.337948	0.345455
Diarmuid-wtdi 2006-12-21	231099	SAT	0.357945	0.366263
buggy_2_5 2007-01-08	231113	SAT	0.482926	0.499231
buggy_2_5_s 2007-01-08	231112	SAT	0.496923	0.513041
CSP4J - MAC 2006-12-19	231107	SAT	0.797878	0.811635
CSP4J - Combo 2006-12-19	231106	SAT	0.834872	0.878738
CSP4J - MAC 2007-01-16	272071	SAT	0.853869	0.920978
Abscon 109 AC	231105	SAT	0.894863	0.930571
Abscon 109 ESAC	231104	SAT	0.930858	1.06347
Diarmuid-rndi 2006-12-21	231100	SAT	2.10468	2.12526
galacJ beta 1	231103	SAT	2.30665	2.35613
sat4jCSP 1.7 RC BF3	231111	SAT	2.35764	2.36286
SAT4JCSP-CACHED 1.7 RC BF3	231110	SAT	2.46462	2.53251
galac 1	231108	SAT	3.2575	3.33619
sugar 0.40	231116	SAT	6.02408	6.29177
Diarmuid-rndi 2007-01-22	286967	SAT	7.67183	7.74511