Results for -solver numericumericumericumericumericoner