num_solvers
