Rate exists_ggg exists_srk     exists
exists_ggg   5394/s         --       -68%       -98%
exists_srk  16784/s       211%         --       -92%
exists     219707/s      3973%      1209%         --