{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 75628919722004322604209288760}, {"parameter": "", "name": "singleton", "value": 360801469802830}, {"parameter": "3", "name": "ilp_2", "value": 209613668601000}, {"parameter": "4", "name": "ilp_2", "value": 12853526282741708963}, {"parameter": "5", "name": "ilp_2", "value": 853859750962531726420120}, {"parameter": "7", "name": "ilp_3", "value": 69193888126261960296623320}, {"parameter": "8", "name": "ilp_3", "value": 84382790397880439386126}, {"parameter": "9", "name": "ilp_3", "value": 111470000525601637233}, {"parameter": "", "name": "anticode", "value": 209613668601000}, {"parameter": "", "name": "linear_programming_bound", "value": 209613668601000}, {"parameter": "", "name": "sphere_packing", "value": 2345794958153165899272}, {"parameter": "1", "name": "ilp_1", "value": 209592281991205}, {"parameter": "2", "name": "ilp_1", "value": 209592281991205}, {"parameter": "10", "name": "ilp_4", "value": 110548760851836334446}, {"parameter": "11", "name": "ilp_4", "value": 110547512742809296451}, {"parameter": "12", "name": "ilp_4", "value": 110547512742809296451}, {"parameter": "13", "name": "ilp_4", "value": 4101863649046549001}, {"parameter": "14", "name": "ilp_4", "value": 152818316412545018}, {"parameter": "15", "name": "ilp_4", "value": 5659086203956223}, {"parameter": "", "name": "johnson_1", "value": 209592281991205}, {"parameter": "", "name": "johnson_2", "value": 5659086203956223}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 75628919722004322604209288760}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 69193888126261960296623320}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 84382790397880439386126}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 111470000525601637233}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 110548760851836334446}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 110547512742809296451}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 110547512742809296451}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 4101863649046549001}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 152818316412545018}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 5659086203956223}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 853859750962531726420120}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 2345794958153165899272}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 8585083975773775499}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 8439364587087754016}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 8441350162367957313}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 8449059070795791062}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 956607891209793954}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 107031940799172111}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 12198305953237679}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 1468828013568962}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 217369643805028}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 12853526282741708963}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 106229075837192967}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 106233833759284417}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 106248109600862213}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 106290955811678387}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 35083761992306416}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 11824047562746234}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 3979915064370392}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 1372717651061290}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 507860936052722}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 243542316002041}, {"parameter": "3, 3", "name": "Ahlswede_Aydinian", "value": 209613668601000}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 209617001548165}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 209627000876342}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 209657003241676}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 209747049782246}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 210017544874584}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 210832242114275}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 213305589265380}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 220998666932654}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 246829665432763}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 360801469802830}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 75628919722004322604209288760}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 853859750962531726420120}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 12853526282741708963}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 209613668601000}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 209592281991205}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 209592281991205}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 69193888126261960296623320}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 2345794958153165899272}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 106229075837192967}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 107114287791112366}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 109860711430534138}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 119015422027467287}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 158685214754885806}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 84382790397880439386126}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 8585083975773775499}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 8616614582167893240}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 8712344511458202445}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 9010170765029094998}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 10011183524113596382}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 14459864093692534813}, {"parameter": "3, 7, o", "name": "Ahlswede_Aydinian", "value": 111470000525601637233}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 111617402603418682155}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 112061412912993037845}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 113409882567521917595}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 117608904593587749519}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 131760512983742218722}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 195168545232713290660}, {"parameter": "", "name": "improved_johnson", "value": 209592281991198}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 50954211980970891}], "known_codes": [], "upper_bound": 209592281991198, "classified": false, "lower_bound": 205891524417339, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 205891132094649}, {"parameter": "", "name": "sphere_covering", "value": 6188223237}, {"parameter": "", "name": "graham_sloane", "value": 1896260}, {"parameter": "", "name": "multicomponent", "value": 205891519515139}, {"parameter": "[(0, 1, 2, 3, 4, 5), (2, 5, 6, 7, 8, 9), (0, 4, 6, 7, 10, 11), (1, 3, 8, 9, 10, 11), (1, 3, 6, 7, 12, 13), (0, 4, 8, 9, 12, 13), (0, 3, 7, 8, 14, 15), (2, 5, 10, 11, 12, 13), (1, 4, 6, 9, 14, 15)]", "name": "ef_computation", "value": 205891524417339}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 205891132094650}, {"parameter": "(6, 10)", "name": "CKMP2019_Lem_41", "value": 205891132095379}, {"parameter": "(7, 9)", "name": "CKMP2019_Lem_41", "value": 7625597484988}, {"parameter": "(8, 8)", "name": "CKMP2019_Lem_41", "value": 282429536482}, {"parameter": "(9, 7)", "name": "CKMP2019_Lem_41", "value": 10460353204}, {"parameter": "(10, 6)", "name": "CKMP2019_Lem_41", "value": 282816956971}, {"parameter": "(6, 10)", "name": "CKMP2019_Cor_42", "value": 205891132095379}, {"parameter": "(7, 9)", "name": "CKMP2019_Cor_42", "value": 7625597484988}, {"parameter": "(8, 8)", "name": "CKMP2019_Cor_42", "value": 282429536482}, {"parameter": "(9, 7)", "name": "CKMP2019_Cor_42", "value": 10460353204}, {"parameter": "(10, 6)", "name": "CKMP2019_Cor_42", "value": 282816956971}, {"parameter": "6", "name": "linkage_GLT", "value": 205891132095379}, {"parameter": "7", "name": "linkage_GLT", "value": 7625597484988}, {"parameter": "8", "name": "linkage_GLT", "value": 282429536482}, {"parameter": "9", "name": "linkage_GLT", "value": 10460353204}, {"parameter": "10", "name": "linkage_GLT", "value": 282816956971}, {"parameter": "6", "name": "improved_linkage", "value": 205891519515229}, {"parameter": "7", "name": "improved_linkage", "value": 7625598016429}, {"parameter": "8", "name": "improved_linkage", "value": 282429537211}, {"parameter": "9", "name": "improved_linkage", "value": 10460353204}, {"parameter": "10", "name": "improved_linkage", "value": 282816956971}, {"parameter": "11", "name": "improved_linkage", "value": 282430067923}, {"parameter": "12", "name": "improved_linkage", "value": 282429602821}, {"parameter": "6,0", "name": "generalized_linkage", "value": 205891132161079}, {"parameter": "6,1", "name": "generalized_linkage", "value": 205891132626091}, {"parameter": "6,2", "name": "generalized_linkage", "value": 205891519515229}, {"parameter": "7,0", "name": "generalized_linkage", "value": 7625597485078}, {"parameter": "7,1", "name": "generalized_linkage", "value": 7625597485717}, {"parameter": "7,2", "name": "generalized_linkage", "value": 7625598016429}, {"parameter": "8,0", "name": "generalized_linkage", "value": 282429536572}, {"parameter": "8,1", "name": "generalized_linkage", "value": 282429536482}, {"parameter": "8,2", "name": "generalized_linkage", "value": 282429537211}, {"parameter": "9,0", "name": "generalized_linkage", "value": 10460353294}, {"parameter": "9,1", "name": "generalized_linkage", "value": 10460353204}, {"parameter": "9,2", "name": "generalized_linkage", "value": 10460353204}, {"parameter": "10,0", "name": "generalized_linkage", "value": 282816957061}, {"parameter": "10,1", "name": "generalized_linkage", "value": 282816956971}, {"parameter": "10,2", "name": "generalized_linkage", "value": 282816956971}, {"parameter": "11,1", "name": "generalized_linkage", "value": 282430067923}, {"parameter": "11,2", "name": "generalized_linkage", "value": 282430067923}, {"parameter": "12,2", "name": "generalized_linkage", "value": 282429602821}, {"parameter": "[6, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205891132161079}, {"parameter": "[6, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205891132626091}, {"parameter": "[6, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 205891519515229}, {"parameter": "[7, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 7625597485078}, {"parameter": "[7, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 7625597485717}, {"parameter": "[7, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7625598016429}, {"parameter": "[8, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 282429536572}, {"parameter": "[8, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 282429536482}, {"parameter": "[8, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 282429537211}, {"parameter": "[9, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 10460353294}, {"parameter": "[9, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 10460353204}, {"parameter": "[9, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 10460353204}, {"parameter": "[10, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 282816957061}, {"parameter": "[10, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 282816956971}, {"parameter": "[10, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 282816956971}, {"parameter": "[11, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 282430067923}, {"parameter": "[11, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 282430067923}, {"parameter": "[12, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 282429602821}, {"parameter": "[6, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 282816957880}, {"parameter": "[6, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 282816957061}, {"parameter": "[6, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 282816957061}, {"parameter": "[6, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 282430068013}, {"parameter": "[6, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 282430068013}, {"parameter": "[6, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 282430068013}, {"parameter": "[6, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 282430068013}, {"parameter": "[6, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 282429602911}, {"parameter": "[6, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 282429537301}, {"parameter": "[6, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 282429537301}, {"parameter": "[7, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 387952021}, {"parameter": "[7, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 387952021}, {"parameter": "[7, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 387421309}, {"parameter": "[7, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 387421309}, {"parameter": "[8, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 532261}, {"parameter": "", "name": "JohnsonLB", "value": 205796995290199}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 94157548668}], "request": [3, 16, 8, 6], "liftedmrdsizebound": 205891590262843, "comments": "", "equal_bound_constraints": []}