| AlzerDifferenceProperty.java |  | 0% | | 0% | 5 | 5 | 29 | 29 | 3 | 3 | 1 | 1 |
| SaddlePointEstimate.java | | 0% | | 0% | 3 | 3 | 27 | 27 | 2 | 2 | 1 | 1 |
| ZeroToOneEstimate.java | | 0% | | 0% | 3 | 3 | 38 | 38 | 2 | 2 | 1 | 1 |
| BernsteinBinetBoundProperty.java | | 0% | | 0% | 4 | 4 | 29 | 29 | 3 | 3 | 1 | 1 |
| ElezovicGiordanoPecaricBoundProperty.java | | 0% | | 0% | 4 | 4 | 29 | 29 | 3 | 3 | 1 | 1 |
| AbramowitzStegunEstimate.java | | 0% | | 0% | 4 | 4 | 20 | 20 | 2 | 2 | 1 | 1 |
| AlzerJamesonProperty.java | | 0% | | 0% | 4 | 4 | 24 | 24 | 3 | 3 | 1 | 1 |
| ZeroOneBoundProperty.java | | 0% | | 0% | 4 | 4 | 29 | 29 | 3 | 3 | 1 | 1 |
| QuarticReciprocalSumProperty.java | | 0% | | 0% | 3 | 3 | 24 | 24 | 2 | 2 | 1 | 1 |
| QuadraticPolynomialReciprocalSumProperty1.java | | 0% | | 0% | 3 | 3 | 24 | 24 | 2 | 2 | 1 | 1 |
| QuadraticPolynomialReciprocalSumProperty2.java | | 0% | | 0% | 3 | 3 | 24 | 24 | 2 | 2 | 1 | 1 |
| CubicReciprocalSumProperty.java | | 0% | | 0% | 3 | 3 | 23 | 23 | 2 | 2 | 1 | 1 |
| QuadraticReciprocalSumProperty.java | | 0% | | 0% | 3 | 3 | 24 | 24 | 2 | 2 | 1 | 1 |
| AsymptoteBoundProperty.java | | 0% | | 0% | 4 | 4 | 29 | 29 | 3 | 3 | 1 | 1 |
| UnitImaginaryEstimate.java | | 0% | | 0% | 3 | 3 | 20 | 20 | 2 | 2 | 1 | 1 |
| TaylorRiemannZetaEstimate.java | | 0% | | 0% | 3 | 3 | 26 | 26 | 2 | 2 | 1 | 1 |
| ReflectionProperty.java | | 0% | | 0% | 4 | 4 | 24 | 24 | 3 | 3 | 1 | 1 |
| HalfIntegerEstimate.java | | 0% | | 0% | 3 | 3 | 19 | 19 | 2 | 2 | 1 | 1 |
| BlagouchineSummationProperty4.java | | 0% | | 0% | 6 | 6 | 29 | 29 | 3 | 3 | 1 | 1 |
| BlagouchineSummationProperty3.java | | 0% | | 0% | 6 | 6 | 29 | 29 | 3 | 3 | 1 | 1 |
| BlagouchineSummationProperty2.java | | 0% | | 0% | 6 | 6 | 29 | 29 | 3 | 3 | 1 | 1 |
| BlagouchineSummationProperty5.java | | 0% | | 0% | 6 | 6 | 29 | 29 | 3 | 3 | 1 | 1 |
| HarmonicEstimate.java | | 0% | | 0% | 3 | 3 | 18 | 18 | 2 | 2 | 1 | 1 |
| BlagouchineSummationProperty8.java | | 0% | | 0% | 5 | 5 | 28 | 28 | 3 | 3 | 1 | 1 |
| BlagouchineSummationProperty9.java | | 0% | | 0% | 5 | 5 | 28 | 28 | 3 | 3 | 1 | 1 |
| BinetFirstIntegralEstimate.java | | 0% | | 0% | 3 | 3 | 25 | 25 | 2 | 2 | 1 | 1 |
| ExponentialAsymptoticEstimate.java | | 0% | | 0% | 3 | 3 | 25 | 25 | 2 | 2 | 1 | 1 |
| ExponentialAsymptoteHalfShiftedEstimate.java | | 0% | | 0% | 3 | 3 | 25 | 25 | 2 | 2 | 1 | 1 |
| GaussIntegralEulerMascheroniEstimate.java | | 0% | | 0% | 3 | 3 | 25 | 25 | 2 | 2 | 1 | 1 |
| DirichletIntegralEstimate.java | | 0% | | 0% | 3 | 3 | 25 | 25 | 2 | 2 | 1 | 1 |
| AsymptoticEstimate.java | | 0% | | 0% | 3 | 3 | 25 | 25 | 2 | 2 | 1 | 1 |
| GaussIntegralEstimate.java | | 0% | | 0% | 3 | 3 | 25 | 25 | 2 | 2 | 1 | 1 |
| BinetSecondIntegralEstimate.java | | 0% | | 0% | 3 | 3 | 25 | 25 | 2 | 2 | 1 | 1 |
| BlagouchineSummationProperty10.java | | 0% | | 0% | 4 | 4 | 24 | 24 | 3 | 3 | 1 | 1 |
| BlagouchineSummationProperty1.java | | 0% | | 0% | 4 | 4 | 24 | 24 | 3 | 3 | 1 | 1 |
| BlagouchineSummationProperty7.java | | 0% | | 0% | 4 | 4 | 24 | 24 | 3 | 3 | 1 | 1 |
| BlagouchineSummationProperty6.java | | 0% | | 0% | 4 | 4 | 24 | 24 | 3 | 3 | 1 | 1 |