Give PatternMatchingInstanceof a second run over EP, with the improvements in unknown commit. #7009
| Job | Run time |
|---|---|
| 1h 31m 6s | |
| 1h 30m 18s | |
| 1h 31m 9s | |
| 1h 31m 8s | |
| 1h 31m 7s | |
| 1h 31m 7s | |
| 1s | |
| 1s | |
| 9h 5m 57s |
| Job | Run time |
|---|---|
| 1h 31m 6s | |
| 1h 30m 18s | |
| 1h 31m 9s | |
| 1h 31m 8s | |
| 1h 31m 7s | |
| 1h 31m 7s | |
| 1s | |
| 1s | |
| 9h 5m 57s |