4 ms·Sharing this as a datapoint, not a benchmarkby GodelNumbering 3mo agoSharing this as a datapoint, not a benchmark