Merge pull request #290 from jmid/alcotest-lower-bound #390
| Job | Run time |
|---|---|
| 7m 55s | |
| 8m 17s | |
| 8m 37s | |
| 7m 44s | |
| 4m 3s | |
| 4m 13s | |
| 4m 21s | |
| 4m 7s | |
| 4m 51s | |
| 5m 4s | |
| 5m 7s | |
| 1h 4m 19s |
| Job | Run time |
|---|---|
| 7m 55s | |
| 8m 17s | |
| 8m 37s | |
| 7m 44s | |
| 4m 3s | |
| 4m 13s | |
| 4m 21s | |
| 4m 7s | |
| 4m 51s | |
| 5m 4s | |
| 5m 7s | |
| 1h 4m 19s |