[Couenne-tickets] [Couenne] #23: Feasible instance gets Infeasible

[Couenne]

#23: Feasible instance gets Infeasible
---------------------+----------------------
 Reporter:  orkun    |      Owner:  pbelotti
     Type:  defect   |     Status:  new
 Priority:  major    |  Milestone:
Component:  Couenne  |    Version:
 Keywords:           |
---------------------+----------------------
 I solved an instance which is nonlinear programming problem in three
 different environments.
 (1) Unix: Couenne 0.4.0 which is the latest stable version.
 (2) Unix: Couenne 0.4.3 which is the latest version.
 (3) Windows: downloaded at http://www.coin-or.org/Binaries/Couenne/

 The instance is solved optimally only with (3). Both (1) and (2) give
 infeasible result. However, I added some of the optimal decison variable
 values obtained by (3) as contraints and solved this new instance with (2)
 and (3). This time they give optimal solution. Thus, I am not sure which
 of them is correct? And why do I get optimal and infeasible result for the
 same instance?
 The followings are the content of the files:

 couenne 0.4.3: Iterations with (2)
 couenne 0.4.0: Iterations with (1)
 solution 0.4.3: Solutions obtained by (2) which is infeasible
 solution 0.4.0: Solutions obtained by (1) which is infeasible
 solution windows: Solutions obtained by (3) which is optimal

-- 
Ticket URL: <https://projects.coin-or.org/ticket/23>
Couenne <https://projects.coin-or.org/Couenne>
Couenne, a solver for non-convex MINLP