During the experiments, we find a possible bug with details as follows:
We construct a model in the C++ API and set the PoolSearchMode=2 to compute the number of solutions. With different values of MIPFocus, the numbers of solutions returned by the solver are different. When we set MIPFocus = 1, the number of solutions is 648; when MIPFocus = 3, the number of solutions is 3. We read the reference for the MIPFocus and believe the value of MIPFocus should not affect the number.
We have prepared a minimal example to reproduce the possible bug, please find it in the link https://github.com/hukaisdu/gurobi_bug_report. To use the code, just use the Makefile after correctly setting the GUROBI_HOME. The version of our gurobi is Gurobi Optimizer version 9.1.1 build v9.1.1rc0 (linux64). We can produce the bug in different Linux platforms.
Could you please help to check the reason for this?
Please sign in to leave a comment.