4 ms·

I've been tempted to learn this so I could port my Pips solver to it, solely because PipSqueak would be a good name.