Adding missing base-case for exponentiation && improve Exp handling via simplification and "ite" in SMT #3104
| Job | Run time |
|---|---|
| 6m 0s | |
| 6m 0s | |
| 10m 22s | |
| 10m 22s | |
| 1h 46m 12s | |
| 1h 46m 12s | |
| 11m 47s | |
| 11m 47s | |
| 6h 0m 21s | |
| 35m 32s | |
| 19m 18s | |
| 19m 18s | |
| 4s | |
| 4s | |
| 33m 52s | |
| 33m 52s | |
| 12h 51m 3s |