Add support for union member expressions in incremental smt2 decision procedure #8903
| Job | Run time |
|---|---|
| 24m 41s | |
| 33m 32s | |
| 35m 24s | |
| 4m 48s | |
| 25m 19s | |
| 3m 42s | |
| 12m 47s | |
| 57m 43s | |
| 25m 22s | |
| 27m 23s | |
| 24m 6s | |
| 41m 34s | |
| 37m 17s | |
| 3m 39s | |
| 1h 40m 21s | |
| 54m 2s | |
| 58m 37s | |
| 35m 31s | |
| 37m 41s | |
| 10h 43m 29s |