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

    Runtime statistics

    HOL-Auth



    HOL-Multivariate_Analysis



    Jinja



    Slicing