{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 4274137206973266943778085267}, {"parameter": "", "name": "singleton", "value": 3774561792168531}, {"parameter": "5", "name": "ilp_2", "value": 1196897355646477}, {"parameter": "6", "name": "ilp_2", "value": 1307251291837082557}, {"parameter": "7", "name": "ilp_2", "value": 1529670761633934747277}, {"parameter": "8", "name": "ilp_2", "value": 2088000589630320930033261}, {"parameter": "10", "name": "ilp_3", "value": 4178042235555490658629604}, {"parameter": "11", "name": "ilp_3", "value": 6123168884546395689247}, {"parameter": "12", "name": "ilp_3", "value": 10466955358198966990}, {"parameter": "13", "name": "ilp_3", "value": 19167907504942559}, {"parameter": "", "name": "anticode", "value": 1196897355646477}, {"parameter": "", "name": "linear_programming_bound", "value": 1196897355646477}, {"parameter": "", "name": "sphere_packing", "value": 35294710377060241}, {"parameter": "1", "name": "ilp_1", "value": 1196894449717946}, {"parameter": "2", "name": "ilp_1", "value": 1196894449718538}, {"parameter": "3", "name": "ilp_1", "value": 1196894452841239}, {"parameter": "4", "name": "ilp_1", "value": 1196897355646477}, {"parameter": "14", "name": "ilp_4", "value": 18896470372479233}, {"parameter": "15", "name": "ilp_4", "value": 18896408386379104}, {"parameter": "16", "name": "ilp_4", "value": 18896407841571083}, {"parameter": "17", "name": "ilp_4", "value": 18896407840515310}, {"parameter": "18", "name": "ilp_4", "value": 18896407841566959}, {"parameter": "", "name": "johnson_1", "value": 1196894449717946}, {"parameter": "", "name": "johnson_2", "value": 18896407841566959}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 4274137206973266943778085267}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 4178042235555490658629604}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 6123168884546395689247}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 10466955358198966990}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 19167907504942559}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 18896470372479233}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 18896408386379104}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 18896407841571083}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 18896407840515310}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 18896407841566959}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 2088000589630320930033261}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 4088100038520322622209}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 12000270665567376114}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 41116893416955269}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 41278451830446046}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 41603881961013043}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 42273548944508927}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 43679727617234834}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 46792735668203790}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 6796623993948454}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 1270388629835449}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 1529670761633934747277}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 6003089490370969349}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 35294710377060241}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 35121291408233663}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 35323118727471661}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 35741928199681413}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 36603126068942310}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 38425509562684223}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 10595950329079502}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 3330343022176566}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 1448862075576760}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 1307251291837082557}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 10302052032651875}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 10319553327497092}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 10354683381031395}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 10425457190316149}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 10569090867553209}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 10864960296491014}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 5679042224964546}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 3210110040955725}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 2061741455546735}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 1918145075253485}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 1196897355646477}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 1197976792826644}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 1200139680052656}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 1204481566524399}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 1213230275691986}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 1230991404019798}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 1267601210324234}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 1345449541988167}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 1522195895831167}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 1986642199211848}, {"parameter": "4, 15", "name": "Ahlswede_Aydinian", "value": 3774561792168531}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 4274137206973266943778085267}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 2088000589630320930033261}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 1529670761633934747277}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 1307251291837082557}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1196897355646477}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 1196897355646477}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 1196894452841239}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 1196894449718538}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 1196894449714868}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 4178042235555490658629604}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 4088100038520322622209}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 6003089490370969349}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 10302052032651875}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 10363450033182877}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 10530334889289001}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 10880980196973453}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 11657325762878610}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 13597684409248734}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 20383260568178967}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 6123168884546395689247}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 12000270665567376114}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 35294710377060241}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 35207887823225374}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 35626193651956818}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 36486359157830690}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 38306811921619404}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 42401640228869895}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 52972467432104062}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 23289781244767544}, {"parameter": "3, 7, o", "name": "Ahlswede_Aydinian", "value": 10466955358198966990}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 41116893416955269}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 40934470675803373}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 41213475497394418}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 41783565342809767}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 42958114531751113}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 45453282651887532}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 51108250369033357}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 33160612113158854}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 30856459753637301}, {"parameter": "4, 6, o", "name": "Ahlswede_Aydinian", "value": 19167907504942559}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 19202796272771603}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 19272836323631871}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 19413974533286670}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 19700548762427012}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 20291428009817672}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 21548707768161313}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 24407276111540331}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 31944869416557448}, {"parameter": "4, 15, o", "name": "Ahlswede_Aydinian", "value": 61291693863308051}, {"parameter": "", "name": "improved_johnson", "value": 1196894449717940}], "known_codes": [], "upper_bound": 1196894449714868, "classified": false, "lower_bound": 1125899940441072, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1125899906842624}, {"parameter": "", "name": "sphere_covering", "value": 366562845}, {"parameter": "", "name": "graham_sloane", "value": 56568}, {"parameter": "", "name": "multicomponent", "value": 1125899906843137}, {"parameter": "q^50 + q^25 + q^15 + q^13 + 2*q^10 + q^9 + q^8 + q^7 + q^6 + q^5 + q^4", "name": "greedy_multicomponent", "value": 1125899940441072}, {"parameter": "time bound in exact computation reached, so result is greedy", "name": "ef_computation", "value": 1125899916289568}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1125899906843393}, {"parameter": "", "name": "two_pivot_block_construction", "value": 1125899940397057}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 1125899906842625}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 35184372088833}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 1125899906842625}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 35184372088833}, {"parameter": "9", "name": "linkage_GLT", "value": 1125899906842625}, {"parameter": "10", "name": "linkage_GLT", "value": 35184372088833}, {"parameter": "9", "name": "improved_linkage", "value": 1125899906843137}, {"parameter": "10", "name": "improved_linkage", "value": 35184372088833}, {"parameter": "11", "name": "improved_linkage", "value": 68719476737}, {"parameter": "12", "name": "improved_linkage", "value": 134217729}, {"parameter": "13", "name": "improved_linkage", "value": 262145}, {"parameter": "14", "name": "improved_linkage", "value": 262657}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1125899906843657}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1125899906842697}, {"parameter": "9,2", "name": "generalized_linkage", "value": 1125899906842625}, {"parameter": "9,3", "name": "generalized_linkage", "value": 1125899906842625}, {"parameter": "9,4", "name": "generalized_linkage", "value": 1125899906843137}, {"parameter": "10,0", "name": "generalized_linkage", "value": 35184372093005}, {"parameter": "10,1", "name": "generalized_linkage", "value": 35184372088905}, {"parameter": "10,2", "name": "generalized_linkage", "value": 35184372088833}, {"parameter": "10,3", "name": "generalized_linkage", "value": 35184372088833}, {"parameter": "10,4", "name": "generalized_linkage", "value": 35184372088833}, {"parameter": "11,1", "name": "generalized_linkage", "value": 68719476881}, {"parameter": "11,2", "name": "generalized_linkage", "value": 68719476737}, {"parameter": "11,3", "name": "generalized_linkage", "value": 68719476737}, {"parameter": "11,4", "name": "generalized_linkage", "value": 68719476737}, {"parameter": "12,2", "name": "generalized_linkage", "value": 134217729}, {"parameter": "12,3", "name": "generalized_linkage", "value": 134217729}, {"parameter": "12,4", "name": "generalized_linkage", "value": 134217729}, {"parameter": "13,3", "name": "generalized_linkage", "value": 262145}, {"parameter": "13,4", "name": "generalized_linkage", "value": 262145}, {"parameter": "14,4", "name": "generalized_linkage", "value": 262657}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1125899906843657}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1125899906842697}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125899906842625}, {"parameter": "[9, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1125899906842625}, {"parameter": "[9, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1125899906843137}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 35184372093005}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 35184372088905}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 35184372088833}, {"parameter": "[10, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 35184372088833}, {"parameter": "[10, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 35184372088833}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 68719476881}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 68719476737}, {"parameter": "[11, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 68719476737}, {"parameter": "[11, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 68719476737}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 134217729}, {"parameter": "[12, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 134217729}, {"parameter": "[12, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 134217729}, {"parameter": "[13, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 262145}, {"parameter": "[13, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 262145}, {"parameter": "[14, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 262657}, {"parameter": "[9, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 263689}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 35184381006948}], "request": [2, 19, 10, 9], "liftedmrdsizebound": 1125900016064275, "comments": "", "equal_bound_constraints": []}