Parallel performance of Isabelle_17-Mar-2013-A
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 first run, without knowing timing of command transactions yet.