Better constraint handling #763
Job | Run time |
---|---|
6m 32s | |
6m 19s | |
10m 7s | |
7m 54s | |
6m 31s | |
5m 20s | |
7m 26s | |
9m 39s | |
6m 8s | |
5m 45s | |
7m 41s | |
7m 50s | |
1h 27m 12s |
Job | Run time |
---|---|
6m 32s | |
6m 19s | |
10m 7s | |
7m 54s | |
6m 31s | |
5m 20s | |
7m 26s | |
9m 39s | |
6m 8s | |
5m 45s | |
7m 41s | |
7m 50s | |
1h 27m 12s |