trying the solver benchmarks again