Rate   IRS_map IRS_while     Split
IRS_map   4936/s        --       -7%       -8%
IRS_while 5303/s        7%        --       -2%
Split     5394/s        9%        2%        --