diff options
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 | ] + [ |