e0ac8a36dbdb241eeee3b028994840d42ceb8258
2 \begin{lstlisting
}[caption=
{Benchmark system
}]
3 OS: Linux
3.16.0-
4-amd64
#1 SMP Debian
3.16 x86_64 GNU/Linux
4 CPU:
3600MHz AMD FX(tm)-
4100 Quad-Core Processor
9 \lstinputlisting[language=lisp,caption=
{a1.smt
},
10 label=
{listing:a1.smt
}]{src/a1.smt
}
13 \lstinputlisting[language=python,caption=
{a2.py
},
14 label=
{listing:a2.py
}]{src/a2.py
}
17 \lstinputlisting[language=python,caption=
{a3.py
},
18 label=
{listing:a3.py
}]{src/a3.py
}
21 \lstinputlisting[language=python,caption=
{a4.py
},
22 label=
{listing:a4.py
}]{src/a4.py
}