Landmark constraints can now be rejected (in case we see same landmar… #460
Job | Run time |
---|---|
23s | |
13s | |
20s | |
1h 33m 16s | |
2h 8m 16s | |
1h 53m 23s | |
10m 31s | |
14m 35s | |
14m 33s | |
14m 57s | |
14m 50s | |
6h 45m 17s |
Job | Run time |
---|---|
23s | |
13s | |
20s | |
1h 33m 16s | |
2h 8m 16s | |
1h 53m 23s | |
10m 31s | |
14m 35s | |
14m 33s | |
14m 57s | |
14m 50s | |
6h 45m 17s |