UninterpretedConstOracle refactor
#6378
| Job | Run time |
|---|---|
| 4m 34s | |
| 4m 34s | |
| 3m 1s | |
| 3m 1s | |
| 8s | |
| 8s | |
| 5m 28s | |
| 5m 28s | |
| 27m 32s | |
| 27m 32s | |
| 21m 1s | |
| 21m 1s | |
| 13m 9s | |
| 13m 9s | |
| 19m 45s | |
| 14m 14s | |
| 22m 30s | |
| 22m 30s | |
| 12m 13s | |
| 12m 13s | |
| 4h 13m 11s |