Relax upper bound of hedgehog #1089
Job | Run time |
---|---|
15s | |
1m 20s | |
8m 38s | |
8m 57s | |
8m 51s | |
8m 33s | |
7m 28s | |
7m 26s | |
7m 44s | |
7m 41s | |
7m 39s | |
5m 35s | |
8m 20s | |
9m 3s | |
8m 23s | |
7m 52s | |
8m 54s | |
10m 21s | |
9m 11s | |
10m 19s | |
9m 26s | |
9m 5s | |
8m 22s | |
8m 47s | |
8m 49s | |
8m 53s | |
3h 25m 52s |