## ams_version=1.0 Model Main_bchoco06 { Variable x1; Variable x2; Variable x3; Variable x4; Variable x5; Variable x6; Variable x7; Variable x8; Variable x9 { Range: nonnegative; } Variable x10 { Range: nonnegative; } Variable x11 { Range: nonnegative; } Variable x12 { Range: nonnegative; } Variable x13 { Range: nonnegative; } Variable x14 { Range: nonnegative; } Variable x15 { Range: nonnegative; } Variable x16; Variable x17; Variable x18; Variable x19; Variable x20; Variable x21; Variable x22; Variable x23; Variable x24; Variable x25; Variable x26; Variable x27; Variable x28; Variable x29; Variable x30; Variable x31; 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; Variable x40; Variable x41; Variable x42; Variable x43; Variable x44; Variable x45; Variable x46; Variable x47; Variable x48; Variable x49; Variable x50; Variable x51; Variable x52; Variable x53; Variable x54; Variable x55 { Range: nonnegative; } Variable x56; Variable x57; Variable x58; Variable x59; Variable x60; Variable x61; Variable x62; Variable x63; Variable x64; Variable x65; Variable x66; Variable x67; Variable x68; Variable x69; Variable x70; Variable x71; Variable x72; Variable x73; Variable x74; Variable x75; Variable x76; Variable x77; Variable x78; Variable x79; Variable x80; Variable x81 { Range: nonnegative; } Variable x82; Variable x83; Variable x84; Variable x85; Variable x86; Variable x87; Variable x88; Variable x89; Variable x90; Variable x91; Variable x92; Variable x93; Variable x94; Variable x95; Variable x96; Variable x97; Variable x98; Variable x99; Variable x100; Variable x101; Variable x102; Variable x103; Variable x104; Variable x105; Variable x106; Variable x107; Variable x108; Variable x109; Variable x110; Variable x111; Variable b112 { Range: binary; } Variable b113 { Range: binary; } Variable b114 { Range: binary; } Variable b115 { Range: binary; } Variable b116 { Range: binary; } Variable b117 { Range: binary; } Variable b118 { Range: binary; } Variable objvar; Constraint e1 { Definition: - x1 + objvar = 0; } Constraint e2 { Definition: - x9 + 0.001*b112 <= 0; } Constraint e3 { Definition: - x10 + 0.001*b113 <= 0; } Constraint e4 { Definition: - x11 + 0.001*b114 <= 0; } Constraint e5 { Definition: - x12 + 0.001*b115 <= 0; } Constraint e6 { Definition: - x13 + 0.001*b116 <= 0; } Constraint e7 { Definition: - x14 + 0.001*b117 <= 0; } Constraint e8 { Definition: - x15 + 0.001*b118 <= 0; } Constraint e9 { Definition: x9 - 10*b112 <= 0; } Constraint e10 { Definition: x10 - 10*b113 <= 0; } Constraint e11 { Definition: x11 - 10*b114 <= 0; } Constraint e12 { Definition: x12 - 10*b115 <= 0; } Constraint e13 { Definition: x13 - 10*b116 <= 0; } Constraint e14 { Definition: x14 - 10*b117 <= 0; } Constraint e15 { Definition: x15 - 10*b118 <= 0; } Constraint e16 { Definition: - x32 + 0.001*b112 <= 0; } Constraint e17 { Definition: - x33 + 0.001*b113 <= 0; } Constraint e18 { Definition: - x34 + 0.001*b114 <= 0; } Constraint e19 { Definition: - x35 + 0.001*b115 <= 0; } Constraint e20 { Definition: - x36 + 0.001*b116 <= 0; } Constraint e21 { Definition: - x37 + 0.001*b117 <= 0; } Constraint e22 { Definition: - x38 + 0.001*b118 <= 0; } Constraint e23 { Definition: x32 - 10*b112 <= 0; } Constraint e24 { Definition: x33 - 10*b113 <= 0; } Constraint e25 { Definition: x34 - 10*b114 <= 0; } Constraint e26 { Definition: x35 - 10*b115 <= 0; } Constraint e27 { Definition: x36 - 10*b116 <= 0; } Constraint e28 { Definition: x37 - 10*b117 <= 0; } Constraint e29 { Definition: x38 - 10*b118 <= 0; } Constraint e30 { Definition: b112 - b113 >= 0; } Constraint e31 { Definition: b113 - b114 >= 0; } Constraint e32 { Definition: b114 - b115 >= 0; } Constraint e33 { Definition: b115 - b116 >= 0; } Constraint e34 { Definition: b116 - b117 >= 0; } Constraint e35 { Definition: b117 - b118 >= 0; } Constraint e36 { Definition: - 100000000*x2 + 100000000*x9 + x16 = 0; } Constraint e37 { Definition: 20000000*x1*x2 - 10000000*x3 + 10000000*x10 + x17 = 0; } Constraint e38 { Definition: { 2000000*x1*x3 - 1000000*x2 - 1000000*x4 - 1000000*x9 + 1000000*x11 + x18 = 0 } } Constraint e39 { Definition: { 200000*x1*x4 - 100000*x3 - 100000*x5 - 100000*x10 + 100000*x12 + x19 = 0 } } Constraint e40 { Definition: 20000*x1*x5 - 10000*x4 - 10000*x6 - 10000*x11 + 10000*x13 + x20 = 0; } Constraint e41 { Definition: 2000*x1*x6 - 1000*x5 - 1000*x7 - 1000*x12 + 1000*x14 + x21 = 0; } Constraint e42 { Definition: 200*x1*x7 - 100*x6 - 100*x8 - 100*x13 + 100*x15 + x22 = 0; } Constraint e43 { Definition: 20*x1*x8 - 10*x7 - 10*x14 + x23 = 0; } Constraint e44 { Definition: - x8 - x15 + x24 = 0; } Constraint e45 { Definition: - x2 + 1E-5*x3 - 1E-10*x4 + x25 = 0; } Constraint e46 { Definition: - x3 + 2E-5*x4 - 3E-10*x5 + x26 = 0; } Constraint e47 { Definition: - x4 + 3E-5*x5 - 6E-10*x6 + x27 = 0; } Constraint e48 { Definition: - x5 + 4E-5*x6 - 1E-9*x7 + x28 = 0; } Constraint e49 { Definition: - x6 + 5E-5*x7 - 1.5E-9*x8 + x29 = 0; } Constraint e50 { Definition: - x7 + 6E-5*x8 + x30 = 0; } Constraint e51 { Definition: - x8 + x31 = 0; } Constraint e52 { Definition: - x9 + 1E-5*x10 - 1E-10*x11 + x32 = 0; } Constraint e53 { Definition: - x10 + 2E-5*x11 - 3E-10*x12 + x33 = 0; } Constraint e54 { Definition: - x11 + 3E-5*x12 - 6E-10*x13 + x34 = 0; } Constraint e55 { Definition: - x12 + 4E-5*x13 - 1E-9*x14 + x35 = 0; } Constraint e56 { Definition: - x13 + 5E-5*x14 - 1.5E-9*x15 + x36 = 0; } Constraint e57 { Definition: - x14 + 6E-5*x15 + x37 = 0; } Constraint e58 { Definition: - x15 + x38 = 0; } Constraint e59 { Definition: - x16 + 1E-5*x17 - 1E-10*x18 + x39 = 0; } Constraint e60 { Definition: - x17 + 2E-5*x18 - 3E-10*x19 + x40 = 0; } Constraint e61 { Definition: - x18 + 3E-5*x19 - 6E-10*x20 + x41 = 0; } Constraint e62 { Definition: - x19 + 4E-5*x20 - 1E-9*x21 + x42 = 0; } Constraint e63 { Definition: - x20 + 5E-5*x21 - 1.5E-9*x22 + x43 = 0; } Constraint e64 { Definition: - x21 + 6E-5*x22 - 2.1E-9*x23 + x44 = 0; } Constraint e65 { Definition: - x22 + 7E-5*x23 - 2.8E-9*x24 + x45 = 0; } Constraint e66 { Definition: - x23 + 8E-5*x24 + x46 = 0; } Constraint e67 { Definition: - x24 + x47 = 0; } Constraint e68 { Definition: - x31 + x48 = 0; } Constraint e69 { Definition: - x29 + x49 = 0; } Constraint e70 { Definition: - x27 + x50 = 0; } Constraint e71 { Definition: - x25 + x51 = 0; } Constraint e72 { Definition: - x30 + x52 = 0; } Constraint e73 { Definition: - x28 + x53 = 0; } Constraint e74 { Definition: - x26 + x54 = 0; } Constraint e75 { Definition: x55 = 0; } Constraint e76 { Definition: x48*x53/x52 - x49 + x56 = 0; } Constraint e77 { Definition: x48*x54/x52 - x50 + x57 = 0; } Constraint e78 { Definition: x48*x55/x52 - x51 + x58 = 0; } Constraint e79 { Definition: x52*x57/x56 - x53 + x60 = 0; } Constraint e80 { Definition: x52*x58/x56 - x54 + x61 = 0; } Constraint e81 { Definition: x52*x59/x56 - x55 + x62 = 0; } Constraint e82 { Definition: x56*x61/x60 - x57 + x64 = 0; } Constraint e83 { Definition: x56*x62/x60 - x58 + x65 = 0; } Constraint e84 { Definition: x56*x63/x60 - x59 + x66 = 0; } Constraint e85 { Definition: x60*x65/x64 - x61 + x68 = 0; } Constraint e86 { Definition: x60*x66/x64 - x62 + x69 = 0; } Constraint e87 { Definition: x60*x67/x64 - x63 + x70 = 0; } Constraint e88 { Definition: x59 = 0; } Constraint e89 { Definition: x63 = 0; } Constraint e90 { Definition: x67 = 0; } Constraint e91 { Definition: x71 = 0; } Constraint e92 { Definition: - x47 + x72 = 0; } Constraint e93 { Definition: - x45 + x73 = 0; } Constraint e94 { Definition: - x43 + x74 = 0; } Constraint e95 { Definition: - x41 + x75 = 0; } Constraint e96 { Definition: - x39 + x76 = 0; } Constraint e97 { Definition: - x46 + x77 = 0; } Constraint e98 { Definition: - x44 + x78 = 0; } Constraint e99 { Definition: - x42 + x79 = 0; } Constraint e100 { Definition: - x40 + x80 = 0; } Constraint e101 { Definition: x81 = 0; } Constraint e102 { Definition: x72*x78/x77 - x73 + x82 = 0; } Constraint e103 { Definition: x72*x79/x77 - x74 + x83 = 0; } Constraint e104 { Definition: x72*x80/x77 - x75 + x84 = 0; } Constraint e105 { Definition: x72*x81/x77 - x76 + x85 = 0; } Constraint e106 { Definition: x77*x83/x82 - x78 + x87 = 0; } Constraint e107 { Definition: x77*x84/x82 - x79 + x88 = 0; } Constraint e108 { Definition: x77*x85/x82 - x80 + x89 = 0; } Constraint e109 { Definition: x77*x86/x82 - x81 + x90 = 0; } Constraint e110 { Definition: x82*x88/x87 - x83 + x92 = 0; } Constraint e111 { Definition: x82*x89/x87 - x84 + x93 = 0; } Constraint e112 { Definition: x82*x90/x87 - x85 + x94 = 0; } Constraint e113 { Definition: x82*x91/x87 - x86 + x95 = 0; } Constraint e114 { Definition: x87*x93/x92 - x88 + x97 = 0; } Constraint e115 { Definition: x87*x94/x92 - x89 + x98 = 0; } Constraint e116 { Definition: x87*x95/x92 - x90 + x99 = 0; } Constraint e117 { Definition: x87*x96/x92 - x91 + x100 = 0; } Constraint e118 { Definition: x92*x98/x97 - x93 + x102 = 0; } Constraint e119 { Definition: x92*x99/x97 - x94 + x103 = 0; } Constraint e120 { Definition: x92*x100/x97 - x95 + x104 = 0; } Constraint e121 { Definition: x92*x101/x97 - x96 + x105 = 0; } Constraint e122 { Definition: x97*x103/x102 - x98 + x107 = 0; } Constraint e123 { Definition: x97*x104/x102 - x99 + x108 = 0; } Constraint e124 { Definition: x97*x105/x102 - x100 + x109 = 0; } Constraint e125 { Definition: x97*x106/x102 - x101 + x110 = 0; } Constraint e126 { Definition: x86 = 0; } Constraint e127 { Definition: x91 = 0; } Constraint e128 { Definition: x96 = 0; } Constraint e129 { Definition: x101 = 0; } Constraint e130 { Definition: x106 = 0; } Constraint e131 { Definition: x111 = 0; } Constraint e132 { Definition: x36*x37 - x35*x38 - 1E-5*b118 >= 0; } Constraint e133 { Definition: x35*x36*x37 - x35*x35*x38 + x33*x37*x38 - x34*x37*x37 - 1E-5*b117 >= 0; } Constraint e134 { Definition: { x34*x35*x36*x37 - x35**2*x34*x38 - x34**2*x37**2 + 2*x33*x34*x37*x38 - x33**2*x38**2 + x33*x35*x36*x38 - x36**2*x33*x37 + x32*x36*x37**2 - x32* x35*x37*x38 + (x34*x35 - x33*x36)*(1 - b117) - 1E-5*b116 >= 0 } } Constraint e135 { Definition: { x33*x34*x35*x36*x37 - x33*x34*x35**2*x38 + 2*x33**2*x34*x37*x38 - x34**2 *x33*x37**2 - x33**3*x38**2 + x33**2*x35*x36*x38 - x33**2*x36**2*x37 - 3 *x32*x33*x35*x37*x38 + x35**3*x32*x38 - x35**2*x32*x36*x37 + x32*x34*x35 *x37**2 + 2*x32*x33*x36*x37**2 - x32**2*x37**3 + (x33*x34*x35 - x33**2* x36 - x35**2*x32)*(1 - b117) - 1E-5*b115 >= 0 } } Procedure MainInitialization { Body: { x1.lower := 0.95; x1.upper := 1; x2.lower := 0.001; x2.upper := 10; x3.lower := 0.001; x3.upper := 10; x4.lower := 0.001; x4.upper := 10; x5.lower := 0.001; x5.upper := 10; x6.lower := 0.001; x6.upper := 10; x7.lower := 0.001; x7.upper := 10; x8.lower := 0.001; x8.upper := 10; x16.lower := 0.001; x16.upper := 10; x17.lower := 0.001; x17.upper := 10; x18.lower := 0.001; x18.upper := 10; x19.lower := 0.001; x19.upper := 10; x20.lower := 0.001; x20.upper := 10; x21.lower := 0.001; x21.upper := 10; x22.lower := 0.001; x22.upper := 10; x23.lower := 0.001; x23.upper := 10; x24.lower := 0.001; x24.upper := 10; x25.lower := 0.001; x25.upper := 10; x26.lower := 0.001; x26.upper := 10; x27.lower := 0.001; x27.upper := 10; x28.lower := 0.001; x28.upper := 10; x29.lower := 0.001; x29.upper := 10; x30.lower := 0.001; x30.upper := 10; x31.lower := 0.001; x31.upper := 10; x39.lower := 0.001; x39.upper := 10; x40.lower := 0.001; x40.upper := 10; x41.lower := 0.001; x41.upper := 10; x42.lower := 0.001; x42.upper := 10; x43.lower := 0.001; x43.upper := 10; x44.lower := 0.001; x44.upper := 10; x45.lower := 0.001; x45.upper := 10; x46.lower := 0.001; x46.upper := 10; x47.lower := 0.001; x47.upper := 10; x48.lower := 0.001; x48.upper := 10; x49.lower := 0.001; x49.upper := 10; x50.lower := 0.001; x50.upper := 10; x51.lower := 0.001; x51.upper := 10; x52.lower := 0.001; x52.upper := 10; x53.lower := 0.001; x53.upper := 10; x54.lower := 0.001; x54.upper := 10; x55.upper := 10; x56.lower := 1E-5; x56.upper := 10; x57.lower := -10; x57.upper := 10; x58.lower := -10; x58.upper := 10; x59.lower := -10; x59.upper := 10; x60.lower := 1E-5; x60.upper := 10; x61.lower := -10; x61.upper := 10; x62.lower := -10; x62.upper := 10; x63.lower := -10; x63.upper := 10; x64.lower := 1E-5; x64.upper := 10; x65.lower := -10; x65.upper := 10; x66.lower := -10; x66.upper := 10; x67.lower := -10; x67.upper := 10; x68.lower := 1E-5; x68.upper := 10; x69.lower := -10; x69.upper := 10; x70.lower := -10; x70.upper := 10; x71.lower := -10; x71.upper := 10; x72.lower := 0.001; x72.upper := 10; x73.lower := 0.001; x73.upper := 10; x74.lower := 0.001; x74.upper := 10; x75.lower := 0.001; x75.upper := 10; x76.lower := 0.001; x76.upper := 10; x77.lower := 0.001; x77.upper := 10; x78.lower := 0.001; x78.upper := 10; x79.lower := 0.001; x79.upper := 10; x80.lower := 0.001; x80.upper := 10; x81.upper := 10; x82.lower := 1E-5; x82.upper := 10; x83.lower := -10; x83.upper := 10; x84.lower := -10; x84.upper := 10; x85.lower := -10; x85.upper := 10; x86.lower := -10; x86.upper := 10; x87.lower := 1E-5; x87.upper := 10; x88.lower := -10; x88.upper := 10; x89.lower := -10; x89.upper := 10; x90.lower := -10; x90.upper := 10; x91.lower := -10; x91.upper := 10; x92.lower := 1E-5; x92.upper := 10; x93.lower := -10; x93.upper := 10; x94.lower := -10; x94.upper := 10; x95.lower := -10; x95.upper := 10; x96.lower := -10; x96.upper := 10; x97.lower := 1E-5; x97.upper := 10; x98.lower := -10; x98.upper := 10; x99.lower := -10; x99.upper := 10; x100.lower := -10; x100.upper := 10; x101.lower := -10; x101.upper := 10; x102.lower := 1E-5; x102.upper := 10; x103.lower := -10; x103.upper := 10; x104.lower := -10; x104.upper := 10; x105.lower := -10; x105.upper := 10; x106.lower := -10; x106.upper := 10; x107.lower := 1E-5; x107.upper := 10; x108.lower := -10; x108.upper := 10; x109.lower := -10; x109.upper := 10; x110.lower := -10; x110.upper := 10; x111.lower := -10; x111.upper := 10; b112.lower := 1; b112.upper := 1; } } MathematicalProgram bchoco06 { Objective: objvar; Direction: maximize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve bchoco06; } } Procedure MainTermination { Body: { return 1; } } }