aarch64 ainvs+refine+crefine: make proofs generic in PA_SIZE_BITS_40 #923
Job | Run time |
---|---|
25s | |
13s | |
13s | |
1s | |
2h 12m 3s | |
1s | |
15m 19s | |
13m 47s | |
14m 5s | |
14m 31s | |
14m 12s | |
13m 45s | |
13m 4s | |
0s | |
3h 51m 39s |
Job | Run time |
---|---|
25s | |
13s | |
13s | |
1s | |
2h 12m 3s | |
1s | |
15m 19s | |
13m 47s | |
14m 5s | |
14m 31s | |
14m 12s | |
13m 45s | |
13m 4s | |
0s | |
3h 51m 39s |