\documentclass[8pt]{article}

\usepackage{graphicx}

\textwidth=7in
\textheight=239mm
\textheight=9.4in
\oddsidemargin=2.5mm
\evensidemargin=2.5mm
\topmargin=-10mm

\begin{document}
\begin{center}
\LARGE
\texttt{bmtool}
\end{center}

\paragraph{Step 1:} Important informations for output extraction. Use \texttt{TAB} to seperate variable and regular expression. 

\begin{verbatim}
<var>        <regular expression>
TIME         "Duration *: @NUMBER@"
CHOICEPOINTS "Number of choice points *: @NUMBER@"
ATOMS        "Number of atoms *: @NUMBER@"
RULES        "Number of rules *: @NUMBER@"
...
\end{verbatim}

\paragraph{Step 2:} Summary output of tests.

\begin{verbatim}
<output-description> <format>    <values> ...
TIME                 %.2f (%.2f) [arithmetic_mean [measure TIME]] [standard_deviation [measure TIME]]
CHOICEPOINTS         %d	         [measure_const CHOICEPOINTS]
RULES                %d	         [measure_const RULES]
ATOMS                %d	         [measure_const ATOMS]
...
\end{verbatim}

\begin{itemize}
\item measure\_flatten
\item min
\item max
\item min\_cautious
\item max\_cautious
\item arithmetic\_mean
\item arithmetic\_mean\_cautious
\item standard\_deviation
\item plus
\item percent
\item measure
\item measure\_const
\end{itemize}

\paragraph{Step 3:} Prepare problem files (logic programs) for testing.

\begin{verbatim}
problem(<problem name>)
description(<description>)
options(<command line parameters>)
files(<lp-filename>)

problem(hamiltonian encodings[comp5])
description(complete with 5 vertices)
options(0)
files(Examples/ham_comp_5.lp)

problem(planning[pigeon_3_3])
description(putting 3 pigeons into 3 holes)
options(0)
files(Examples/pigeon_3_3.lp)

...
\end{verbatim}

\paragraph{Step 4:} Start the benchmark using the TCL/TK file \texttt{bmtool}.

\begin{verbatim}
./bmtool -e extraction -o schemata -n=<runnings> -p problem /home/wv/bin/linux/smodels
\end{verbatim}

\begin{center}
\begin{tabular}{|c|l|}\hline
Argument                                    & Description\\\hline\hline
-{}-backend=(table$|$list$|$latex$|$tabtable) & Summary as \LaTeX, table, \ldots\\\hline
-{}-errorfile $<$filename$>$                  & Error output to file\\\hline
-{}-stopafterfirstfailure                     & \\\hline
-e $<$filename$>$                           & extraction definitions\\\hline
-p $<$filename$>$                           & problems (lp-file definitions) \\\hline
-o $<$filename$>$                           & summary format \\\hline
-n=$<$N$>$                                  & number of iterations \\\hline
\end{tabular}
\end{center}

\end{document}
