% generated by paper/tools/costs.py from 2026-10-21-17fcb363d.json
\begin{tabular}{@{}lrrrrrr@{}}
\toprule
Context policy & Cases & Timeouts & Median & 95\,\% & Max & Contexts \\
\midrule
one context per procedure & 1845 & 0 & 0.23 & 1.13 & 6 & 1 \\
call strings, length 1 & 1845 & 0 & 0.24 & 1.47 & 11 & 23 \\
entry states & 1845 & 21 & 0.25 & 3.14 & 1106 & 302 \\
\bottomrule
\end{tabular}