How many minutes of active work, though? Presumably OPs 13 minute wait time involves about 30 seconds of work and 12 1/2 minutes of doing whatever they feel like.
(in any case let’s be honest, you’re both optimising for very different parameters. Which is fine!)
(in any case let’s be honest, you’re both optimising for very different parameters. Which is fine!)