Computing.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance 30n20b8, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance 50v-10, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance academictimetablesmall, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance air05, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance app1-1, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance app1-2, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance assign1-5-8, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance atlanta-ip, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance b1c1s1, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance bab2, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance bab6, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance beasleyC3, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance binkar10_1, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance blp-ar98, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance blp-ic98, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance bnatt400, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance bppc4-08, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance brazil3, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance buildingenergy, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance cbs-cta, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance chromaticindex1024-7, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance chromaticindex512-7, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance cmflsp50-24-8-8, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance CMS750_4, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance co-100, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance cod105, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance comp07-2idx, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance comp21-2idx, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance cost266-UUE, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance cryptanalysiskb128n5obj16, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance csched007, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance csched008, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance cvs16r128-89, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance dano3_3, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance dano3_5, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance decomp2, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance drayage-100-23, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance drayage-25-23, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance dws008-01, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance eil33-2, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance eilA101-2, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance enlight_hard, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance ex10, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance ex9, according to version 36 of the official solution catalog.

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 proven optimal objective value for the canonical MIPLIB 2017 benchmark instance fast0507, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance fastxgemm-n2r6s0t2, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance fhnw-binpack4-48, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance fiball, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance gen-ip002, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance gen-ip054, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance germanrr, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance gfd-schedulen180f7d50m30k18, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance glass-sc, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance glass4, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance gmu-35-40, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance gmu-35-50, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance graph20-20-1rand, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance graphdraw-domain, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance h80x6320d, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance highschool1-aigio, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance hypothyroid-k1, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance ic97_potential, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance icir97_tension, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance irish-electricity, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance irp, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance istanbul-no-cutoff, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance k1mushroom, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance lectsched-5-obj, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance leo1, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance leo2, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance lotsize, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance mad, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance map10, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance map16715-04, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance markshare_4_0, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance markshare2, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance mas74, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance mas76, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance mc11, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance mcsched, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance mik-250-20-75-4, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance milo-v12-6-r2-40-1, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance momentum1, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance mushroom-best, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance mzzv11, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance mzzv42z, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance n2seq36q, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance n3div36, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance n5-3, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-1122047, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-1171448, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-1171737, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-1354092, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-1445765, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-1456979, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-1582420, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-2657525-crna, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-2746589-doon, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-2978193-inde, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-2987310-joes, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-3004026-krka, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-3024952-loue, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-3046615-murg, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-3083819-nubu, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-3216931-puriri, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-3381206-awhea, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-3402294-bobin, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-3555904-turama, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-3627168-kasai, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-3656078-kumeu, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-3754480-nidda, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-4300652-rahue, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-4338804-snowy, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-4387871-tavua, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-4413714-turia, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-4532248-waihi, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-4647030-tutaki, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-4722843-widden, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-4738912-atrato, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-4763324-toguru, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-4954672-berkel, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-5049753-cuanza, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-5052403-cygnet, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-5093327-huahum, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-5104907-jarama, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-5107597-kakapo, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-5114902-kasavu, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-5188808-nattai, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-5195221-niemur, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-631710, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-662469, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-787933, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-827175, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-848589, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-860300, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-873061, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-911970, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-933966, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-950242, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-957323, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos-960392, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos17, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos5, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance neos8, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance net12, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance netdiversion, according to version 36 of the official solution catalog.

The 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.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance ns1116954, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance ns1208400, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance ns1644855, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance ns1760995, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance ns1830653, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance ns1952667, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance nu25-pr12, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance nursesched-medium-hint03, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance nursesched-sprint02, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance nw04, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance opm2-z10-s4, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance p200x1188c, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance peg-solitaire-a3, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance pg, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance pg5_34, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance physiciansched3-3, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance physiciansched6-2, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance piperout-08, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance piperout-27, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance pk1, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance proteindesign121hz512p9, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance proteindesign122trx11p8, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance qap10, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance radiationm18-12-05, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance radiationm40-10-02, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance rail01, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance rail02, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance rail507, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance ran14x18-disj-8, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance rd-rplusc-21, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance reblock115, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance rmatr100-p10, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance rmatr200-p5, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance rocI-4-11, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance rocII-5-11, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance rococoB10-011000, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance rococoC10-001000, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance roi2alpha3n4, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance roi5alpha10n8, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance roll3000, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance s100, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance s250r10, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance satellites2-40, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance satellites2-60-fs, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance savsched1, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance sct2, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance seymour, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance seymour1, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance sing326, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance sing44, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance snp-02-004-104, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance sorrell3, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance sp150x300d, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance sp97ar, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance sp98ar, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance splice1k1, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance square41, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance square47, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance supportcase10, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance supportcase12, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance supportcase18, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance supportcase19, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance supportcase26, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance supportcase33, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance supportcase40, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance supportcase42, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance supportcase6, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance supportcase7, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance swath1, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance swath3, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance tbfp-network, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance thor50dday, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance timtab1, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance tr12-30, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance traininstance2, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance traininstance6, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance trento1, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance triptim1, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance uccase12, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance uccase9, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance uct-subprob, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance unitcal_7, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance var-smallemery-m6j6, according to version 36 of the official solution catalog.

The proven optimal objective value for the canonical MIPLIB 2017 benchmark instance wachplan, according to version 36 of the official solution catalog.