## ams_version=1.0 Model Main_p_ball_10b_5p_2d_m { 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 b25 { Range: binary; } Variable b26 { Range: binary; } Variable b27 { Range: binary; } Variable b28 { Range: binary; } Variable b29 { Range: binary; } Variable b30 { Range: binary; } Variable b31 { Range: binary; } Variable b32 { Range: binary; } Variable b33 { Range: binary; } Variable b34 { Range: binary; } Variable b35 { Range: binary; } Variable b36 { Range: binary; } Variable b37 { Range: binary; } Variable b38 { Range: binary; } Variable b39 { Range: binary; } Variable b40 { Range: binary; } Variable b41 { Range: binary; } Variable b42 { Range: binary; } Variable b43 { Range: binary; } Variable b44 { Range: binary; } Variable b45 { Range: binary; } Variable b46 { Range: binary; } Variable b47 { Range: binary; } Variable b48 { Range: binary; } Variable b49 { Range: binary; } Variable b50 { Range: binary; } Variable x51 { Range: nonnegative; } Variable x52 { Range: nonnegative; } Variable x53 { Range: nonnegative; } Variable x54 { Range: nonnegative; } Variable x55 { Range: nonnegative; } Variable x56 { Range: nonnegative; } Variable x57 { Range: nonnegative; } Variable x58 { Range: nonnegative; } Variable x59 { Range: nonnegative; } Variable x60 { Range: nonnegative; } Variable x61 { Range: nonnegative; } Variable x62 { Range: nonnegative; } Variable x63 { Range: nonnegative; } Variable x64 { Range: nonnegative; } Variable x65 { Range: nonnegative; } Variable x66 { Range: nonnegative; } Variable x67 { Range: nonnegative; } Variable x68 { Range: nonnegative; } Variable x69 { Range: nonnegative; } Variable x70 { Range: nonnegative; } Variable x71 { Range: nonnegative; } Variable x72 { Range: nonnegative; } Variable x73 { Range: nonnegative; } Variable x74 { Range: nonnegative; } Variable x75 { Range: nonnegative; } Variable x76 { Range: nonnegative; } Variable x77 { Range: nonnegative; } Variable x78 { Range: nonnegative; } Variable x79 { Range: nonnegative; } Variable x80 { Range: nonnegative; } Variable objvar; Constraint e1 { Definition: x51 - x52 - x53 <= 0; } Constraint e2 { Definition: - x51 + x52 - x53 <= 0; } Constraint e3 { Definition: x54 - x55 - x56 <= 0; } Constraint e4 { Definition: - x54 + x55 - x56 <= 0; } Constraint e5 { Definition: x51 - x57 - x58 <= 0; } Constraint e6 { Definition: - x51 + x57 - x58 <= 0; } Constraint e7 { Definition: x54 - x59 - x60 <= 0; } Constraint e8 { Definition: - x54 + x59 - x60 <= 0; } Constraint e9 { Definition: x51 - x61 - x62 <= 0; } Constraint e10 { Definition: - x51 + x61 - x62 <= 0; } Constraint e11 { Definition: x54 - x63 - x64 <= 0; } Constraint e12 { Definition: - x54 + x63 - x64 <= 0; } Constraint e13 { Definition: x51 - x65 - x66 <= 0; } Constraint e14 { Definition: - x51 + x65 - x66 <= 0; } Constraint e15 { Definition: x54 - x67 - x68 <= 0; } Constraint e16 { Definition: - x54 + x67 - x68 <= 0; } Constraint e17 { Definition: x52 - x57 - x69 <= 0; } Constraint e18 { Definition: - x52 + x57 - x69 <= 0; } Constraint e19 { Definition: x55 - x59 - x70 <= 0; } Constraint e20 { Definition: - x55 + x59 - x70 <= 0; } Constraint e21 { Definition: x52 - x61 - x71 <= 0; } Constraint e22 { Definition: - x52 + x61 - x71 <= 0; } Constraint e23 { Definition: x55 - x63 - x72 <= 0; } Constraint e24 { Definition: - x55 + x63 - x72 <= 0; } Constraint e25 { Definition: x52 - x65 - x73 <= 0; } Constraint e26 { Definition: - x52 + x65 - x73 <= 0; } Constraint e27 { Definition: x55 - x67 - x74 <= 0; } Constraint e28 { Definition: - x55 + x67 - x74 <= 0; } Constraint e29 { Definition: x57 - x61 - x75 <= 0; } Constraint e30 { Definition: - x57 + x61 - x75 <= 0; } Constraint e31 { Definition: x59 - x63 - x76 <= 0; } Constraint e32 { Definition: - x59 + x63 - x76 <= 0; } Constraint e33 { Definition: x57 - x65 - x77 <= 0; } Constraint e34 { Definition: - x57 + x65 - x77 <= 0; } Constraint e35 { Definition: x59 - x67 - x78 <= 0; } Constraint e36 { Definition: - x59 + x67 - x78 <= 0; } Constraint e37 { Definition: x61 - x65 - x79 <= 0; } Constraint e38 { Definition: - x61 + x65 - x79 <= 0; } Constraint e39 { Definition: x63 - x67 - x80 <= 0; } Constraint e40 { Definition: - x63 + x67 - x80 <= 0; } Constraint e41 { Definition: { sqr(0.648386267690458 - x51) + sqr(5.34198386756466 - x54) + 109.233018040634*b1 <= 110.233018040634 } } Constraint e42 { Definition: { sqr(0.38028139143083 - x51) + sqr(4.79200736168083 - x54) + 108.933937361066*b2 <= 109.933937361066 } } Constraint e43 { Definition: { sqr(4.59553989190787 - x51) + sqr(2.92927044373959 - x54) + 54.6585416851302*b3 <= 55.6585416851302 } } Constraint e44 { Definition: { sqr(7.79089239319392 - x51) + sqr(3.09688601355012 - x54) + 72.9946165089168*b4 <= 73.9946165089168 } } Constraint e45 { Definition: { sqr(2.20597420581599 - x51) + sqr(0.880296019425143 - x54) + 103.212034038779*b5 <= 104.212034038779 } } Constraint e46 { Definition: { sqr(4.31093077060147 - x51) + sqr(5.42555328385657 - x54) + 56.8881542099775*b6 <= 57.8881542099775 } } Constraint e47 { Definition: { sqr(8.68776252232421 - x51) + sqr(7.42106012944621 - x54) + 103.212034038779*b7 <= 104.212034038779 } } Constraint e48 { Definition: { sqr(3.86794113528858 - x51) + sqr(9.34863265837716 - x54) + 120.378073325993*b8 <= 121.378073325993 } } Constraint e49 { Definition: { sqr(8.94294324678777 - x51) + sqr(0.712193380632226 - x54) + 120.378073325993*b9 <= 121.378073325993 } } Constraint e50 { Definition: { sqr(1.56734614217404 - x51) + sqr(5.6469805099144 - x54) + 96.4999714251602*b10 <= 97.4999714251602 } } Constraint e51 { Definition: b1 + b2 + b3 + b4 + b5 + b6 + b7 + b8 + b9 + b10 = 1; } Constraint e52 { Definition: { sqr(0.648386267690458 - x52) + sqr(5.34198386756466 - x55) + 109.233018040634*b11 <= 110.233018040634 } } Constraint e53 { Definition: { sqr(0.38028139143083 - x52) + sqr(4.79200736168083 - x55) + 108.933937361066*b12 <= 109.933937361066 } } Constraint e54 { Definition: { sqr(4.59553989190787 - x52) + sqr(2.92927044373959 - x55) + 54.6585416851302*b13 <= 55.6585416851302 } } Constraint e55 { Definition: { sqr(7.79089239319392 - x52) + sqr(3.09688601355012 - x55) + 72.9946165089168*b14 <= 73.9946165089168 } } Constraint e56 { Definition: { sqr(2.20597420581599 - x52) + sqr(0.880296019425143 - x55) + 103.212034038779*b15 <= 104.212034038779 } } Constraint e57 { Definition: { sqr(4.31093077060147 - x52) + sqr(5.42555328385657 - x55) + 56.8881542099775*b16 <= 57.8881542099775 } } Constraint e58 { Definition: { sqr(8.68776252232421 - x52) + sqr(7.42106012944621 - x55) + 103.212034038779*b17 <= 104.212034038779 } } Constraint e59 { Definition: { sqr(3.86794113528858 - x52) + sqr(9.34863265837716 - x55) + 120.378073325993*b18 <= 121.378073325993 } } Constraint e60 { Definition: { sqr(8.94294324678777 - x52) + sqr(0.712193380632226 - x55) + 120.378073325993*b19 <= 121.378073325993 } } Constraint e61 { Definition: { sqr(1.56734614217404 - x52) + sqr(5.6469805099144 - x55) + 96.4999714251602*b20 <= 97.4999714251602 } } Constraint e62 { Definition: b11 + b12 + b13 + b14 + b15 + b16 + b17 + b18 + b19 + b20 = 1; } Constraint e63 { Definition: { sqr(0.648386267690458 - x57) + sqr(5.34198386756466 - x59) + 109.233018040634*b21 <= 110.233018040634 } } Constraint e64 { Definition: { sqr(0.38028139143083 - x57) + sqr(4.79200736168083 - x59) + 108.933937361066*b22 <= 109.933937361066 } } Constraint e65 { Definition: { sqr(4.59553989190787 - x57) + sqr(2.92927044373959 - x59) + 54.6585416851302*b23 <= 55.6585416851302 } } Constraint e66 { Definition: { sqr(7.79089239319392 - x57) + sqr(3.09688601355012 - x59) + 72.9946165089168*b24 <= 73.9946165089168 } } Constraint e67 { Definition: { sqr(2.20597420581599 - x57) + sqr(0.880296019425143 - x59) + 103.212034038779*b25 <= 104.212034038779 } } Constraint e68 { Definition: { sqr(4.31093077060147 - x57) + sqr(5.42555328385657 - x59) + 56.8881542099775*b26 <= 57.8881542099775 } } Constraint e69 { Definition: { sqr(8.68776252232421 - x57) + sqr(7.42106012944621 - x59) + 103.212034038779*b27 <= 104.212034038779 } } Constraint e70 { Definition: { sqr(3.86794113528858 - x57) + sqr(9.34863265837716 - x59) + 120.378073325993*b28 <= 121.378073325993 } } Constraint e71 { Definition: { sqr(8.94294324678777 - x57) + sqr(0.712193380632226 - x59) + 120.378073325993*b29 <= 121.378073325993 } } Constraint e72 { Definition: { sqr(1.56734614217404 - x57) + sqr(5.6469805099144 - x59) + 96.4999714251602*b30 <= 97.4999714251602 } } Constraint e73 { Definition: b21 + b22 + b23 + b24 + b25 + b26 + b27 + b28 + b29 + b30 = 1; } Constraint e74 { Definition: { sqr(0.648386267690458 - x61) + sqr(5.34198386756466 - x63) + 109.233018040634*b31 <= 110.233018040634 } } Constraint e75 { Definition: { sqr(0.38028139143083 - x61) + sqr(4.79200736168083 - x63) + 108.933937361066*b32 <= 109.933937361066 } } Constraint e76 { Definition: { sqr(4.59553989190787 - x61) + sqr(2.92927044373959 - x63) + 54.6585416851302*b33 <= 55.6585416851302 } } Constraint e77 { Definition: { sqr(7.79089239319392 - x61) + sqr(3.09688601355012 - x63) + 72.9946165089168*b34 <= 73.9946165089168 } } Constraint e78 { Definition: { sqr(2.20597420581599 - x61) + sqr(0.880296019425143 - x63) + 103.212034038779*b35 <= 104.212034038779 } } Constraint e79 { Definition: { sqr(4.31093077060147 - x61) + sqr(5.42555328385657 - x63) + 56.8881542099775*b36 <= 57.8881542099775 } } Constraint e80 { Definition: { sqr(8.68776252232421 - x61) + sqr(7.42106012944621 - x63) + 103.212034038779*b37 <= 104.212034038779 } } Constraint e81 { Definition: { sqr(3.86794113528858 - x61) + sqr(9.34863265837716 - x63) + 120.378073325993*b38 <= 121.378073325993 } } Constraint e82 { Definition: { sqr(8.94294324678777 - x61) + sqr(0.712193380632226 - x63) + 120.378073325993*b39 <= 121.378073325993 } } Constraint e83 { Definition: { sqr(1.56734614217404 - x61) + sqr(5.6469805099144 - x63) + 96.4999714251602*b40 <= 97.4999714251602 } } Constraint e84 { Definition: b31 + b32 + b33 + b34 + b35 + b36 + b37 + b38 + b39 + b40 = 1; } Constraint e85 { Definition: { sqr(0.648386267690458 - x65) + sqr(5.34198386756466 - x67) + 109.233018040634*b41 <= 110.233018040634 } } Constraint e86 { Definition: { sqr(0.38028139143083 - x65) + sqr(4.79200736168083 - x67) + 108.933937361066*b42 <= 109.933937361066 } } Constraint e87 { Definition: { sqr(4.59553989190787 - x65) + sqr(2.92927044373959 - x67) + 54.6585416851302*b43 <= 55.6585416851302 } } Constraint e88 { Definition: { sqr(7.79089239319392 - x65) + sqr(3.09688601355012 - x67) + 72.9946165089168*b44 <= 73.9946165089168 } } Constraint e89 { Definition: { sqr(2.20597420581599 - x65) + sqr(0.880296019425143 - x67) + 103.212034038779*b45 <= 104.212034038779 } } Constraint e90 { Definition: { sqr(4.31093077060147 - x65) + sqr(5.42555328385657 - x67) + 56.8881542099775*b46 <= 57.8881542099775 } } Constraint e91 { Definition: { sqr(8.68776252232421 - x65) + sqr(7.42106012944621 - x67) + 103.212034038779*b47 <= 104.212034038779 } } Constraint e92 { Definition: { sqr(3.86794113528858 - x65) + sqr(9.34863265837716 - x67) + 120.378073325993*b48 <= 121.378073325993 } } Constraint e93 { Definition: { sqr(8.94294324678777 - x65) + sqr(0.712193380632226 - x67) + 120.378073325993*b49 <= 121.378073325993 } } Constraint e94 { Definition: { sqr(1.56734614217404 - x65) + sqr(5.6469805099144 - x67) + 96.4999714251602*b50 <= 97.4999714251602 } } Constraint e95 { Definition: b41 + b42 + b43 + b44 + b45 + b46 + b47 + b48 + b49 + b50 = 1; } Constraint e96 { Definition: b1 + b11 + b21 + b31 + b41 <= 1; } Constraint e97 { Definition: b2 + b12 + b22 + b32 + b42 <= 1; } Constraint e98 { Definition: b3 + b13 + b23 + b33 + b43 <= 1; } Constraint e99 { Definition: b4 + b14 + b24 + b34 + b44 <= 1; } Constraint e100 { Definition: b5 + b15 + b25 + b35 + b45 <= 1; } Constraint e101 { Definition: b6 + b16 + b26 + b36 + b46 <= 1; } Constraint e102 { Definition: b7 + b17 + b27 + b37 + b47 <= 1; } Constraint e103 { Definition: b8 + b18 + b28 + b38 + b48 <= 1; } Constraint e104 { Definition: b9 + b19 + b29 + b39 + b49 <= 1; } Constraint e105 { Definition: b10 + b20 + b30 + b40 + b50 <= 1; } Constraint e106 { Definition: x51 - x52 <= 0; } Constraint e107 { Definition: x52 - x57 <= 0; } Constraint e108 { Definition: x57 - x61 <= 0; } Constraint e109 { Definition: x61 - x65 <= 0; } Constraint e110 { Definition: { - x53 - x56 - x58 - x60 - x62 - x64 - x66 - x68 - x69 - x70 - x71 - x72 - x73 - x74 - x75 - x76 - x77 - x78 - x79 - x80 + objvar = 0 } } Procedure MainInitialization { Body: { x51.upper := 10; x52.upper := 10; x53.upper := 10; x54.upper := 10; x55.upper := 10; x56.upper := 10; x57.upper := 10; x58.upper := 10; x59.upper := 10; x60.upper := 10; x61.upper := 10; x62.upper := 10; x63.upper := 10; x64.upper := 10; x65.upper := 10; x66.upper := 10; x67.upper := 10; x68.upper := 10; x69.upper := 10; x70.upper := 10; x71.upper := 10; x72.upper := 10; x73.upper := 10; x74.upper := 10; x75.upper := 10; x76.upper := 10; x77.upper := 10; x78.upper := 10; x79.upper := 10; x80.upper := 10; b2.l := 1; b11.l := 1; b30.l := 1; b36.l := 1; b43.l := 1; x51.l := 1.37695009606239; x52.l := 1.42378547420432; x53.l := 0.0468353781419294; x54.l := 4.71045051597106; x55.l := 4.71045051597106; x57.l := 1.91800199645783; x58.l := 0.541051900395441; x59.l := 4.71045051597106; x61.l := 3.61191140798068; x62.l := 2.23496131191829; x63.l := 4.71045051597106; x65.l := 3.89283484794216; x66.l := 2.51588475187977; x67.l := 3.64078525445372; x68.l := 1.06966526151734; x69.l := 0.494216522253511; x71.l := 2.18812593377636; x73.l := 2.46904937373784; x74.l := 1.06966526151734; x75.l := 1.69390941152285; x77.l := 1.97483285148432; x78.l := 1.06966526151734; x79.l := 0.280923439961476; x80.l := 1.06966526151734; } } MathematicalProgram p_ball_10b_5p_2d_m { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve p_ball_10b_5p_2d_m; } } Procedure MainTermination { Body: { return 1; } } }