Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Apple benchmarks


view this post on Zulip Email Gateway (Aug 22 2022 at 20:18):

From: Lawrence Paulson <lp15@cam.ac.uk>
For the benefit of people who prefer Apple equipment, I thought I’d share some benchmarks for my new iMac. This is the 27 inch model upgraded with i9 processors and with 32 GB of memory.

Cheaper alternatives within the Apple world include the Mac Mini (the latest incarnation is remarkably powerful) and the 2013 Mac Pro, which I see selling on eBay for quite a reasonable price.

Larry Paulson
log-timings.txt

view this post on Zulip Email Gateway (Aug 22 2022 at 20:18):

From: Daniel Horne <d.horne@danielhorne.co.uk>
If anyone with apple hardware has access to VMware, it might be
interesting to compare the speed of the native implementation with that
running under a linux virtual machine.

A few years ago I did some (unrelated) cpu-heavy benchmarking, and found
that my test ran significantly faster in a debian vm under vmware fusion
3 than the native macos version. I was pretty shocked by this, as I'd
assumed the overhead of the VM software would slow things down, but
somehow the opposite happened.


Last updated: Mar 28 2024 at 16:17 UTC