Hi, I'm trying to solve a binary integer linear programming problem with 400 variables and 500 constraints with two different solvers and one of them is SYMPHONY. SYMPHONY doesn't always give the most accurate solution. Why does it happen? Thank you, Alexander