Symbol: solver_problem_count