changed: f̂ now internally handle the operating points
#1597
| Job | Run time |
|---|---|
| 40m 21s | |
| 50m 56s | |
| 1h 21m 27s | |
| 2h 52m 44s |
f̂ now internally handle the operating points
#1597
| Job | Run time |
|---|---|
| 40m 21s | |
| 50m 56s | |
| 1h 21m 27s | |
| 2h 52m 44s |