## ams_version=1.0 Model Main_sssd20_04 { 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 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 x93 { Range: nonnegative; } Variable x94 { Range: nonnegative; } Variable x95 { Range: nonnegative; } Variable x96 { Range: nonnegative; } Variable x97 { Range: nonnegative; } Variable x98 { Range: nonnegative; } Variable x99 { Range: nonnegative; } Variable x100 { Range: nonnegative; } Variable x101 { Range: nonnegative; } Variable x102 { Range: nonnegative; } Variable x103 { Range: nonnegative; } Variable x104 { Range: nonnegative; } Variable x105 { Range: nonnegative; } Variable x106 { Range: nonnegative; } Variable x107 { Range: nonnegative; } Variable x108 { Range: nonnegative; } Variable objvar; Constraint e1 { Definition: { - 605.279840123728*b1 - 272.608555855308*b2 - 211.960656393875*b3 - 135.715048070326*b4 - 522.241469316371*b5 - 523.563443912583*b6 - 619.396068733614*b7 - 682.855110454901*b8 - 114.621684843966*b9 - 261.173379139252*b10 - 513.947181134071*b11 - 358.827151019868*b12 - 52.6956363514181*b13 - 220.516589731527*b14 - 345.528110071738*b15 - 282.457316020068*b16 - 164.693392296952*b17 - 399.53784188835*b18 - 579.783225922065*b19 - 516.220792703845*b20 - 141.747533297772*b21 - 335.99629563561*b22 - 476.041671993639*b23 - 412.41709048995*b24 - 249.021288299155*b25 - 32.6643717959122*b26 - 199.880519193262*b27 - 133.876249431799*b28 - 728.457456178222*b29 - 404.601461725878*b30 - 192.078907281649*b31 - 305.768394889279*b32 - 221.337276729365*b33 - 192.029949456353*b34 - 290.444487065555*b35 - 290.589607684046*b36 - 51.4630955019675*b37 - 378.97714206935*b38 - 703.676326841317*b39 - 539.35222186517*b40 - 204.068863192141*b41 - 463.922884836254*b42 - 653.596824664278*b43 - 561.360926563887*b44 - 266.946572387463*b45 - 560.351177303554*b46 - 769.136225452049*b47 - 680.608731917532*b48 - 63.9346010099856*b49 - 279.007631632013*b50 - 482.164187877198*b51 - 396.080242012788*b52 - 220.027468271858*b53 - 241.243800922173*b54 - 278.137335265831*b55 - 303.106288586679*b56 - 422.202307395423*b57 - 190.792583868763*b58 - 305.391726831552*b59 - 321.417518470348*b60 - 658.941366540719*b61 - 257.620909868047*b62 - 150.646514025985*b63 - 290.969639301944*b64 - 505.285454816257*b65 - 51.8926025973049*b66 - 331.503998535252*b67 - 203.933628440855*b68 - 342.132118599327*b69 - 368.956004133481*b70 - 594.305258519636*b71 - 387.086094157069*b72 - 159.012285419563*b73 - 466.830163547866*b74 - 692.307419918051*b75 - 595.529758838679*b76 - 367.398716653205*b77 - 816.295996604146*b78 - 1138.18899052505*b79 - 1010.10082815226*b80 - 334.527248*b81 - 153.380628575016*b82 - 110.155626976693*b83 - 304.26749275*b84 - 134.618265608558*b85 - 94.9717940075149*b86 - 386.41984025*b87 - 164.839722634043*b88 - 114.190322638477*b89 - 292.732952*b90 - 143.429945907125*b91 - 106.48563964612*b92 - 113818.899052505*x93 - 113818.899052505*x94 - 113818.899052505*x95 - 113818.899052505*x96 + objvar = 0 } } Constraint e2 { Definition: { 1.051196132*b1 + 1.318044576*b5 + 0.980364732*b9 + 0.515442765*b13 + 0.868604743*b17 + 0.607373159*b21 + 0.785278546*b25 + 0.995650311*b29 + 0.767039688*b33 + 1.321644376*b37 + 0.80017289*b41 + 0.935237992*b45 + 0.892997692*b49 + 0.501935535*b53 + 1.211683537*b57 + 1.39435304*b61 + 1.454079593*b65 + 0.971951107*b69 + 0.997801135*b73 + 1.479427834*b77 - 4.0303184825*x97 - 8.060636965*x98 - 12.0909554475*x99 = 0 } } Constraint e3 { Definition: { 1.051196132*b2 + 1.318044576*b6 + 0.980364732*b10 + 0.515442765*b14 + 0.868604743*b18 + 0.607373159*b22 + 0.785278546*b26 + 0.995650311*b30 + 0.767039688*b34 + 1.321644376*b38 + 0.80017289*b42 + 0.935237992*b46 + 0.892997692*b50 + 0.501935535*b54 + 1.211683537*b58 + 1.39435304*b62 + 1.454079593*b66 + 0.971951107*b70 + 0.997801135*b74 + 1.479427834*b78 - 3.29375444375*x100 - 6.5875088875*x101 - 9.88126333125*x102 = 0 } } Constraint e4 { Definition: { 1.051196132*b3 + 1.318044576*b7 + 0.980364732*b11 + 0.515442765*b15 + 0.868604743*b19 + 0.607373159*b23 + 0.785278546*b27 + 0.995650311*b31 + 0.767039688*b35 + 1.321644376*b39 + 0.80017289*b43 + 0.935237992*b47 + 0.892997692*b51 + 0.501935535*b55 + 1.211683537*b59 + 1.39435304*b63 + 1.454079593*b67 + 0.971951107*b71 + 0.997801135*b75 + 1.479427834*b79 - 3.74935596125*x103 - 7.4987119225*x104 - 11.24806788375*x105 = 0 } } Constraint e5 { Definition: { 1.051196132*b4 + 1.318044576*b8 + 0.980364732*b12 + 0.515442765*b16 + 0.868604743*b20 + 0.607373159*b24 + 0.785278546*b28 + 0.995650311*b32 + 0.767039688*b36 + 1.321644376*b40 + 0.80017289*b44 + 0.935237992*b48 + 0.892997692*b52 + 0.501935535*b56 + 1.211683537*b60 + 1.39435304*b64 + 1.454079593*b68 + 0.971951107*b72 + 0.997801135*b76 + 1.479427834*b80 - 4.30395742125*x106 - 8.6079148425*x107 - 12.91187226375*x108 = 0 } } Constraint e6 { Definition: b1 + b2 + b3 + b4 = 1; } Constraint e7 { Definition: b5 + b6 + b7 + b8 = 1; } Constraint e8 { Definition: b9 + b10 + b11 + b12 = 1; } Constraint e9 { Definition: b13 + b14 + b15 + b16 = 1; } Constraint e10 { Definition: b17 + b18 + b19 + b20 = 1; } Constraint e11 { Definition: b21 + b22 + b23 + b24 = 1; } Constraint e12 { Definition: b25 + b26 + b27 + b28 = 1; } Constraint e13 { Definition: b29 + b30 + b31 + b32 = 1; } Constraint e14 { Definition: b33 + b34 + b35 + b36 = 1; } Constraint e15 { Definition: b37 + b38 + b39 + b40 = 1; } Constraint e16 { Definition: b41 + b42 + b43 + b44 = 1; } Constraint e17 { Definition: b45 + b46 + b47 + b48 = 1; } Constraint e18 { Definition: b49 + b50 + b51 + b52 = 1; } Constraint e19 { Definition: b53 + b54 + b55 + b56 = 1; } Constraint e20 { Definition: b57 + b58 + b59 + b60 = 1; } Constraint e21 { Definition: b61 + b62 + b63 + b64 = 1; } Constraint e22 { Definition: b65 + b66 + b67 + b68 = 1; } Constraint e23 { Definition: b69 + b70 + b71 + b72 = 1; } Constraint e24 { Definition: b73 + b74 + b75 + b76 = 1; } Constraint e25 { Definition: b77 + b78 + b79 + b80 = 1; } Constraint e26 { Definition: b81 + b82 + b83 <= 1; } Constraint e27 { Definition: b84 + b85 + b86 <= 1; } Constraint e28 { Definition: b87 + b88 + b89 <= 1; } Constraint e29 { Definition: b90 + b91 + b92 <= 1; } Constraint e30 { Definition: - b81 + x97 <= 0; } Constraint e31 { Definition: - b82 + x98 <= 0; } Constraint e32 { Definition: - b83 + x99 <= 0; } Constraint e33 { Definition: - b84 + x100 <= 0; } Constraint e34 { Definition: - b85 + x101 <= 0; } Constraint e35 { Definition: - b86 + x102 <= 0; } Constraint e36 { Definition: - b87 + x103 <= 0; } Constraint e37 { Definition: - b88 + x104 <= 0; } Constraint e38 { Definition: - b89 + x105 <= 0; } Constraint e39 { Definition: - b90 + x106 <= 0; } Constraint e40 { Definition: - b91 + x107 <= 0; } Constraint e41 { Definition: - b92 + x108 <= 0; } Constraint e42 { Definition: -x93/(1 + x93) + x97 <= 0; } Constraint e43 { Definition: -x93/(1 + x93) + x98 <= 0; } Constraint e44 { Definition: -x93/(1 + x93) + x99 <= 0; } Constraint e45 { Definition: -x94/(1 + x94) + x100 <= 0; } Constraint e46 { Definition: -x94/(1 + x94) + x101 <= 0; } Constraint e47 { Definition: -x94/(1 + x94) + x102 <= 0; } Constraint e48 { Definition: -x95/(1 + x95) + x103 <= 0; } Constraint e49 { Definition: -x95/(1 + x95) + x104 <= 0; } Constraint e50 { Definition: -x95/(1 + x95) + x105 <= 0; } Constraint e51 { Definition: -x96/(1 + x96) + x106 <= 0; } Constraint e52 { Definition: -x96/(1 + x96) + x107 <= 0; } Constraint e53 { Definition: -x96/(1 + x96) + x108 <= 0; } Procedure MainInitialization; MathematicalProgram sssd20_04 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve sssd20_04; } } Procedure MainTermination { Body: { return 1; } } }