Bumped linear upper bound #126
| Job | Run time |
|---|---|
| 6m 45s | |
| 19m 29s | |
| 2m 13s | |
| 6m 55s | |
| 15m 10s | |
| 2m 16s | |
| 6m 54s | |
| 12m 34s | |
| 2m 37s | |
| 6m 55s | |
| 13m 49s | |
| 2m 0s | |
| 1h 37m 37s |
| Job | Run time |
|---|---|
| 6m 45s | |
| 19m 29s | |
| 2m 13s | |
| 6m 55s | |
| 15m 10s | |
| 2m 16s | |
| 6m 54s | |
| 12m 34s | |
| 2m 37s | |
| 6m 55s | |
| 13m 49s | |
| 2m 0s | |
| 1h 37m 37s |