Added support for instanced versions of MayInterleave predicates #1806
Job | Run time |
---|---|
2m 10s | |
4m 36s | |
0s | |
6m 21s | |
0s | |
3m 1s | |
3m 52s | |
3m 29s | |
4m 18s | |
3m 52s | |
3m 42s | |
35m 21s |
Job | Run time |
---|---|
2m 10s | |
4m 36s | |
0s | |
6m 21s | |
0s | |
3m 1s | |
3m 52s | |
3m 29s | |
4m 18s | |
3m 52s | |
3m 42s | |
35m 21s |