Trying out more exhaustive seeds for the optimizer