Rate       IRS_map    IRS_while  Split
IRS_map    16544/s    --         0.64       0.51
IRS_while  25775/s    1.56       --         0.79
Split      32686/s    1.98       1.27       --