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

Lower bounds

• EF_Kurz2020_linkage_special ( ) : 3708406309
• generalized_linkage ( 7,0 ) : 3708405100
• generalized_linkage_multipleblocks ( show
  [7, 6],[0, 0]
  ) : 3708405100
• CKMP2019_Cor_42 ( (10, 3) ) : 3708404776
• CKMP2019_Lem_41 ( (10, 3) ) : 3708404776
• improved_linkage ( 10 ) : 3708404776
• linkage_GLT ( 10 ) : 3708404776
• linkage_ST ( 3 ) : 3708404776
• construction_D ( 3 ) : 3708404775
• construction_1 ( ) : 3559420822
• construction_ST_A_1 ( ) : 3559420822
• ef_computation ( show
  [(0, 1, 2), (2, 3, 4), (1, 3, 5), (0, 4, 5), (0, 3, 6), (1, 4, 6), (2, 5, 6), (4, 7, 8), (5, 7, 9), (1, 8, 9), (1, 7, 10), (6, 7, 11), (5, 8, 10), (3, 7, 12), (0, 9, 10), (0, 8, 11), (2, 8, 12), (3, 9, 11), (2, 10, 11), (6, 9, 12), (4, 10, 12), (5, 11, 12)]
  ) : 3555882742
• construction_ST_B_recursive ( ) : 3535456181
• construction_ST_B ( ) : 3530847503
• two_pivot_block_construction ( ) : 3530369206
• multicomponent ( ) : 3530369152
• JohnsonLB ( ) : 3519570030
• LMRD ( ) : 3486784401
• LiuChangFeng2019_Theo_2_6 ( ) : 3486784401
• graham_sloane ( ) : 452608030
• sphere_covering ( ) : 313348859
• HKK_lemma_2_4_lower_bound ( ) : 597864
• trivial_1 ( ) : 0

Upper bounds

• Ahlswede_Aydinian ( 1, 2 ) : 4073492710
• anticode ( ) : 4073492710
• ilp_1 ( 1 ) : 4073492710
• ilp_2 ( 2 ) : 4073492710
• improved_johnson ( ) : 4073492710
• johnson_1 ( ) : 4073492710
• linear_programming_bound ( ) : 4073492710
• singleton ( ) : 5883904390
• ilp_4 ( 12 ) : 12219374351
• johnson_2 ( ) : 12219374351
• HKK_lemma_2_4_upper_bound ( ) : 3006373403070
• ilp_3 ( 4 ) : 9020036745070
• all_subs ( ) : 360801469802830
• sphere_packing ( ) : 360801469802830

Bound for codes containing the lifted MRD code

Do you have better bounds?