## ams_version=1.0 Model Main_eq6_1 { Variable x1; Variable x2; Variable x3; Variable x4; Variable x5; Variable x6; Variable x7; Variable x8; Variable x9; Variable x10; Variable x11; Variable x12; Variable x13; Variable x14; Variable x15; Variable x16; Variable objvar; Constraint e1 { Definition: -sqrt(sqr(x1 - x2) + sqr(x9 - x10)) <= -2.995353; } Constraint e2 { Definition: -sqrt(sqr(x1 - x3) + sqr(x9 - x11)) <= -2.532248; } Constraint e3 { Definition: -sqrt(sqr(x1 - x4) + sqr(x9 - x12)) <= -2.638959; } Constraint e4 { Definition: -sqrt(sqr(x1 - x5) + sqr(x9 - x13)) <= -2.638959; } Constraint e5 { Definition: -sqrt(sqr(x1 - x6) + sqr(x9 - x14)) <= -2.121321; } Constraint e6 { Definition: -sqrt(sqr(x1 - x7) + sqr(x9 - x15)) <= -1.914214; } Constraint e7 { Definition: -sqrt(sqr(x1 - x8) + sqr(x9 - x16)) <= -2.828428; } Constraint e8 { Definition: -sqrt(sqr(x2 - x3) + sqr(x10 - x11)) <= -2.699173; } Constraint e9 { Definition: -sqrt(sqr(x2 - x4) + sqr(x10 - x12)) <= -2.805884; } Constraint e10 { Definition: -sqrt(sqr(x2 - x5) + sqr(x10 - x13)) <= -2.805884; } Constraint e11 { Definition: -sqrt(sqr(x2 - x6) + sqr(x10 - x14)) <= -2.288246; } Constraint e12 { Definition: -sqrt(sqr(x2 - x7) + sqr(x10 - x15)) <= -2.081139; } Constraint e13 { Definition: -sqrt(sqr(x2 - x8) + sqr(x10 - x16)) <= -2.995353; } Constraint e14 { Definition: -sqrt(sqr(x3 - x4) + sqr(x11 - x12)) <= -2.342779; } Constraint e15 { Definition: -sqrt(sqr(x3 - x5) + sqr(x11 - x13)) <= -2.342779; } Constraint e16 { Definition: -sqrt(sqr(x3 - x6) + sqr(x11 - x14)) <= -1.825141; } Constraint e17 { Definition: -sqrt(sqr(x3 - x7) + sqr(x11 - x15)) <= -1.618034; } Constraint e18 { Definition: -sqrt(sqr(x3 - x8) + sqr(x11 - x16)) <= -2.532248; } Constraint e19 { Definition: -sqrt(sqr(x4 - x5) + sqr(x12 - x13)) <= -2.44949; } Constraint e20 { Definition: -sqrt(sqr(x4 - x6) + sqr(x12 - x14)) <= -1.931852; } Constraint e21 { Definition: -sqrt(sqr(x4 - x7) + sqr(x12 - x15)) <= -1.724745; } Constraint e22 { Definition: -sqrt(sqr(x4 - x8) + sqr(x12 - x16)) <= -2.638959; } Constraint e23 { Definition: -sqrt(sqr(x5 - x6) + sqr(x13 - x14)) <= -1.931852; } Constraint e24 { Definition: -sqrt(sqr(x5 - x7) + sqr(x13 - x15)) <= -1.724745; } Constraint e25 { Definition: -sqrt(sqr(x5 - x8) + sqr(x13 - x16)) <= -2.638959; } Constraint e26 { Definition: -sqrt(sqr(x6 - x7) + sqr(x14 - x15)) <= -1.207107; } Constraint e27 { Definition: -sqrt(sqr(x6 - x8) + sqr(x14 - x16)) <= -2.121321; } Constraint e28 { Definition: -sqrt(sqr(x7 - x8) + sqr(x15 - x16)) <= -1.914214; } Constraint e29 { Definition: - x1 <= 1.210786; } Constraint e30 { Definition: - x2 <= 1.043861; } Constraint e31 { Definition: - x3 <= 1.506966; } Constraint e32 { Definition: - x4 <= 1.400255; } Constraint e33 { Definition: - x5 <= 1.400255; } Constraint e34 { Definition: - x6 <= 1.917893; } Constraint e35 { Definition: - x7 <= 2.125; } Constraint e36 { Definition: - x8 <= 1.210786; } Constraint e37 { Definition: x1 <= 1.210786; } Constraint e38 { Definition: x2 <= 1.043861; } Constraint e39 { Definition: x3 <= 1.506966; } Constraint e40 { Definition: x4 <= 1.400255; } Constraint e41 { Definition: x5 <= 1.400255; } Constraint e42 { Definition: x6 <= 1.917893; } Constraint e43 { Definition: x7 <= 2.125; } Constraint e44 { Definition: x8 <= 1.210786; } Constraint e45 { Definition: - x9 <= 3.710786; } Constraint e46 { Definition: - x10 <= 3.543861; } Constraint e47 { Definition: - x11 <= 4.006966; } Constraint e48 { Definition: - x12 <= 3.900255; } Constraint e49 { Definition: - x13 <= 3.900255; } Constraint e50 { Definition: - x14 <= 4.417893; } Constraint e51 { Definition: - x15 <= 4.625; } Constraint e52 { Definition: - x16 <= 3.710786; } Constraint e53 { Definition: x9 <= 3.710786; } Constraint e54 { Definition: x10 <= 3.543861; } Constraint e55 { Definition: x11 <= 4.006966; } Constraint e56 { Definition: x12 <= 3.900255; } Constraint e57 { Definition: x13 <= 3.900255; } Constraint e58 { Definition: x14 <= 4.417893; } Constraint e59 { Definition: x15 <= 4.625; } Constraint e60 { Definition: x16 <= 3.710786; } Constraint e61 { Definition: { 10*x2*x1 - 18*sqr(x1) - 14*sqr(x2) - 18*sqr(x9) + 10*x10*x9 - 14*sqr(x10) + 4*x3*x1 + 6*x3*x2 - 10*sqr(x3) + 4*x11*x9 + 6*x11*x10 - 10*sqr(x11) + 8*x4*x1 - 23*sqr(x4) + 8*x12*x9 - 23*sqr(x12) + 2*x5*x1 + 4*x5*x2 + 10*x5 *x4 - 18*sqr(x5) + 2*x13*x9 + 4*x13*x10 + 10*x13*x12 - 18*sqr(x13) + 4*x6 *x2 + 4*x6*x4 + 20*x6*x5 - 20*sqr(x6) + 4*x14*x10 + 4*x14*x12 + 20*x14* x13 - 20*sqr(x14) + 12*x8*x1 + 10*x8*x3 + 20*x8*x4 + 2*x8*x6 - 32*sqr(x8) + 12*x16*x9 + 10*x16*x11 + 20*x16*x12 + 2*x16*x14 - 32*sqr(x16) + 4*x7* x2 + 4*x7*x4 + 10*x7*x6 + 20*x7*x8 - 19*sqr(x7) + 4*x15*x10 + 4*x15*x12 + 10*x15*x14 + 20*x15*x16 - 19*sqr(x15) + objvar = 0 } } Procedure MainInitialization { Body: { x1.lower := -18.999999; x1.upper := 18.999999; x2.lower := -18.999999; x2.upper := 18.999999; x3.lower := -18.999999; x3.upper := 18.999999; x4.lower := -18.999999; x4.upper := 18.999999; x5.lower := -18.999999; x5.upper := 18.999999; x6.lower := -18.999999; x6.upper := 18.999999; x7.lower := -18.999999; x7.upper := 18.999999; x8.lower := -18.999999; x8.upper := 18.999999; x9.lower := -18.999999; x9.upper := 18.999999; x10.lower := -18.999999; x10.upper := 18.999999; x11.lower := -18.999999; x11.upper := 18.999999; x12.lower := -18.999999; x12.upper := 18.999999; x13.lower := -18.999999; x13.upper := 18.999999; x14.lower := -18.999999; x14.upper := 18.999999; x15.lower := -18.999999; x15.upper := 18.999999; x16.lower := -18.999999; x16.upper := 18.999999; } } MathematicalProgram eq6_1 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: NLP; } Procedure MainExecution { Body: { solve eq6_1; } } Procedure MainTermination { Body: { return 1; } } }