No runs yet. Run solver first.