| optimality | 108 | 14 | 8.077 | 0.001758 | 1610.00585,1610.00663,etc |
| ll | 125 | 20 | 6.263 | 0.001418 | 1610.00035,1610.00148,etc |
| pointwise | 58 | 11 | 5.5 | 0.001279 | 1610.00322,1610.00511,etc |
| polytope | 108 | 13 | 8.667 | 0.001236 | 1610.00298,1610.00341,etc |
| matrices | 458 | 68 | 6.791 | 0.00119 | 1610.00027,1610.00084,etc |
| diffeomorphism | 135 | 19 | 6.889 | 0.001177 | 1610.00491,1610.01128,etc |
| homotopy | 208 | 17 | 12.812 | 0.001141 | 1610.00158,1610.00686,etc |
| simplicial | 100 | 16 | 6.2 | 0.001134 | 1610.00441,1610.01028,etc |
| cohomology | 106 | 18 | 5.882 | 0.001111 | 1610.00092,1610.00158,etc |
| tuple | 96 | 18 | 5.471 | 0.001065 | 1610.00298,1610.00370,etc |
| morphism | 214 | 26 | 8.24 | 0.001008 | 1610.00212,1610.00441,etc |
| monotonicity | 59 | 12 | 5.091 | 0.000964 | 1610.00282,1610.00821,etc |
| endpoints | 118 | 18 | 6.176 | 0.000917 | 1610.00686,1610.01839,etc |
| fibration | 78 | 11 | 6.9 | 0.00088 | 1610.00441,1610.02541,etc |
| pairwise | 57 | 13 | 4.5 | 0.000837 | 1610.00686,1610.00792,etc |
| codimension | 83 | 14 | 5.615 | 0.000723 | 1610.01310,1610.01596,etc |
| morphisms | 138 | 19 | 7.389 | 0.000703 | 1610.00212,1610.00441,etc |
| homeomorphic | 133 | 15 | 6.786 | 0.000569 | 1610.00370,1610.00615,etc |
| equivariant | 61 | 12 | 5.273 | 0.000509 | 1610.01862,1610.02539,etc |
| tuples | 58 | 13 | 4.583 | 0.00048 | 1610.00226,1610.00370,etc |
| minimality | 69 | 13 | 5.167 | 0.000468 | 1610.00837,1610.02469,etc |
| nontrivial | 50 | 14 | 3.615 | 0.000442 | 1610.00140,1610.00807,etc |