more complete stats, including small sessions which provide some clues on main HOL baseline performance;
more complete stats, including small sessions which provide some clues on main HOL baseline performance;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle