Comparing shrinking approaches and performance across different PBT libraries - View it on GitHub