\section{Results}
\label{sec:results}

\begin{multicols}{2}

\subsection{Code size}
\label{sec:results:size}

\subsection{Running time}
\label{sec:results:time}

\end{multicols}
