separate optimize from simplify #1865
Job | Run time |
---|---|
21s | |
5s | |
59s | |
8m 59s | |
29s | |
7m 57s | |
23s | |
3m 25s | |
1m 16s | |
5m 52s | |
5m 46s | |
6m 18s | |
6m 36s | |
9m 14s | |
8m 57s | |
9m 59s | |
8m 0s | |
22s | |
10m 13s | |
5m 59s | |
10m 18s | |
1h 51m 28s |
Job | Run time |
---|---|
21s | |
5s | |
59s | |
8m 59s | |
29s | |
7m 57s | |
23s | |
3m 25s | |
1m 16s | |
5m 52s | |
5m 46s | |
6m 18s | |
6m 36s | |
9m 14s | |
8m 57s | |
9m 59s | |
8m 0s | |
22s | |
10m 13s | |
5m 59s | |
10m 18s | |
1h 51m 28s |