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

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

Name	geom/ geo50-20-d4-75-37_ext.xml
MD5SUM	bd40ff6754cad24a4cd753e80ce46109
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.116982
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	374
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	374
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	231285	SAT	0.116982	0.125339
Tramontane 2006-12-04	231286	SAT	0.117981	0.120336
VALCSP 3.1	269294	SAT	0.146976	0.154893
VALCSP 3.0	231280	SAT	0.162974	0.163937
BPrologCSPSolver70a 2006-12-13	231272	SAT	0.292955	0.300203
CSPtoSAT+minisat 0.3	231288	SAT	0.299954	0.321613
Diarmuid-rndi 2006-12-21	231271	SAT	0.312951	0.312171
Diarmuid-wtdi 2006-12-21	231270	SAT	0.32295	0.348955
rjw-solver 2006-12-09	231273	SAT	0.335948	0.340457
rjw-solver 2007-01-21	284038	SAT	0.343946	0.354195
buggy_2_5 2007-01-08	231284	SAT	0.479926	0.487874
buggy_2_5_s 2007-01-08	231283	SAT	0.504922	0.528186
CSP4J - MAC 2006-12-19	231278	SAT	0.772882	0.907197
Abscon 109 AC	231276	SAT	0.807876	0.919501
CSP4J - MAC 2007-01-16	272080	SAT	0.820874	0.895845
CSP4J - Combo 2006-12-19	231277	SAT	0.822874	0.878435
Abscon 109 ESAC	231275	SAT	0.865868	0.942804
Diarmuid-rndi 2007-01-22	286976	SAT	1.87571	1.90037
galacJ beta 1	231274	SAT	2.26466	2.3672
sat4jCSP 1.7 RC BF3	231282	SAT	2.51562	1.98556
SAT4JCSP-CACHED 1.7 RC BF3	231281	SAT	2.57461	1.68183
galac 1	231279	SAT	3.15452	3.21046
sugar 0.40	231287	SAT	5.82	6.21809