Determine when Programs are exhaustive with BoundaryTerm.
#565
| Job | Run time |
|---|---|
| 16s | |
| 33s | |
| 1m 33s | |
| 1m 27s | |
| 2m 27s | |
| 1m 11s | |
| 55s | |
| 49s | |
| 1m 2s | |
| 1m 0s | |
| 1m 51s | |
| 2m 49s | |
| 1m 42s | |
| 1m 46s | |
| 19m 21s |