Limits RegistryPUBLIC RECORDLimits RegistryResearch Console →The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance exp-1-500-5-5, according to version 36 of the official solution catalog.
The question, scope, and sources behind this Registry record.
Minimize the objective of the canonical MIPLIB 2017 benchmark model exp-1-500-5-5.
Current frontiers derived from accepted Claims.
Accepted lower and upper Claims meet at this value; the optimization gap is closed.
Assertions tied to evidence, attribution, and review.
The frontier as it changed over time.
Only accepted Claims matching the current specification contribute to the displayed bounds. Strict inequalities remain open; contradictory Claims require editorial review.
2 accepted Claims, with 2 linked evidence records.
No active verified bounties are linked to this Limit.
View verified bounty tracker ↗No accepted machine-checked reproductions are recorded for this Limit.
Limits Registry. LR-002044. MIPLIB optimal objective — exp-1-500-5-5. 2026.