Eagerly apply-subs + rewrite bodies of define-fun (#11526) #30668
Job | Run time |
---|---|
26m 9s | |
35m 26s | |
17m 43s | |
27m 50s | |
24m 28s | |
19m 32s | |
19m 35s | |
18m 22s | |
31m 3s | |
31m 43s | |
26m 49s | |
4h 38m 40s |
Job | Run time |
---|---|
26m 9s | |
35m 26s | |
17m 43s | |
27m 50s | |
24m 28s | |
19m 32s | |
19m 35s | |
18m 22s | |
31m 3s | |
31m 43s | |
26m 49s | |
4h 38m 40s |