up

[mc1516pa.git] / report2 / results.tex

diff --git a/report2/results.tex b/report2/results.tex
index 78331bb..5bd0ba1 100644 (file)
--- a/report2/results.tex
+++ b/report2/results.tex
@@ -1,13 +1,14 @@
 \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}
        \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$\\
        \bottomrule
 \end{tabular}