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