Results for umsolver numericumericumericumeric