From 856526e7a627472a9f335c54c065f5ea640881f6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Radek=20Hu=C5=A1ek?= <PitelVonSacek@gmail.com>
Date: Wed, 9 Dec 2015 21:11:03 +0100
Subject: [PATCH] Time measurements

---
 timeit.md | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/timeit.md b/timeit.md
index 37ade54..1440845 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
 
-- 
GitLab