deletions | additions       diff --git a/experim.tex b/experim.tex  index 248ec83..3f5fea0 100644  --- a/experim.tex  +++ b/experim.tex 
...
\begin{table}   \begin{tabular}{ |c|c|c|c|c|c|c|c|c| }  \multicolumn{2}{l|}{} & \multicolumn{3}{c|}{open OSR} & \multicolumn{4}{c|}{resolved OSR} \\   \multicolumn{2}{l|}{} & point & stub & verification & point & OSRDest & generation \multicolumn{2}{|c|}{OSRDest generation}  & verification \\ benchmark & IR instructions & insertion & generation & & insertion & total & avg per inst & \\   & & & & & & & & \\   \end{tabular}