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

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

Name	geom/ geo50-20-d4-75-59_ext.xml
MD5SUM	73b202a19cfb2790300458596f366637
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.12498
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	386
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	386
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	230829	SAT	0.12498	0.128009
Tramontane 2006-12-04	230830	SAT	0.12598	0.128944
VALCSP 3.1	269270	SAT	0.161975	0.163817
VALCSP 3.0	230824	SAT	0.163974	0.171286
CSPtoSAT+minisat 0.3	230832	SAT	0.303952	0.306342
BPrologCSPSolver70a 2006-12-13	230816	SAT	0.306952	0.309211
Diarmuid-wtdi 2006-12-21	230814	SAT	0.458929	0.472129
rjw-solver 2007-01-21	284014	SAT	0.487925	0.491004
rjw-solver 2006-12-09	230817	SAT	0.488925	0.491112
buggy_2_5 2007-01-08	230828	SAT	0.491924	0.495219
buggy_2_5_s 2007-01-08	230827	SAT	0.528919	0.54304
Abscon 109 AC	230820	SAT	0.858869	0.914115
CSP4J - Combo 2006-12-19	230821	SAT	0.860868	0.929836
Abscon 109 ESAC	230819	SAT	0.871866	0.950851
CSP4J - MAC 2006-12-19	230822	SAT	0.891864	0.939744
CSP4J - MAC 2007-01-16	272056	SAT	0.895863	0.919349
galacJ beta 1	230818	SAT	2.19967	2.31203
SAT4JCSP-CACHED 1.7 RC BF3	230825	SAT	2.32965	1.56515
sat4jCSP 1.7 RC BF3	230826	SAT	2.45663	1.58424
galac 1	230823	SAT	3.34949	3.47394
sugar 0.40	230831	SAT	5.9451	6.08393
Diarmuid-rndi 2006-12-21	230815	SAT	13.177	13.2429
Diarmuid-rndi 2007-01-22	286952	SAT	14.6228	14.7679