{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 4165817792093527797314451}, {"parameter": "", "name": "singleton", "value": 3269560515}, {"parameter": "3", "name": "ilp_2", "value": 1103656006}, {"parameter": "4", "name": "ilp_2", "value": 1166564398383}, {"parameter": "5", "name": "ilp_2", "value": 1274121635914583}, {"parameter": "6", "name": "ilp_2", "value": 1490904331396621804}, {"parameter": "7", "name": "ilp_2", "value": 2035084412356388762733}, {"parameter": "9", "name": "ilp_3", "value": 8152285307423733458541}, {"parameter": "10", "name": "ilp_3", "value": 23906995036433235948}, {"parameter": "11", "name": "ilp_3", "value": 81753280534945115}, {"parameter": "12", "name": "ilp_3", "value": 299462566062070}, {"parameter": "13", "name": "ilp_3", "value": 1133358509086}, {"parameter": "", "name": "anticode", "value": 1103656006}, {"parameter": "", "name": "linear_programming_bound", "value": 1103656006}, {"parameter": "", "name": "sphere_packing", "value": 138412347216270}, {"parameter": "1", "name": "ilp_1", "value": 1094914770}, {"parameter": "2", "name": "ilp_1", "value": 1094915676}, {"parameter": "14", "name": "ilp_4", "value": 1120076153367}, {"parameter": "15", "name": "ilp_4", "value": 1120025078297}, {"parameter": "16", "name": "ilp_4", "value": 1120025078297}, {"parameter": "17", "name": "ilp_4", "value": 35002367325}, {"parameter": "", "name": "johnson_1", "value": 1094914770}, {"parameter": "", "name": "johnson_2", "value": 35002367325}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 4165817792093527797314451}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 8152285307423733458541}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 23906995036433235948}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 81753280534945115}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 299462566062070}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 1133358509086}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 1120076153367}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 1120025078297}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 1120025078297}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 35002367325}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 2035084412356388762733}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 7984608528328828069}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 46922058163724932}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 321696873081355}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 2366573470399}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 2329362339421}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 2366350641915}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 2444899294603}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 163706230013}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 11974947602}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 1134774529}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 1490904331396621804}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 11747942967727047}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 138412347216270}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 1901592093670}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 1822985732697}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 1843182945538}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 1887411033501}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 249758300012}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 35580472025}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 5526839779}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 1197389985}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 1274121635914583}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 20241176417674}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 478943731206}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 448523556325}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 450680538945}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 456838541038}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 124487693162}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 32463130250}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 9081067780}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 2937144094}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 1349557517}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 1166564398383}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 37664482175}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 37731348781}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 37865569810}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 38135977554}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 18428578751}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 9718682584}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 5091721555}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 2890712091}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 1870026066}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 1744510989}, {"parameter": "5, 3", "name": "Ahlswede_Aydinian", "value": 1103656006}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 1104631398}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 1106585627}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 1110507914}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 1118408196}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 1134434746}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 1167417798}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 1237323944}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 1394877445}, {"parameter": "5, 12", "name": "Ahlswede_Aydinian", "value": 1801288308}, {"parameter": "5, 13", "name": "Ahlswede_Aydinian", "value": 3269560515}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 4165817792093527797314451}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 2035084412356388762733}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 1490904331396621804}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 1274121635914583}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1166564398383}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 1103656006}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 1094915676}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 1094914770}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 8152285307423733458541}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 7984608528328828069}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 11747942967727047}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 20241176417674}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 37664482175}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 38367530557}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 41104878391}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 47946781344}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 71873440257}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 23906995036433235948}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 46922058163724932}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 138412347216270}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 478943731206}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 490507534157}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 514962115301}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 570009290107}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 712114314393}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 1243772156118}, {"parameter": "3, 7, o", "name": "Ahlswede_Aydinian", "value": 81753280534945115}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 321696873081355}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 1901592093670}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 1912821049035}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 1966326243301}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 2080536976179}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 2339383473933}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 3017768095885}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 1403529853757}, {"parameter": "4, 6, o", "name": "Ahlswede_Aydinian", "value": 299462566062070}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 2366573470399}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 2383904419680}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 2419094069339}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 2491650628006}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 2646037415856}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 2997053790179}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 1938240806125}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 1870509701641}, {"parameter": "5, 5, o", "name": "Ahlswede_Aydinian", "value": 1133358509086}, {"parameter": "5, 6, o", "name": "Ahlswede_Aydinian", "value": 1137595561112}, {"parameter": "5, 7, o", "name": "Ahlswede_Aydinian", "value": 1146134044241}, {"parameter": "5, 8, o", "name": "Ahlswede_Aydinian", "value": 1163472487537}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 1199227959308}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 1275331541798}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 1448443050673}, {"parameter": "5, 12, o", "name": "Ahlswede_Aydinian", "value": 1905047430257}, {"parameter": "5, 13, o", "name": "Ahlswede_Aydinian", "value": 3675639930963}, {"parameter": "", "name": "improved_johnson", "value": 1094914768}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 35036616217}], "known_codes": [], "upper_bound": 1094914768, "classified": false, "lower_bound": 1073741889, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1073741824}, {"parameter": "", "name": "sphere_covering", "value": 11677}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "multicomponent", "value": 1073741825}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6, 7), (0, 1, 8, 9, 10, 11, 12, 13), (2, 3, 8, 9, 14, 15, 16, 17)]", "name": "greedy_multicomponent", "value": 1073741826}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6, 7), (0, 1, 8, 9, 10, 11, 12, 13), (6, 7, 9, 10, 14, 15, 16, 17)]", "name": "ef_computation", "value": 1073741889}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1073741825}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 1073741825}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 134217729}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 16777217}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 1073741825}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 134217729}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 16777217}, {"parameter": "8", "name": "linkage_GLT", "value": 1073741825}, {"parameter": "9", "name": "linkage_GLT", "value": 134217729}, {"parameter": "10", "name": "linkage_GLT", "value": 16777217}, {"parameter": "8", "name": "improved_linkage", "value": 1073741825}, {"parameter": "9", "name": "improved_linkage", "value": 134217729}, {"parameter": "10", "name": "improved_linkage", "value": 16777217}, {"parameter": "11", "name": "improved_linkage", "value": 65537}, {"parameter": "12", "name": "improved_linkage", "value": 257}, {"parameter": "8,0", "name": "generalized_linkage", "value": 1073741825}, {"parameter": "8,1", "name": "generalized_linkage", "value": 1073741825}, {"parameter": "8,2", "name": "generalized_linkage", "value": 1073741825}, {"parameter": "9,0", "name": "generalized_linkage", "value": 134217729}, {"parameter": "9,1", "name": "generalized_linkage", "value": 134217729}, {"parameter": "9,2", "name": "generalized_linkage", "value": 134217729}, {"parameter": "10,0", "name": "generalized_linkage", "value": 16777217}, {"parameter": "10,1", "name": "generalized_linkage", "value": 16777217}, {"parameter": "10,2", "name": "generalized_linkage", "value": 16777217}, {"parameter": "11,1", "name": "generalized_linkage", "value": 65537}, {"parameter": "11,2", "name": "generalized_linkage", "value": 65537}, {"parameter": "12,2", "name": "generalized_linkage", "value": 257}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1073741825}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1073741825}, {"parameter": "[8, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1073741825}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 134217729}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 134217729}, {"parameter": "[9, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 134217729}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 16777217}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 16777217}, {"parameter": "[10, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 16777217}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 65537}, {"parameter": "[11, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 65537}, {"parameter": "[12, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 257}, {"parameter": "", "name": "JohnsonLB", "value": 1071646717}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 8388738}], "request": [2, 18, 12, 8], "liftedmrdsizebound": 1073741889, "comments": "", "equal_bound_constraints": []}