deletions | additions       diff --git a/experim.tex b/experim.tex  index 677a8f1..55f98ee 100644  --- a/experim.tex  +++ b/experim.tex 
...
\begin{table}   \begin{small}  \begin{tabular}{ |c|c|c|c|c|c|c|c| |c|c|c|c|c|c|c|  } \cline{3-8} \cline{3-7}  \multicolumn{2}{l|}{} & \multicolumn{3}{c|}{open \multicolumn{2}{c|}{open  OSR} & \multicolumn{3}{c|}{resolved OSR} \\ \cline{3-8} \cline{3-7}  \multicolumn{2}{l|}{} & point & stub & IR code create  & point & \multicolumn{2}{|c|}{OSRDest generation} \\ \cline{1-2} \cline{7-8} \cline{6-7}  benchmark & IR instructions & insertion & generation & verification stub  & insertion & total & avg per inst \\ \hline  & & & & & &&  \\ b-trees & 13 & 15.40 & 28.32 &58.03 &  14.31 & 76.13 & 5.86 \\ \hline  fannkuch & 50 & 14.16 & 18.66 &86.77 &  12.84 & 208.03 & 4.16 \\ \hline  fasta & 38 & 12.93 & 27.07 &76.84 &  13.01 & 250.39 & 6.59 \\ \hline  fasta-redux & 55 & 13.79 & 23.44 &72.90 &  9.32 & 258.36 & 4.70 \\ \hline  mbrot & 77 & 15.96 & 27.39 &79.88 &  15.30 & 384.61 & 4.99 \\ \hline  n-body & 19 & 14.31 & 19.73 &76.76 &  11.58 & 88.73 & 4.67 \\ \hline  rev-comp & 145 & 16.31 & 39.99 &132.87 &  13.90 & 810.84 & 5.59 \\ \hline  sp-norm & 28 & 15.31 & 27.50 &68.32 &  12.41 & 154.54 & 5.52 \\ \hline  \end{tabular}   \caption{\label{tab:instrTime} OSR machinery insertion in optimized code. Time measurements are expressed in microseconds.}