Formulation assistance for global optimization problems

Most global optimization systems provide little output beyond an estimated optimum point or a failure message. Since nonlinear global optimization problems can be quite complex, more information is needed if the solution is to be trusted or if the model requires modification. We describe a system which provides measures of confidence in the returned solution, and helpful information in the case of infeasibility, unboundedness, or early termination.