# NLP written by GAMS Convert at 01/12/18 13:43:22
#
# Equation counts
# Total E G L N X C B
# 3 1 0 2 0 0 0 0
#
# Variable counts
# x b i s1s s2s sc si
# Total cont binary integer sos1 sos2 scont sint
# 3 3 0 0 0 0 0 0
# FX 0 0 0 0 0 0 0 0
#
# Nonzero counts
# Total const NL DLL
# 7 3 4 0
#
# Reformulation has removed 1 variable and 1 equation
var x1 >= 0, <= 1;
var x2 >= 0, <= 1;
minimize obj: 2*x1 + x2;
subject to
e1: -16*x1*x2 <= -1;
e2: (-4*x1^2) - 4*x2^2 <= -1;