diff --git a/benchmark/parse_log.py b/benchmark/parse_log.py
index 86c6ad3adee9686ffdc43135e96180c6c39bcb70..f5474f285b54eeddaae2ac092d63228cff2d67bc 100644
--- a/benchmark/parse_log.py
+++ b/benchmark/parse_log.py
@@ -9,7 +9,7 @@ def parse(file, parse_times = True):
     '''[file] should be a file-like object, an iterator over the lines.
        yields a list of Result objects.'''
     commit_re = re.compile("^# ([a-z0-9]+)$")
-    time_re = re.compile("^([a-zA-Z0-9_/-]+) \(user: ([0-9.]+) mem: ([0-9]+) ko\)$")
+    time_re = re.compile("^([a-zA-Z0-9_/-]+) \((real|user): ([0-9.]+).* mem: ([0-9]+) ko\)$")
     commit = None
     times = None
     for line in file: