3 ms·

For the moment, it is in the sat4j ballpark. Parallelization will probably happen in the remote future.