3 ms·

By an unmodified solver, yes (we did have a test/train split in case people are wondering after having read the above article).