3 ms·

And, true to form, it often works in the other direction too! Especially with CLP(FD) and other Prolog constraints.