Parallel performance of Isabelle2013

Real speedup

Future tasks and worker threads

HOL

HOL-Auth

HOL-Bali

HOL-Decision_Procs

HOL-Hoare_Parallel

HOL-IMP

HOL-Library

HOL-MicroJava

HOL-Multivariate_Analysis

HOL-Nominal-Examples

HOL-Probability

HOL-Proofs-Extraction

HOL-SET_Protocol

HOL-UNITY

ZF-UNITY