success with 4:)

[ar1516.git] / a2 / 2.tex

diff --git a/a2/2.tex b/a2/2.tex
index 414669b..174dfd6 100644 (file)
--- a/a2/2.tex
+++ b/a2/2.tex
@@ -46,7 +46,7 @@ joining them with logical or operators.
 
                The solution described in \autoref{tab:sol2a} is found by
                \textsc{NuSMV} within $0.29$ seconds.
-               \begin{table}[ht]
+               \begin{table}[H]
                        \centering\small
                        \begin{tabular}{rrrrl}
                                \toprule
@@ -85,7 +85,7 @@ joining them with logical or operators.
        
                The solution described in \autoref{tab:sol2c} is found by
                \textsc{NuSMV} within $1.8$ seconds.
-               \begin{table}[ht]
+               \begin{table}[H]
                        \centering\small
                        \begin{tabular}{rrrrl}
                                \toprule