fixed SteinerArb bug and compute lower bound for Reactive and Proactive