benchmark aggregation: system properties that differ should be reported as such