Add loop invariant and harness for repeat
#2283
| Job | Run time |
|---|---|
| 1h 27m 20s | |
| 1h 28m 39s | |
| 27m 28s | |
| 6h 0m 16s | |
| 1h 4m 19s | |
| 48m 46s | |
| 6h 0m 18s | |
| 36m 49s | |
| 26m 15s | |
| 1h 33m 8s | |
| 57m 7s | |
| 1h 5m 8s | |
| 32m 56s | |
| 45m 31s | |
| 0s | |
| 23h 14m 0s |