## ams_version=1.0 Model Main_nvs20 { Variable i1 { Range: integer; } Variable i2 { Range: integer; } Variable i3 { Range: integer; } Variable i4 { Range: integer; } Variable i5 { Range: integer; } Variable x6 { Range: nonnegative; } Variable x7 { Range: nonnegative; } Variable x8 { Range: nonnegative; } Variable x9 { Range: nonnegative; } Variable x10 { Range: nonnegative; } Variable x11 { Range: nonnegative; } Variable x12 { Range: nonnegative; } Variable x13 { Range: nonnegative; } Variable x14 { Range: nonnegative; } Variable x15 { Range: nonnegative; } Variable x16 { Range: nonnegative; } Variable objvar; Constraint e1 { Definition: { 0.22*i1 + 0.2*i2 + 0.19*i3 + 0.25*i4 + 0.15*i5 + 0.11*x6 + 0.12*x7 + 0.13*x8 + x9 >= 2.5 } } Constraint e2 { Definition: - 1.46*i1 - 1.3*i3 + 1.82*i4 - 1.15*i5 + 0.8*x7 + x10 >= 1.1; } Constraint e3 { Definition: 1.29*i1 - 0.89*i2 - 1.16*i5 - 0.96*x6 - 0.49*x8 + x11 >= -3.1; } Constraint e4 { Definition: { - 1.1*i1 - 1.06*i2 + 0.95*i3 - 0.54*i4 - 1.78*x6 - 0.41*x7 + x12 >= -3.5 } } Constraint e5 { Definition: - 1.43*i4 + 1.51*i5 + 0.59*x6 - 0.33*x7 - 0.43*x8 + x13 >= 1.3; } Constraint e6 { Definition: { - 1.72*i2 - 0.33*i3 + 1.62*i5 + 1.24*x6 + 0.21*x7 - 0.26*x8 + x14 >= 2.1 } } Constraint e7 { Definition: 1.12*i1 + 0.31*i4 + 1.12*x7 - 0.36*x9 + x15 >= 2.3; } Constraint e8 { Definition: 0.45*i2 + 0.26*i3 - 1.1*i4 + 0.58*i5 - 1.03*x7 + 0.1*x8 + x16 >= -1.5; } Constraint e9 { Definition: { -(sqr(1 + sqr(i1) + i1) + (1 + sqr(i1) + i1)*(1 + sqr(i4) + i4) + (1 + sqr(i1) + i1)*(1 + sqr(x7) + x7) + (1 + sqr(i1) + i1)*(1 + sqr(x8) + x8) + (1 + sqr(i1) + i1)*(1 + sqr(x16) + x16) + sqr(1 + sqr(i2) + i2) + (1 + sqr(i2) + i2)*(1 + sqr(i3) + i3) + (1 + sqr(i2) + i2)*(1 + sqr(x7) + x7) + (1 + sqr(i2) + i2)*(1 + sqr(x10) + x10) + sqr(1 + sqr(i3) + i3) + (1 + sqr(i3) + i3)*(1 + sqr(x7) + x7) + (1 + sqr(i3) + i3)*(1 + sqr(x9) + x9) + (1 + sqr(i3) + i3)*(1 + sqr(x10) + x10) + (1 + sqr(i3) + i3)*(1 + sqr( x14) + x14) + sqr(1 + sqr(i4) + i4) + (1 + sqr(i4) + i4)*(1 + sqr(x7) + x7 ) + (1 + sqr(i4) + i4)*(1 + sqr(x11) + x11) + (1 + sqr(i4) + i4)*(1 + sqr( x15) + x15) + sqr(1 + sqr(i5) + i5) + (1 + sqr(i5) + i5)*(1 + sqr(x6) + x6 ) + (1 + sqr(i5) + i5)*(1 + sqr(x10) + x10) + (1 + sqr(i5) + i5)*(1 + sqr( x12) + x12) + (1 + sqr(i5) + i5)*(1 + sqr(x16) + x16) + sqr(1 + sqr(x6) + x6) + (1 + sqr(x6) + x6)*(1 + sqr(x8) + x8) + (1 + sqr(x6) + x6)*(1 + sqr( x15) + x15) + sqr(1 + sqr(x7) + x7) + (1 + sqr(x7) + x7)*(1 + sqr(x11) + x11) + (1 + sqr(x7) + x7)*(1 + sqr(x13) + x13) + sqr(1 + sqr(x8) + x8) + ( 1 + sqr(x8) + x8)*(1 + sqr(x10) + x10) + (1 + sqr(x8) + x8)*(1 + sqr(x15) + x15) + sqr(1 + sqr(x9) + x9) + (1 + sqr(x9) + x9)*(1 + sqr(x12) + x12) + (1 + sqr(x9) + x9)*(1 + sqr(x16) + x16) + sqr(1 + sqr(x10) + x10) + (1 + sqr(x10) + x10)*(1 + sqr(x14) + x14) + sqr(1 + sqr(x11) + x11) + (1 + sqr(x11) + x11)*(1 + sqr(x13) + x13) + sqr(1 + sqr(x12) + x12) + (1 + sqr( x12) + x12)*(1 + sqr(x14) + x14) + sqr(1 + sqr(x13) + x13) + (1 + sqr(x13) + x13)*(1 + sqr(x14) + x14) + sqr(1 + sqr(x14) + x14) + sqr(1 + sqr(x15) + x15) + sqr(1 + sqr(x16) + x16)) + objvar = 0 } } Procedure MainInitialization { Body: { i1.upper := 200; i2.upper := 200; i3.upper := 200; i4.upper := 200; i5.upper := 200; x6.upper := 200; x7.upper := 200; x8.upper := 200; x9.upper := 200; x10.upper := 200; x11.upper := 200; x12.upper := 200; x13.upper := 200; x14.upper := 200; x15.upper := 200; x16.upper := 200; i1.l := 1; i2.l := 1; i3.l := 1; i4.l := 1; i5.l := 1; x6.l := 1; x7.l := 1; x8.l := 1; x9.l := 1; x10.l := 1; x11.l := 1; x12.l := 1; x13.l := 1; x14.l := 1; x15.l := 1; x16.l := 1; } } MathematicalProgram nvs20 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve nvs20; } } Procedure MainTermination { Body: { return 1; } } }