Rate       ori m-elegant     ori++      evdb
ori        6234/s        --      -36%      -40%      -51%
m-elegant  9690/s       55%        --       -7%      -24%
ori++     10373/s       66%        7%        --      -18%
evdb      12690/s      104%       31%       22%        --