Results for summer_solving numericumericumeric_