crefine: remove unused lemmas; resolve AARCH64 FIXMEs #767
Job | Run time |
---|---|
32s | |
17s | |
18s | |
1h 31m 14s | |
1s | |
1h 29m 41s | |
1s | |
1s | |
1h 41m 10s | |
1s | |
1h 26m 3s | |
1s | |
1h 38m 17s | |
0s | |
7h 47m 37s |
Job | Run time |
---|---|
32s | |
17s | |
18s | |
1h 31m 14s | |
1s | |
1h 29m 41s | |
1s | |
1s | |
1h 41m 10s | |
1s | |
1h 26m 3s | |
1s | |
1h 38m 17s | |
0s | |
7h 47m 37s |