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

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

Name	geom/ geo50-20-d4-75-61_ext.xml
MD5SUM	e17a933314c82eac4f00bd14947df748
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.117981
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	372
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	372
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	230526	SAT	0.117981	0.131414
Mistral 2006-12-04	230525	SAT	0.12198	0.125828
VALCSP 3.1	269254	SAT	0.162974	0.164744
VALCSP 3.0	230520	SAT	0.164974	0.171184
CSPtoSAT+minisat 0.3	230528	SAT	0.282956	0.299226
BPrologCSPSolver70a 2006-12-13	230512	SAT	0.292955	0.294712
Diarmuid-wtdi 2006-12-21	230510	SAT	0.427934	0.432197
rjw-solver 2006-12-09	230513	SAT	0.430934	0.459552
rjw-solver 2007-01-21	283998	SAT	0.467928	0.475705
buggy_2_5 2007-01-08	230524	SAT	0.505922	0.523643
buggy_2_5_s 2007-01-08	230523	SAT	0.509921	0.521579
CSP4J - MAC 2006-12-19	230518	SAT	0.77988	0.816261
CSP4J - MAC 2007-01-16	272040	SAT	0.820874	0.880459
CSP4J - Combo 2006-12-19	230517	SAT	0.850869	0.86997
Abscon 109 AC	230516	SAT	0.876866	0.923675
Abscon 109 ESAC	230515	SAT	0.97785	1.04018
galacJ beta 1	230514	SAT	2.15667	2.24068
sat4jCSP 1.7 RC BF3	230522	SAT	2.5956	2.65247
SAT4JCSP-CACHED 1.7 RC BF3	230521	SAT	2.73058	1.77037
galac 1	230519	SAT	3.15452	3.2475
sugar 0.40	230527	SAT	5.8	6.15759
Diarmuid-rndi 2007-01-22	286936	SAT	11.0233	11.1306
Diarmuid-rndi 2006-12-21	230511	SAT	24.5793	24.8126