Faster --stats

cache_utils/analyse_csv.py

@@ -163,7 +163,8 @@ columns = [
     ("helper_core_fixed", "helper_core", "core"),
     ("helper_ht", "helper_core", "hthread"),
 ]
-for (col, icol, key) in columns:
+if not args.stats:
+    for (col, icol, key) in columns:
         df[col] = df[icol].apply(remap_core(key))
         print_timed(f"Column {col} added")
 
@@ -244,7 +245,7 @@ def export_stats_csv():
         """
         Compute the statistic for 1 helper core/main core/slice/column
         - median : default, not influenced by errors
-        - average : better accuracy when observing floor steps in the results
+        - average : better precision when observing floor steps in the results
         """
         # return wq.median(x["time"], x[key])
         return np.average(x[key], weights=x["time"])