\setlength{\tabcolsep}{4pt}\begin{tabular}{@{}rrrrrrr@{}}
\toprule
$n$ & $Z$ & subsets, $s=Z-1$ & orbit reps.\ tested & wall (s) & E$'$ sets, $s=Z-1$ & forcing reps., $s=Z$\\
\midrule
11 & 6 & 26,334 & 1,242 & 0.0 & 612 & 134\\
12 & 8 & 346,104 & 14,586 & 0.0 & 19,380 & 2,514\\
13 & 9 & 1,562,275 & 60,445 & 0.0 & 105,336 & 12,820\\
14 & 8 & 1,184,040 & 42,574 & 0.0 & 42,504 & 2,072\\
15 & 8 & 2,035,800 & 68,224 & 0.0 & 59,800 & 4,105\\
16 & 8 & 3,365,856 & 105,638 & 0.0 & 81,900 & 1,977\\
17 & 10 & 52,451,256 & 1,544,504 & 0.3 & 2,375,100 & 108,897\\
18 & 10 & 94,143,280 & 2,617,484 & 0.5 & 3,624,768 & 28,517\\
19 & 10 & 163,011,640 & 4,292,840 & 0.9 & 5,379,616 & 96,131\\
20 & 10 & 273,438,880 & 6,839,848 & 1.4 & 7,791,168 & 62,384\\
21 & 10 & 445,891,810 & 10,621,334 & 2.2 & 11,042,724 & 60,192\\
22 & 11 & 2,481,256,778 & 56,410,810 & 15.2 & 74,574,240 & 524,638\\
23 & 12 & 13,340,783,196 & 290,043,360 & 106.0 & 472,120,740 & 3,458,230\\
24 & 12 & 22,595,200,368 & 470,766,990 & 217.2 & 708,930,508 & 2,704,021\\
25 & 12 & 37,353,738,800 & 747,117,280 & 371.2 & 1,043,731,260 & (P7 witness)\\
26 & 12 & 60,403,728,840 & 1,161,663,300 & 600.9 & 1,509,395,976 & (P7 witness)\\
27 & 12 & 95,722,852,680 & 1,772,711,200 & 1022.9 & 2,147,514,600 & (P7 witness)\\
\bottomrule
\end{tabular}