Matei Ciocarlie

Yes, these are separate problems. Let me restate: The goal of this ticket is to parse the results of benchmarking and provide human-readable output. If the benchmark being run is...