<div dir="ltr">Hello,<div><br></div><div>I have been comparing KNITRO, Couenne and BARON for some sample problems related to my research.</div><div><br></div><div>The problems are mixed integer nonlinear programs. However, the only non-integer non-convexities are through bilinear terms in the objective. So, my understanding is that both Couenne and BARON should be able to solve this problem to global optimality.</div><div><br></div><div>I've attached one example of such a problem to this email. (Note that the problems are maximizations not minimizations.)</div><div><br></div><div>When I solve the problem with the latest versions of KNITRO, Couenne and BARON I get the following (feasible) optima:</div><div><br></div><div>BARON: .00202</div><div>KNITRO: .00198</div><div>Couenne: -.00202</div><div><br></div><div>Is there some sort of bug here, or am I misunderstanding something? </div><div><br></div><div>My initial concern was that Couenne < KNITRO, which shouldn't occur if Couenne is finding the global optimum. However when I was writing this email I realized that the value Couenne returns is -1* the value that BARON returns. That seems like an odd coincidence -- is this maybe just some sort of output bug?</div><div><br></div><div>Thanks,</div><div>Alex</div></div>