| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 18 of 1,815 | 99% | 0 of 40 | 100% | 6 | 55 | 6 | 296 | 6 | 35 | 0 | 6 |
| IIDSequenceSumBound.java | | 99% | | 100% | 1 | 15 | 1 | 72 | 1 | 7 | 0 | 1 |
| UnitRandomSequenceBound.java | | 99% | | 100% | 1 | 15 | 1 | 67 | 1 | 7 | 0 | 1 |
| SingleRandomSequenceBound.java | | 99% | | 100% | 1 | 12 | 1 | 75 | 1 | 11 | 0 | 1 |
| PoissonRandomSequenceBound.java | | 98% | | 100% | 1 | 6 | 1 | 27 | 1 | 4 | 0 | 1 |
| IntegerRandomSequenceBound.java | | 98% | | 100% | 1 | 4 | 1 | 32 | 1 | 3 | 0 | 1 |
| DualRandomSequenceBound.java | | 97% | n/a | 1 | 3 | 1 | 23 | 1 | 3 | 0 | 1 |