3 ms·

I think Anki was based on an old version of Supermemo. It would make sense if the latter had a better algorithm.