SWE-bench Verified: strong-model use by task difficulty

Easy is defined as tasks where Sol and Astra both pass the task, Mixed where they both sometimes pass, and Hard when neither model passes.