It does sound like a mason that can lift 5 bricks at a time is more productive than a machine that can lay bricks 5 times faster in a synthetic benchmark.