do not ignore explicitly given mantissa width #336
| Job | Run time |
|---|---|
| 30m 52s | |
| 20m 38s | |
| 20m 25s | |
| 10m 57s | |
| 11m 54s | |
| 11m 21s | |
| 15m 23s | |
| 8m 53s | |
| 12m 10s | |
| 8m 25s | |
| 12m 4s | |
| 14m 53s | |
| 12m 0s | |
| 14m 53s | |
| 14m 25s | |
| 3h 39m 13s |
| Job | Run time |
|---|---|
| 30m 52s | |
| 20m 38s | |
| 20m 25s | |
| 10m 57s | |
| 11m 54s | |
| 11m 21s | |
| 15m 23s | |
| 8m 53s | |
| 12m 10s | |
| 8m 25s | |
| 12m 4s | |
| 14m 53s | |
| 12m 0s | |
| 14m 53s | |
| 14m 25s | |
| 3h 39m 13s |