The analysis of why a specific MIP instance is infeasible formally can be reduced to computing an Irreducible Infeasible Subset (IIS) of the constraints. Unlike the case of LP, for MIP there is no useful duality that can be employed to facilitate such computations. The process of determining an IIS for MIP is typically handled with brute force, e.g., by use of deletion filters and alike, thus rendering IIS determination for a MIP into a much harder computational task. We will discuss one approach to optimizing this process. Along the way, we will also briefly discuss the new release of Gurobi 10.0