Core: fixed timings in Optimizer. For some reason, the bug did not appear on Windows.
Core: fixed timings in Optimizer.
For some reason, the bug did not appear on Windows.

spirit-code/spirit,spirit-code/spirit,spirit-code/spirit,spirit-code/spirit,spirit-code/spirit,spirit-code/spirit