1\resizebox{\textwidth}{!}{%2\begin{tabular}{@{}rrrrrr@{}}3\toprule Steps $r$ & CaDiCaL, std IV & Kissat, std IV & CaDiCaL, std IV + feed-forward & CaDiCaL, semi-free-start & Kissat, semi-free-start \\ \midrule44 & UNSAT (0.3) & UNSAT (0.1) & UNSAT (0.3) & UNSAT (0.7) & UNSAT (0.5) \\56 & UNSAT (3.0) & UNSAT (3.1) & UNSAT (2.1) & UNSAT (2.5) & UNSAT (2.1) \\68 & UNSAT (3.5) & UNSAT (4.7) & UNSAT (4.3) & UNSAT (3.8) & UNSAT (4.1) \\710 & 0.03 & 0.02 & 0.03 & 1.25 & 1.21 \\812 & 0.03 & 0.02 & 0.04 & 1.03 & 0.99 \\914 & 0.04 & 0.03 & 0.04 & 1.73 & 1.17 \\1016 & 0.04 & 0.03 & 0.05 & 1.83 & 1.04 \\1118 & 53 & 53 & 121 (2/3) & 8.49 & 7.09 \\1220 & T(3) & T(3) & T(3) & T(3) & T(3) \\1322 & T(3) & T(3) & T(3) & T(3) & T(3) \\1424 & T(3) & T(3) & T(3) & T(3) & T(3) \\15\bottomrule16\end{tabular}}17