26 Jul 2026 ========================================= Infeasibility Detection for MILP Problems ========================================= H. Mittelmann (mittelmann@asu.edu)
The following codes were run on the 32 "easy" infeasible problems from MIPLIB2017 on an Intel i7-11700K (64GB, 3.6 GHz, 8 cores)
CBC-2.10.5: CBC
COPT-8.0.0: COPT
SCIP-10.0.0: SCIP(C) (with So(C)plex)
HiGHS-1.15.0: HiGHS
XOPT-0.0.8: XOPT
XSMOO: Smoothie[FiberSCIP-cpx+HiGHS]
Table for all solvers, Result files per solver, Log files per solver
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Shifted scaled geometric means of times
All non-successes are counted as max-time (1 hr).
CBC COPT HiGHS SCIP SCIPC XOPT XSMOO
--------------------------------------------------------
27.3 1 12.2 12.1 9.80 8.11 6.24
--------------------------------------------------------
solved: 20 30 25 22 27 30 28
---------------------------------------------------------
