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.
  • Real speedup

    Runtime statistics

    HOL-Auth



    HOL-Multivariate_Analysis



    Jinja



    Slicing