## ams_version=1.0 Model Main_elf { Variable b1 { Range: binary; } Variable b2 { Range: binary; } Variable b3 { Range: binary; } Variable b4 { Range: binary; } Variable b5 { Range: binary; } Variable b6 { Range: binary; } Variable b7 { Range: binary; } Variable b8 { Range: binary; } Variable b9 { Range: binary; } Variable b10 { Range: binary; } Variable b11 { Range: binary; } Variable b12 { Range: binary; } Variable b13 { Range: binary; } Variable b14 { Range: binary; } Variable b15 { Range: binary; } Variable b16 { Range: binary; } Variable b17 { Range: binary; } Variable b18 { Range: binary; } Variable b19 { Range: binary; } Variable b20 { Range: binary; } Variable b21 { Range: binary; } Variable b22 { Range: binary; } Variable b23 { Range: binary; } Variable b24 { Range: binary; } Variable x25 { Range: nonnegative; } Variable x26 { Range: nonnegative; } Variable x27 { Range: nonnegative; } Variable x28 { Range: nonnegative; } Variable x29 { Range: nonnegative; } Variable x30 { Range: nonnegative; } Variable x31 { Range: nonnegative; } Variable x32 { Range: nonnegative; } Variable x33 { Range: nonnegative; } Variable x34 { Range: nonnegative; } Variable x35 { Range: nonnegative; } Variable x36 { Range: nonnegative; } Variable x37 { Range: nonnegative; } Variable x38 { Range: nonnegative; } Variable x39 { Range: nonnegative; } Variable x40 { Range: nonnegative; } Variable x41 { Range: nonnegative; } Variable x42 { Range: nonnegative; } Variable x43 { Range: nonnegative; } Variable x44 { Range: nonnegative; } Variable x45 { Range: nonnegative; } Variable x46 { Range: nonnegative; } Variable x47 { Range: nonnegative; } Variable x48 { Range: nonnegative; } Variable x49 { Range: nonnegative; } Variable x50 { Range: nonnegative; } Variable x51 { Range: nonnegative; } Variable x52 { Range: nonnegative; } Variable x53 { Range: nonnegative; } Variable x54 { Range: nonnegative; } Variable objvar; Constraint e1 { Definition: -sqr(8 - x49) - 100*b1 + x25 >= -100; } Constraint e2 { Definition: -sqr(8 - x50) - 100*b2 + x26 >= -100; } Constraint e3 { Definition: -sqr(8 - x51) - 100*b3 + x27 >= -100; } Constraint e4 { Definition: -sqr(8.5 - x49) - 100*b4 + x28 >= -100; } Constraint e5 { Definition: -sqr(8.5 - x50) - 100*b5 + x29 >= -100; } Constraint e6 { Definition: -sqr(8.5 - x51) - 100*b6 + x30 >= -100; } Constraint e7 { Definition: -sqr(8.3 - x49) - 100*b7 + x31 >= -100; } Constraint e8 { Definition: -sqr(8.3 - x50) - 100*b8 + x32 >= -100; } Constraint e9 { Definition: -sqr(8.3 - x51) - 100*b9 + x33 >= -100; } Constraint e10 { Definition: -sqr(8.7 - x49) - 100*b10 + x34 >= -100; } Constraint e11 { Definition: -sqr(8.7 - x50) - 100*b11 + x35 >= -100; } Constraint e12 { Definition: -sqr(8.7 - x51) - 100*b12 + x36 >= -100; } Constraint e13 { Definition: -sqr(8.6 - x49) - 100*b13 + x37 >= -100; } Constraint e14 { Definition: -sqr(8.6 - x50) - 100*b14 + x38 >= -100; } Constraint e15 { Definition: -sqr(8.6 - x51) - 100*b15 + x39 >= -100; } Constraint e16 { Definition: -sqr(9 - x49) - 100*b16 + x40 >= -100; } Constraint e17 { Definition: -sqr(9 - x50) - 100*b17 + x41 >= -100; } Constraint e18 { Definition: -sqr(9 - x51) - 100*b18 + x42 >= -100; } Constraint e19 { Definition: -sqr(9.2 - x49) - 100*b19 + x43 >= -100; } Constraint e20 { Definition: -sqr(9.2 - x50) - 100*b20 + x44 >= -100; } Constraint e21 { Definition: -sqr(9.2 - x51) - 100*b21 + x45 >= -100; } Constraint e22 { Definition: -sqr(9.5 - x49) - 100*b22 + x46 >= -100; } Constraint e23 { Definition: -sqr(9.5 - x50) - 100*b23 + x47 >= -100; } Constraint e24 { Definition: -sqr(9.5 - x51) - 100*b24 + x48 >= -100; } Constraint e25 { Definition: b1 + b2 + b3 >= 1; } Constraint e26 { Definition: b4 + b5 + b6 >= 1; } Constraint e27 { Definition: b7 + b8 + b9 >= 1; } Constraint e28 { Definition: b10 + b11 + b12 >= 1; } Constraint e29 { Definition: b13 + b14 + b15 >= 1; } Constraint e30 { Definition: b16 + b17 + b18 >= 1; } Constraint e31 { Definition: b19 + b20 + b21 >= 1; } Constraint e32 { Definition: b22 + b23 + b24 >= 1; } Constraint e33 { Definition: - b1 - b4 - b7 - b10 - b13 - b16 - b19 - b22 + x52 = 0; } Constraint e34 { Definition: - b2 - b5 - b8 - b11 - b14 - b17 - b20 - b23 + x53 = 0; } Constraint e35 { Definition: - b3 - b6 - b9 - b12 - b15 - b18 - b21 - b24 + x54 = 0; } Constraint e36 { Definition: { x52*x49 - 8*b1 - 8.5*b4 - 8.3*b7 - 8.7*b10 - 8.6*b13 - 9*b16 - 9.2*b19 - 9.5*b22 = 0 } } Constraint e37 { Definition: { x53*x50 - 8*b2 - 8.5*b5 - 8.3*b8 - 8.7*b11 - 8.6*b14 - 9*b17 - 9.2*b20 - 9.5*b23 = 0 } } Constraint e38 { Definition: { x54*x51 - 8*b3 - 8.5*b6 - 8.3*b9 - 8.7*b12 - 8.6*b15 - 9*b18 - 9.2*b21 - 9.5*b24 = 0 } } Constraint e39 { Definition: { - x25 - x26 - x27 - x28 - x29 - x30 - x31 - x32 - x33 - x34 - x35 - x36 - x37 - x38 - x39 - x40 - x41 - x42 - x43 - x44 - x45 - x46 - x47 - x48 + objvar = 0 } } Procedure MainInitialization { Body: { b1.l := 0.33; b2.l := 0.33; b3.l := 0.33; b4.l := 0.33; b5.l := 0.33; b6.l := 0.33; b7.l := 0.33; b8.l := 0.33; b9.l := 0.33; b10.l := 0.33; b11.l := 0.33; b12.l := 0.33; b13.l := 0.33; b14.l := 0.33; b15.l := 0.33; b16.l := 0.33; b17.l := 0.33; b18.l := 0.33; b19.l := 0.33; b20.l := 0.33; b21.l := 0.33; b22.l := 0.33; b23.l := 0.33; } } MathematicalProgram elf { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve elf; } } Procedure MainTermination { Body: { return 1; } } }