proof: update for removed hoare_gets #932
| Job | Run time |
|---|---|
| 16s | |
| 13s | |
| 26s | |
| 26s | |
| 2h 41m 0s | |
| 2h 41m 0s | |
| 2h 48m 37s | |
| 2h 48m 37s | |
| 2h 38m 46s | |
| 2h 38m 46s | |
| 3h 19m 0s | |
| 3h 19m 0s | |
| 2h 47m 29s | |
| 2h 47m 29s | |
| 2h 41m 22s | |
| 2h 41m 22s | |
| 3h 18m 24s | |
| 3h 18m 24s | |
| 2h 50m 19s | |
| 2h 50m 19s | |
| 2h 58m 18s | |
| 2h 58m 18s | |
| 2h 50m 28s | |
| 2h 50m 28s | |
| 2h 51m 55s | |
| 2h 51m 55s | |
| 2h 51m 59s | |
| 2h 51m 59s | |
| 2h 45m 58s | |
| 2h 45m 58s | |
| 7m 57s | |
| 7m 57s | |
| 3d 3h 4m 25s |