* forgot to output final values, resulting in erroneous readouts
* switched back to high_resolution_clock, since wrong values were
  unrelated to the steadiness of the clock