| createRandomSegments(int) |  | 0% |  | 0% | 2 | 2 | 8 | 8 | 1 | 1 |
| createNodedSegments(int) |  | 0% |  | 0% | 2 | 2 | 10 | 10 | 1 | 1 |
| checkTriplets(List) |  | 0% |  | 0% | 4 | 4 | 5 | 5 | 1 | 1 |
| isTransitive(DepthSegment, DepthSegment, DepthSegment) |  | 0% |  | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
| query(List, double) |  | 0% |  | 0% | 4 | 4 | 6 | 6 | 1 | 1 |
| reportError(String, DepthSegment, DepthSegment) |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| run() |  | 0% |  | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| checkCompareContract(DepthSegment, DepthSegment, DepthSegment) |  | 0% |  | 0% | 3 | 3 | 6 | 6 | 1 | 1 |
| runCompare(int) |  | 0% |  | 0% | 2 | 2 | 6 | 6 | 1 | 1 |
| isSymmetric(DepthSegment, DepthSegment) |  | 0% |  | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
| round(double, double) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| DepthSegmentStressTest() |  | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| randint(int) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| main(String[]) |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| static {...} |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |