updated getters for BenchmarkResult, cleanup