What I have seen in other instances is that generated models are not close to being robust feasible or infeasible.
In general whenever you approximate something in finite precision arithemetic I would be extremely skeptical about the general reliability unless you have mathematical proof that it works.