update report, added solution to 2 image

[master.git] / ar / assignments / a.tex

diff --git a/ar/assignments/a.tex b/ar/assignments/a.tex
index 2c35ac5..8ac130a 100644 (file)
--- a/ar/assignments/a.tex
+++ b/ar/assignments/a.tex
@@ -1,6 +1,15 @@
 \section{Appendix}
+\begin{lstlisting}[caption={Benchmark system}]
+OS: Linux 3.16.0-4-amd64 #1 SMP Debian 3.16 x86_64 GNU/Linux
+CPU: 3600MHz AMD FX(tm)-4100 Quad-Core Processor
+RAM: 8GB
+\end{lstlisting}
+
 \newpage
 \lstinputlisting[language=lisp,caption={a1.smt},label={listing:a1.smt}]{src/1.smt}
 
+\newpage
+\lstinputlisting[language=python,caption={a2.py},label={listing:2.py}]{src/2.py}
+
 \newpage
 \lstinputlisting[language=python,caption={a4.py},label={listing:4.py}]{src/4.py}