Thanks for the help. My company uses CPLEX in production on some massive models with a lot of constraints. I'm always curious if Gurobi would be better, but I'm not sure how much work it would be to port it to run on a trial version of Gurobi on the same hardware.

Edit: What are the numbers in the links provided? Number of solved cases or time?