[Symphony-tickets] [SYMPHONY] #115: Symphony doesn't find feasible solution to MIP

[SYMPHONY]

#115: Symphony doesn't find feasible solution to MIP
----------------------+-------------------
 Reporter:  drmorr0   |      Owner:  tkr
     Type:  defect    |     Status:  new
 Priority:  normal    |  Milestone:
Component:  Not Sure  |    Version:  5.4.6
 Keywords:            |
----------------------+-------------------
 The two uploaded files (prob1.lp and prob2.lp) should both have feasible
 solutions, but Symphony only finds a feasible solution to the first.  The
 second file is a copy of prob1.lp with two additional constraints added --
 these constraints forbid more than 50% of variables in previously-found
 solutions from being used again.  The C++ code in test.cpp can be used to
 generate prob2.lp from prob1.lp.

 Neither the interactive solver, nor the callable library is able to find a
 feasible solution to prob2.lp.  However, disabling the "use_hot_starts"
 parameter allows Symphony to find a feasible solution.  I don't know if
 this is the same issue as https://projects.coin-or.org/SYMPHONY/ticket/102
 or not.

-- 
Ticket URL: <https://projects.coin-or.org/ticket/115>
SYMPHONY <http://projects.coin-or.org/SYMPHONY>
The SYMPHONY framework for parallel branch-and-cut algorithms.