dstehle/fplll — pull request #3 by malb (2014-10-07 14:52:51+00:00)
Title: Fix bug in reporting of cputime when BKZ_VERBOSE is set

We forgot to subtract cputimeStart.