Very Slow CPLEX
It has been noticed that my cplex implementation is incredibly slow compared to the SAT version.
The following are open questions:
- Why is this result occurring?
- How can we change the empirical solution to gain similar results to the SAT solver?
Options to look at:
- Feasibility pump switch
- MIP node Selection Strategy
- MIP emphasis switch