UninterpretedConstOracle refactor
#6292
| Job | Run time |
|---|---|
| 26m 3s | |
| 26m 3s | |
| 10s | |
| 10s | |
| 2m 42s | |
| 2m 42s | |
| 5m 49s | |
| 5m 49s | |
| 20m 45s | |
| 20m 45s | |
| 3m 42s | |
| 3m 42s | |
| 14m 19s | |
| 13m 39s | |
| 11m 19s | |
| 11m 19s | |
| 39m 48s | |
| 39m 48s | |
| 13m 34s | |
| 13m 34s | |
| 4h 35m 42s |