1
\section{``Early'' formulas
}
6 \item Existing benchmark formulas either require exponential model
7 or have small unfolding
8 \item \emph{early
} class of formulas have exponential unfolding but
9 exponetial subgraphs can be dealt with fast
19 %%% TeX-master: "../vortrag"
20 %%% TeX-engine: luatex