The unit is milliseconds.

- debug
+---------+-------+---------+
| test_no |  HEAD | patched |
+---------+-------+---------+
|   016   |  3425 |   3118  |
|   018   |  4873 |   3159  |
|   019   |  3241 |   3116  |
|   022   |  8273 |   7373  |
|   023   |  7156 |   4823  |
|         |       |         |
|   sum   | 26968 |  21589  |
+---------+-------+---------+


- release
+---------+-------+---------+
| test_no |  HEAD | patched |
+---------+-------+---------+
|   016   |  1776 |   1649  |
|   018   |  2248 |   1689  |
|   019   |  1653 |   1648  |
|   022   |  4858 |   4462  |
|   023   |  3992 |   3292  |
|         |       |         |
|   sum   | 14527 |  12740  |
+---------+-------+---------+