3 ms·

According to article 20 minutes

• chrismorgan 3y ago
  That’s for running it 100 times, spread across four cores, i.e. multiplied by 25. About 48 seconds is the actual claimed figure.