numSolverCases