| homotopy | 165 | 15 | 10.643 | 0.001912 | 1607.00176,1607.00636,etc |
| boundedness | 73 | 16 | 4.667 | 0.001548 | 1607.00268,1607.00429,etc |
| matrices | 695 | 85 | 8.119 | 0.001547 | 1607.00050,1607.00171,etc |
| codeword | 130 | 15 | 9.071 | 0.001493 | 1607.00089,1607.00266,etc |
| codewords | 140 | 16 | 8.533 | 0.001466 | 1607.00089,1607.00266,etc |
| polytope | 106 | 14 | 7.692 | 0.001295 | 1607.00047,1607.00347,etc |
| langle | 85 | 12 | 6.909 | 0.001068 | 1607.00102,1607.01144,etc |
| ll | 145 | 26 | 5.68 | 0.001013 | 1607.00131,1607.00243,etc |
| morphism | 330 | 41 | 7.35 | 0.001012 | 1607.00196,1607.00481,etc |
| diffeomorphism | 103 | 13 | 8.333 | 0.000967 | 1607.00324,1607.00873,etc |
| cohomology | 195 | 23 | 8.318 | 0.000913 | 1607.00978,1607.01052,etc |
| nontrivial | 75 | 17 | 4.5 | 0.000897 | 1607.00054,1607.00415,etc |
| codimension | 76 | 12 | 6.636 | 0.000859 | 1607.01262,1607.01324,etc |
| pairing | 130 | 11 | 12.5 | 0.000851 | 1607.00339,1607.01144,etc |
| optimality | 84 | 19 | 4.222 | 0.00075 | 1607.00600,1607.00942,etc |
| robustness | 79 | 14 | 5.692 | 0.000728 | 1607.00200,1607.00559,etc |
| endpoints | 109 | 19 | 5.778 | 0.000717 | 1607.00314,1607.00339,etc |
| tuple | 125 | 19 | 6.444 | 0.00063 | 1607.00997,1607.01588,etc |
| morphisms | 194 | 21 | 9.25 | 0.000622 | 1607.00196,1607.00426,etc |
| monotonicity | 104 | 12 | 8.636 | 0.000566 | 1607.00429,1607.00575,etc |
| simplicial | 105 | 16 | 6.4 | 0.000546 | 1607.00196,1607.00347,etc |
| minimality | 60 | 13 | 4.583 | 0.000524 | 1607.00054,1607.00571,etc |
| equivariant | 60 | 13 | 4.667 | 0.00033 | 1607.00196,1607.01000,etc |