aboutsummaryrefslogtreecommitdiff
path: root/benchmarks/plot-benchmarks.py
diff options
context:
space:
mode:
Diffstat (limited to 'benchmarks/plot-benchmarks.py')
-rw-r--r--benchmarks/plot-benchmarks.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/benchmarks/plot-benchmarks.py b/benchmarks/plot-benchmarks.py
index 76d5d08..46031c6 100644
--- a/benchmarks/plot-benchmarks.py
+++ b/benchmarks/plot-benchmarks.py
@@ -29,7 +29,7 @@ def print_row(solver_name, solver_size, dict, mul_by_size, superflip_star):
29 solver_gib = solver_size / (2**30) 29 solver_gib = solver_size / (2**30)
30 m = solver_gib if mul_by_size else 1 30 m = solver_gib if mul_by_size else 1
31 s = " (a) " if superflip_star else " " 31 s = " (a) " if superflip_star else " "
32 cols = [f"{solver_name: <10}", f"{solver_gib:>4.1f} Gib"] + [ 32 cols = [f"{solver_name: <10}", f"{solver_gib:>4.1f} GiB"] + [
33 f"{dict[key]*m/25:>8.2f}" if key in dict else " " 33 f"{dict[key]*m/25:>8.2f}" if key in dict else " "
34 for key in [17, 18, 19, 20] 34 for key in [17, 18, 19, 20]
35 ] + [ 35 ] + [

Generated with cgit - Back to sebastiano.tronto.net