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 — cbs-cta
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002020The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance cbs-cta, according to version 36 of the official solution catalog.
MIPLIB optimal objective — chromaticindex1024-7
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002021The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance chromaticindex1024-7, according to version 36 of the official solution catalog.
MIPLIB optimal objective — chromaticindex512-7
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002022The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance chromaticindex512-7, according to version 36 of the official solution catalog.
MIPLIB optimal objective — cmflsp50-24-8-8
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002023The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance cmflsp50-24-8-8, according to version 36 of the official solution catalog.
MIPLIB optimal objective — CMS750_4
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002024The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance CMS750_4, according to version 36 of the official solution catalog.
MIPLIB optimal objective — co-100
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002025The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance co-100, according to version 36 of the official solution catalog.
MIPLIB optimal objective — cod105
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002026The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance cod105, according to version 36 of the official solution catalog.
MIPLIB optimal objective — comp07-2idx
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002027The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance comp07-2idx, according to version 36 of the official solution catalog.
MIPLIB optimal objective — comp21-2idx
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002028The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance comp21-2idx, according to version 36 of the official solution catalog.
MIPLIB optimal objective — cost266-UUE
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002029The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance cost266-UUE, according to version 36 of the official solution catalog.
MIPLIB optimal objective — cryptanalysiskb128n5obj16
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002030The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance cryptanalysiskb128n5obj16, according to version 36 of the official solution catalog.
MIPLIB optimal objective — csched007
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002031The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance csched007, according to version 36 of the official solution catalog.
MIPLIB optimal objective — csched008
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002032The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance csched008, according to version 36 of the official solution catalog.
MIPLIB optimal objective — cvs16r128-89
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002033The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance cvs16r128-89, according to version 36 of the official solution catalog.
MIPLIB optimal objective — dano3_3
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002034The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance dano3_3, according to version 36 of the official solution catalog.
MIPLIB optimal objective — dano3_5
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002035The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance dano3_5, according to version 36 of the official solution catalog.
MIPLIB optimal objective — decomp2
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002036The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance decomp2, according to version 36 of the official solution catalog.
MIPLIB optimal objective — drayage-100-23
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002037The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance drayage-100-23, according to version 36 of the official solution catalog.
MIPLIB optimal objective — drayage-25-23
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002038The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance drayage-25-23, according to version 36 of the official solution catalog.
MIPLIB optimal objective — dws008-01
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002039The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance dws008-01, according to version 36 of the official solution catalog.
MIPLIB optimal objective — eil33-2
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002040The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance eil33-2, according to version 36 of the official solution catalog.
MIPLIB optimal objective — eilA101-2
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002041The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance eilA101-2, according to version 36 of the official solution catalog.
MIPLIB optimal objective — enlight_hard
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002042The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance enlight_hard, according to version 36 of the official solution catalog.
MIPLIB optimal objective — ex10
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002043The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance ex10, according to version 36 of the official solution catalog.
MIPLIB optimal objective — ex9
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002044The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance ex9, according to version 36 of the official solution catalog.
MIPLIB optimal objective — exp-1-500-5-5
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002045The 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.
MIPLIB optimal objective — fast0507
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002046The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance fast0507, according to version 36 of the official solution catalog.
MIPLIB optimal objective — fastxgemm-n2r6s0t2
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002047The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance fastxgemm-n2r6s0t2, according to version 36 of the official solution catalog.
MIPLIB optimal objective — fhnw-binpack4-48
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002048The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance fhnw-binpack4-48, according to version 36 of the official solution catalog.
MIPLIB optimal objective — fiball
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002049The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance fiball, according to version 36 of the official solution catalog.
MIPLIB optimal objective — gen-ip002
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002050The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance gen-ip002, according to version 36 of the official solution catalog.
MIPLIB optimal objective — gen-ip054
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002051The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance gen-ip054, according to version 36 of the official solution catalog.
MIPLIB optimal objective — germanrr
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002052The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance germanrr, according to version 36 of the official solution catalog.
MIPLIB optimal objective — gfd-schedulen180f7d50m30k18
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002053The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance gfd-schedulen180f7d50m30k18, according to version 36 of the official solution catalog.
MIPLIB optimal objective — glass-sc
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002054The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance glass-sc, according to version 36 of the official solution catalog.
MIPLIB optimal objective — glass4
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002055The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance glass4, according to version 36 of the official solution catalog.
MIPLIB optimal objective — gmu-35-40
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002056The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance gmu-35-40, according to version 36 of the official solution catalog.
MIPLIB optimal objective — gmu-35-50
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002057The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance gmu-35-50, according to version 36 of the official solution catalog.
MIPLIB optimal objective — graph20-20-1rand
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002058The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance graph20-20-1rand, according to version 36 of the official solution catalog.
MIPLIB optimal objective — graphdraw-domain
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002059The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance graphdraw-domain, according to version 36 of the official solution catalog.
MIPLIB optimal objective — h80x6320d
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002060The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance h80x6320d, according to version 36 of the official solution catalog.
MIPLIB optimal objective — highschool1-aigio
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002061The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance highschool1-aigio, according to version 36 of the official solution catalog.
MIPLIB optimal objective — hypothyroid-k1
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002062The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance hypothyroid-k1, according to version 36 of the official solution catalog.
MIPLIB optimal objective — ic97_potential
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002063The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance ic97_potential, according to version 36 of the official solution catalog.
MIPLIB optimal objective — icir97_tension
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002064The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance icir97_tension, according to version 36 of the official solution catalog.
MIPLIB optimal objective — irish-electricity
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002065The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance irish-electricity, according to version 36 of the official solution catalog.
MIPLIB optimal objective — irp
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002066The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance irp, according to version 36 of the official solution catalog.
MIPLIB optimal objective — istanbul-no-cutoff
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002067The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance istanbul-no-cutoff, according to version 36 of the official solution catalog.
MIPLIB optimal objective — k1mushroom
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002068The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance k1mushroom, according to version 36 of the official solution catalog.
MIPLIB optimal objective — lectsched-5-obj
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance lectsched-5-obj, according to version 36 of the official solution catalog.