
<html xmlns="http://www.w3.org/1999/xhtml">

<head>

<title></title>

</head>

<body>

<div name="messageBodySection">

<div dir="auto">Hi, we were looking at upgrading from SCIP version 7 to version 8.0.3 but one of our unit-tests is catching a regression where SCIP appears to be producing a sub-optimal solution and claiming optimality. We are using SCIP via the LP file interface, the files to reproduce are attached. problem.lp is the original problem, and problem-forced-solution.lp extends this with an additional constraint called `FORCED_SOLUTION` to force the optimal solution. Also including the parameter settings used.<br />

<br />

The solution should have an optimal objective value of 115, but SCIP version 8.0.3 is incorrectly producing a solution with objective value 120, even with gap zero. The solution is valid, just sub-optimal. There is one difference in the assignment, binary variable X_2__1_ has an objective coefficient of 15, but SCIP 8 is incorrectly assigning binary variable X_3__1_ to 1 instead even though its objective coefficient is higher at 20.<br />

<br />

Would you have any advice if there is something we are using SCIP incorrectly, or if this is a legitimate bug? Other than the attached parameter settings, we are using the pre-built binaries on ubuntu x86. Many thanks in advance.</div>

</div>

<div name="messageSignatureSection"><br />

<div class="matchFont">Regards,<br />

Barry Hurley</div>

</div>

</body>

</html>