Details for entry \(A_3(13,4;4)\)

Lower bounds

• EF_Kurz2020_linkage_special ( ) : 7793514240823
• CKMP2019_Cor_45 ( show
  (5,),(2,),(1,)
  ) : 7793495430036
• CKMP2019_Cor_42 ( (8, 5) ) : 7793494898595
• CKMP2019_Lem_41 ( (8, 5) ) : 7793494898595
• generalized_linkage ( 8,0 ) : 7793494898595
• generalized_linkage_multipleblocks ( show
  [8, 5],[0, 0]
  ) : 7793494898595
• noted_linkage_special ( ) : 7793494665714
• improved_linkage ( 8 ) : 7793494052772
• linkage_GLT ( 8 ) : 7793494045795
• linkage_ST ( 5 ) : 7793494045795
• construction_D ( 5 ) : 7793494045794
• ChenHeWengXu2019_T31 ( ) : 7777290928187
• ef_computation ( show
  [(0, 1, 2, 3), (0, 1, 4, 5), (1, 2, 4, 6), (2, 3, 4, 5), (0, 3, 4, 6), (0, 2, 5, 6), (0, 2, 4, 7), (1, 3, 4, 7), (0, 1, 6, 7), (1, 2, 5, 7), (1, 3, 5, 6), (0, 3, 5, 7), (2, 3, 6, 7), (4, 5, 6, 7), (0, 1, 8, 9), (0, 2, 8, 10), (2, 3, 8, 9), (1, 3, 8, 10), (1, 2, 9, 10), (1, 2, 8, 11), (0, 2, 9, 11), (0, 3, 9, 10), (0, 3, 8, 11), (4, 5, 8, 9), (0, 1, 10, 11), (1, 3, 9, 11), (5, 6, 8, 10), (1, 4, 8, 12), (2, 3, 10, 11), (3, 5, 8, 12), (4, 6, 8, 11), (2, 4, 9, 12), (6, 7, 8, 9), (4, 7, 8, 10), (4, 6, 9, 10), (0, 4, 10, 12), (4, 5, 10, 11), (0, 6, 8, 12), (5, 7, 9, 10), (1, 5, 9, 12), (5, 6, 9, 11), (5, 7, 8, 11), (4, 7, 9, 11), (2, 7, 8, 12), (3, 6, 9, 12), (3, 4, 11, 12), (2, 5, 10, 12), (1, 6, 10, 12), (0, 5, 11, 12), (0, 7, 9, 12), (6, 7, 10, 11), (2, 6, 11, 12), (3, 7, 10, 12), (1, 7, 11, 12), (8, 9, 10, 12)]
  ) : 7756321873879
• construction_ST_B_recursive ( ) : 7731523144615
• LiuChangFeng2019_Theo_3_12 ( ) : 7730203575678
• LiuChangFeng2019_Theo_3_14 ( ) : 7720917451335
• construction_ST_B ( ) : 7720917451335
• two_pivot_block_construction ( ) : 7720917451335
• JohnsonLB ( ) : 7708552580498
• multicomponent ( ) : 7636072193659
• LiuChangFeng2019_Theo_2_6 ( ) : 7625600043648
• LMRD ( ) : 7625597484987
• graham_sloane ( ) : 334069986943
• sphere_covering ( ) : 225508365811
• HKK_lemma_2_4_lower_bound ( ) : 11125218927
• trivial_1 ( ) : 0

Upper bounds

• Ahlswede_Aydinian ( 0, 11, o ) : 9019120209211
• ilp_1 ( 1 ) : 9019120209211
• improved_johnson ( ) : 9019120209211
• johnson_1 ( ) : 9019120209211
• anticode ( ) : 9020036745070
• ilp_2 ( 3 ) : 9020036745070
• linear_programming_bound ( ) : 9020036745070
• singleton ( ) : 13362799477720
• ilp_4 ( 12 ) : 27061025694851
• johnson_2 ( ) : 27061025694851
• HKK_lemma_2_4_upper_bound ( ) : 733629624967047
• ilp_3 ( 5 ) : 2200888965797263
• all_subs ( ) : 266307564861468823
• sphere_packing ( ) : 266307564861468823

Bound for codes containing the lifted MRD code

Do you have better bounds?