Float trait: shorten prefixes, rename EXP_MAX to EXP_SAT #1611
| Job | Run time |
|---|---|
| 2m 41s | |
| 18s | |
| 4s | |
| 7m 35s | |
| 2m 7s | |
| 7m 32s | |
| 7m 32s | |
| 5m 39s | |
| 5m 44s | |
| 6m 35s | |
| 6m 56s | |
| 6m 53s | |
| 6m 27s | |
| 6m 57s | |
| 5m 4s | |
| 5m 6s | |
| 5m 2s | |
| 5m 0s | |
| 5m 32s | |
| 5m 33s | |
| 4m 3s | |
| 4m 29s | |
| 4m 30s | |
| 5m 9s | |
| 4m 51s | |
| 1s | |
| 2h 7m 20s |
| Job | Run time |
|---|---|
| 2m 41s | |
| 18s | |
| 4s | |
| 7m 35s | |
| 2m 7s | |
| 7m 32s | |
| 7m 32s | |
| 5m 39s | |
| 5m 44s | |
| 6m 35s | |
| 6m 56s | |
| 6m 53s | |
| 6m 27s | |
| 6m 57s | |
| 5m 4s | |
| 5m 6s | |
| 5m 2s | |
| 5m 0s | |
| 5m 32s | |
| 5m 33s | |
| 4m 3s | |
| 4m 29s | |
| 4m 30s | |
| 5m 9s | |
| 4m 51s | |
| 1s | |
| 2h 7m 20s |