update to Isabelle 2023 #2599
Job | Run time |
---|---|
17s | |
1h 11m 31s | |
16s | |
3h 40m 9s | |
18s | |
3h 17m 52s | |
18s | |
3h 8m 32s | |
16s | |
3h 54m 11s | |
15h 13m 40s |
Job | Run time |
---|---|
17s | |
1h 11m 31s | |
16s | |
3h 40m 9s | |
18s | |
3h 17m 52s | |
18s | |
3h 8m 32s | |
16s | |
3h 54m 11s | |
15h 13m 40s |