deletions | additions       diff --git a/experim.tex b/experim.tex  index 1913ff6..c74546b 100644  --- a/experim.tex  +++ b/experim.tex 
...
\fi  \ifauthorea{\newline}{}  \paragraph{OSR-point insertion overhead} \paragraph{OSR machinery insertion}  [...]  \begin{table}  
...
benchmark & IR instructions & insertion & generation & verification & insertion & total & avg per inst & verification \\   \hline  & & & & & & & & \\   b-trees & 13 & 15.40 & 28.32 & 58.03 & 14.31 & 76.13 & 5.86 & 65.15 \\  \hline  fannkuch & 50 & 14.16 & 18.66 & 86.77 & 12.84 & 208.03 & 4.16 & 98.98 \\  \hline  fasta & 38 & 12.93 & 27.07 & 76.84 & 13.01 & 250.39 & 6.59 & 98.08 \\  \hline  fasta-redux & 55 & 13.79 & 23.44 & 72.90 & 9.32 & 258.36 & 4.70 & 105.76 \\  \hline  mbrot & 77 & 15.96 & 27.39 & 79.88 & 15.30 & 384.61 & 4.99 & 103.72 \\  \hline  n-body & 19 & 14.31 & 19.73 & 76.76 & 11.58 & 88.73 & 4.67 & 83.84 \\  \hline  rev-comp & 145 & 16.31 & 39.99 & 132.87 & 13.90 & 810.84 & 5.59 & 201.40 \\  \hline  sp-norm & 28 & 15.31 & 27.50 & 68.32 & 12.41 & 154.54 & 5.52 & 75.34 \\  \hline  \end{tabular}   \caption{\label{tab:instrTime} OSR machinery insertion in optimized code. Time measurements are expressed in microseconds.}  \end{table}