\resizebox{\textwidth}{!}{%
\begin{tabular}{@{}rrrrrr@{}}
\toprule Steps $r$ & CaDiCaL, std IV & Kissat, std IV & CaDiCaL, std IV + feed-forward & CaDiCaL, semi-free-start & Kissat, semi-free-start \\ \midrule
4 & UNSAT (0.3) & UNSAT (0.1) & UNSAT (0.3) & UNSAT (0.7) & UNSAT (0.5) \\
6 & UNSAT (3.0) & UNSAT (3.1) & UNSAT (2.1) & UNSAT (2.5) & UNSAT (2.1) \\
8 & UNSAT (3.5) & UNSAT (4.7) & UNSAT (4.3) & UNSAT (3.8) & UNSAT (4.1) \\
10 & 0.03 & 0.02 & 0.03 & 1.25 & 1.21 \\
12 & 0.03 & 0.02 & 0.04 & 1.03 & 0.99 \\
14 & 0.04 & 0.03 & 0.04 & 1.73 & 1.17 \\
16 & 0.04 & 0.03 & 0.05 & 1.83 & 1.04 \\
18 & 53 & 53 & 121 (2/3) & 8.49 & 7.09 \\
20 & T(3) & T(3) & T(3) & T(3) & T(3) \\
22 & T(3) & T(3) & T(3) & T(3) & T(3) \\
24 & T(3) & T(3) & T(3) & T(3) & T(3) \\
\bottomrule
\end{tabular}}