fix: iterative unification #15997
Job | Run time |
---|---|
1m 26s | |
2m 20s | |
1m 25s | |
3m 54s | |
1m 41s | |
42s | |
1m 37s | |
16s | |
1m 6s | |
1m 7s | |
0s | |
2m 13s | |
2m 32s | |
2m 9s | |
1s | |
22m 29s |
Job | Run time |
---|---|
1m 26s | |
2m 20s | |
1m 25s | |
3m 54s | |
1m 41s | |
42s | |
1m 37s | |
16s | |
1m 6s | |
1m 7s | |
0s | |
2m 13s | |
2m 32s | |
2m 9s | |
1s | |
22m 29s |