solver: tune heuristics for choosing the next dependency to resolve … #8224
Job | Run time |
---|---|
2m 25s | |
3m 2s | |
2m 18s | |
3m 7s | |
3m 36s | |
3m 45s | |
3m 36s | |
4m 51s | |
7m 18s | |
5m 39s | |
6m 44s | |
4m 21s | |
50m 42s |
Job | Run time |
---|---|
2m 25s | |
3m 2s | |
2m 18s | |
3m 7s | |
3m 36s | |
3m 45s | |
3m 36s | |
4m 51s | |
7m 18s | |
5m 39s | |
6m 44s | |
4m 21s | |
50m 42s |