I would guess the pulley size would be chosen to charge at normal idle (6-700 rpm), at least with only minimal accessories. Yes, that's much faster than cranking speed.