1% generated by tables/make_tables.py from ./results/graph/category_counts_yearly.csv2\begin{longtable}{lrrrrrrrrrrrr}3\caption{Eligible works in the six theory and software categories by publication year: works carrying the category (all) and works whose primary category it is (prim.).}\label{tab:theory_counts}\\4\toprule5\textbf{Year} & \textbf{Algo. (all)} & \textbf{Compl. (all)} & \textbf{PL (all)} & \textbf{Comp. (all)} & \textbf{FV (all)} & \textbf{SE (all)} & \textbf{Algo. (prim.)} & \textbf{Compl. (prim.)} & \textbf{PL (prim.)} & \textbf{Comp. (prim.)} & \textbf{FV (prim.)} & \textbf{SE (prim.)} \\6\midrule7\endfirsthead8\toprule9\textbf{Year} & \textbf{Algo. (all)} & \textbf{Compl. (all)} & \textbf{PL (all)} & \textbf{Comp. (all)} & \textbf{FV (all)} & \textbf{SE (all)} & \textbf{Algo. (prim.)} & \textbf{Compl. (prim.)} & \textbf{PL (prim.)} & \textbf{Comp. (prim.)} & \textbf{FV (prim.)} & \textbf{SE (prim.)} \\10\midrule11\endhead122018 & 60{,}011 & 16{,}996 & 16{,}735 & 5{,}705 & 12{,}283 & 44{,}359 & 29{,}148 & 3{,}837 & 4{,}390 & 725 & 5{,}307 & 29{,}016 \\132019 & 62{,}158 & 18{,}186 & 16{,}286 & 5{,}645 & 11{,}692 & 45{,}573 & 29{,}252 & 3{,}952 & 4{,}474 & 689 & 4{,}802 & 28{,}935 \\142020 & 63{,}646 & 18{,}459 & 16{,}126 & 5{,}576 & 11{,}009 & 45{,}901 & 29{,}376 & 3{,}872 & 4{,}126 & 737 & 4{,}535 & 27{,}756 \\152021 & 64{,}815 & 18{,}524 & 15{,}687 & 5{,}721 & 10{,}938 & 44{,}735 & 29{,}023 & 3{,}765 & 3{,}978 & 709 & 4{,}511 & 24{,}671 \\162022 & 63{,}882 & 18{,}335 & 15{,}186 & 5{,}646 & 9{,}950 & 46{,}006 & 28{,}202 & 3{,}541 & 3{,}664 & 642 & 3{,}995 & 23{,}725 \\172023 & 67{,}630 & 19{,}464 & 16{,}681 & 6{,}351 & 10{,}676 & 55{,}422 & 28{,}531 & 3{,}499 & 3{,}876 & 692 & 4{,}385 & 26{,}245 \\182024 & 74{,}137 & 22{,}675 & 17{,}703 & 7{,}306 & 11{,}391 & 68{,}087 & 29{,}957 & 3{,}824 & 3{,}846 & 768 & 4{,}233 & 30{,}533 \\192025 & 88{,}268 & 29{,}301 & 20{,}734 & 9{,}521 & 13{,}656 & 87{,}235 & 33{,}795 & 4{,}209 & 4{,}193 & 767 & 4{,}623 & 36{,}381 \\202026 & 76{,}192 & 25{,}776 & 21{,}376 & 9{,}915 & 14{,}494 & 81{,}133 & 28{,}776 & 4{,}067 & 3{,}691 & 621 & 4{,}866 & 34{,}261 \\21\bottomrule22\multicolumn{13}{p{0.95\linewidth}}{\footnotesize Counts of eligible works (Part III) per publication year, summed over the pre/baseline/post period labels of the result file; 2026 is incomplete. `all' counts every work to which the multi-label classifier assigns the category; `prim.' counts works whose highest-scoring category it is (Part IV). Algo. = algorithms and data structures, Compl. = computational complexity, PL = programming languages, Comp. = compilers, FV = formal verification, SE = software engineering.}\\23\end{longtable}24