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

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

Name	geom/ geo50-20-d4-75-27_ext.xml
MD5SUM	74d99c954b56cf8c6e4a974117c99036
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.131979
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	420
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	420
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	231476	SAT	0.131979	0.142968
Mistral 2006-12-04	231475	SAT	0.136978	0.144838
VALCSP 3.0	231470	SAT	0.180971	0.188179
VALCSP 3.1	269304	SAT	0.181971	0.183404
BPrologCSPSolver70a 2006-12-13	231462	SAT	0.329949	0.330968
CSPtoSAT+minisat 0.3	231478	SAT	0.358945	0.373576
rjw-solver 2007-01-21	284048	SAT	0.368943	0.380615
Diarmuid-wtdi 2006-12-21	231460	SAT	0.370943	0.381002
rjw-solver 2006-12-09	231463	SAT	0.392939	0.398165
buggy_2_5_s 2007-01-08	231473	SAT	0.554914	0.560179
buggy_2_5 2007-01-08	231474	SAT	0.558914	0.570813
Abscon 109 AC	231466	SAT	0.917859	0.919569
Abscon 109 ESAC	231465	SAT	0.91886	0.963804
CSP4J - Combo 2006-12-19	231467	SAT	0.942856	0.991322
CSP4J - MAC 2007-01-16	272090	SAT	1.24781	1.27909
CSP4J - MAC 2006-12-19	231468	SAT	1.3168	1.3403
galacJ beta 1	231464	SAT	2.39863	2.50405
SAT4JCSP-CACHED 1.7 RC BF3	231471	SAT	2.55061	2.61387
sat4jCSP 1.7 RC BF3	231472	SAT	3.00954	1.87767
galac 1	231469	SAT	3.40548	3.5271
sugar 0.40	231477	SAT	6.03708	6.31842
Diarmuid-rndi 2007-01-22	286986	SAT	14.9227	14.9802
Diarmuid-rndi 2006-12-21	231461	SAT	23.2225	23.4579