Make sure free symbols are declared in SMT2_conv after quantifier rewriting #10221
Job | Run time |
---|---|
20m 36s | |
36m 51s | |
56m 20s | |
2m 36s | |
17m 27s | |
3m 13s | |
7m 43s | |
24m 10s | |
4m 10s | |
16m 22s | |
17m 30s | |
15m 31s | |
19m 32s | |
15m 23s | |
49m 8s | |
36m 32s | |
37m 58s | |
22m 43s | |
21m 0s | |
7h 4m 45s |