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

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

Name	geom/ geo50-20-d4-75-44_ext.xml
MD5SUM	95a298fe4a41e2d045e218432a6c83ed
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.110983
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	377
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	377
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	230374	SAT	0.110983	0.118396
Mistral 2006-12-04	230373	SAT	0.112982	0.122186
VALCSP 3.1	269246	SAT	0.153976	0.154842
VALCSP 3.0	230368	SAT	0.162974	0.172429
CSPtoSAT+minisat 0.3	230376	SAT	0.275958	0.297004
BPrologCSPSolver70a 2006-12-13	230360	SAT	0.294955	0.296747
rjw-solver 2006-12-09	230361	SAT	0.338947	0.338797
Diarmuid-wtdi 2006-12-21	230358	SAT	0.339947	0.349006
rjw-solver 2007-01-21	283990	SAT	0.344947	0.353572
buggy_2_5_s 2007-01-08	230371	SAT	0.500923	0.514841
buggy_2_5 2007-01-08	230372	SAT	0.507922	0.524726
CSP4J - MAC 2006-12-19	230366	SAT	0.795878	0.860496
CSP4J - MAC 2007-01-16	272032	SAT	0.818875	0.833655
CSP4J - Combo 2006-12-19	230365	SAT	0.840871	0.875122
Abscon 109 AC	230364	SAT	0.864867	0.921437
Abscon 109 ESAC	230363	SAT	0.869866	0.917726
Diarmuid-rndi 2007-01-22	286928	SAT	1.15382	1.17158
galacJ beta 1	230362	SAT	2.26366	2.35052
sat4jCSP 1.7 RC BF3	230370	SAT	2.41363	2.45087
SAT4JCSP-CACHED 1.7 RC BF3	230369	SAT	2.56461	2.69017
galac 1	230367	SAT	3.3055	3.62961
sugar 0.40	230375	SAT	5.64	5.95798
Diarmuid-rndi 2006-12-21	230359	SAT	11.3283	11.4417