Stream: General

Topic: What is your CPU - do you use AMD?

view this post on Zulip fzyzcjy (Feb 18 2024 at 11:22):

Hi, I wonder whether Isabelle allows / runs fast on AMD cpus? Thank you!

view this post on Zulip Manuel Eberl (Feb 18 2024 at 20:52):

I have two PCs with Ryzen CPUs and am quite happy. Isabelle benefits a lot from having many cores, especially in batch build mode. I think @Fabian Huch did a big performance survey a few years ago, maybe he can dig out the link.

If I recall correctly, the Ryzens performed quite well. Only the high-end Apple CPUs and the most ridiculously expensive Intel CPUs were a bit faster still.

view this post on Zulip fzyzcjy (Feb 18 2024 at 23:16):

Thank you!

view this post on Zulip Mathias Fleury (Feb 19 2024 at 05:51):

The spreadsheet: https://docs.google.com/spreadsheets/d/12GhEwSNSopowDBq5gSem3u39fliiIcoTIZHMnX4RE3A/edit#gid=278765694, the repo https://github.com/Dacit/isabelle-benchmark, and the PAAR paper https://arxiv.org/pdf/2209.13894.pdf

view this post on Zulip fzyzcjy (Feb 19 2024 at 05:52):

Thank you for the paper and related information!

Last updated: May 02 2024 at 12:29 UTC