Hi @WalterMadelim, I’m going to ask again that you consider setting up a personal blog for these sorts of posts. This forum is intended for Julia- (and JuMP-) related support questions. It isn’t intended to be a venue for longer form posts about algorithms.
We do greatly appreciate your “is this a feature or a bug” posts, and the Gurobi support team knows who “Walter from JuMP” is because of your many interesting bug reports. (This one in particular generated some nice internal discussion Gurobi reports OPTIMAL on a QP having a huge MaxVio)
So take this message as both a “yes, please, keep up the high quality questions” and a “no, thanks, less of these posts which are more suited to a personal blog.”
an MIP with all integer data input will be much easier for Gurobi to solve (e.g. to exact optimality)
I’ll repeat again: there are no performance guarantees. This claim is not true in general. (It can be true in some very specific cases. You may want to look up “total unimodularity”.)