diff --git a/timeit.md b/timeit.md index 37ade54be4c671196a316a954805518b65424b37..14408456e52a0ab2b33debb34d094225a7194ce0 100644 --- a/timeit.md +++ b/timeit.md @@ -39,10 +39,11 @@ Measured on snehulak (Intel i5 5257U) - commit 8126213c7cd5: 24.4 s - commit 528d64b9fb6c (api change): 24 s -- commit ac504e4195e5 (SAVE_MEMORY=1): 16.8 s +- commit ac504e4195e5 (`SAVE_MEMORY=1`): 16.8 s - commit 6d90f293bca8 (small changes): 15.8 s - commit f5b43ca8ec1b (+ unroll loops): 14.8 s -- commit f5b43ca8ec1b + OPTIMIZED_MAPPINGS: 13.7 s -- not much better +- commit f5b43ca8ec1b + `OPTIMIZED_MAPPINGS`: 13.7 s -- not much better hence it stays off by default - commit 7ff7af386ea5: 13 s +- commit 73ae7e2d75f6 (`USE_NEXT_FORB=1`): 6.63 s