\begin{tabular}{@{}rrrrrrr@{}}
\toprule
$n$ & bound $b=Z-1$ & forts in $\mathcal L$ & variables & clauses & proof lines & CaDiCaL (s)\\
\midrule
11 & 5 & 187 & 111 & 386 & 401 & 0.00\\
12 & 7 & 650 & 147 & 915 & 12,310 & 0.05\\
13 & 8 & 1,404 & 174 & 1,719 & 38,256 & 0.17\\
14 & 7 & 1,344 & 179 & 1,669 & 25,506 & 0.13\\
15 & 7 & 930 & 195 & 1,285 & 9,359 & 0.05\\
16 & 7 & 2,372 & 211 & 2,757 & 45,055 & 0.26\\
17 & 9 & 7,684 & 263 & 8,167 & 508,267 & 3.86\\
18 & 9 & 8,832 & 283 & 9,353 & 808,609 & 9.43\\
19 & 9 & 11,571 & 303 & 12,130 & 1,168,686 & 16.68\\
20 & 9 & 16,290 & 323 & 16,887 & 924,560 & 11.39\\
21 & 9 & 22,001 & 343 & 22,636 & 2,229,150 & 21.48\\
22 & 10 & 37,521 & 388 & 38,242 & 12,952,380 & 206.70\\
23 & 11 & 87,239 & 435 & 88,050 & 59,527,561 & n/r$^{*}$\\
\bottomrule
\end{tabular}