import matplotlib.pyplot as plt import numpy as np import os from urllib.request import urlretrieve import sys import re from src.benchmark import Benchmark comma_sep_number_re = "(?:\d*(?:,\d*)?)*" rss_re = "(?P" + comma_sep_number_re + ")" time_re = "(?P