Merge branch 'proof-new' into aletheError #1742
Job | Run time |
---|---|
0s | |
30m 54s | |
15m 40s | |
30m 52s | |
19m 49s | |
25m 31s | |
23m 26s | |
19m 20s | |
29m 2s | |
23m 51s | |
3h 38m 25s |
Job | Run time |
---|---|
0s | |
30m 54s | |
15m 40s | |
30m 52s | |
19m 49s | |
25m 31s | |
23m 26s | |
19m 20s | |
29m 2s | |
23m 51s | |
3h 38m 25s |