4 ms·

It would be better to compare it to xz, which is significantly slower (and compresses better) than gzip.