Loading
Limits RegistryComplete registry
All limits.
Every published Limits Registry record, paginated 50 records at a time.
738 published records261 open477 proven
MIPLIB optimal objective — proteindesign122trx11p8
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002170The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance proteindesign122trx11p8, according to version 36 of the official solution catalog.
MIPLIB optimal objective — qap10
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002171The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance qap10, according to version 36 of the official solution catalog.
MIPLIB optimal objective — radiationm18-12-05
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002172The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance radiationm18-12-05, according to version 36 of the official solution catalog.
MIPLIB optimal objective — radiationm40-10-02
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002173The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance radiationm40-10-02, according to version 36 of the official solution catalog.
MIPLIB optimal objective — rail01
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002174The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance rail01, according to version 36 of the official solution catalog.
MIPLIB optimal objective — rail02
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002175The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance rail02, according to version 36 of the official solution catalog.
MIPLIB optimal objective — rail507
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002176The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance rail507, according to version 36 of the official solution catalog.
MIPLIB optimal objective — ran14x18-disj-8
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002177The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance ran14x18-disj-8, according to version 36 of the official solution catalog.
MIPLIB optimal objective — rd-rplusc-21
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002178The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance rd-rplusc-21, according to version 36 of the official solution catalog.
MIPLIB optimal objective — reblock115
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002179The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance reblock115, according to version 36 of the official solution catalog.
MIPLIB optimal objective — rmatr100-p10
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002180The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance rmatr100-p10, according to version 36 of the official solution catalog.
MIPLIB optimal objective — rmatr200-p5
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002181The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance rmatr200-p5, according to version 36 of the official solution catalog.
MIPLIB optimal objective — rocI-4-11
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002182The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance rocI-4-11, according to version 36 of the official solution catalog.
MIPLIB optimal objective — rocII-5-11
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002183The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance rocII-5-11, according to version 36 of the official solution catalog.
MIPLIB optimal objective — rococoB10-011000
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002184The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance rococoB10-011000, according to version 36 of the official solution catalog.
MIPLIB optimal objective — rococoC10-001000
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002185The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance rococoC10-001000, according to version 36 of the official solution catalog.
MIPLIB optimal objective — roi2alpha3n4
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002186The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance roi2alpha3n4, according to version 36 of the official solution catalog.
MIPLIB optimal objective — roi5alpha10n8
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002187The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance roi5alpha10n8, according to version 36 of the official solution catalog.
MIPLIB optimal objective — roll3000
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002188The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance roll3000, according to version 36 of the official solution catalog.
MIPLIB optimal objective — s100
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002189The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance s100, according to version 36 of the official solution catalog.
MIPLIB optimal objective — s250r10
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002190The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance s250r10, according to version 36 of the official solution catalog.
MIPLIB optimal objective — satellites2-40
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002191The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance satellites2-40, according to version 36 of the official solution catalog.
MIPLIB optimal objective — satellites2-60-fs
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002192The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance satellites2-60-fs, according to version 36 of the official solution catalog.
MIPLIB optimal objective — savsched1
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002193The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance savsched1, according to version 36 of the official solution catalog.
MIPLIB optimal objective — sct2
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002194The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance sct2, according to version 36 of the official solution catalog.
MIPLIB optimal objective — seymour
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002195The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance seymour, according to version 36 of the official solution catalog.
MIPLIB optimal objective — seymour1
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002196The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance seymour1, according to version 36 of the official solution catalog.
MIPLIB optimal objective — sing326
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002197The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance sing326, according to version 36 of the official solution catalog.
MIPLIB optimal objective — sing44
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002198The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance sing44, according to version 36 of the official solution catalog.
MIPLIB optimal objective — snp-02-004-104
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002199The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance snp-02-004-104, according to version 36 of the official solution catalog.
MIPLIB optimal objective — sorrell3
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002200The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance sorrell3, according to version 36 of the official solution catalog.
MIPLIB optimal objective — sp150x300d
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002201The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance sp150x300d, according to version 36 of the official solution catalog.
MIPLIB optimal objective — sp97ar
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002202The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance sp97ar, according to version 36 of the official solution catalog.
MIPLIB optimal objective — sp98ar
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002203The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance sp98ar, according to version 36 of the official solution catalog.
MIPLIB optimal objective — splice1k1
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002204The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance splice1k1, according to version 36 of the official solution catalog.
MIPLIB optimal objective — square41
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002205The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance square41, according to version 36 of the official solution catalog.
MIPLIB optimal objective — square47
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002206The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance square47, according to version 36 of the official solution catalog.
MIPLIB optimal objective — supportcase10
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002207The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance supportcase10, according to version 36 of the official solution catalog.
MIPLIB optimal objective — supportcase12
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002208The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance supportcase12, according to version 36 of the official solution catalog.
MIPLIB optimal objective — supportcase18
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002209The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance supportcase18, according to version 36 of the official solution catalog.
MIPLIB optimal objective — supportcase19
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002210The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance supportcase19, according to version 36 of the official solution catalog.
MIPLIB optimal objective — supportcase26
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002211The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance supportcase26, according to version 36 of the official solution catalog.
MIPLIB optimal objective — supportcase33
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002212The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance supportcase33, according to version 36 of the official solution catalog.
MIPLIB optimal objective — supportcase40
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002213The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance supportcase40, according to version 36 of the official solution catalog.
MIPLIB optimal objective — supportcase42
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002214The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance supportcase42, according to version 36 of the official solution catalog.
MIPLIB optimal objective — supportcase6
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002215The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance supportcase6, according to version 36 of the official solution catalog.
MIPLIB optimal objective — supportcase7
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002216The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance supportcase7, according to version 36 of the official solution catalog.
MIPLIB optimal objective — swath1
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002217The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance swath1, according to version 36 of the official solution catalog.
MIPLIB optimal objective — swath3
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002218The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance swath3, according to version 36 of the official solution catalog.
MIPLIB optimal objective — tbfp-network
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance tbfp-network, according to version 36 of the official solution catalog.