Details for entry \(A_9(13,6;5)\)

Lower bounds

• ef_computation ( show
  [(0, 1, 2, 3, 4), (2, 4, 5, 6, 7), (0, 3, 5, 6, 8), (1, 3, 5, 7, 9), (1, 4, 6, 8, 9), (1, 2, 5, 8, 10), (0, 1, 6, 7, 10), (0, 2, 7, 8, 9), (0, 4, 5, 9, 10), (3, 4, 7, 8, 10), (2, 3, 6, 9, 10), (0, 2, 5, 11, 12), (3, 4, 6, 11, 12), (1, 7, 8, 11, 12)]
  ) : 79766443305934185302766
• two_pivot_block_construction ( ) : 79766443282763649908736
• generalized_linkage ( 5,2 ) : 79766443282763642489631
• generalized_linkage_multipleblocks ( show
  [5, 8],[0, 2]
  ) : 79766443282763642489631
• improved_linkage ( 5 ) : 79766443282763642489631
• multicomponent ( ) : 79766443282763641958011
• CKMP2019_Cor_42 ( (5, 8) ) : 79766443076872509922411
• CKMP2019_Lem_41 ( (5, 8) ) : 79766443076872509922411
• linkage_GLT ( 5 ) : 79766443076872509922411
• LiuChangFeng2019_Theo_2_6 ( ) : 79766443076872509863362
• LMRD ( ) : 79766443076872509863361
• JohnsonLB ( ) : 79766293188420106062823
• HKK_lemma_2_4_lower_bound ( ) : 1350854260405128306
• sphere_covering ( ) : 131996060797299677
• graham_sloane ( ) : 208786480982476
• trivial_1 ( ) : 0

Upper bounds

• improved_johnson ( ) : 79889467184726265457619
• Ahlswede_Aydinian ( 0, 11, o ) : 79889467184726265457627
• ilp_1 ( 1 ) : 79889467184726265457627
• johnson_1 ( ) : 79889467184726265457627
• anticode ( ) : 79889541521751260000532
• ilp_2 ( 3 ) : 79889541521751260000532
• linear_programming_bound ( ) : 79889541521751260000532
• singleton ( ) : 90983770072735012966405
• ilp_4 ( 12 ) : 6471042188236232069259170
• johnson_2 ( ) : 6471042188236232069259170
• HKK_lemma_2_4_upper_bound ( ) : 58239487929063252826789298
• sphere_packing ( ) : 471747752425928686816894539
• ilp_3 ( 7 ) : 42456666480422612533452968445
• all_subs ( ) : 168623318873839155489174680568370759015

Bound for codes containing the lifted MRD code

Do you have better bounds?