Speed up dafny verify by reducing memory pressure
#19306
| Job | Run time |
|---|---|
| 9s | |
| 9s | |
| 9s | |
| 3m 40s | |
| 3m 40s | |
| 3m 40s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 22m 16s | |
| 22m 16s | |
| 22m 16s | |
| 20m 59s | |
| 20m 59s | |
| 20m 59s | |
| 26m 48s | |
| 26m 48s | |
| 26m 48s | |
| 24m 47s | |
| 24m 47s | |
| 24m 47s | |
| 24m 37s | |
| 24m 37s | |
| 24m 37s | |
| 12m 46s | |
| 12m 46s | |
| 12m 46s | |
| 16m 46s | |
| 16m 46s | |
| 16m 46s | |
| 18m 17s | |
| 19m 16s | |
| 22m 0s | |
| 0s | |
| 0s | |
| 1m 3s | |
| 8h 39m 6s |