## ams_version=1.0 Model Main_m6 { 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 objvar; Variable x32; Variable x33; Variable x34; Variable x35; Variable x36; Variable x37; Variable x38; 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; 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; Variable x82; Variable x83; Variable x84; Variable x85; Variable x86; Variable x87; Constraint e1 { Definition: { objvar - 2.4*x32 - 2.4*x33 - 12*x50 - 12*x51 - 12*x58 - 12*x59 - 6*x60 - 6*x61 = 0 } } Constraint e2 { Definition: x76 - x77 <= 0; } Constraint e3 { Definition: 0.5*x62 - x68 + x76 <= 0; } Constraint e4 { Definition: 0.5*x62 - x76 <= 0; } Constraint e5 { Definition: 0.5*x69 - x75 + x82 <= 0; } Constraint e6 { Definition: 0.5*x69 - x82 <= 0; } Constraint e7 { Definition: 0.5*x63 - x68 + x77 <= 0; } Constraint e8 { Definition: 0.5*x63 - x77 <= 0; } Constraint e9 { Definition: 0.5*x70 - x75 + x83 <= 0; } Constraint e10 { Definition: 0.5*x70 - x83 <= 0; } Constraint e11 { Definition: 0.5*x64 - x68 + x78 <= 0; } Constraint e12 { Definition: 0.5*x64 - x78 <= 0; } Constraint e13 { Definition: 0.5*x71 - x75 + x84 <= 0; } Constraint e14 { Definition: 0.5*x71 - x84 <= 0; } Constraint e15 { Definition: 0.5*x65 - x68 + x79 <= 0; } Constraint e16 { Definition: 0.5*x65 - x79 <= 0; } Constraint e17 { Definition: 0.5*x72 - x75 + x85 <= 0; } Constraint e18 { Definition: 0.5*x72 - x85 <= 0; } Constraint e19 { Definition: 0.5*x66 - x68 + x80 <= 0; } Constraint e20 { Definition: 0.5*x66 - x80 <= 0; } Constraint e21 { Definition: 0.5*x73 - x75 + x86 <= 0; } Constraint e22 { Definition: 0.5*x73 - x86 <= 0; } Constraint e23 { Definition: 0.5*x67 - x68 + x81 <= 0; } Constraint e24 { Definition: 0.5*x67 - x81 <= 0; } Constraint e25 { Definition: 0.5*x74 - x75 + x87 <= 0; } Constraint e26 { Definition: 0.5*x74 - x87 <= 0; } Constraint e27 { Definition: - x32 + x76 - x77 <= 0; } Constraint e28 { Definition: - x32 - x76 + x77 <= 0; } Constraint e29 { Definition: - x33 + x82 - x83 <= 0; } Constraint e30 { Definition: - x33 - x82 + x83 <= 0; } Constraint e31 { Definition: - 15*b1 - 15*b2 + 0.5*x62 + 0.5*x63 - x76 + x77 <= 0; } Constraint e32 { Definition: - 15*b1 + 15*b2 + 0.5*x62 + 0.5*x63 + x76 - x77 <= 15; } Constraint e33 { Definition: 5*b1 - 5*b2 + 0.5*x69 + 0.5*x70 - x82 + x83 <= 5; } Constraint e34 { Definition: 5*b1 + 5*b2 + 0.5*x69 + 0.5*x70 + x82 - x83 <= 10; } Constraint e35 { Definition: - x34 + x76 - x78 <= 0; } Constraint e36 { Definition: - x34 - x76 + x78 <= 0; } Constraint e37 { Definition: - x35 + x82 - x84 <= 0; } Constraint e38 { Definition: - x35 - x82 + x84 <= 0; } Constraint e39 { Definition: - 15*b3 - 15*b4 + 0.5*x62 + 0.5*x64 - x76 + x78 <= 0; } Constraint e40 { Definition: - 15*b3 + 15*b4 + 0.5*x62 + 0.5*x64 + x76 - x78 <= 15; } Constraint e41 { Definition: 5*b3 - 5*b4 + 0.5*x69 + 0.5*x71 - x82 + x84 <= 5; } Constraint e42 { Definition: 5*b3 + 5*b4 + 0.5*x69 + 0.5*x71 + x82 - x84 <= 10; } Constraint e43 { Definition: - x36 + x76 - x79 <= 0; } Constraint e44 { Definition: - x36 - x76 + x79 <= 0; } Constraint e45 { Definition: - x37 + x82 - x85 <= 0; } Constraint e46 { Definition: - x37 - x82 + x85 <= 0; } Constraint e47 { Definition: - 15*b5 - 15*b6 + 0.5*x62 + 0.5*x65 - x76 + x79 <= 0; } Constraint e48 { Definition: - 15*b5 + 15*b6 + 0.5*x62 + 0.5*x65 + x76 - x79 <= 15; } Constraint e49 { Definition: 5*b5 - 5*b6 + 0.5*x69 + 0.5*x72 - x82 + x85 <= 5; } Constraint e50 { Definition: 5*b5 + 5*b6 + 0.5*x69 + 0.5*x72 + x82 - x85 <= 10; } Constraint e51 { Definition: - x38 + x76 - x80 <= 0; } Constraint e52 { Definition: - x38 - x76 + x80 <= 0; } Constraint e53 { Definition: - x39 + x82 - x86 <= 0; } Constraint e54 { Definition: - x39 - x82 + x86 <= 0; } Constraint e55 { Definition: - 15*b7 - 15*b8 + 0.5*x62 + 0.5*x66 - x76 + x80 <= 0; } Constraint e56 { Definition: - 15*b7 + 15*b8 + 0.5*x62 + 0.5*x66 + x76 - x80 <= 15; } Constraint e57 { Definition: 5*b7 - 5*b8 + 0.5*x69 + 0.5*x73 - x82 + x86 <= 5; } Constraint e58 { Definition: 5*b7 + 5*b8 + 0.5*x69 + 0.5*x73 + x82 - x86 <= 10; } Constraint e59 { Definition: - x40 + x76 - x81 <= 0; } Constraint e60 { Definition: - x40 - x76 + x81 <= 0; } Constraint e61 { Definition: - x41 + x82 - x87 <= 0; } Constraint e62 { Definition: - x41 - x82 + x87 <= 0; } Constraint e63 { Definition: - 15*b9 - 15*b10 + 0.5*x62 + 0.5*x67 - x76 + x81 <= 0; } Constraint e64 { Definition: - 15*b9 + 15*b10 + 0.5*x62 + 0.5*x67 + x76 - x81 <= 15; } Constraint e65 { Definition: 5*b9 - 5*b10 + 0.5*x69 + 0.5*x74 - x82 + x87 <= 5; } Constraint e66 { Definition: 5*b9 + 5*b10 + 0.5*x69 + 0.5*x74 + x82 - x87 <= 10; } Constraint e67 { Definition: - x42 + x77 - x78 <= 0; } Constraint e68 { Definition: - x42 - x77 + x78 <= 0; } Constraint e69 { Definition: - x43 + x83 - x84 <= 0; } Constraint e70 { Definition: - x43 - x83 + x84 <= 0; } Constraint e71 { Definition: - 15*b11 - 15*b12 + 0.5*x63 + 0.5*x64 - x77 + x78 <= 0; } Constraint e72 { Definition: - 15*b11 + 15*b12 + 0.5*x63 + 0.5*x64 + x77 - x78 <= 15; } Constraint e73 { Definition: 5*b11 - 5*b12 + 0.5*x70 + 0.5*x71 - x83 + x84 <= 5; } Constraint e74 { Definition: 5*b11 + 5*b12 + 0.5*x70 + 0.5*x71 + x83 - x84 <= 10; } Constraint e75 { Definition: - x44 + x77 - x79 <= 0; } Constraint e76 { Definition: - x44 - x77 + x79 <= 0; } Constraint e77 { Definition: - x45 + x83 - x85 <= 0; } Constraint e78 { Definition: - x45 - x83 + x85 <= 0; } Constraint e79 { Definition: - 15*b13 - 15*b14 + 0.5*x63 + 0.5*x65 - x77 + x79 <= 0; } Constraint e80 { Definition: - 15*b13 + 15*b14 + 0.5*x63 + 0.5*x65 + x77 - x79 <= 15; } Constraint e81 { Definition: 5*b13 - 5*b14 + 0.5*x70 + 0.5*x72 - x83 + x85 <= 5; } Constraint e82 { Definition: 5*b13 + 5*b14 + 0.5*x70 + 0.5*x72 + x83 - x85 <= 10; } Constraint e83 { Definition: - x46 + x77 - x80 <= 0; } Constraint e84 { Definition: - x46 - x77 + x80 <= 0; } Constraint e85 { Definition: - x47 + x83 - x86 <= 0; } Constraint e86 { Definition: - x47 - x83 + x86 <= 0; } Constraint e87 { Definition: - 15*b15 - 15*b16 + 0.5*x63 + 0.5*x66 - x77 + x80 <= 0; } Constraint e88 { Definition: - 15*b15 + 15*b16 + 0.5*x63 + 0.5*x66 + x77 - x80 <= 15; } Constraint e89 { Definition: 5*b15 - 5*b16 + 0.5*x70 + 0.5*x73 - x83 + x86 <= 5; } Constraint e90 { Definition: 5*b15 + 5*b16 + 0.5*x70 + 0.5*x73 + x83 - x86 <= 10; } Constraint e91 { Definition: - x48 + x77 - x81 <= 0; } Constraint e92 { Definition: - x48 - x77 + x81 <= 0; } Constraint e93 { Definition: - x49 + x83 - x87 <= 0; } Constraint e94 { Definition: - x49 - x83 + x87 <= 0; } Constraint e95 { Definition: - 15*b17 - 15*b18 + 0.5*x63 + 0.5*x67 - x77 + x81 <= 0; } Constraint e96 { Definition: - 15*b17 + 15*b18 + 0.5*x63 + 0.5*x67 + x77 - x81 <= 15; } Constraint e97 { Definition: 5*b17 - 5*b18 + 0.5*x70 + 0.5*x74 - x83 + x87 <= 5; } Constraint e98 { Definition: 5*b17 + 5*b18 + 0.5*x70 + 0.5*x74 + x83 - x87 <= 10; } Constraint e99 { Definition: - x50 + x78 - x79 <= 0; } Constraint e100 { Definition: - x50 - x78 + x79 <= 0; } Constraint e101 { Definition: - x51 + x84 - x85 <= 0; } Constraint e102 { Definition: - x51 - x84 + x85 <= 0; } Constraint e103 { Definition: - 15*b19 - 15*b20 + 0.5*x64 + 0.5*x65 - x78 + x79 <= 0; } Constraint e104 { Definition: - 15*b19 + 15*b20 + 0.5*x64 + 0.5*x65 + x78 - x79 <= 15; } Constraint e105 { Definition: 5*b19 - 5*b20 + 0.5*x71 + 0.5*x72 - x84 + x85 <= 5; } Constraint e106 { Definition: 5*b19 + 5*b20 + 0.5*x71 + 0.5*x72 + x84 - x85 <= 10; } Constraint e107 { Definition: - x52 + x78 - x80 <= 0; } Constraint e108 { Definition: - x52 - x78 + x80 <= 0; } Constraint e109 { Definition: - x53 + x84 - x86 <= 0; } Constraint e110 { Definition: - x53 - x84 + x86 <= 0; } Constraint e111 { Definition: - 15*b21 - 15*b22 + 0.5*x64 + 0.5*x66 - x78 + x80 <= 0; } Constraint e112 { Definition: - 15*b21 + 15*b22 + 0.5*x64 + 0.5*x66 + x78 - x80 <= 15; } Constraint e113 { Definition: 5*b21 - 5*b22 + 0.5*x71 + 0.5*x73 - x84 + x86 <= 5; } Constraint e114 { Definition: 5*b21 + 5*b22 + 0.5*x71 + 0.5*x73 + x84 - x86 <= 10; } Constraint e115 { Definition: - x54 + x78 - x81 <= 0; } Constraint e116 { Definition: - x54 - x78 + x81 <= 0; } Constraint e117 { Definition: - x55 + x84 - x87 <= 0; } Constraint e118 { Definition: - x55 - x84 + x87 <= 0; } Constraint e119 { Definition: - 15*b23 - 15*b24 + 0.5*x64 + 0.5*x67 - x78 + x81 <= 0; } Constraint e120 { Definition: - 15*b23 + 15*b24 + 0.5*x64 + 0.5*x67 + x78 - x81 <= 15; } Constraint e121 { Definition: 5*b23 - 5*b24 + 0.5*x71 + 0.5*x74 - x84 + x87 <= 5; } Constraint e122 { Definition: 5*b23 + 5*b24 + 0.5*x71 + 0.5*x74 + x84 - x87 <= 10; } Constraint e123 { Definition: - x56 + x79 - x80 <= 0; } Constraint e124 { Definition: - x56 - x79 + x80 <= 0; } Constraint e125 { Definition: - x57 + x85 - x86 <= 0; } Constraint e126 { Definition: - x57 - x85 + x86 <= 0; } Constraint e127 { Definition: - 15*b25 - 15*b26 + 0.5*x65 + 0.5*x66 - x79 + x80 <= 0; } Constraint e128 { Definition: - 15*b25 + 15*b26 + 0.5*x65 + 0.5*x66 + x79 - x80 <= 15; } Constraint e129 { Definition: 5*b25 - 5*b26 + 0.5*x72 + 0.5*x73 - x85 + x86 <= 5; } Constraint e130 { Definition: 5*b25 + 5*b26 + 0.5*x72 + 0.5*x73 + x85 - x86 <= 10; } Constraint e131 { Definition: - x58 + x79 - x81 <= 0; } Constraint e132 { Definition: - x58 - x79 + x81 <= 0; } Constraint e133 { Definition: - x59 + x85 - x87 <= 0; } Constraint e134 { Definition: - x59 - x85 + x87 <= 0; } Constraint e135 { Definition: - 15*b27 - 15*b28 + 0.5*x65 + 0.5*x67 - x79 + x81 <= 0; } Constraint e136 { Definition: - 15*b27 + 15*b28 + 0.5*x65 + 0.5*x67 + x79 - x81 <= 15; } Constraint e137 { Definition: 5*b27 - 5*b28 + 0.5*x72 + 0.5*x74 - x85 + x87 <= 5; } Constraint e138 { Definition: 5*b27 + 5*b28 + 0.5*x72 + 0.5*x74 + x85 - x87 <= 10; } Constraint e139 { Definition: - x60 + x80 - x81 <= 0; } Constraint e140 { Definition: - x60 - x80 + x81 <= 0; } Constraint e141 { Definition: - x61 + x86 - x87 <= 0; } Constraint e142 { Definition: - x61 - x86 + x87 <= 0; } Constraint e143 { Definition: - 15*b29 - 15*b30 + 0.5*x66 + 0.5*x67 - x80 + x81 <= 0; } Constraint e144 { Definition: - 15*b29 + 15*b30 + 0.5*x66 + 0.5*x67 + x80 - x81 <= 15; } Constraint e145 { Definition: 5*b29 - 5*b30 + 0.5*x73 + 0.5*x74 - x86 + x87 <= 5; } Constraint e146 { Definition: 5*b29 + 5*b30 + 0.5*x73 + 0.5*x74 + x86 - x87 <= 10; } Constraint e147 { Definition: 14/x62 - x69 <= 0; } Constraint e148 { Definition: 14/x69 - x62 <= 0; } Constraint e149 { Definition: 10/x63 - x70 <= 0; } Constraint e150 { Definition: 10/x70 - x63 <= 0; } Constraint e151 { Definition: 9/x64 - x71 <= 0; } Constraint e152 { Definition: 9/x71 - x64 <= 0; } Constraint e153 { Definition: 6/x65 - x72 <= 0; } Constraint e154 { Definition: 6/x72 - x65 <= 0; } Constraint e155 { Definition: 10/x66 - x73 <= 0; } Constraint e156 { Definition: 10/x73 - x66 <= 0; } Constraint e157 { Definition: 25/x67 - x74 <= 0; } Constraint e158 { Definition: 25/x74 - x67 <= 0; } Procedure MainInitialization { Body: { x62.lower := 2.8; x62.upper := 7.4833; x63.lower := 2; x63.upper := 6.3246; x64.lower := 1.8; x64.upper := 6; x65.lower := 1.2247; x65.upper := 4.899; x66.lower := 2; x66.upper := 6.3246; x67.lower := 5; x67.upper := 10; x68.lower := 15; x68.upper := 15; x69.lower := 1.8708; x69.upper := 5; x70.lower := 1.5811; x70.upper := 5; x71.lower := 1.5; x71.upper := 5; x72.lower := 1.2247; x72.upper := 4.899; x73.lower := 1.5811; x73.upper := 5; x74.lower := 2.5; x74.upper := 5; x75.lower := 5; x75.upper := 5; } } MathematicalProgram m6 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve m6; } } Procedure MainTermination { Body: { return 1; } } }