Merge branch 'master' of https://github.com/dopefishh/mc1516pa

[mc1516pa.git] / report2 / results.tex

diff --git a/report2/results.tex b/report2/results.tex
index 78331bb..f35556c 100644 (file)
--- a/report2/results.tex
+++ b/report2/results.tex
@@ -1,13 +1,19 @@
 \section{Results \& How-to}
 \subsection{Results}
-This approach is not very efficient yet. While it is a bit faster than the
-previous \textsc{NuSMV} approach it is not capable of handling bigger screens.
+This approach is not very efficient yet. Below are some execution times for
+several screens:
 
-\begin{tabular}{lll}
+\begin{tabular}{llll}
        \toprule
-       Screen no. & \textsc{NuSMV} & This program\\
+       Screen no. & Boxes & Size & Time\\
        \midrule
-       $2000$ & $n$ & $n$\\
+       $2000$ & $1$ & $12$ & $0.05s$\\
+       $107$ & $3$ & $16$ & $1.19s$\\
+       $101$ & $3$ & $20$ & $1.49s$\\
+       $102$ & & $0.66s$\\
+       $103$ & & $1.02s$\\
+       $104$ & & $1.39s$\\
+       $105$ & & $1.70s$\\
        \bottomrule
 \end{tabular}