Correct failed problems to be infeasible
Merge pull request #123 from abelsiqueira/failbug

Correct failed problems to be infeasible