I can run the time command easily enough, but the normal redirection symbols in Bash don't seem to have any effect on time's ability to output to STDOUT.
Some results have been hidden because they may be inaccessible to you
Show inaccessible resultsSome results have been hidden because they may be inaccessible to you
Show inaccessible results