Yep, single jack = one man double jack = 2 men
Double used a much heavier sledge than did single.
Having used single jack to break rocks in concrete (when my carbide bits won't go through) using single jack, I for sure wouldn't want to try earning my living that way.
Harry K