Correct failed problems to be infeasible