Remove the two inactive solvers for the time being