| ComparativeEstimate.java |  | 0% | | 0% | 3 | 3 | 47 | 47 | 2 | 2 | 1 | 1 |
| GautschiConvexProperty.java | | 0% | | 0% | 5 | 5 | 35 | 35 | 3 | 3 | 1 | 1 |
| ExponentialConvexProperty.java | | 0% | | 0% | 6 | 6 | 32 | 32 | 3 | 3 | 1 | 1 |
| BigPiMultiplicationProperty.java | | 0% | | 0% | 5 | 5 | 29 | 29 | 3 | 3 | 1 | 1 |
| MultiplicationProperty.java | | 0% | | 0% | 5 | 5 | 29 | 29 | 3 | 3 | 1 | 1 |
| StretchedExponentialMomentEstimate.java | | 0% | | 0% | 6 | 6 | 40 | 40 | 3 | 3 | 1 | 1 |
| UpperAsymptoteProperty.java | | 0% | | 0% | 5 | 5 | 30 | 30 | 3 | 3 | 1 | 1 |
| PowerSourceExponentialDecayEstimate.java | | 0% | | 0% | 5 | 5 | 38 | 38 | 3 | 3 | 1 | 1 |
| SpacedPointConvexProperty.java | | 0% | | 0% | 5 | 5 | 29 | 29 | 3 | 3 | 1 | 1 |
| HigherDerivativeEstimate.java | | 0% | | 0% | 4 | 4 | 21 | 21 | 2 | 2 | 1 | 1 |
| FourierBlagouchineSeriesEstimate.java | | 0% | | 0% | 3 | 3 | 29 | 29 | 2 | 2 | 1 | 1 |
| RiemannZetaEstimate.java | | 0% | | 0% | 3 | 3 | 18 | 18 | 2 | 2 | 1 | 1 |
| LogarithmicConvexProperty.java | | 0% | | 0% | 4 | 4 | 26 | 26 | 3 | 3 | 1 | 1 |
| ReflectionProperty.java | | 0% | | 0% | 3 | 3 | 23 | 23 | 2 | 2 | 1 | 1 |
| DuplicationProperty.java | | 0% | | 0% | 3 | 3 | 23 | 23 | 2 | 2 | 1 | 1 |
| BigPiReflectionProperty.java | | 0% | | 0% | 3 | 3 | 23 | 23 | 2 | 2 | 1 | 1 |
| RiemannZetaAnalyticContinuity.java | | 0% | | 0% | 3 | 3 | 23 | 23 | 2 | 2 | 1 | 1 |
| JensenConvexProperty.java | | 0% | | 0% | 4 | 4 | 30 | 30 | 2 | 2 | 1 | 1 |
| FirstDerivativeEstimate.java | | 0% | | 0% | 3 | 3 | 18 | 18 | 2 | 2 | 1 | 1 |