[isabelle-dev] 20 years of AFP

Fabian Huch huch at in.tum.de
Tue Mar 19 13:21:48 CET 2024

Today marks 20 years of AFP -- to celebrate, here are a few timings with 
the new parallel build (Isabelle/08b83f91a1b2 and AFP/b61f72e5cba6):

build -a
0:08:47 elapsed time, 3:02:23 cpu time, factor 20.75

build -A: -X slow -a
0:43:11 elapsed time, 72:49:01 cpu time, factor 101.17

build -A: -a
2:07:56 elapsed time, 87:35:19 cpu time, factor 41.08


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20240319/44f66edd/attachment.htm>

More information about the isabelle-dev mailing list