Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Minimal system requirements for Isabelle?

Email Gateway (Sep 24 2020 at 23:09):

From: Peter Lammich <lammich@in.tum.de>
Hi List,

I cannot find on the Isabelle homepage, nor in the Isabelle System
Manual, that it refers to for "further technical background" any hint
what a reasonable minimal system requirement (e.g. RAM, Processor
speed, etc.) is. Does this information exist somewhere?

Email Gateway (Sep 25 2020 at 09:32):

From: Lawrence Paulson <lp15@cam.ac.uk>
I don’t know if the “system requirements” are posted anywhere, and it depends a lot on the size of the project you are working on. There will be more informed responses but anyway,

• Processor speed: not particularly important but you should have four cores minimum
• RAM: 8 GB should be okay but you will be happier with more.

Remember that Isabelle does a lot of multithreading, and sledgehammer also launches multiple processes. And you need more RAM if you get more cores.

Larry

Email Gateway (Sep 28 2020 at 10:49):

From: Makarius <makarius@sketis.net>
8 GB RAM / 4 CPU cores is indeed the base line for practical work of modest size.

4 GB RAM / 2 CPU cores is the bare minimum to startup the Isabelle/jEdit
application to do a few basic things.

Real applications require more, lets say 16-32 GB RAM / 8 CPU cores.

Maybe we should add a few words about this on the website, for the
Isabelle2021 release (Jan/Feb-2021).

Moreover, I am about to try a new hardware base line: Raspberry Pi 4 with 8 GB
RAM / 4 CPU cores, which I have ordered yesterday for 100 EUR. But that is
ARM64, and we don't have a proper Poly/ML code generator for that yet, only a
byte-code interpreter.

Makarius

Last updated: Apr 24 2024 at 20:16 UTC