Updated benchmarks after recent changes in the solver.