There’s a repository targeted at comparing shrinking behaviour of various PBT libraries: https://github.com/jlink/shrinking-challenge Would be great to have junit-quickcheck therein. We’re happy to take PRs.