## ams_version=1.0 Model Main_nvs17 { Variable i1 { Range: integer; } Variable i2 { Range: integer; } Variable i3 { Range: integer; } Variable i4 { Range: integer; } Variable i5 { Range: integer; } Variable i6 { Range: integer; } Variable i7 { Range: integer; } Variable objvar; Constraint e1 { Definition: { (-9*sqr(i1)) - 10*i1*i2 - 8*sqr(i2) - 5*sqr(i3) - 6*i3*i1 - 10*i3*i2 - 7* sqr(i4) - 10*i4*i1 - 6*i4*i2 - 2*i4*i3 - 2*i5*i2 - 7*sqr(i5) - 6*i6*i1 - 2 *i6*i2 - 2*i6*i4 - 5*sqr(i6) + 6*i7*i1 + 2*i7*i2 + 4*i7*i3 + 2*i7*i4 - 4* i7*i5 + 4*i7*i6 - 8*sqr(i7) >= -1930 } } Constraint e2 { Definition: { (-6*sqr(i1)) - 6*i1*i2 - 6*sqr(i2) - 4*sqr(i3) - 2*i3*i1 - 2*i3*i2 - 8* sqr(i4) + 2*i4*i1 + 10*i4*i2 - 2*i5*i1 - 6*i5*i2 + 6*i5*i4 + 7*sqr(i5) - 2 *i6*i2 + 8*i6*i3 + 2*i6*i4 - 4*i6*i5 - 8*sqr(i6) - 6*i7*i1 - 10*i7*i2 - 2* i7*i3 + 10*i7*i4 - 10*i7*i5 - 8*sqr(i7) >= -2940 } } Constraint e3 { Definition: { (-9*sqr(i1)) - 6*sqr(i2) - 8*sqr(i3) + 2*i2*i1 + 2*i3*i2 - 6*sqr(i4) + 4* i4*i1 + 4*i4*i2 - 2*i4*i3 - 6*i5*i1 - 2*i5*i2 + 4*i5*i4 + 6*sqr(i5) + 2*i6 *i1 + 4*i6*i2 - 6*i6*i4 - 2*i6*i5 - 5*sqr(i6) + 2*i7*i2 - 4*i7*i3 - 6*i7* i5 - 4*i7*i6 - 7*sqr(i7) >= -1840 } } Constraint e4 { Definition: { (-8*sqr(i1)) - 4*sqr(i2) - 9*sqr(i3) - 7*sqr(i4) - 2*i2*i1 - 2*i3*i1 - 4* i3*i2 + 6*i4*i1 + 2*i4*i2 - 2*i4*i3 - 6*i5*i1 - 4*i5*i2 - 2*i5*i3 + 6*i5* i4 + 6*sqr(i5) - 10*i6*i1 - 10*i6*i3 + 4*i6*i4 - 2*i6*i5 - 7*sqr(i6) + 6* i7*i1 - 2*i7*i2 - 2*i7*i3 + 6*i7*i5 + 2*i7*i6 - 6*sqr(i7) >= -1650 } } Constraint e5 { Definition: { 2*i2*i1 - 4*sqr(i1) - 5*sqr(i2) - 6*i3*i1 - 8*sqr(i3) - 2*i4*i1 + 6*i4*i2 - 2*i4*i3 - 6*sqr(i4) - 4*i5*i1 + 2*i5*i2 - 6*i5*i3 - 8*i5*i4 - 7*sqr(i5) + 4*i6*i1 - 4*i6*i2 + 6*i6*i3 + 4*i6*i5 - 7*sqr(i6) + 4*i7*i1 - 4*i7*i2 - 4*i7*i3 + 4*i7*i4 + 4*i7*i5 + 4*i7*i6 - 8*sqr(i7) >= -1220 } } Constraint e6 { Definition: { 2*i2*i1 - 7*sqr(i1) - 7*sqr(i2) - 6*i3*i1 - 2*i3*i2 - 6*sqr(i3) - 2*i4*i1 + 2*i4*i2 - 2*i4*i3 - 5*sqr(i4) - 2*i5*i1 - 4*i5*i3 + 2*i5*i4 - 5*sqr(i5) + 2*i6*i1 - 4*i6*i2 + 4*i6*i3 + 2*i6*i4 + 6*i6*i5 - 9*sqr(i6) + 4*i7*i2 - 4*i7*i3 + 4*i7*i4 - 4*i7*i5 + 8*i7*i6 - 6*sqr(i7) >= -1020 } } Constraint e7 { Definition: { (-9*sqr(i1)) - 4*i2*i1 - 8*sqr(i2) + 4*i3*i1 + 2*i3*i2 - 7*sqr(i3) + 4*i4* i1 + 4*i4*i3 - 7*sqr(i4) - 2*i5*i1 - 12*i5*i2 - 4*i5*i3 - 8*sqr(i5) - 8*i6 *i1 + 2*i6*i2 - 2*i6*i5 - 6*sqr(i6) - 4*i7*i1 - 6*i7*i2 - 2*i7*i3 + 10*i7* i4 - 2*i7*i5 + 2*i7*i6 - 7*sqr(i2) >= -2740 } } Constraint e8 { Definition: { -(7*sqr(i1) + 6*sqr(i2) + 14.2*i1 - 11.6*i2 + 8*sqr(i3) - 6*i3*i1 + 4*i3* i2 + 18.4*i3 + 6*sqr(i4) + 2*i4*i1 + 2*i4*i3 - 24.8*i4 + 7*sqr(i5) - 4*i5* i1 - 2*i5*i2 - 6*i5*i3 - 132.8*i5 + 4*sqr(i6) + 2*i6*i1 - 4*i6*i2 - 4*i6* i3 - 2*i6*i4 + 6*i6*i5 - 84.4*i6 + 6*sqr(i7) - 2*i7*i1 - 6*i7*i2 - 2*i7*i3 + 4*i7*i5 + 4*i7*i6 - 88*i7) + objvar = 0 } } Procedure MainInitialization { Body: { i1.upper := 200; i2.upper := 200; i3.upper := 200; i4.upper := 200; i5.upper := 200; i6.upper := 200; i7.upper := 200; i1.l := 1; i2.l := 1; i3.l := 1; i4.l := 1; i5.l := 1; i6.l := 1; i7.l := 1; } } MathematicalProgram nvs17 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve nvs17; } } Procedure MainTermination { Body: { return 1; } } }