WIP: Account for constant equivalence properties in union, tests #32816
Job | Run time |
---|---|
8m 17s | |
2m 42s | |
7m 54s | |
7m 27s | |
24m 2s | |
7m 25s | |
41s | |
49s | |
13m 26s | |
4m 3s | |
4m 7s | |
9m 21s | |
11m 33s | |
3m 33s | |
12m 22s | |
2m 58s | |
2m 29s | |
2m 46s | |
14m 14s | |
2m 53s | |
2h 23m 2s |