-- -----------------------------------------------------------------------------
-- Computation `getCPUTime' returns the number of picoseconds CPU time
-- -----------------------------------------------------------------------------
-- Computation `getCPUTime' returns the number of picoseconds CPU time