Give PatternMatchingInstanceof a second run over EP, with the improvements in unknown commit. #7012
Job | Run time |
---|---|
5m 0s | |
4m 58s | |
4m 32s | |
9m 51s | |
5m 29s | |
4m 22s | |
0s | |
0s | |
34m 12s |
Job | Run time |
---|---|
5m 0s | |
4m 58s | |
4m 32s | |
9m 51s | |
5m 29s | |
4m 22s | |
0s | |
0s | |
34m 12s |