Theory elaboration per building session (cpu seconds)
session     theories  foreign  cpu s  foreign s
----------  --------  -------  -----  ---------
Analysis_A         2        1   58.5       13.0
Analysis_B         2        1   41.8        1.8
Core               3        2   42.2       12.2
Lib                2        1   13.9        1.5
TOTAL              9        5  156.4       28.5

Theories elaborated more than once (2, 28.6s wasted)
theory                    x  wasted s  sessions
------------------------  -  --------  -------------------
Lib.Graph                 3      25.4  Analysis_A Core Lib
HOL-Library.Monad_Syntax  3       3.2  Analysis_B Core Lib
