From f283c08db86777fe77bdf00d3d70687107a376d9 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Fri, 19 Dec 2025 07:37:30 +0100 Subject: Fix typo in benchmarks --- benchmarks/plot-benchmarks.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'benchmarks/plot-benchmarks.py') 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): solver_gib = solver_size / (2**30) m = solver_gib if mul_by_size else 1 s = " (a) " if superflip_star else " " - cols = [f"{solver_name: <10}", f"{solver_gib:>4.1f} Gib"] + [ + cols = [f"{solver_name: <10}", f"{solver_gib:>4.1f} GiB"] + [ f"{dict[key]*m/25:>8.2f}" if key in dict else " " for key in [17, 18, 19, 20] ] + [ -- cgit v1.3