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

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

Name	geom/ geo50-20-d4-75-66_ext.xml
MD5SUM	a4dbb933eb1292c13dc0dd15c4627486
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.132978
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	406
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	406
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	231570	SAT	0.132978	0.13596
Tramontane 2006-12-04	231571	SAT	0.135978	0.144836
VALCSP 3.1	269309	SAT	0.166974	0.172207
VALCSP 3.0	231565	SAT	0.175972	0.178144
CSPtoSAT+minisat 0.3	231573	SAT	0.303953	0.328099
BPrologCSPSolver70a 2006-12-13	231557	SAT	0.326949	0.328783
Diarmuid-wtdi 2006-12-21	231555	SAT	0.456929	0.462716
rjw-solver 2007-01-21	284053	SAT	0.469928	0.476747
rjw-solver 2006-12-09	231558	SAT	0.472928	0.484686
buggy_2_5_s 2007-01-08	231568	SAT	0.498923	0.512076
buggy_2_5 2007-01-08	231569	SAT	0.541917	0.566019
CSP4J - Combo 2006-12-19	231562	SAT	0.838872	0.943702
CSP4J - MAC 2007-01-16	272095	SAT	0.856869	0.911845
Abscon 109 AC	231561	SAT	0.863868	0.917467
Abscon 109 ESAC	231560	SAT	0.892864	0.917865
CSP4J - MAC 2006-12-19	231563	SAT	0.954854	1.08245
galacJ beta 1	231559	SAT	2.17367	2.31649
SAT4JCSP-CACHED 1.7 RC BF3	231566	SAT	2.52561	2.63922
sat4jCSP 1.7 RC BF3	231567	SAT	2.53061	1.58115
galac 1	231564	SAT	3.2545	3.31735
sugar 0.40	231572	SAT	6.19	6.49075
Diarmuid-rndi 2006-12-21	231556	SAT	13.9829	14.0023
Diarmuid-rndi 2007-01-22	286991	SAT	16.9514	17.1167