4 ms·

Well this is short enough that at the very least, it shouldn't take long at all to assess the correctness.