- paper: Update to 1f31ee5ebe45d97a596a4429d9871e3f8910cd28 (Do not record task execution time as TickTime individually)