more generally consider NEGATIVE_SIGN a non-op term (#2401) #288
Job | Run time |
---|---|
1m 45s | |
21m 52s | |
23m 7s | |
20m 57s | |
10m 8s | |
10m 36s | |
12m 15s | |
7m 23s | |
4m 21s | |
4m 9s | |
0s | |
0s | |
1h 56m 33s |
Job | Run time |
---|---|
1m 45s | |
21m 52s | |
23m 7s | |
20m 57s | |
10m 8s | |
10m 36s | |
12m 15s | |
7m 23s | |
4m 21s | |
4m 9s | |
0s | |
0s | |
1h 56m 33s |