Better optimization of intermediate polynomials #12741
Job | Run time |
---|---|
4m 34s | |
22m 55s | |
28m 29s | |
36m 20s | |
3m 20s | |
6m 56s | |
3m 14s | |
13m 34s | |
9m 6s | |
13m 51s | |
13m 50s | |
7m 58s | |
2m 35s | |
13m 51s | |
10m 15s | |
3h 10m 48s |
Job | Run time |
---|---|
4m 34s | |
22m 55s | |
28m 29s | |
36m 20s | |
3m 20s | |
6m 56s | |
3m 14s | |
13m 34s | |
9m 6s | |
13m 51s | |
13m 50s | |
7m 58s | |
2m 35s | |
13m 51s | |
10m 15s | |
3h 10m 48s |