Rate       IRS_map    Split      IRS_while
IRS_map    7682/s     --         0.83       0.81
Split      9284/s     1.21       --         0.97
IRS_while  9529/s     1.24       1.03       --