Parallel performance of Isabelle2013
- Hardware: 3rd generation Mac Pro (early 2009) with 8 CPU cores and 16 hardware threads (2 *
4-core hyperthreading Intel Xeon at 2.93 GHz) and 32 GB main memory (DDR3 at 1066 MHz), running Mac
OS X Snow Leopard in genuine 64 bit mode.
- The test suite with shell scripts and Isabelle/Scala tools.
- Log file with indication of Isabelle version and other parameters.
Future tasks and worker threads