| toJDKRandom() |   | 38% |   | 25% | 8 | 9 | 4 | 13 | 0 | 1 |
| nextSecondsAndNanos(long, long, long, long) |  | 100% | | n/a | 0 | 1 | 0 | 9 | 0 | 1 |
| nextInstant(Instant, Instant) |  | 100% |  | 100% | 0 | 2 | 0 | 9 | 0 | 1 |
| nextDuration(Duration, Duration) |  | 100% |  | 100% | 0 | 2 | 0 | 9 | 0 | 1 |
| nextDouble(double, double) |  | 100% |  | 100% | 0 | 2 | 0 | 2 | 0 | 1 |
| nextFloat(float, float) |  | 100% |  | 100% | 0 | 2 | 0 | 2 | 0 | 1 |
| nextChar(char, char) |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| nextLong(long, long) |  | 100% |  | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| SourceOfRandomness(Random) |  | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 |
| choose(Collection) |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| nextBytes(int) |  | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| nextByte(byte, byte) |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| nextShort(short, short) |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| setSeed(long) |  | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| nextInt(int, int) |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| nextBigInteger(int) |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| choose(Object[]) |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| static {...} |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| nextBytes(byte[]) |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| nextInt(int) |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| nextBoolean() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| nextDouble() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| nextFloat() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| nextGaussian() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| nextInt() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| nextLong() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| seed() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |