3 ms·

I'm not an expert either, but I do know it's per satellite, and uses several data points per satellite.