Alistaire Running v3.1.3; the Search stats > "Elapsed time" went from 25600 to 51200 (2x) when pressing pause. Unpausing it returned back to 25600 and counted up as normal. Running and pausing again didn't reproduce this bug, so it's maybe a display bug?
admin Indeed that was a display bug! It has been fixed in the v3.1.4 patch release. https://turingbotsoftware.com/changelog.html#v3.1.4
