{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 15581613321613605658849684840700396072369158}, {"parameter": "", "name": "singleton", "value": 21571273555248777493}, {"parameter": "4", "name": "ilp_2", "value": 12182410000815428812}, {"parameter": "5", "name": "ilp_2", "value": 722331636178349220572324}, {"parameter": "6", "name": "ilp_2", "value": 43186113765358582685279626462}, {"parameter": "7", "name": "ilp_2", "value": 2648175818100539471690784023888667}, {"parameter": "8", "name": "ilp_2", "value": 175918319596418837104418782706924187646}, {"parameter": "10", "name": "ilp_3", "value": 527760917274542936554995422053258233043}, {"parameter": "11", "name": "ilp_3", "value": 23833941145700966956295729942680421}, {"parameter": "12", "name": "ilp_3", "value": 1166044087363061005689614967841}, {"parameter": "13", "name": "ilp_3", "value": 58509841166994421738625696}, {"parameter": "14", "name": "ilp_3", "value": 2960375558107988608902}, {"parameter": "", "name": "anticode", "value": 12182410000815428812}, {"parameter": "", "name": "linear_programming_bound", "value": 12182410000815428812}, {"parameter": "", "name": "sphere_packing", "value": 328185866788297691732865283}, {"parameter": "1", "name": "ilp_1", "value": 12174146256354504447}, {"parameter": "2", "name": "ilp_1", "value": 12174146256354920547}, {"parameter": "3", "name": "ilp_1", "value": 12174146273125518628}, {"parameter": "15", "name": "ilp_4", "value": 2958117248599302020300}, {"parameter": "16", "name": "ilp_4", "value": 2958117202249466197938}, {"parameter": "17", "name": "ilp_4", "value": 2958117202247112459034}, {"parameter": "18", "name": "ilp_4", "value": 2958117202247112459034}, {"parameter": "", "name": "johnson_1", "value": 12174146256354504447}, {"parameter": "", "name": "johnson_2", "value": 2958117202247112459034}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 15581613321613605658849684840700396072369158}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 527760917274542936554995422053258233043}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 23833941145700966956295729942680421}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 1166044087363061005689614967841}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 58509841166994421738625696}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 2960375558107988608902}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 2958117248599302020300}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 2958117202249466197938}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 2958117202247112459034}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 2958117202247112459034}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 175918319596418837104418782706924187646}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 17876263139554263142195361491476654}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 2422011730247599576700746215571}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 355518634124001532703114759}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 53534102963238315390315}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 53468381708150450554206}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 53615655989322884000266}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 54062407152767728833781}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 55448476443193673357409}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 741738890982309797870}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 12232128181026972448}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 2648175818100539471690784023888667}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 807382826433411991819465009622}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 328185866788297691732865283}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 144526290379008758477710}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 143714980866358743622968}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 143890261732035462697353}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 144418622260283291247732}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 146022776920950020710597}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 5626129436923317745373}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 231484987838106317665}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 12381876143775385312}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 43186113765358582685279626462}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 39512184269088350327829551}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 48187945946700212554651}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 48195013133310580214920}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 48215991267061353671332}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 48279710262602130463085}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 48471647492444170872096}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 5443330270365265199064}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 627286242721020045065}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 78125041315319615809}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 12853090924965350143}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 722331636178349220572324}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 1984460672852653309443}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 1968218681645462515966}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 1968474333804532900224}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 1969361105244229437207}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 1972025521213056948937}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 664901677556870092985}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 224088859641400728556}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 77588666864318759441}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 29041675129063550627}, {"parameter": "4, 15", "name": "Ahlswede_Aydinian", "value": 14440354542709017013}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 12182410000815428812}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 12182613767381616617}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 12183225097783632320}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 12185059365362381468}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 12190564656577504114}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 12207102956936990102}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 12256920522708356955}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 12408219732245773510}, {"parameter": "5, 12", "name": "Ahlswede_Aydinian", "value": 12879367385365486745}, {"parameter": "5, 13", "name": "Ahlswede_Aydinian", "value": 14467210976331735040}, {"parameter": "5, 14", "name": "Ahlswede_Aydinian", "value": 21571273555248777493}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 15581613321613605658849684840700396072369158}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 175918319596418837104418782706924187646}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 2648175818100539471690784023888667}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 43186113765358582685279626462}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 722331636178349220572324}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 12182410000815428812}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 12174146273125518628}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 12174146256354920547}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 12174146256354504447}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 527760917274542936554995422053258233043}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 17876263139554263142195361491476654}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 807382826433411991819465009622}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 39512184269088350327829551}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 1984460672852653309443}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 1986168775116835958719}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 2002719595758219693183}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 2054069574076091482940}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 2225235516263429842078}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 2966943004430536399716}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 23833941145700966956295729942680421}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 2422011730247599576700746215571}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 328185866788297691732865283}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 48187945946700212554651}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 48246777498785267503925}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 48423969165099030722160}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 48961957757157781578051}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 50635692736753959678914}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 56261221175631688374447}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 3009253897776641097767}, {"parameter": "3, 7, o", "name": "Ahlswede_Aydinian", "value": 1166044087363061005689614967841}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 355518634124001532703114759}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 144526290379008758477710}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 144457707793238714012752}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 144648603663085103198070}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 145224010879256894973590}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 146971536097540437750009}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 152413183829801133779222}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 18975328802627968208928}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 3124829829685927686576}, {"parameter": "4, 6, o", "name": "Ahlswede_Aydinian", "value": 58509841166994421738625696}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 53534102963238315390315}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 53542155524949645511510}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 53566324203457544001659}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 53638929314899252238235}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 53857640007510164457231}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 54521930773674133672129}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 18840678148325061203952}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 7060477703105499638756}, {"parameter": "4, 15, o", "name": "Ahlswede_Aydinian", "value": 3513449339891432332046}, {"parameter": "5, 5, o", "name": "Ahlswede_Aydinian", "value": 2960375558107988608902}, {"parameter": "5, 6, o", "name": "Ahlswede_Aydinian", "value": 2960524937901850319703}, {"parameter": "5, 7, o", "name": "Ahlswede_Aydinian", "value": 2960973145274991853930}, {"parameter": "5, 8, o", "name": "Ahlswede_Aydinian", "value": 2962318379597180152017}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 2966359599925328603403}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 2978533121492625585106}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 3015508016987899974228}, {"parameter": "5, 12, o", "name": "Ahlswede_Aydinian", "value": 3130678266163785407776}, {"parameter": "5, 13, o", "name": "Ahlswede_Aydinian", "value": 3519152935326536599953}, {"parameter": "5, 14, o", "name": "Ahlswede_Aydinian", "value": 5263390747480701708292}, {"parameter": "", "name": "improved_johnson", "value": 12174146256354504440}], "known_codes": [], "upper_bound": 12174146256354504440, "classified": false, "lower_bound": 12157665459056929558, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 12157665459056928801}, {"parameter": "", "name": "sphere_covering", "value": 1977157750}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "multicomponent", "value": 12157665459056928802}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6, 7, 8), (0, 1, 2, 9, 10, 11, 12, 13, 14), (3, 4, 5, 9, 10, 11, 15, 16, 18), (2, 7, 8, 13, 14, 15, 16, 17, 18)]", "name": "ef_computation", "value": 12157665459056929558}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 12157665459056928802}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 12157665459056928802}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 150094635296999122}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 12157665459056928802}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 150094635296999122}, {"parameter": "9", "name": "linkage_GLT", "value": 12157665459056928802}, {"parameter": "10", "name": "linkage_GLT", "value": 150094635296999122}, {"parameter": "9", "name": "improved_linkage", "value": 12157665459056928802}, {"parameter": "10", "name": "improved_linkage", "value": 150094635296999122}, {"parameter": "11", "name": "improved_linkage", "value": 7625597484988}, {"parameter": "12", "name": "improved_linkage", "value": 387420490}, {"parameter": "13", "name": "improved_linkage", "value": 19684}, {"parameter": "9,0", "name": "generalized_linkage", "value": 12157665459056929558}, {"parameter": "9,1", "name": "generalized_linkage", "value": 12157665459056928802}, {"parameter": "9,2", "name": "generalized_linkage", "value": 12157665459056928802}, {"parameter": "9,3", "name": "generalized_linkage", "value": 12157665459056928802}, {"parameter": "10,0", "name": "generalized_linkage", "value": 150094635296999878}, {"parameter": "10,1", "name": "generalized_linkage", "value": 150094635296999122}, {"parameter": "10,2", "name": "generalized_linkage", "value": 150094635296999122}, {"parameter": "10,3", "name": "generalized_linkage", "value": 150094635296999122}, {"parameter": "11,1", "name": "generalized_linkage", "value": 7625597484988}, {"parameter": "11,2", "name": "generalized_linkage", "value": 7625597484988}, {"parameter": "11,3", "name": "generalized_linkage", "value": 7625597484988}, {"parameter": "12,2", "name": "generalized_linkage", "value": 387420490}, {"parameter": "12,3", "name": "generalized_linkage", "value": 387420490}, {"parameter": "13,3", "name": "generalized_linkage", "value": 19684}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 12157665459056929558}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157665459056928802}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 12157665459056928802}, {"parameter": "[9, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 12157665459056928802}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 150094635296999878}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094635296999122}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 150094635296999122}, {"parameter": "[10, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 150094635296999122}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 7625597484988}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7625597484988}, {"parameter": "[11, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 7625597484988}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 387420490}, {"parameter": "[12, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 387420490}, {"parameter": "[13, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 19684}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 16677181699668759}], "request": [3, 19, 12, 9], "liftedmrdsizebound": 12157665459057487542, "comments": "", "equal_bound_constraints": []}