5 ms·roughly, much better: https://www.swebench.com https://www.swebench.comby scosman 10mo agoroughly, much better: https://www.swebench.com https://www.swebench.com