Why was the adversarial example obtained by MIPVerify not considered a genuine counterexample when incorporated into the actual reasoning process?

Why was the adversarial example obtained by MIPVerify not considered a genuine counterexample when incorporated into the actual reasoning process? #735