Scaling Benchmarks: Solvers