3 ms·

I think they get most of the speedup from just being multi-threaded. A fair comparison would use a Redis cluster.