Solver selection works