sdn-benchmark Instrumentation code and script for benchmarking a SDN testbed with Pica8 OpenFlow switches and PowerEdge Dell servers