Results for solver with numericumericumeric