Speed up dafny verify
by reducing memory pressure
#19218
Job | Run time |
---|---|
12s | |
1m 29s | |
1s | |
1s | |
8m 18s | |
13m 24s | |
12m 7s | |
14m 48s | |
15m 57s | |
14m 4s | |
13m 46s | |
15m 48s | |
1s | |
1h 49m 56s |