Benchmarking Methodology for Basic OSPF Convergence