## ams_version=1.0 Model Main_tls5 { Variable b1 { Range: binary; } Variable b2 { Range: binary; } Variable b3 { Range: binary; } Variable b4 { Range: binary; } Variable b5 { Range: binary; } Variable i6 { Range: integer; } Variable i7 { Range: integer; } Variable i8 { Range: integer; } Variable i9 { Range: integer; } Variable i10 { Range: integer; } Variable x11; Variable x12; Variable x13; Variable x14; Variable x15; 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; Variable x33; Variable x34; Variable x35; 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 b51 { Range: binary; } Variable b52 { Range: binary; } Variable b53 { Range: binary; } Variable b54 { Range: binary; } Variable b55 { Range: binary; } Variable b56 { Range: binary; } Variable b57 { Range: binary; } Variable b58 { Range: binary; } Variable b59 { Range: binary; } Variable b60 { Range: binary; } Variable b61 { Range: binary; } Variable b62 { Range: binary; } Variable b63 { Range: binary; } Variable b64 { Range: binary; } Variable b65 { Range: binary; } Variable b66 { Range: binary; } Variable b67 { Range: binary; } Variable b68 { Range: binary; } Variable b69 { Range: binary; } Variable b70 { Range: binary; } Variable b71 { Range: binary; } Variable b72 { Range: binary; } Variable b73 { Range: binary; } Variable b74 { Range: binary; } Variable b75 { Range: binary; } Variable b76 { Range: binary; } Variable b77 { Range: binary; } Variable b78 { Range: binary; } Variable b79 { Range: binary; } Variable b80 { Range: binary; } Variable b81 { Range: binary; } Variable b82 { Range: binary; } Variable b83 { Range: binary; } Variable b84 { Range: binary; } Variable b85 { Range: binary; } Variable b86 { Range: binary; } Variable b87 { Range: binary; } Variable b88 { Range: binary; } Variable b89 { Range: binary; } Variable b90 { Range: binary; } Variable b91 { Range: binary; } Variable b92 { Range: binary; } Variable b93 { Range: binary; } Variable b94 { Range: binary; } Variable b95 { Range: binary; } Variable b96 { Range: binary; } Variable b97 { Range: binary; } Variable b98 { Range: binary; } Variable b99 { Range: binary; } Variable b100 { Range: binary; } Variable b101 { Range: binary; } Variable b102 { Range: binary; } Variable b103 { Range: binary; } Variable b104 { Range: binary; } Variable b105 { Range: binary; } Variable b106 { Range: binary; } Variable b107 { Range: binary; } Variable b108 { Range: binary; } Variable b109 { Range: binary; } Variable b110 { Range: binary; } Variable b111 { Range: binary; } 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 b119 { Range: binary; } Variable b120 { Range: binary; } Variable b121 { Range: binary; } Variable b122 { Range: binary; } Variable b123 { Range: binary; } Variable b124 { Range: binary; } Variable b125 { Range: binary; } Variable b126 { Range: binary; } Variable b127 { Range: binary; } Variable b128 { Range: binary; } Variable b129 { Range: binary; } Variable b130 { Range: binary; } Variable b131 { Range: binary; } Variable b132 { Range: binary; } Variable b133 { Range: binary; } Variable b134 { Range: binary; } Variable b135 { Range: binary; } Variable b136 { Range: binary; } Variable b137 { Range: binary; } Variable b138 { Range: binary; } Variable b139 { Range: binary; } Variable b140 { Range: binary; } Variable b141 { Range: binary; } Variable b142 { Range: binary; } Variable b143 { Range: binary; } Variable b144 { Range: binary; } Variable b145 { Range: binary; } Variable b146 { Range: binary; } Variable b147 { Range: binary; } Variable b148 { Range: binary; } Variable b149 { Range: binary; } Variable b150 { Range: binary; } Variable b151 { Range: binary; } Variable b152 { Range: binary; } Variable b153 { Range: binary; } Variable b154 { Range: binary; } Variable b155 { Range: binary; } Variable b156 { Range: binary; } Variable b157 { Range: binary; } Variable b158 { Range: binary; } Variable b159 { Range: binary; } Variable b160 { Range: binary; } Variable b161 { Range: binary; } Variable objvar; Constraint e1 { Definition: { - 0.1*b1 - 0.2*b2 - 0.3*b3 - 0.4*b4 - 0.5*b5 - b36 - 2*b37 - 3*b38 - 4*b39 - 5*b40 - 6*b41 - 7*b42 - 8*b43 - 9*b44 - b45 - 2*b46 - 3*b47 - 4*b48 - 5*b49 - 6*b50 - b51 - 2*b52 - 3*b53 - 4*b54 - 5*b55 - 6*b56 - b57 - 2*b58 - 3*b59 - b60 - 2*b61 + objvar = 0 } } Constraint e2 { Definition: { 330*b62 + 660*b63 + 990*b64 + 360*b77 + 720*b78 + 1080*b79 + 1440*b80 + 1800*b81 + 370*b102 + 740*b103 + 1110*b104 + 1480*b105 + 1850*b106 + 415*b127 + 830*b128 + 1245*b129 + 1660*b130 + 435*b147 + 870*b148 + 1305*b149 <= 2000 } } Constraint e3 { Definition: { 330*b65 + 660*b66 + 990*b67 + 360*b82 + 720*b83 + 1080*b84 + 1440*b85 + 1800*b86 + 370*b107 + 740*b108 + 1110*b109 + 1480*b110 + 1850*b111 + 415*b131 + 830*b132 + 1245*b133 + 1660*b134 + 435*b150 + 870*b151 + 1305*b152 <= 2000 } } Constraint e4 { Definition: { 330*b68 + 660*b69 + 990*b70 + 360*b87 + 720*b88 + 1080*b89 + 1440*b90 + 1800*b91 + 370*b112 + 740*b113 + 1110*b114 + 1480*b115 + 1850*b116 + 415*b135 + 830*b136 + 1245*b137 + 1660*b138 + 435*b153 + 870*b154 + 1305*b155 <= 2000 } } Constraint e5 { Definition: { 330*b71 + 660*b72 + 990*b73 + 360*b92 + 720*b93 + 1080*b94 + 1440*b95 + 1800*b96 + 370*b117 + 740*b118 + 1110*b119 + 1480*b120 + 1850*b121 + 415*b139 + 830*b140 + 1245*b141 + 1660*b142 + 435*b156 + 870*b157 + 1305*b158 <= 2000 } } Constraint e6 { Definition: { 330*b74 + 660*b75 + 990*b76 + 360*b97 + 720*b98 + 1080*b99 + 1440*b100 + 1800*b101 + 370*b122 + 740*b123 + 1110*b124 + 1480*b125 + 1850*b126 + 415*b143 + 830*b144 + 1245*b145 + 1660*b146 + 435*b159 + 870*b160 + 1305*b161 <= 2000 } } Constraint e7 { Definition: { - 330*b62 - 660*b63 - 990*b64 - 360*b77 - 720*b78 - 1080*b79 - 1440*b80 - 1800*b81 - 370*b102 - 740*b103 - 1110*b104 - 1480*b105 - 1850*b106 - 415*b127 - 830*b128 - 1245*b129 - 1660*b130 - 435*b147 - 870*b148 - 1305*b149 <= -1800 } } Constraint e8 { Definition: { - 330*b65 - 660*b66 - 990*b67 - 360*b82 - 720*b83 - 1080*b84 - 1440*b85 - 1800*b86 - 370*b107 - 740*b108 - 1110*b109 - 1480*b110 - 1850*b111 - 415*b131 - 830*b132 - 1245*b133 - 1660*b134 - 435*b150 - 870*b151 - 1305*b152 <= -1800 } } Constraint e9 { Definition: { - 330*b68 - 660*b69 - 990*b70 - 360*b87 - 720*b88 - 1080*b89 - 1440*b90 - 1800*b91 - 370*b112 - 740*b113 - 1110*b114 - 1480*b115 - 1850*b116 - 415*b135 - 830*b136 - 1245*b137 - 1660*b138 - 435*b153 - 870*b154 - 1305*b155 <= -1800 } } Constraint e10 { Definition: { - 330*b71 - 660*b72 - 990*b73 - 360*b92 - 720*b93 - 1080*b94 - 1440*b95 - 1800*b96 - 370*b117 - 740*b118 - 1110*b119 - 1480*b120 - 1850*b121 - 415*b139 - 830*b140 - 1245*b141 - 1660*b142 - 435*b156 - 870*b157 - 1305*b158 <= -1800 } } Constraint e11 { Definition: { - 330*b74 - 660*b75 - 990*b76 - 360*b97 - 720*b98 - 1080*b99 - 1440*b100 - 1800*b101 - 370*b122 - 740*b123 - 1110*b124 - 1480*b125 - 1850*b126 - 415*b143 - 830*b144 - 1245*b145 - 1660*b146 - 435*b159 - 870*b160 - 1305*b161 <= -1800 } } Constraint e12 { Definition: { b62 + 2*b63 + 3*b64 + b77 + 2*b78 + 3*b79 + 4*b80 + 5*b81 + b102 + 2*b103 + 3*b104 + 4*b105 + 5*b106 + b127 + 2*b128 + 3*b129 + 4*b130 + b147 + 2*b148 + 3*b149 <= 5 } } Constraint e13 { Definition: { b65 + 2*b66 + 3*b67 + b82 + 2*b83 + 3*b84 + 4*b85 + 5*b86 + b107 + 2*b108 + 3*b109 + 4*b110 + 5*b111 + b131 + 2*b132 + 3*b133 + 4*b134 + b150 + 2*b151 + 3*b152 <= 5 } } Constraint e14 { Definition: { b68 + 2*b69 + 3*b70 + b87 + 2*b88 + 3*b89 + 4*b90 + 5*b91 + b112 + 2*b113 + 3*b114 + 4*b115 + 5*b116 + b135 + 2*b136 + 3*b137 + 4*b138 + b153 + 2*b154 + 3*b155 <= 5 } } Constraint e15 { Definition: { b71 + 2*b72 + 3*b73 + b92 + 2*b93 + 3*b94 + 4*b95 + 5*b96 + b117 + 2*b118 + 3*b119 + 4*b120 + 5*b121 + b139 + 2*b140 + 3*b141 + 4*b142 + b156 + 2*b157 + 3*b158 <= 5 } } Constraint e16 { Definition: { b74 + 2*b75 + 3*b76 + b97 + 2*b98 + 3*b99 + 4*b100 + 5*b101 + b122 + 2*b123 + 3*b124 + 4*b125 + 5*b126 + b143 + 2*b144 + 3*b145 + 4*b146 + b159 + 2*b160 + 3*b161 <= 5 } } Constraint e17 { Definition: { b1 - b36 - 2*b37 - 3*b38 - 4*b39 - 5*b40 - 6*b41 - 7*b42 - 8*b43 - 9*b44 <= 0 } } Constraint e18 { Definition: b2 - b45 - 2*b46 - 3*b47 - 4*b48 - 5*b49 - 6*b50 <= 0; } Constraint e19 { Definition: b3 - b51 - 2*b52 - 3*b53 - 4*b54 - 5*b55 - 6*b56 <= 0; } Constraint e20 { Definition: b4 - b57 - 2*b58 - 3*b59 <= 0; } Constraint e21 { Definition: b5 - b60 - 2*b61 <= 0; } Constraint e22 { Definition: { - 9*b1 + b36 + 2*b37 + 3*b38 + 4*b39 + 5*b40 + 6*b41 + 7*b42 + 8*b43 + 9*b44 <= 0 } } Constraint e23 { Definition: - 6*b2 + b45 + 2*b46 + 3*b47 + 4*b48 + 5*b49 + 6*b50 <= 0; } Constraint e24 { Definition: - 6*b3 + b51 + 2*b52 + 3*b53 + 4*b54 + 5*b55 + 6*b56 <= 0; } Constraint e25 { Definition: - 3*b4 + b57 + 2*b58 + 3*b59 <= 0; } Constraint e26 { Definition: - 2*b5 + b60 + 2*b61 <= 0; } Constraint e27 { Definition: { i6 - 3*b36 - 8*b37 - 15*b38 - 24*b39 - 35*b40 - 48*b41 - 63*b42 - 80*b43 - 99*b44 = 1 } } Constraint e28 { Definition: i7 - 3*b45 - 8*b46 - 15*b47 - 24*b48 - 35*b49 - 48*b50 = 1; } Constraint e29 { Definition: i8 - 3*b51 - 8*b52 - 15*b53 - 24*b54 - 35*b55 - 48*b56 = 1; } Constraint e30 { Definition: i9 - 3*b57 - 8*b58 - 15*b59 = 1; } Constraint e31 { Definition: i10 - 3*b60 - 8*b61 = 1; } Constraint e32 { Definition: b36 + b37 + b38 + b39 + b40 + b41 + b42 + b43 + b44 <= 1; } Constraint e33 { Definition: b45 + b46 + b47 + b48 + b49 + b50 <= 1; } Constraint e34 { Definition: b51 + b52 + b53 + b54 + b55 + b56 <= 1; } Constraint e35 { Definition: b57 + b58 + b59 <= 1; } Constraint e36 { Definition: b60 + b61 <= 1; } Constraint e37 { Definition: x11 - 3*b62 - 8*b63 - 15*b64 = 1; } Constraint e38 { Definition: x12 - 3*b65 - 8*b66 - 15*b67 = 1; } Constraint e39 { Definition: x13 - 3*b68 - 8*b69 - 15*b70 = 1; } Constraint e40 { Definition: x14 - 3*b71 - 8*b72 - 15*b73 = 1; } Constraint e41 { Definition: x15 - 3*b74 - 8*b75 - 15*b76 = 1; } Constraint e42 { Definition: x16 - 3*b77 - 8*b78 - 15*b79 - 24*b80 - 35*b81 = 1; } Constraint e43 { Definition: x17 - 3*b82 - 8*b83 - 15*b84 - 24*b85 - 35*b86 = 1; } Constraint e44 { Definition: x18 - 3*b87 - 8*b88 - 15*b89 - 24*b90 - 35*b91 = 1; } Constraint e45 { Definition: x19 - 3*b92 - 8*b93 - 15*b94 - 24*b95 - 35*b96 = 1; } Constraint e46 { Definition: x20 - 3*b97 - 8*b98 - 15*b99 - 24*b100 - 35*b101 = 1; } Constraint e47 { Definition: x21 - 3*b102 - 8*b103 - 15*b104 - 24*b105 - 35*b106 = 1; } Constraint e48 { Definition: x22 - 3*b107 - 8*b108 - 15*b109 - 24*b110 - 35*b111 = 1; } Constraint e49 { Definition: x23 - 3*b112 - 8*b113 - 15*b114 - 24*b115 - 35*b116 = 1; } Constraint e50 { Definition: x24 - 3*b117 - 8*b118 - 15*b119 - 24*b120 - 35*b121 = 1; } Constraint e51 { Definition: x25 - 3*b122 - 8*b123 - 15*b124 - 24*b125 - 35*b126 = 1; } Constraint e52 { Definition: x26 - 3*b127 - 8*b128 - 15*b129 - 24*b130 = 1; } Constraint e53 { Definition: x27 - 3*b131 - 8*b132 - 15*b133 - 24*b134 = 1; } Constraint e54 { Definition: x28 - 3*b135 - 8*b136 - 15*b137 - 24*b138 = 1; } Constraint e55 { Definition: x29 - 3*b139 - 8*b140 - 15*b141 - 24*b142 = 1; } Constraint e56 { Definition: x30 - 3*b143 - 8*b144 - 15*b145 - 24*b146 = 1; } Constraint e57 { Definition: x31 - 3*b147 - 8*b148 - 15*b149 = 1; } Constraint e58 { Definition: x32 - 3*b150 - 8*b151 - 15*b152 = 1; } Constraint e59 { Definition: x33 - 3*b153 - 8*b154 - 15*b155 = 1; } Constraint e60 { Definition: x34 - 3*b156 - 8*b157 - 15*b158 = 1; } Constraint e61 { Definition: x35 - 3*b159 - 8*b160 - 15*b161 = 1; } Constraint e62 { Definition: b62 + b63 + b64 <= 1; } Constraint e63 { Definition: b65 + b66 + b67 <= 1; } Constraint e64 { Definition: b68 + b69 + b70 <= 1; } Constraint e65 { Definition: b71 + b72 + b73 <= 1; } Constraint e66 { Definition: b74 + b75 + b76 <= 1; } Constraint e67 { Definition: b77 + b78 + b79 + b80 + b81 <= 1; } Constraint e68 { Definition: b82 + b83 + b84 + b85 + b86 <= 1; } Constraint e69 { Definition: b87 + b88 + b89 + b90 + b91 <= 1; } Constraint e70 { Definition: b92 + b93 + b94 + b95 + b96 <= 1; } Constraint e71 { Definition: b97 + b98 + b99 + b100 + b101 <= 1; } Constraint e72 { Definition: b102 + b103 + b104 + b105 + b106 <= 1; } Constraint e73 { Definition: b107 + b108 + b109 + b110 + b111 <= 1; } Constraint e74 { Definition: b112 + b113 + b114 + b115 + b116 <= 1; } Constraint e75 { Definition: b117 + b118 + b119 + b120 + b121 <= 1; } Constraint e76 { Definition: b122 + b123 + b124 + b125 + b126 <= 1; } Constraint e77 { Definition: b127 + b128 + b129 + b130 <= 1; } Constraint e78 { Definition: b131 + b132 + b133 + b134 <= 1; } Constraint e79 { Definition: b135 + b136 + b137 + b138 <= 1; } Constraint e80 { Definition: b139 + b140 + b141 + b142 <= 1; } Constraint e81 { Definition: b143 + b144 + b145 + b146 <= 1; } Constraint e82 { Definition: b147 + b148 + b149 <= 1; } Constraint e83 { Definition: b150 + b151 + b152 <= 1; } Constraint e84 { Definition: b153 + b154 + b155 <= 1; } Constraint e85 { Definition: b156 + b157 + b158 <= 1; } Constraint e86 { Definition: b159 + b160 + b161 <= 1; } Constraint e87 { Definition: { -(sqrt(i6*x11) + sqrt(i7*x12) + sqrt(i8*x13) + sqrt(i9*x14) + sqrt(i10* x15)) + b36 + 2*b37 + 3*b38 + 4*b39 + 5*b40 + 6*b41 + 7*b42 + 8*b43 + 9*b44 + b45 + 2*b46 + 3*b47 + 4*b48 + 5*b49 + 6*b50 + b51 + 2*b52 + 3*b53 + 4*b54 + 5*b55 + 6*b56 + b57 + 2*b58 + 3*b59 + b60 + 2*b61 + b62 + 2*b63 + 3*b64 + b65 + 2*b66 + 3*b67 + b68 + 2*b69 + 3*b70 + b71 + 2*b72 + 3*b73 + b74 + 2*b75 + 3*b76 <= -17 } } Constraint e88 { Definition: { -(sqrt(i6*x16) + sqrt(i7*x17) + sqrt(i8*x18) + sqrt(i9*x19) + sqrt(i10* x20)) + b36 + 2*b37 + 3*b38 + 4*b39 + 5*b40 + 6*b41 + 7*b42 + 8*b43 + 9*b44 + b45 + 2*b46 + 3*b47 + 4*b48 + 5*b49 + 6*b50 + b51 + 2*b52 + 3*b53 + 4*b54 + 5*b55 + 6*b56 + b57 + 2*b58 + 3*b59 + b60 + 2*b61 + b77 + 2*b78 + 3*b79 + 4*b80 + 5*b81 + b82 + 2*b83 + 3*b84 + 4*b85 + 5*b86 + b87 + 2*b88 + 3*b89 + 4*b90 + 5*b91 + b92 + 2*b93 + 3*b94 + 4*b95 + 5*b96 + b97 + 2*b98 + 3*b99 + 4*b100 + 5*b101 <= -11 } } Constraint e89 { Definition: { -(sqrt(i6*x21) + sqrt(i7*x22) + sqrt(i8*x23) + sqrt(i9*x24) + sqrt(i10* x25)) + b36 + 2*b37 + 3*b38 + 4*b39 + 5*b40 + 6*b41 + 7*b42 + 8*b43 + 9*b44 + b45 + 2*b46 + 3*b47 + 4*b48 + 5*b49 + 6*b50 + b51 + 2*b52 + 3*b53 + 4*b54 + 5*b55 + 6*b56 + b57 + 2*b58 + 3*b59 + b60 + 2*b61 + b102 + 2*b103 + 3*b104 + 4*b105 + 5*b106 + b107 + 2*b108 + 3*b109 + 4*b110 + 5*b111 + b112 + 2*b113 + 3*b114 + 4*b115 + 5*b116 + b117 + 2*b118 + 3*b119 + 4*b120 + 5*b121 + b122 + 2*b123 + 3*b124 + 4*b125 + 5*b126 <= -20 } } Constraint e90 { Definition: { -(sqrt(i6*x26) + sqrt(i7*x27) + sqrt(i8*x28) + sqrt(i9*x29) + sqrt(i10* x30)) + b36 + 2*b37 + 3*b38 + 4*b39 + 5*b40 + 6*b41 + 7*b42 + 8*b43 + 9*b44 + b45 + 2*b46 + 3*b47 + 4*b48 + 5*b49 + 6*b50 + b51 + 2*b52 + 3*b53 + 4*b54 + 5*b55 + 6*b56 + b57 + 2*b58 + 3*b59 + b60 + 2*b61 + b127 + 2*b128 + 3*b129 + 4*b130 + b131 + 2*b132 + 3*b133 + 4*b134 + b135 + 2*b136 + 3*b137 + 4*b138 + b139 + 2*b140 + 3*b141 + 4*b142 + b143 + 2*b144 + 3*b145 + 4*b146 <= -11 } } Constraint e91 { Definition: { -(sqrt(i6*x31) + sqrt(i7*x32) + sqrt(i8*x33) + sqrt(i9*x34) + sqrt(i10* x35)) + b36 + 2*b37 + 3*b38 + 4*b39 + 5*b40 + 6*b41 + 7*b42 + 8*b43 + 9*b44 + b45 + 2*b46 + 3*b47 + 4*b48 + 5*b49 + 6*b50 + b51 + 2*b52 + 3*b53 + 4*b54 + 5*b55 + 6*b56 + b57 + 2*b58 + 3*b59 + b60 + 2*b61 + b147 + 2*b148 + 3*b149 + b150 + 2*b151 + 3*b152 + b153 + 2*b154 + 3*b155 + b156 + 2*b157 + 3*b158 + b159 + 2*b160 + 3*b161 <= -14 } } Procedure MainInitialization { Body: { i6.lower := 1; i6.upper := 100; i7.lower := 1; i7.upper := 100; i8.lower := 1; i8.upper := 100; i9.lower := 1; i9.upper := 100; i10.lower := 1; i10.upper := 100; x11.lower := 1; x12.lower := 1; x13.lower := 1; x14.lower := 1; x15.lower := 1; x16.lower := 1; x17.lower := 1; x18.lower := 1; x19.lower := 1; x20.lower := 1; x21.lower := 1; x22.lower := 1; x23.lower := 1; x24.lower := 1; x25.lower := 1; x26.lower := 1; x27.lower := 1; x28.lower := 1; x29.lower := 1; x30.lower := 1; x31.lower := 1; x32.lower := 1; x33.lower := 1; x34.lower := 1; x35.lower := 1; } } MathematicalProgram tls5 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve tls5; } } Procedure MainTermination { Body: { return 1; } } }