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

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

Name	geom/ geo50-20-d4-75-33_ext.xml
MD5SUM	2888e2042022eb69425d0acfdbdcf7d1
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.168974
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	411
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	411
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	231057	SAT	0.168974	0.173009
VALCSP 3.0	231052	SAT	0.177972	0.187025
VALCSP 3.1	269282	SAT	0.19197	0.231861
Tramontane 2006-12-04	231058	SAT	0.241962	0.244891
CSPtoSAT+minisat 0.3	231060	SAT	0.332948	0.348958
BPrologCSPSolver70a 2006-12-13	231044	SAT	0.338948	0.351031
buggy_2_5 2007-01-08	231056	SAT	0.579911	0.613019
buggy_2_5_s 2007-01-08	231055	SAT	0.579911	0.587931
rjw-solver 2007-01-21	284026	SAT	0.797878	0.806585
Diarmuid-wtdi 2006-12-21	231042	SAT	0.824873	0.831011
rjw-solver 2006-12-09	231045	SAT	0.84787	0.855196
Abscon 109 AC	231048	SAT	0.894863	0.913559
CSP4J - Combo 2006-12-19	231049	SAT	0.925859	1.023
Abscon 109 ESAC	231047	SAT	0.938856	0.973467
CSP4J - MAC 2007-01-16	272068	SAT	0.970852	1.02376
CSP4J - MAC 2006-12-19	231050	SAT	1.03384	1.17306
sat4jCSP 1.7 RC BF3	231054	SAT	2.42763	2.46535
galacJ beta 1	231046	SAT	2.44863	2.60229
SAT4JCSP-CACHED 1.7 RC BF3	231053	SAT	2.6176	1.7785
galac 1	231051	SAT	3.2765	3.32774
sugar 0.40	231059	SAT	6.05408	6.38255
Diarmuid-rndi 2006-12-21	231043	SAT	14.4178	14.4538
Diarmuid-rndi 2007-01-22	286964	SAT	27.8128	27.9469