From bec028d7a53083c44795dcc556dffb4e91eabe93 Mon Sep 17 00:00:00 2001
From: daviddoji <daviddoji@pm.me>
Date: Wed, 6 Oct 2021 18:47:26 +0200
Subject: [PATCH] Update timing decorator

---
 src/Python/utils.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Python/utils.py b/src/Python/utils.py
index e78b4e7..6d70861 100644
--- a/src/Python/utils.py
+++ b/src/Python/utils.py
@@ -10,7 +10,7 @@ def timeit(name):
             t0 = time.perf_counter()
             result = original(*args, **kwargs)
             t1 = time.perf_counter()
-            print(f"Time to evaluate {name}: {(t1 - t0)*1000:.3f} ms\n")
+            print(f"Time to evaluate problem {int(name[7:]):003d}: {(t1 - t0)*1000:.3f} ms\n")
             return result
         return wrapper
     return profile