Toplist

This tables schow how often a single constraint yields the best known value for each set of parameters. A star (*) symbolizes an exact constraint.

Lower bound

1. layer_construction: 0.790
2. improved_cdc_lower_bound: 0.743
3. ef_computation: 0.366
4. cdc_lower_bound: 0.332
5. cdc_average_argument: 0.158
6. echelon_ferrers: 0.153
7. gilbert_varshamov: 0.147
8. trivial_dle1: 0.100*
9. d2: 0.095*
10. HKK_theorem_3_1_i: 0.053*
11. trivial_4: 0.053
12. neqdeven: 0.047*
13. neven_deqnm1: 0.042*
14. nodd_deqnm1: 0.042*
15. nodd_deqnm2_l: 0.036
16. HKK_theorem_3_3_i_lower_bound_mdc: 0.032
17. nodd_deqnm2_e: 0.006*
18. n5_d3_CPS: 0.005*
19. HKK_theorem_3_3_i_lower_bound_A_q_6_4: 0.005
20. trivial_2: 0.000

Upper bound

1. improved_cdc_upper_bound: 0.432
2. relax_d: 0.240
3. special_improved_cdc_upper_bound: 0.205
4. cdc_upper_bound: 0.100
5. trivial_3: 0.100
6. trivial_dle1: 0.100*
7. d2: 0.095*
8. heinlein_ihringer_semidefinite_programming: 0.071
9. Etzion_Vardy_ilp: 0.059
10. HKK_theorem_3_1_i: 0.053*
11. nodd_deqn: 0.053
12. neqdeven: 0.047*
13. neven_deqnm1: 0.042*
14. nodd_deqnm1: 0.042*
15. nodd_deqnm2_u: 0.042
16. HKK_theorem_3_3_i_upper_bound_mdc: 0.032
17. johnson_MDC_Lemma_4: 0.031
18. johnson_MDC_Lemma_6: 0.026
19. Ahlswede_Aydinian_ilp: 0.015
20. nodd_deqnm2_e: 0.006*
21. n5_d3_CPS: 0.005*
22. HKK_theorem_3_3_i_upper_bound_A_q_6_4: 0.005
23. johnson_MDC_Proposition_5: 0.005
24. special_cases_upper_notderived_2: 0.002
25. johnson_MDC_Lemma_5: 0.002
26. semidefinite_programming: 0.002
27. johnson_MDC_Lemma_2: 0.001
28. johnson_MDC_Lemma_3: 0.001
29. special_cases_upper_notderived: 0.000