Performance Reasoning From Trace Evidence