diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2025-12-19 07:37:30 +0100 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2025-12-19 07:37:30 +0100 |
| commit | f283c08db86777fe77bdf00d3d70687107a376d9 (patch) | |
| tree | 6aecd9f577c1e1e21918d171a7005f8419310d87 /benchmarks/plot-benchmarks.py | |
| parent | d5c60236c06e67e8da45e63843b37e5d619e9d7b (diff) | |
| download | nissy-core-f283c08db86777fe77bdf00d3d70687107a376d9.tar.gz nissy-core-f283c08db86777fe77bdf00d3d70687107a376d9.zip | |
Fix typo in benchmarks
Diffstat (limited to 'benchmarks/plot-benchmarks.py')
| -rw-r--r-- | benchmarks/plot-benchmarks.py | 2 |
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 | ] + [ |