\begin{tabular}{@{}rcccccc@{}}
\toprule
$n$ & $Z$ & exhaustive (E) & first-force (E$'$) & fort cover + DRAT (F) & round SAT (R) & boundary DRAT (B)\\
\midrule
11 & 6 & $\bullet$ & $\bullet$ & $\bullet$ & $\bullet$ & --\\
12 & 8 & $\bullet$ & $\bullet$ & $\bullet$ & $\bullet$ & --\\
13 & 9 & $\bullet$ & $\bullet$ & $\bullet$ & $\bullet$ & --\\
14 & 8 & $\bullet$ & $\bullet$ & $\bullet$ & $\bullet$ & --\\
15 & 8 & $\bullet$ & $\bullet$ & $\bullet$ & $\bullet$ & --\\
16 & 8 & $\bullet$ & $\bullet$ & $\bullet$ & $\bullet$ & --\\
17 & 10 & $\bullet$ & $\bullet$ & $\bullet$ & $\bullet$ & --\\
18 & 10 & $\bullet$ & $\bullet$ & $\bullet$ & t/o & --\\
19 & 10 & $\bullet$ & $\bullet$ & $\bullet$ & t/o & --\\
20 & 10 & $\bullet$ & $\bullet$ & $\bullet$ & t/o & --\\
21 & 10 & $\bullet$ & $\bullet$ & $\bullet$ & t/o & --\\
22 & 11 & $\bullet$ & $\bullet$ & $\bullet$ & -- & --\\
23 & 12 & $\bullet$ & $\bullet$ & $\bullet$ & -- & --\\
24 & 12 & $\bullet$ & $\bullet$ & -- & -- & $\bullet$\\
25 & 12 & $\bullet$ & $\bullet$ & (s) & -- & $\times$\\
26 & 12 & $\bullet$ & $\bullet$ & -- & -- & $\bullet$\\
27 & 12 & $\bullet$ & $\bullet$ & -- & -- & $\bullet$\\
28 & 12 & -- & $\bullet$ & -- & -- & $\bullet$\\
29 & 12 & -- & $\bullet$ & -- & -- & $\bullet$\\
30 & 12 & -- & $\bullet$ & -- & -- & $\bullet$\\
31 & 12 & -- & $\bullet$ & -- & -- & $\bullet$\\
32 & 12 & -- & $\bullet$ & t/o & -- & $\bullet$\\
33 & 12 & -- & $\bullet$ & -- & -- & $\bullet$\\
34 & 12 & -- & $\bullet$ & -- & -- & $\bullet$\\
35 & 12 & -- & $\bullet$ & t/o & -- & $\bullet$\\
36 & 12 & -- & $\bullet$ & -- & -- & $\bullet$\\
37 & 12 & -- & $\bullet$ & t/o & -- & $\bullet$\\
38 & 12 & -- & $\bullet$ & -- & -- & $\bullet$\\
39 & 12 & -- & $\bullet$ & -- & -- & $\bullet$\\
40 & 12 & -- & $\bullet$ & -- & -- & $\bullet$\\
\bottomrule
\end{tabular}