4 ms·

You might check pjscott's comment, sibling to the parent comment. There's a lot more to it, but a bloom filter's already been considered for this.