{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 1066968301301093995246996371}, {"parameter": "", "name": "singleton", "value": 57162391576563}, {"parameter": "4", "name": "ilp_2", "value": 18665564401237}, {"parameter": "5", "name": "ilp_2", "value": 40774303249023328}, {"parameter": "6", "name": "ilp_2", "value": 95429344304107026719}, {"parameter": "7", "name": "ilp_2", "value": 260553919731646885286201}, {"parameter": "9", "name": "ilp_3", "value": 2088000589630320930033261}, {"parameter": "10", "name": "ilp_3", "value": 6123168884546395689247}, {"parameter": "11", "name": "ilp_3", "value": 20939024031179662835}, {"parameter": "12", "name": "ilp_3", "value": 76699721725932830}, {"parameter": "", "name": "anticode", "value": 18665564401237}, {"parameter": "", "name": "linear_programming_bound", "value": 18665564401237}, {"parameter": "", "name": "sphere_packing", "value": 8849788782474253}, {"parameter": "1", "name": "ilp_1", "value": 18656438625036}, {"parameter": "2", "name": "ilp_1", "value": 18656438630572}, {"parameter": "3", "name": "ilp_1", "value": 18656450217048}, {"parameter": "13", "name": "ilp_4", "value": 75182769593152813}, {"parameter": "14", "name": "ilp_4", "value": 75179048723814302}, {"parameter": "15", "name": "ilp_4", "value": 75179034415835645}, {"parameter": "16", "name": "ilp_4", "value": 75179034415835645}, {"parameter": "17", "name": "ilp_4", "value": 4717178508568986}, {"parameter": "18", "name": "ilp_4", "value": 298785082465007}, {"parameter": "", "name": "johnson_1", "value": 18656438625036}, {"parameter": "", "name": "johnson_2", "value": 298785082465007}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 1066968301301093995246996371}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 2088000589630320930033261}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 6123168884546395689247}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 20939024031179662835}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 76699721725932830}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 75182769593152813}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 75179048723814302}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 75179034415835645}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 75179034415835645}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 4717178508568986}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 298785082465007}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 260553919731646885286201}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1022028678288088457674}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 6003089490370969349}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 41116893416955269}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 39848779171518800}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 40003267993579694}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 40319476275990765}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 40967158864793074}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 5451250178447415}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 727209274680037}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 105779096333847}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 19791034336772}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 95429344304107026719}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 751685301073433212}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 8849788782474253}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 8862675210673973}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 8885679146152461}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 8937694395056273}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 9043241393465182}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 2283905909676796}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 597313324130197}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 166318437767033}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 51769345088865}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 22462987297139}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 40774303249023328}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 647483423035634}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 627618088871672}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 628435151362724}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 630550532190803}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 634825198426766}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 329726798755706}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 167446246238164}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 89049372631397}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 49838717107168}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 32065424164089}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 29495510692829}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 18665564401237}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 18673837109419}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 18690397571813}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 18723578791299}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 18790183296993}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 18924367731321}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 19196696394749}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 19757671813472}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 20948965827739}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 23645836041553}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 30682839819121}, {"parameter": "4, 15", "name": "Ahlswede_Aydinian", "value": 57162391576563}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 1066968301301093995246996371}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 260553919731646885286201}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 95429344304107026719}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 40774303249023328}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 18665564401237}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 18656450217048}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 18656438630572}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 18656438625036}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 2088000589630320930033261}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 1022028678288088457674}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 751685301073433212}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 647483423035634}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 655993826198649}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 677848915339949}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 726239717607852}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 847200996687173}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 1270388629835445}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 6123168884546395689247}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 6003089490370969349}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 8849788782474253}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 8955038585120204}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 9171472832439610}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 9629561421831265}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 10660111621704947}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 13321426653027385}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 23289781244767030}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 20939024031179662835}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 41116893416955269}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 41399619819723630}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 41972985926615431}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 43155290494338526}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 45667311815074811}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 51362351299073858}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 66299881434015690}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 124029801481679825}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 76699721725932830}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 76980596126797682}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 77546609144692019}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 78695957048535138}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 81066127776336188}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 86111018355744832}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 97589187386384763}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 127907081047226493}, {"parameter": "4, 15, o", "name": "Ahlswede_Aydinian", "value": 246614610741341843}, {"parameter": "", "name": "improved_johnson", "value": 18656438625031}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 598447224858973}], "known_codes": [], "upper_bound": 18656438625031, "classified": false, "lower_bound": 17592190503474, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 17592186044416}, {"parameter": "", "name": "sphere_covering", "value": 93582669}, {"parameter": "", "name": "graham_sloane", "value": 14122}, {"parameter": "", "name": "multicomponent", "value": 17592186109953}, {"parameter": "q^44 + q^22 + q^18 + q^11 + q^9 + 2*q^4 + 2*q^3 + 2", "name": "greedy_multicomponent", "value": 17592190503474}, {"parameter": "time bound in exact computation reached, so result is greedy", "name": "ef_computation", "value": 17592187364052}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 17592186044417}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 17592186044417}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 1099511627777}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 68719476737}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 4294967297}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 17592186044417}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 1099511627777}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 68719476737}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 4294967297}, {"parameter": "8", "name": "linkage_GLT", "value": 17592186044417}, {"parameter": "9", "name": "linkage_GLT", "value": 1099511627777}, {"parameter": "10", "name": "linkage_GLT", "value": 68719476737}, {"parameter": "11", "name": "linkage_GLT", "value": 4294967297}, {"parameter": "8", "name": "improved_linkage", "value": 17592186109953}, {"parameter": "9", "name": "improved_linkage", "value": 1099511628033}, {"parameter": "10", "name": "improved_linkage", "value": 68719476737}, {"parameter": "11", "name": "improved_linkage", "value": 4294967297}, {"parameter": "12", "name": "improved_linkage", "value": 16777217}, {"parameter": "13", "name": "improved_linkage", "value": 16842753}, {"parameter": "14", "name": "improved_linkage", "value": 16777473}, {"parameter": "8,0", "name": "generalized_linkage", "value": 17592186044450}, {"parameter": "8,1", "name": "generalized_linkage", "value": 17592186044417}, {"parameter": "8,2", "name": "generalized_linkage", "value": 17592186044673}, {"parameter": "8,3", "name": "generalized_linkage", "value": 17592186109953}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1099511627849}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1099511627777}, {"parameter": "9,2", "name": "generalized_linkage", "value": 1099511627777}, {"parameter": "9,3", "name": "generalized_linkage", "value": 1099511628033}, {"parameter": "10,0", "name": "generalized_linkage", "value": 68719476881}, {"parameter": "10,1", "name": "generalized_linkage", "value": 68719476737}, {"parameter": "10,2", "name": "generalized_linkage", "value": 68719476737}, {"parameter": "10,3", "name": "generalized_linkage", "value": 68719476737}, {"parameter": "11,0", "name": "generalized_linkage", "value": 4294967586}, {"parameter": "11,1", "name": "generalized_linkage", "value": 4294967297}, {"parameter": "11,2", "name": "generalized_linkage", "value": 4294967297}, {"parameter": "11,3", "name": "generalized_linkage", "value": 4294967297}, {"parameter": "12,1", "name": "generalized_linkage", "value": 16777217}, {"parameter": "12,2", "name": "generalized_linkage", "value": 16777217}, {"parameter": "12,3", "name": "generalized_linkage", "value": 16777217}, {"parameter": "13,2", "name": "generalized_linkage", "value": 16842753}, {"parameter": "13,3", "name": "generalized_linkage", "value": 16842753}, {"parameter": "14,3", "name": "generalized_linkage", "value": 16777473}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 17592186044450}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 17592186044417}, {"parameter": "[8, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 17592186044673}, {"parameter": "[8, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 17592186109953}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1099511627849}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1099511627777}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1099511627777}, {"parameter": "[9, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1099511628033}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 68719476881}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 68719476737}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 68719476737}, {"parameter": "[10, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 68719476737}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4294967586}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4294967297}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4294967297}, {"parameter": "[11, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 4294967297}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 16777217}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 16777217}, {"parameter": "[12, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 16777217}, {"parameter": "[13, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 16842753}, {"parameter": "[13, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 16842753}, {"parameter": "[14, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 16777473}, {"parameter": "[8, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 16842786}, {"parameter": "[8, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 16842786}, {"parameter": "[8, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 16777506}, {"parameter": "[8, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 16777506}, {"parameter": "[9, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 65865}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 137443156132}], "request": [2, 19, 10, 8], "liftedmrdsizebound": 17592213988013, "comments": "", "equal_bound_constraints": []}