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 — neos-4738912-atrato
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002120The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-4738912-atrato, according to version 36 of the official solution catalog.
MIPLIB optimal objective — neos-4763324-toguru
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002121The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-4763324-toguru, according to version 36 of the official solution catalog.
MIPLIB optimal objective — neos-4954672-berkel
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002122The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-4954672-berkel, according to version 36 of the official solution catalog.
MIPLIB optimal objective — neos-5049753-cuanza
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002123The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-5049753-cuanza, according to version 36 of the official solution catalog.
MIPLIB optimal objective — neos-5052403-cygnet
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002124The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-5052403-cygnet, according to version 36 of the official solution catalog.
MIPLIB optimal objective — neos-5093327-huahum
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002125The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-5093327-huahum, according to version 36 of the official solution catalog.
MIPLIB optimal objective — neos-5104907-jarama
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002126The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-5104907-jarama, according to version 36 of the official solution catalog.
MIPLIB optimal objective — neos-5107597-kakapo
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002127The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-5107597-kakapo, according to version 36 of the official solution catalog.
MIPLIB optimal objective — neos-5114902-kasavu
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002128The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-5114902-kasavu, according to version 36 of the official solution catalog.
MIPLIB optimal objective — neos-5188808-nattai
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002129The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-5188808-nattai, according to version 36 of the official solution catalog.
MIPLIB optimal objective — neos-5195221-niemur
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002130The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-5195221-niemur, according to version 36 of the official solution catalog.
MIPLIB optimal objective — neos-631710
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002131The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-631710, according to version 36 of the official solution catalog.
MIPLIB optimal objective — neos-662469
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002132The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-662469, according to version 36 of the official solution catalog.
MIPLIB optimal objective — neos-787933
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002133The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-787933, according to version 36 of the official solution catalog.
MIPLIB optimal objective — neos-827175
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002134The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-827175, according to version 36 of the official solution catalog.
MIPLIB optimal objective — neos-848589
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002135The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-848589, according to version 36 of the official solution catalog.
MIPLIB optimal objective — neos-860300
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002136The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-860300, according to version 36 of the official solution catalog.
MIPLIB optimal objective — neos-873061
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002137The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-873061, according to version 36 of the official solution catalog.
MIPLIB optimal objective — neos-911970
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002138The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-911970, according to version 36 of the official solution catalog.
MIPLIB optimal objective — neos-933966
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002139The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-933966, according to version 36 of the official solution catalog.
MIPLIB optimal objective — neos-950242
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002140The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-950242, according to version 36 of the official solution catalog.
MIPLIB optimal objective — neos-957323
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002141The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-957323, according to version 36 of the official solution catalog.
MIPLIB optimal objective — neos-960392
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002142The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-960392, according to version 36 of the official solution catalog.
MIPLIB optimal objective — neos17
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002143The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos17, according to version 36 of the official solution catalog.
MIPLIB optimal objective — neos5
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002144The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos5, according to version 36 of the official solution catalog.
MIPLIB optimal objective — neos8
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002145The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos8, according to version 36 of the official solution catalog.
MIPLIB optimal objective — net12
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002146The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance net12, according to version 36 of the official solution catalog.
MIPLIB optimal objective — netdiversion
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002147The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance netdiversion, according to version 36 of the official solution catalog.
MIPLIB optimal objective — nexp-150-20-8-5
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002148The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance nexp-150-20-8-5, according to version 36 of the official solution catalog.
MIPLIB optimal objective — ns1116954
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002149The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance ns1116954, according to version 36 of the official solution catalog.
MIPLIB optimal objective — ns1208400
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002150The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance ns1208400, according to version 36 of the official solution catalog.
MIPLIB optimal objective — ns1644855
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002151The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance ns1644855, according to version 36 of the official solution catalog.
MIPLIB optimal objective — ns1760995
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002152The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance ns1760995, according to version 36 of the official solution catalog.
MIPLIB optimal objective — ns1830653
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002153The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance ns1830653, according to version 36 of the official solution catalog.
MIPLIB optimal objective — ns1952667
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002154The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance ns1952667, according to version 36 of the official solution catalog.
MIPLIB optimal objective — nu25-pr12
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002155The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance nu25-pr12, according to version 36 of the official solution catalog.
MIPLIB optimal objective — nursesched-medium-hint03
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002156The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance nursesched-medium-hint03, according to version 36 of the official solution catalog.
MIPLIB optimal objective — nursesched-sprint02
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002157The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance nursesched-sprint02, according to version 36 of the official solution catalog.
MIPLIB optimal objective — nw04
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002158The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance nw04, according to version 36 of the official solution catalog.
MIPLIB optimal objective — opm2-z10-s4
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002159The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance opm2-z10-s4, according to version 36 of the official solution catalog.
MIPLIB optimal objective — p200x1188c
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002160The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance p200x1188c, according to version 36 of the official solution catalog.
MIPLIB optimal objective — peg-solitaire-a3
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002161The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance peg-solitaire-a3, according to version 36 of the official solution catalog.
MIPLIB optimal objective — pg
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002162The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance pg, according to version 36 of the official solution catalog.
MIPLIB optimal objective — pg5_34
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002163The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance pg5_34, according to version 36 of the official solution catalog.
MIPLIB optimal objective — physiciansched3-3
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002164The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance physiciansched3-3, according to version 36 of the official solution catalog.
MIPLIB optimal objective — physiciansched6-2
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002165The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance physiciansched6-2, according to version 36 of the official solution catalog.
MIPLIB optimal objective — piperout-08
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002166The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance piperout-08, according to version 36 of the official solution catalog.
MIPLIB optimal objective — piperout-27
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002167The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance piperout-27, according to version 36 of the official solution catalog.
MIPLIB optimal objective — pk1
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→LR-002168The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance pk1, according to version 36 of the official solution catalog.
MIPLIB optimal objective — proteindesign121hz512p9
PROVEN · Jan 26, 2026 · Mixed-integer optimization / MIPLIB 2017→The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance proteindesign121hz512p9, according to version 36 of the official solution catalog.