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

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

Name	geom/ geo50-20-d4-75-21_ext.xml
MD5SUM	3387f95d39d60bc2088802114ac5cc03
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.105983
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	378
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	378
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	230298	SAT	0.105983	0.108988
Mistral 2006-12-04	230297	SAT	0.112982	0.119981
VALCSP 3.1	269242	SAT	0.161974	0.163521
VALCSP 3.0	230292	SAT	0.162975	0.174909
CSPtoSAT+minisat 0.3	230300	SAT	0.288955	0.319515
Diarmuid-wtdi 2006-12-21	230282	SAT	0.295954	0.301099
rjw-solver 2007-01-21	283986	SAT	0.296954	0.299466
BPrologCSPSolver70a 2006-12-13	230284	SAT	0.299953	0.307868
rjw-solver 2006-12-09	230285	SAT	0.32195	0.400549
buggy_2_5 2007-01-08	230296	SAT	0.504923	0.534446
buggy_2_5_s 2007-01-08	230295	SAT	0.506922	0.515444
CSP4J - Combo 2006-12-19	230289	SAT	0.828873	0.921736
CSP4J - MAC 2007-01-16	272028	SAT	0.828873	0.867127
CSP4J - MAC 2006-12-19	230290	SAT	0.830873	0.867785
Abscon 109 AC	230288	SAT	0.84787	0.916835
Abscon 109 ESAC	230287	SAT	0.919859	0.992715
galacJ beta 1	230286	SAT	2.29065	2.36048
sat4jCSP 1.7 RC BF3	230294	SAT	2.32465	2.35714
SAT4JCSP-CACHED 1.7 RC BF3	230293	SAT	2.42463	2.73615
galac 1	230291	SAT	3.2925	3.3782
Diarmuid-rndi 2006-12-21	230283	SAT	4.86826	4.92166
Diarmuid-rndi 2007-01-22	286924	SAT	5.2652	5.27678
sugar 0.40	230299	SAT	5.75712	6.07529