deletions | additions       diff --git a/experim.tex b/experim.tex  index 16276e6..5191b97 100644  --- a/experim.tex  +++ b/experim.tex 
...
[...]  \begin{table}   \begin{tabular}{ c c c c c c c c c |c|c|c|c|c|c|c|c|c|  } & & open OSR & & & resolved OSR & & & \\   & & point & stub & verification & point & OSRDest & generation & verification \\   benchmark & IR instructions & insertion & generation & & insertion & total & avg per inst & \\