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

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

Name	geom/ geo50-20-d4-75-100_ext.xml
MD5SUM	169fb451f2076ddc22f6e7641b848e1a
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.113981
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	393
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	393
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	231875	SAT	0.113981	0.115841
Mistral 2006-12-04	231874	SAT	0.115981	0.131582
VALCSP 3.1	269325	SAT	0.165973	0.171941
VALCSP 3.0	231869	SAT	0.168973	0.177189
CSPtoSAT+minisat 0.3	231877	SAT	0.280957	0.302414
BPrologCSPSolver70a 2006-12-13	231861	SAT	0.304952	0.305326
rjw-solver 2006-12-09	231862	SAT	0.31995	0.322593
rjw-solver 2007-01-21	284069	SAT	0.331948	0.340179
Diarmuid-wtdi 2006-12-21	231859	SAT	0.349945	0.401616
buggy_2_5 2007-01-08	231873	SAT	0.51992	0.525028
buggy_2_5_s 2007-01-08	231872	SAT	0.522919	0.54245
CSP4J - Combo 2006-12-19	231866	SAT	0.797877	0.811138
Diarmuid-rndi 2007-01-22	287007	SAT	0.800878	0.814057
CSP4J - MAC 2007-01-16	272111	SAT	0.823874	0.871008
CSP4J - MAC 2006-12-19	231867	SAT	0.84887	0.882359
Abscon 109 AC	231865	SAT	0.869866	0.930365
Abscon 109 ESAC	231864	SAT	0.885864	0.918031
galacJ beta 1	231863	SAT	2.32565	2.45495
SAT4JCSP-CACHED 1.7 RC BF3	231870	SAT	2.50062	1.67927
sat4jCSP 1.7 RC BF3	231871	SAT	2.50162	1.6196
galac 1	231868	SAT	3.11753	3.26208
Diarmuid-rndi 2006-12-21	231860	SAT	3.40948	3.43499
sugar 0.40	231876	SAT	5.77412	5.98721