synthes1.gms:

References:

• Leyffer, S, MacMINLP: AMPL Collection of Mixed Integer Nonlinear Programs.
• Floudas, C A, and Schweiger, C A, MINOPT Model Library.
• Duran, M A, and Grossmann, I E, An Outer-Approximation Algorithm for a Class of Mixed-Integer Nonlinear Programs. Mathematical Programming 36 (1986), 307-339.
• Original source: AMPL model synthes1.mod from MacMINLP

Point: p1 
Best known point (p1): Solution value 6.01 (global optimum, BARON certificate)