Contract: Add invariant
contract
#46
Job | Run time |
---|---|
6s | |
15m 1s | |
3s | |
10m 7s | |
16s | |
6m 54s | |
2m 41s | |
6m 2s | |
17m 40s | |
2m 34s | |
6m 49s | |
2m 38s | |
3m 7s | |
2m 28s | |
45m 21s | |
31m 41s | |
50m 25s | |
34m 19s | |
42m 6s | |
20m 22s | |
5h 0m 40s |