Generalize one-sided limiting #168
| Job | Run time |
|---|---|
| 46m 57s | |
| 40m 30s | |
| 37m 20s | |
| 30m 54s | |
| 24m 34s | |
| 27m 49s | |
| 37m 19s | |
| 30m 6s | |
| 33m 0s | |
| 24m 2s | |
| 24m 59s | |
| 1h 0m 17s | |
| 56m 45s | |
| 23m 39s | |
| 31m 15s | |
| 30m 17s | |
| 21m 35s | |
| 22m 29s | |
| 56m 40s | |
| 28m 59s | |
| 22m 45s | |
| 59m 2s | |
| 41m 53s | |
| 2m 18s | |
| 2m 50s | |
| 53s | |
| 0s | |
| 13h 39m 7s |