Certora #35
Job | Run time |
---|---|
4m 54s | |
4m 49s | |
8m 30s | |
7m 20s | |
4m 18s | |
3m 27s | |
2m 44s | |
3m 26s | |
5m 28s | |
2m 42s | |
19m 20s | |
13m 35s | |
3m 26s | |
38m 44s | |
2m 43s | |
2h 5m 26s |
Job | Run time |
---|---|
4m 54s | |
4m 49s | |
8m 30s | |
7m 20s | |
4m 18s | |
3m 27s | |
2m 44s | |
3m 26s | |
5m 28s | |
2m 42s | |
19m 20s | |
13m 35s | |
3m 26s | |
38m 44s | |
2m 43s | |
2h 5m 26s |