deletions | additions       diff --git a/experim.tex b/experim.tex  index 76614cb..1913ff6 100644  --- a/experim.tex  +++ b/experim.tex 
...
\begin{tabular}{ |c|c|c|c|c|c|c|c|c| }  \cline{3-9}  \multicolumn{2}{l|}{} & \multicolumn{3}{c|}{open OSR} & \multicolumn{4}{c|}{resolved OSR} \\   \cline{3-9}  \multicolumn{2}{l|}{} & point & stub & verification IR code  & point & \multicolumn{2}{|c|}{OSRDest generation} & verification IR code  \\ \cline{1-2} \cline{7-8}  benchmark & IR instructions & insertion & generation & verification  & insertion & total & avg per inst & verification  \\ \hline  & & & & & & & & \\   \hline