## ams_version=1.0 Model Main_sssd15_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 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 x81 { Range: nonnegative; } Variable x82 { Range: nonnegative; } Variable x83 { Range: nonnegative; } Variable x84 { Range: nonnegative; } Variable x85 { Range: nonnegative; } Variable x86 { Range: nonnegative; } Variable x87 { Range: nonnegative; } Variable x88 { Range: nonnegative; } Variable objvar; Constraint e1 { Definition: { - 53.1533839248115*b1 - 177.583181382496*b2 - 80.6428266602653*b3 - 231.95916447606*b4 - 394.432428138298*b5 - 444.974070084717*b6 - 459.794817811195*b7 - 695.629649483288*b8 - 323.203981426319*b9 - 107.360282998709*b10 - 361.859887112392*b11 - 367.306912008994*b12 - 282.872191198352*b13 - 44.0762253696262*b14 - 317.877544418109*b15 - 316.134390405973*b16 - 100.330419683223*b17 - 127.926900226391*b18 - 139.263247551061*b19 - 254.000222645919*b20 - 194.145316904472*b21 - 116.037290266393*b22 - 222.112787515659*b23 - 263.356262140469*b24 - 571.289311491824*b25 - 347.171110484916*b26 - 646.58041890394*b27 - 747.500077392939*b28 - 267.180266374013*b29 - 432.187536801291*b30 - 223.193932764969*b31 - 305.606281730255*b32 - 484.148164648118*b33 - 255.18826726263*b34 - 500.409280467716*b35 - 357.348895559311*b36 - 154.81861346409*b37 - 47.9482185242841*b38 - 178.01500365671*b39 - 197.299183634545*b40 - 110.221327583974*b41 - 276.335219124972*b42 - 66.6367550739739*b43 - 215.126920582161*b44 - 251.865680365869*b45 - 259.485555817488*b46 - 325.903992788768*b47 - 533.263861665761*b48 - 365.289467328013*b49 - 698.425848556873*b50 - 342.854784735801*b51 - 672.157315207286*b52 - 278.522996301316*b53 - 127.656852798454*b54 - 302.312726976851*b55 - 281.218053524739*b56 - 629.708028128623*b57 - 303.067014885745*b58 - 662.424721658793*b59 - 521.27200594153*b60 - 313.6973235*b61 - 136.4460104172*b62 - 95.4447793733688*b63 - 401.4402965*b64 - 160.307673981768*b65 - 107.445134115433*b66 - 456.70672375*b67 - 163.727629808624*b68 - 103.975094190251*b69 - 349.50038725*b70 - 137.744259121245*b71 - 91.7174793486262*b72 - 74750.0077392939*x73 - 74750.0077392939*x74 - 74750.0077392939*x75 - 74750.0077392939*x76 + objvar = 0 } } Constraint e2 { Definition: { 0.609376132*b1 + 1.180016336*b5 + 0.967493052*b9 + 1.004918785*b13 + 0.698898063*b17 + 0.540292599*b21 + 1.460452986*b25 + 0.811980791*b29 + 0.973180988*b33 + 0.544914116*b37 + 0.78515855*b41 + 1.312281472*b45 + 1.346783152*b49 + 0.635811295*b53 + 1.327207817*b57 - 3.22664386875*x77 - 6.4532877375*x78 - 9.67993160625*x79 = 0 } } Constraint e3 { Definition: { 0.609376132*b2 + 1.180016336*b6 + 0.967493052*b10 + 1.004918785*b14 + 0.698898063*b18 + 0.540292599*b22 + 1.460452986*b26 + 0.811980791*b30 + 0.973180988*b34 + 0.544914116*b38 + 0.78515855*b42 + 1.312281472*b46 + 1.346783152*b50 + 0.635811295*b54 + 1.327207817*b58 - 3.1952881621875*x80 - 6.390576324375*x81 - 9.5858644865625*x82 = 0 } } Constraint e4 { Definition: { 0.609376132*b3 + 1.180016336*b7 + 0.967493052*b11 + 1.004918785*b15 + 0.698898063*b19 + 0.540292599*b23 + 1.460452986*b27 + 0.811980791*b31 + 0.973180988*b35 + 0.544914116*b39 + 0.78515855*b43 + 1.312281472*b47 + 1.346783152*b51 + 0.635811295*b55 + 1.327207817*b59 - 2.6301391753125*x83 - 5.260278350625*x84 - 7.8904175259375*x85 = 0 } } Constraint e5 { Definition: { 0.609376132*b4 + 1.180016336*b8 + 0.967493052*b12 + 1.004918785*b16 + 0.698898063*b20 + 0.540292599*b24 + 1.460452986*b28 + 0.811980791*b32 + 0.973180988*b36 + 0.544914116*b40 + 0.78515855*b44 + 1.312281472*b48 + 1.346783152*b52 + 0.635811295*b56 + 1.327207817*b60 - 2.6743241765625*x86 - 5.348648353125*x87 - 8.0229725296875*x88 = 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 <= 1; } Constraint e22 { Definition: b64 + b65 + b66 <= 1; } Constraint e23 { Definition: b67 + b68 + b69 <= 1; } Constraint e24 { Definition: b70 + b71 + b72 <= 1; } Constraint e25 { Definition: - b61 + x77 <= 0; } Constraint e26 { Definition: - b62 + x78 <= 0; } Constraint e27 { Definition: - b63 + x79 <= 0; } Constraint e28 { Definition: - b64 + x80 <= 0; } Constraint e29 { Definition: - b65 + x81 <= 0; } Constraint e30 { Definition: - b66 + x82 <= 0; } Constraint e31 { Definition: - b67 + x83 <= 0; } Constraint e32 { Definition: - b68 + x84 <= 0; } Constraint e33 { Definition: - b69 + x85 <= 0; } Constraint e34 { Definition: - b70 + x86 <= 0; } Constraint e35 { Definition: - b71 + x87 <= 0; } Constraint e36 { Definition: - b72 + x88 <= 0; } Constraint e37 { Definition: -x73/(1 + x73) + x77 <= 0; } Constraint e38 { Definition: -x73/(1 + x73) + x78 <= 0; } Constraint e39 { Definition: -x73/(1 + x73) + x79 <= 0; } Constraint e40 { Definition: -x74/(1 + x74) + x80 <= 0; } Constraint e41 { Definition: -x74/(1 + x74) + x81 <= 0; } Constraint e42 { Definition: -x74/(1 + x74) + x82 <= 0; } Constraint e43 { Definition: -x75/(1 + x75) + x83 <= 0; } Constraint e44 { Definition: -x75/(1 + x75) + x84 <= 0; } Constraint e45 { Definition: -x75/(1 + x75) + x85 <= 0; } Constraint e46 { Definition: -x76/(1 + x76) + x86 <= 0; } Constraint e47 { Definition: -x76/(1 + x76) + x87 <= 0; } Constraint e48 { Definition: -x76/(1 + x76) + x88 <= 0; } Procedure MainInitialization; MathematicalProgram sssd15_04 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve sssd15_04; } } Procedure MainTermination { Body: { return 1; } } }