## ams_version=1.0 Model Main_st_jcbpaf2 { Variable x1 { Range: nonnegative; } Variable x2 { Range: nonnegative; } Variable x3 { Range: nonnegative; } Variable x4 { Range: nonnegative; } Variable x5 { Range: nonnegative; } Variable x6 { Range: nonnegative; } Variable x7 { Range: nonnegative; } Variable x8 { Range: nonnegative; } Variable x9 { Range: nonnegative; } Variable x10 { Range: nonnegative; } Variable objvar; Constraint e1 { Definition: x1 + 7*x2 + 5*x3 + 5*x4 - 6*x6 - 3*x7 - 3*x8 + 5*x9 - 7*x10 <= 80; } Constraint e2 { Definition: - 3*x1 + 3*x2 + 8*x3 + 7*x4 - 9*x5 - 7*x6 - 9*x7 + 8*x9 - 7*x10 <= 57; } Constraint e3 { Definition: x1 + x3 + 3*x4 + 8*x5 + 9*x6 + 9*x8 - 7*x9 - 8*x10 <= 92; } Constraint e4 { Definition: - x1 - 2*x2 + 2*x3 + 9*x5 + 5*x6 - 3*x7 + x8 - x9 - 5*x10 <= 55; } Constraint e5 { Definition: - 5*x1 + 8*x2 - 8*x3 + 3*x5 + 4*x7 - 5*x8 - 2*x9 + 9*x10 <= 76; } Constraint e6 { Definition: { 4*x1 - x2 + 6*x3 - 4*x4 - 7*x5 - 8*x6 - 7*x7 + 6*x8 - 2*x9 - 9*x10 <= 14 } } Constraint e7 { Definition: 7*x2 + 4*x3 + 9*x5 - 6*x8 - 5*x9 - 5*x10 <= 47; } Constraint e8 { Definition: - 5*x1 - x2 + 7*x4 - x5 + 2*x6 + 5*x7 - 8*x8 - 5*x9 + 2*x10 <= 51; } Constraint e9 { Definition: - 4*x1 - 7*x2 - 9*x4 + 2*x5 + 6*x6 - 9*x7 + x8 - 5*x9 <= 36; } Constraint e10 { Definition: - 2*x1 + 6*x2 + 8*x4 - 6*x5 + 8*x6 + 8*x7 + 5*x8 + 2*x9 - 7*x10 <= 92; } Constraint e11 { Definition: x1 + x2 + x3 - 2*x4 + x5 + x6 + x7 + 4*x8 + x9 + 3*x10 <= 200; } Constraint e12 { Definition: x1 + x2 + x3 + x4 + x5 >= 1; } Constraint e13 { Definition: x6 + x7 + x8 + x9 + x10 >= 2; } Constraint e14 { Definition: { -(x1*x6 - x1 - x6 + x2*x7 - 2*x2 - 2*x7 + x3*x8 - 3*x3 - 3*x8 + x4*x9 - 4 *x4 - 4*x9 + x5*x10 - 5*x5 - 5*x10) + objvar = 0 } } Procedure MainInitialization { Body: { x1.upper := 100; x2.upper := 100; x3.upper := 100; x4.upper := 100; x5.upper := 100; x6.upper := 100; x7.upper := 100; x8.upper := 100; x9.upper := 100; x10.upper := 100; } } MathematicalProgram st_jcbpaf2 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: NLP; } Procedure MainExecution { Body: { solve st_jcbpaf2; } } Procedure MainTermination { Body: { return 1; } } }