Fix #999: Facilitate collection of logged running times
Merge pull request #1003 from gzm0/time-log

Fix #999: Facilitate collection of logged running times