update

[ar1516.git] / ar.tex

diff --git a/ar.tex b/ar.tex
index f650658..7b5d21e 100644 (file)
--- a/ar.tex
+++ b/ar.tex
@@ -11,9 +11,8 @@ and therefore all problems have an accompanying bash script contains a function
 SMT-Lib format to yices after which the output is feeded to a Python script
 that visualizes the solution. This means that for all problems $p$ for $p\in
 \{1,\ldots, 4\}$ there exist $2$ files. \texttt{ap.bash} that generates the
-solution and \texttt{ap.py} that visualizes the solution. Both files are
-present in the Section~\ref{sec:appendix}. All solving is done on the benchmark
-system listed in Listing~\ref{listing:benchmark}.
+solution and \texttt{ap.py} that visualizes the solution. All solving is done
+on the benchmark system listed in Listing~\ref{listing:benchmark}.
 
 \begin{lstlisting}[caption={Benchmark system},label={listing:benchmark}]
 CPU: 3600MHz AMD FX(tm)-4100 Quad-Core Processor
@@ -36,7 +35,4 @@ Bash: 4.3.30(1)
 \newpage
 \input{4.tex}
 
-\newpage
-\input{a.tex}
-
 \end{document}