Search-based model summarization