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

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

Name	geom/ geo50-20-d4-75-88_ext.xml
MD5SUM	9ce00c904554c3fc87671e07eba26818
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.102983
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	354
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	354
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	230677	SAT	0.102983	0.112138
Tramontane 2006-12-04	230678	SAT	0.104983	0.113559
VALCSP 3.1	269262	SAT	0.147976	0.148686
VALCSP 3.0	230672	SAT	0.150976	0.15319
CSPtoSAT+minisat 0.3	230680	SAT	0.259959	0.284116
BPrologCSPSolver70a 2006-12-13	230664	SAT	0.267958	0.277606
rjw-solver 2006-12-09	230665	SAT	0.313951	0.385663
Diarmuid-wtdi 2006-12-21	230662	SAT	0.313952	0.351189
rjw-solver 2007-01-21	284006	SAT	0.313952	0.335913
buggy_2_5 2007-01-08	230676	SAT	0.478926	0.493208
buggy_2_5_s 2007-01-08	230675	SAT	0.481925	0.493607
Diarmuid-rndi 2007-01-22	286944	SAT	0.514921	0.5492
CSP4J - Combo 2006-12-19	230669	SAT	0.752885	0.760359
CSP4J - MAC 2007-01-16	272048	SAT	0.789879	0.815037
CSP4J - MAC 2006-12-19	230670	SAT	0.800878	0.826529
Diarmuid-rndi 2006-12-21	230663	SAT	0.863868	0.876247
Abscon 109 AC	230668	SAT	0.879865	1.02884
Abscon 109 ESAC	230667	SAT	0.928858	1.04992
galacJ beta 1	230666	SAT	2.18967	2.29857
SAT4JCSP-CACHED 1.7 RC BF3	230673	SAT	2.52162	1.63109
sat4jCSP 1.7 RC BF3	230674	SAT	2.52261	2.5626
galac 1	230671	SAT	3.03054	3.09391
sugar 0.40	230679	SAT	5.62	5.85596