1\begin{tabular}{@{}rcccccc@{}}2\toprule3$n$ & $Z$ & exhaustive (E) & first-force (E$'$) & fort cover + DRAT (F) & round SAT (R) & boundary DRAT (B)\\4\midrule511 & 6 & $\bullet$ & $\bullet$ & $\bullet$ & $\bullet$ & --\\612 & 8 & $\bullet$ & $\bullet$ & $\bullet$ & $\bullet$ & --\\713 & 9 & $\bullet$ & $\bullet$ & $\bullet$ & $\bullet$ & --\\814 & 8 & $\bullet$ & $\bullet$ & $\bullet$ & $\bullet$ & --\\915 & 8 & $\bullet$ & $\bullet$ & $\bullet$ & $\bullet$ & --\\1016 & 8 & $\bullet$ & $\bullet$ & $\bullet$ & $\bullet$ & --\\1117 & 10 & $\bullet$ & $\bullet$ & $\bullet$ & $\bullet$ & --\\1218 & 10 & $\bullet$ & $\bullet$ & $\bullet$ & t/o & --\\1319 & 10 & $\bullet$ & $\bullet$ & $\bullet$ & t/o & --\\1420 & 10 & $\bullet$ & $\bullet$ & $\bullet$ & t/o & --\\1521 & 10 & $\bullet$ & $\bullet$ & $\bullet$ & t/o & --\\1622 & 11 & $\bullet$ & $\bullet$ & $\bullet$ & -- & --\\1723 & 12 & $\bullet$ & $\bullet$ & $\bullet$ & -- & --\\1824 & 12 & $\bullet$ & $\bullet$ & -- & -- & $\bullet$\\1925 & 12 & $\bullet$ & $\bullet$ & (s) & -- & $\times$\\2026 & 12 & $\bullet$ & $\bullet$ & -- & -- & $\bullet$\\2127 & 12 & $\bullet$ & $\bullet$ & -- & -- & $\bullet$\\2228 & 12 & -- & $\bullet$ & -- & -- & $\bullet$\\2329 & 12 & -- & $\bullet$ & -- & -- & $\bullet$\\2430 & 12 & -- & $\bullet$ & -- & -- & $\bullet$\\2531 & 12 & -- & $\bullet$ & -- & -- & $\bullet$\\2632 & 12 & -- & $\bullet$ & t/o & -- & $\bullet$\\2733 & 12 & -- & $\bullet$ & -- & -- & $\bullet$\\2834 & 12 & -- & $\bullet$ & -- & -- & $\bullet$\\2935 & 12 & -- & $\bullet$ & t/o & -- & $\bullet$\\3036 & 12 & -- & $\bullet$ & -- & -- & $\bullet$\\3137 & 12 & -- & $\bullet$ & t/o & -- & $\bullet$\\3238 & 12 & -- & $\bullet$ & -- & -- & $\bullet$\\3339 & 12 & -- & $\bullet$ & -- & -- & $\bullet$\\3440 & 12 & -- & $\bullet$ & -- & -- & $\bullet$\\35\bottomrule36\end{tabular}37