Parallel performance of Isabelle_17-Mar-2013-B
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 OS X
Mountain Lion in genuine 64 bit mode.
This is the second run, where timing information of command transactions is re-used for
decisions when to fork subproofs and to determine task priorities. Starting longer tasks earlier
avoids drop-outs in CPU usage towards the end of the session, for example.