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
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