do not ignore explicitly given mantissa width #337
| Job | Run time |
|---|---|
| 29m 25s | |
| 17m 10s | |
| 22m 1s | |
| 8m 27s | |
| 11m 4s | |
| 11m 24s | |
| 14m 46s | |
| 9m 3s | |
| 12m 9s | |
| 8m 21s | |
| 10m 59s | |
| 16m 47s | |
| 12m 9s | |
| 15m 1s | |
| 13m 29s | |
| 3h 32m 15s |
| Job | Run time |
|---|---|
| 29m 25s | |
| 17m 10s | |
| 22m 1s | |
| 8m 27s | |
| 11m 4s | |
| 11m 24s | |
| 14m 46s | |
| 9m 3s | |
| 12m 9s | |
| 8m 21s | |
| 10m 59s | |
| 16m 47s | |
| 12m 9s | |
| 15m 1s | |
| 13m 29s | |
| 3h 32m 15s |