2 ms·

I don't know about the internals of Symbolics ones but the MIT/LMI/TI machines didn't have any hardware assistance for bounds checking.