However, they do not reveal the entire story.
the apparent superiority of λ = 0 for the synsem_min module should not be taken as indicating that no higher λ could be better: rather, that module includes a very difficult set programming instance on which the solver failed and fell back to GAK.