WIP: Fix n <= 0 constraint being reported as impossible.
#118
| Job | Run time |
|---|---|
| 2m 20s | |
| 2m 28s | |
| 2m 29s | |
| 2m 49s | |
| 1m 51s | |
| 1m 42s | |
| 2m 5s | |
| 1m 56s | |
| 1m 39s | |
| 1m 53s | |
| 1m 56s | |
| 2m 0s | |
| 25m 8s |