Details for entry \(A_7(12,4;6)\)

Lower bounds

• CKMP2019_Cor_45 ( show
  (6,),(3,),(2,)
  ) : 22550482431839630511043689
• CossidentePavese14_theorem38 ( ) : 22550482431835822231682846
• CKMP2019_Cor_42 ( (6, 6) ) : 22550482431834882949533746
• CKMP2019_Lem_41 ( (6, 6) ) : 22550482431834882949533746
• LiuChangFeng2019_Theo_2_6 ( ) : 22550482431834882949533746
• generalized_linkage ( 6,0 ) : 22550482431834882949533746
• generalized_linkage_multipleblocks ( show
  [6, 6],[0, 0]
  ) : 22550482431834882949533746
• ChenHeWengXu2019_T31 ( ) : 22550482431834882949533745
• ChenHeWengXu2019_T41 ( ) : 22550482431834882949533745
• XuChen2018 ( ) : 22550482431834882949533745
• ef_computation ( show
  [(0, 1, 2, 3, 4, 5), (0, 1, 2, 3, 6, 7), (0, 1, 2, 4, 6, 8), (0, 1, 3, 4, 7, 8), (0, 1, 2, 4, 7, 9), (0, 1, 3, 4, 6, 9), (0, 1, 4, 5, 6, 7), (0, 1, 3, 5, 6, 8), (0, 1, 2, 5, 7, 8), (0, 1, 2, 3, 8, 9), (0, 1, 2, 5, 6, 9), (0, 2, 3, 4, 6, 10), (0, 1, 3, 5, 7, 10), (0, 2, 3, 5, 7, 9), (1, 2, 3, 4, 6, 11), (0, 2, 3, 5, 6, 11), (0, 1, 4, 5, 8, 9), (0, 1, 2, 3, 10, 11), (0, 2, 3, 4, 7, 11), (1, 2, 3, 5, 6, 10), (2, 3, 4, 5, 6, 7), (1, 2, 3, 4, 7, 10), (0, 2, 4, 5, 7, 10), (1, 2, 3, 5, 7, 11), (0, 2, 3, 5, 8, 10), (1, 3, 4, 5, 7, 9), (0, 1, 3, 5, 9, 11), (1, 2, 4, 5, 8, 10), (0, 2, 4, 5, 8, 11), (1, 2, 4, 5, 9, 11), (0, 1, 4, 5, 10, 11), (1, 3, 4, 5, 8, 11), (0, 3, 4, 5, 9, 10), (0, 1, 6, 7, 8, 9), (2, 3, 4, 5, 8, 9), (1, 2, 4, 7, 8, 11), (0, 2, 4, 6, 9, 11), (1, 2, 4, 6, 9, 10), (0, 3, 4, 6, 8, 11), (1, 3, 4, 6, 8, 10), (1, 2, 5, 6, 8, 11), (0, 4, 5, 6, 8, 10), (0, 2, 4, 8, 9, 10), (2, 3, 4, 5, 10, 11), (1, 2, 5, 7, 9, 10), (0, 3, 6, 7, 8, 10), (0, 2, 6, 7, 9, 10), (0, 2, 6, 7, 8, 11), (0, 3, 5, 7, 8, 11), (1, 2, 6, 7, 8, 10), (1, 3, 6, 7, 8, 11), (2, 3, 6, 7, 8, 9), (0, 1, 6, 7, 10, 11), (1, 2, 6, 7, 9, 11), (0, 4, 5, 7, 9, 11), (0, 3, 6, 7, 9, 11), (1, 3, 6, 7, 9, 10), (1, 3, 5, 8, 9, 10), (3, 4, 5, 6, 9, 11), (0, 2, 5, 9, 10, 11), (3, 4, 5, 7, 8, 10), (2, 3, 6, 7, 10, 11), (1, 3, 4, 9, 10, 11), (1, 4, 6, 8, 9, 11), (0, 5, 6, 8, 9, 11), (4, 5, 6, 7, 8, 9), (2, 4, 6, 8, 10, 11), (1, 4, 7, 8, 9, 10), (0, 1, 8, 9, 10, 11), (0, 5, 7, 8, 9, 10), (1, 5, 7, 8, 9, 11), (2, 5, 6, 8, 9, 10), (0, 4, 7, 8, 10, 11), (2, 5, 7, 8, 10, 11), (1, 5, 6, 9, 10, 11), (3, 4, 7, 8, 9, 11), (4, 5, 6, 7, 10, 11), (3, 5, 6, 8, 10, 11), (2, 4, 7, 9, 10, 11), (2, 3, 8, 9, 10, 11), (3, 5, 7, 9, 10, 11), (4, 5, 8, 9, 10, 11), (6, 7, 8, 9, 10, 11)]
  ) : 22548950756996080019771057
• two_pivot_block_construction ( ) : 22548731682479368415739904
• improved_linkage ( 6 ) : 22539340292321385129860250
• multicomponent ( ) : 22539340292320671685891348
• linkage_GLT ( 6 ) : 22539340290692258087863250
• LMRD ( ) : 22539340290692258087863249
• JohnsonLB ( ) : 3221489757677342898050191
• HKK_lemma_2_4_lower_bound ( ) : 3221466287182157388709804
• graham_sloane ( ) : 1373674044835747992628
• sphere_covering ( ) : 1177454911369091560665
• trivial_1 ( ) : 0

Upper bounds

• Ahlswede_Aydinian ( 0, 7 ) : 23087367704084630526165300
• anticode ( ) : 23087367704084630526165300
• ilp_1 ( 1 ) : 23087367704084630526165300
• ilp_2 ( 5 ) : 23087367704084630526165300
• ilp_3 ( 7 ) : 23087367704084630526165300
• ilp_4 ( 8 ) : 23087367704084630526165300
• improved_johnson ( ) : 23087367704084630526165300
• johnson_1 ( ) : 23087367704084630526165300
• johnson_2 ( ) : 23087367704084630526165300
• linear_programming_bound ( ) : 23087367704084630526165300
• singleton ( ) : 26935000671139346639437914
• all_subs ( ) : 3168902828959544132129870582100
• sphere_packing ( ) : 3168902828959544132129870582100

Bound for codes containing the lifted MRD code

Do you have better bounds?