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!)
