Optimize BDD operations #8844
Job | Run time |
---|---|
7m 48s | |
7m 48s | |
1h 5m 44s | |
1h 5m 44s | |
3m 58s | |
3m 58s | |
14m 8s | |
14m 8s | |
5m 23s | |
9m 0s | |
16m 1s | |
16m 1s | |
43m 52s | |
43m 52s | |
2h 0m 13s | |
2h 0m 13s | |
2h 0m 14s | |
2h 0m 14s | |
43m 35s | |
43m 35s | |
4m 34s | |
4m 34s | |
14h 54m 37s |