MINLPLib
A Library of Mixed-Integer and Continuous Nonlinear Programming Instances
Home // Instances // Documentation // Download // Statistics
Instance kan_peaks_h1_n2_g3
Optimization of a trained Kolmogorov-Arnold Network as a surrogate model of the peaks function
| Formatsⓘ | ams gms mod nl osil py |
| Primal Bounds (infeas ≤ 1e-08)ⓘ | |
| Other points (infeas > 1e-08)ⓘ | |
| Dual Boundsⓘ | -3.72429999 (SCIP) |
| Referencesⓘ | Karia, Tanuj, Lastrucci, Giacomo, and Schweidtmann, Artur M., Deterministic Global Optimization over trained Kolmogorov Arnold Networks, Tech. Rep., 2025. |
| Applicationⓘ | Machine Learning |
| Added to libraryⓘ | 07 May 2025 |
| Problem typeⓘ | MBNLP |
| #Variablesⓘ | 210 |
| #Binary Variablesⓘ | 54 |
| #Integer Variablesⓘ | 0 |
| #Nonlinear Variablesⓘ | 150 |
| #Nonlinear Binary Variablesⓘ | 54 |
| #Nonlinear Integer Variablesⓘ | 0 |
| Objective Senseⓘ | min |
| Objective typeⓘ | linear |
| Objective curvatureⓘ | linear |
| #Nonzeros in Objectiveⓘ | 1 |
| #Nonlinear Nonzeros in Objectiveⓘ | 0 |
| #Constraintsⓘ | 286 |
| #Linear Constraintsⓘ | 154 |
| #Quadratic Constraintsⓘ | 126 |
| #Polynomial Constraintsⓘ | 0 |
| #Signomial Constraintsⓘ | 0 |
| #General Nonlinear Constraintsⓘ | 6 |
| Operands in Gen. Nonlin. Functionsⓘ | div exp |
| Constraints curvatureⓘ | indefinite |
| #Nonzeros in Jacobianⓘ | 983 |
| #Nonlinear Nonzeros in Jacobianⓘ | 384 |
| #Nonzeros in (Upper-Left) Hessian of Lagrangianⓘ | 294 |
| #Nonzeros in Diagonal of Hessian of Lagrangianⓘ | 6 |
| #Blocks in Hessian of Lagrangianⓘ | 6 |
| Minimal blocksize in Hessian of Lagrangianⓘ | 25 |
| Maximal blocksize in Hessian of Lagrangianⓘ | 25 |
| Average blocksize in Hessian of Lagrangianⓘ | 25.0 |
| #Semicontinuitiesⓘ | 0 |
| #Nonlinear Semicontinuitiesⓘ | 0 |
| #SOS type 1ⓘ | 0 |
| #SOS type 2ⓘ | 0 |
| Minimal coefficientⓘ | 1.7139e-03 |
| Maximal coefficientⓘ | 2.1805e+01 |
| Infeasibility of initial pointⓘ | 4.295 |
| Sparsity Jacobianⓘ |  |
| Sparsity Hessian of Lagrangianⓘ |  |
$offlisting
*
* Equation counts
* Total E G L N X C B
* 287 179 0 108 0 0 0 0
*
* Variable counts
* x b i s1s s2s sc si
* Total cont binary integer sos1 sos2 scont sint
* 211 157 54 0 0 0 0 0
* FX 0
*
* Nonzero counts
* Total const NL
* 985 601 384
* Solve m using MINLP minimizing objvar;
Variables
b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17,b18,b19,b20,b21,
b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34,b35,b36,b37,b38,b39,b40,
b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51,b52,b53,b54,x55,x56,x57,x58,x59,
x60,x61,x62,x63,x64,x65,x66,x67,x68,x69,x70,x71,x72,x73,x74,x75,x76,x77,x78,
x79,x80,x81,x82,x83,x84,x85,x86,x87,x88,x89,x90,x91,x92,x93,x94,x95,x96,x97,
x98,x99,x100,x101,x102,x103,x104,x105,x106,x107,x108,x109,x110,x111,x112,
x113,x114,x115,x116,x117,x118,x119,x120,x121,x122,x123,x124,x125,x126,x127,
x128,x129,x130,x131,x132,x133,x134,x135,x136,x137,x138,x139,x140,x141,x142,
x143,x144,x145,x146,x147,x148,x149,x150,x151,x152,x153,x154,x155,x156,x157,
x158,x159,x160,x161,x162,x163,x164,x165,x166,x167,x168,x169,x170,x171,x172,
x173,x174,x175,x176,x177,x178,x179,x180,objvar,x182,x183,x184,x185,x186,
x187,x188,x189,x190,x191,x192,x193,x194,x195,x196,x197,x198,x199,x200,x201,
x202,x203,x204,x205,x206,x207,x208,x209,x210,x211;
Positive Variables
x55,x56,x57,x58,x59,x60,x61,x62,x63,x64,x65,x66,x67,x68,x69,x70,x71,x72,x73,
x74,x75,x76,x77,x78,x79,x80,x81,x82,x83,x84,x85,x86,x87,x88,x89,x90,x91,x92,
x93,x94,x95,x96,x97,x98,x99,x100,x101,x102,x103,x104,x105,x106,x107,x108,
x109,x110,x111,x112,x113,x114,x115,x116,x117,x118,x119,x120,x121,x122,x123,
x124,x125,x126,x127,x128,x129,x130,x131,x132,x133,x134,x135,x136,x137,x138,
x139,x140,x141,x142,x143,x144,x145,x146,x147,x148,x149,x150,x151,x152,x153,
x154,x155,x156,x157,x158,x159,x160,x161,x162,x163,x164,x165,x166,x167,x168,
x169,x170,x171,x172,x173,x174,x175,x176,x177,x178,x179,x180;
Binary Variables
b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17,b18,b19,b20,b21,
b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34,b35,b36,b37,b38,b39,b40,
b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51,b52,b53,b54;
Equations
e1,e2,e3,e4,e5,e6,e7,e8,e9,e10,e11,e12,e13,e14,e15,e16,e17,e18,e19,e20,e21,
e22,e23,e24,e25,e26,e27,e28,e29,e30,e31,e32,e33,e34,e35,e36,e37,e38,e39,e40,
e41,e42,e43,e44,e45,e46,e47,e48,e49,e50,e51,e52,e53,e54,e55,e56,e57,e58,e59,
e60,e61,e62,e63,e64,e65,e66,e67,e68,e69,e70,e71,e72,e73,e74,e75,e76,e77,e78,
e79,e80,e81,e82,e83,e84,e85,e86,e87,e88,e89,e90,e91,e92,e93,e94,e95,e96,e97,
e98,e99,e100,e101,e102,e103,e104,e105,e106,e107,e108,e109,e110,e111,e112,
e113,e114,e115,e116,e117,e118,e119,e120,e121,e122,e123,e124,e125,e126,e127,
e128,e129,e130,e131,e132,e133,e134,e135,e136,e137,e138,e139,e140,e141,e142,
e143,e144,e145,e146,e147,e148,e149,e150,e151,e152,e153,e154,e155,e156,e157,
e158,e159,e160,e161,e162,e163,e164,e165,e166,e167,e168,e169,e170,e171,e172,
e173,e174,e175,e176,e177,e178,e179,e180,e181,e182,e183,e184,e185,e186,e187,
e188,e189,e190,e191,e192,e193,e194,e195,e196,e197,e198,e199,e200,e201,e202,
e203,e204,e205,e206,e207,e208,e209,e210,e211,e212,e213,e214,e215,e216,e217,
e218,e219,e220,e221,e222,e223,e224,e225,e226,e227,e228,e229,e230,e231,e232,
e233,e234,e235,e236,e237,e238,e239,e240,e241,e242,e243,e244,e245,e246,e247,
e248,e249,e250,e251,e252,e253,e254,e255,e256,e257,e258,e259,e260,e261,e262,
e263,e264,e265,e266,e267,e268,e269,e270,e271,e272,e273,e274,e275,e276,e277,
e278,e279,e280,e281,e282,e283,e284,e285,e286,e287;
e1.. x182 - x183 - x184 =E= 0.3800446085366398;
e2.. x185 - x186 - x187 =E= -4.414974771244402;
e3.. 1.7027993424323016 * x188 - x189 =E= -0.035801338818143194;
e4.. 1.7219754131004454 * x190 - x191 =E= 0.08926378890298807;
e5.. -x188 + x192 =E= 0;
e6.. -x190 + x193 =E= 0;
e7.. -x188 =L= 5.328143182475763;
e8.. 9.43349481352292 * b1 + x188 =L= 5.284538482737521;
e9.. 1.179186851690365 * b2 - x188 =L= 5.328143182475763;
e10.. 8.254307961832554 * b2 + x188 =L= 5.284538482737521;
e11.. 2.35837370338073 * b3 - x188 =L= 5.328143182475763;
e12.. 7.07512111014219 * b3 + x188 =L= 5.284538482737521;
e13.. 3.5375605550710945 * b4 - x188 =L= 5.328143182475763;
e14.. 5.895934258451825 * b4 + x188 =L= 5.284538482737521;
e15.. 4.716747406761459 * b5 - x188 =L= 5.328143182475763;
e16.. 4.71674740676146 * b5 + x188 =L= 5.284538482737521;
e17.. 5.895934258451824 * b6 - x188 =L= 5.328143182475763;
e18.. 3.537560555071095 * b6 + x188 =L= 5.284538482737521;
e19.. 7.075121110142189 * b7 - x188 =L= 5.328143182475763;
e20.. 2.35837370338073 * b7 + x188 =L= 5.284538482737521;
e21.. 8.254307961832554 * b8 - x188 =L= 5.328143182475763;
e22.. 1.179186851690365 * b8 + x188 =L= 5.284538482737521;
e23.. 9.43349481352292 * b9 - x188 =L= 5.328143182475763;
e24.. x188 =L= 5.284538482737521;
e25.. b1 + b2 + b3 + b4 + b5 + b6 + b7 + b8 + b9 =E= 1;
e26.. -b1 * (4.518489308829952 + 0.8480420202841471 * x188) - b2 * (
-2.518489308829951 - 0.8480420202841471 * x188) + x55 =E= 0;
e27.. -b2 * (3.518489308829951 + 0.8480420202841471 * x188) - b3 * (
-1.518489308829952 - 0.8480420202841474 * x188) + x56 =E= 0;
e28.. -b3 * (2.518489308829952 + 0.8480420202841474 * x188) - b4 * (
-0.5184893088299517 - 0.8480420202841472 * x188) + x57 =E= 0;
e29.. -b4 * (1.5184893088299518 + 0.8480420202841472 * x188) - b5 * (
0.48151069117004824 - 0.8480420202841472 * x188) + x58 =E= 0;
e30.. -b5 * (0.5184893088299517 + 0.8480420202841472 * x188) - b6 * (
1.4815106911700482 - 0.8480420202841471 * x188) + x59 =E= 0;
e31.. -b6 * (-0.4815106911700482 + 0.8480420202841471 * x188) - b7 * (
2.4815106911700484 - 0.8480420202841471 * x188) + x60 =E= 0;
e32.. -b7 * (-1.4815106911700482 + 0.8480420202841471 * x188) - b8 * (
3.4815106911700484 - 0.8480420202841471 * x188) + x61 =E= 0;
e33.. -b8 * (-2.4815106911700484 + 0.8480420202841471 * x188) - b9 * (
4.481510691170048 - 0.8480420202841471 * x188) + x62 =E= 0;
e34.. -x55 * (2.259244654414976 + 0.42402101014207355 * x188) - x56 * (
-0.7592446544149759 - 0.4240210101420736 * x188) + x63 =E= 0;
e35.. -x56 * (1.7592446544149758 + 0.4240210101420736 * x188) - x57 * (
-0.25924465441497596 - 0.4240210101420737 * x188) + x64 =E= 0;
e36.. -x57 * (1.259244654414976 + 0.4240210101420737 * x188) - x58 * (
0.24075534558502412 - 0.4240210101420736 * x188) + x65 =E= 0;
e37.. -x58 * (0.7592446544149759 + 0.4240210101420736 * x188) - x59 * (
0.7407553455850241 - 0.42402101014207355 * x188) + x66 =E= 0;
e38.. -x59 * (0.25924465441497585 + 0.42402101014207355 * x188) - x60 * (
1.2407553455850242 - 0.42402101014207355 * x188) + x67 =E= 0;
e39.. -x60 * (-0.2407553455850241 + 0.42402101014207355 * x188) - x61 * (
1.7407553455850242 - 0.42402101014207355 * x188) + x68 =E= 0;
e40.. -x61 * (-0.7407553455850241 + 0.42402101014207355 * x188) - x62 * (
2.240755345585024 - 0.42402101014207355 * x188) + x69 =E= 0;
e41.. -x63 * (1.5061631029433171 + 0.28268067342804903 * x188) - x64 * (
-0.17282976960998392 - 0.2826806734280491 * x188) + x70 =E= 0;
e42.. -x64 * (1.172829769609984 + 0.2826806734280491 * x188) - x65 * (
0.16050356372334942 - 0.2826806734280491 * x188) + x71 =E= 0;
e43.. -x65 * (0.8394964362766506 + 0.2826806734280491 * x188) - x66 * (
0.49383689705668277 - 0.28268067342804903 * x188) + x72 =E= 0;
e44.. -x66 * (0.5061631029433172 + 0.28268067342804903 * x188) - x67 * (
0.8271702303900161 - 0.28268067342804903 * x188) + x73 =E= 0;
e45.. -x67 * (0.1728297696099839 + 0.28268067342804903 * x188) - x68 * (
1.1605035637233494 - 0.28268067342804903 * x188) + x74 =E= 0;
e46.. -x68 * (-0.1605035637233494 + 0.28268067342804903 * x188) - x69 * (
1.4938368970566829 - 0.28268067342804903 * x188) + x75 =E= 0;
e47.. 0.2127498827804497 * x70 + 1.5937940256689485 * x71 + 1.0146477724666783
* x72 + 1.5322320617731309 * x73 + 2.427875737325676 * x74 -
5.028317922507394 * x75 - x194 =E= 0;
e48.. -x188 / (exp(-x188) + 1) + x195 =E= 0;
e49.. x183 - 1.1844669967044612 * x194 - 0.7993253227060727 * x195 =E= 0;
e50.. x55 + x56 + x57 + x58 + x59 + x60 + x61 + x62 =E= 1;
e51.. x63 + x64 + x65 + x66 + x67 + x68 + x69 =E= 1;
e52.. x70 + x71 + x72 + x73 + x74 + x75 =E= 1;
e53.. -x190 =L= 5.1962633328294;
e54.. 9.326073124928069 * b10 + x190 =L= 5.295568932714678;
e55.. 1.165759140616009 * b11 - x190 =L= 5.1962633328294;
e56.. 8.160313984312062 * b11 + x190 =L= 5.295568932714678;
e57.. 2.331518281232017 * b12 - x190 =L= 5.1962633328294;
e58.. 6.9945548436960525 * b12 + x190 =L= 5.295568932714678;
e59.. 3.497277421848026 * b13 - x190 =L= 5.1962633328294;
e60.. 5.8287957030800435 * b13 + x190 =L= 5.295568932714678;
e61.. 4.663036562464034 * b14 - x190 =L= 5.1962633328294;
e62.. 4.663036562464034 * b14 + x190 =L= 5.295568932714678;
e63.. 5.8287957030800435 * b15 - x190 =L= 5.1962633328294;
e64.. 3.4972774218480263 * b15 + x190 =L= 5.295568932714678;
e65.. 6.994554843696052 * b16 - x190 =L= 5.1962633328294;
e66.. 2.3315182812320177 * b16 + x190 =L= 5.295568932714678;
e67.. 8.16031398431206 * b17 - x190 =L= 5.1962633328294;
e68.. 1.165759140616009 * b17 + x190 =L= 5.295568932714678;
e69.. 9.326073124928069 * b18 - x190 =L= 5.1962633328294;
e70.. x190 =L= 5.295568932714678;
e71.. b10 + b11 + b12 + b13 + b14 + b15 + b16 + b17 + b18 =E= 1;
e72.. -b10 * (4.457407325224657 + 0.8578101300338775 * x190) - b11 * (
-2.4574073252246595 - 0.8578101300338782 * x190) + x76 =E= 0;
e73.. -b11 * (3.4574073252246595 + 0.8578101300338782 * x190) - b12 * (
-1.4574073252246587 - 0.8578101300338778 * x190) + x77 =E= 0;
e74.. -b12 * (2.4574073252246587 + 0.8578101300338778 * x190) - b13 * (
-0.4574073252246587 - 0.8578101300338778 * x190) + x78 =E= 0;
e75.. -b13 * (1.4574073252246587 + 0.8578101300338778 * x190) - b14 * (
0.5425926747753413 - 0.8578101300338778 * x190) + x79 =E= 0;
e76.. -b14 * (0.4574073252246587 + 0.8578101300338778 * x190) - b15 * (
1.5425926747753413 - 0.8578101300338778 * x190) + x80 =E= 0;
e77.. -b15 * (-0.5425926747753413 + 0.8578101300338778 * x190) - b16 * (
2.5425926747753413 - 0.8578101300338778 * x190) + x81 =E= 0;
e78.. -b16 * (-1.5425926747753413 + 0.8578101300338778 * x190) - b17 * (
3.5425926747753413 - 0.8578101300338778 * x190) + x82 =E= 0;
e79.. -b17 * (-2.5425926747753413 + 0.8578101300338778 * x190) - b18 * (
4.5425926747753405 - 0.8578101300338775 * x190) + x83 =E= 0;
e80.. -x76 * (2.2287036626123293 + 0.4289050650169389 * x190) - x77 * (
-0.7287036626123294 - 0.428905065016939 * x190) + x84 =E= 0;
e81.. -x77 * (1.7287036626123293 + 0.428905065016939 * x190) - x78 * (
-0.22870366261232936 - 0.4289050650169389 * x190) + x85 =E= 0;
e82.. -x78 * (1.2287036626123293 + 0.4289050650169389 * x190) - x79 * (
0.27129633738767067 - 0.4289050650169389 * x190) + x86 =E= 0;
e83.. -x79 * (0.7287036626123293 + 0.4289050650169389 * x190) - x80 * (
0.7712963373876707 - 0.4289050650169389 * x190) + x87 =E= 0;
e84.. -x80 * (0.22870366261232936 + 0.4289050650169389 * x190) - x81 * (
1.2712963373876707 - 0.4289050650169389 * x190) + x88 =E= 0;
e85.. -x81 * (-0.27129633738767067 + 0.4289050650169389 * x190) - x82 * (
1.7712963373876707 - 0.4289050650169389 * x190) + x89 =E= 0;
e86.. -x82 * (-0.7712963373876707 + 0.4289050650169389 * x190) - x83 * (
2.2712963373876702 - 0.4289050650169388 * x190) + x90 =E= 0;
e87.. -x84 * (1.485802441741553 + 0.2859367100112926 * x190) - x85 * (
-0.15246910840821956 - 0.2859367100112926 * x190) + x91 =E= 0;
e88.. -x85 * (1.1524691084082195 + 0.2859367100112926 * x190) - x86 * (
0.18086422492511378 - 0.2859367100112926 * x190) + x92 =E= 0;
e89.. -x86 * (0.8191357750748862 + 0.2859367100112926 * x190) - x87 * (
0.5141975582584472 - 0.2859367100112926 * x190) + x93 =E= 0;
e90.. -x87 * (0.4858024417415529 + 0.2859367100112926 * x190) - x88 * (
0.8475308915917805 - 0.2859367100112926 * x190) + x94 =E= 0;
e91.. -x88 * (0.15246910840821956 + 0.2859367100112926 * x190) - x89 * (
1.1808642249251138 - 0.2859367100112926 * x190) + x95 =E= 0;
e92.. -x89 * (-0.18086422492511378 + 0.2859367100112926 * x190) - x90 * (
1.514197558258447 - 0.28593671001129256 * x190) + x96 =E= 0;
e93.. -3.2313393493943785 * x91 + 5.267512186112244 * x92 + 2.99973822933084 *
x93 - 3.6465605766462366 * x94 - 2.908556269255298 * x95 +
2.3812954083288673 * x96 - x196 =E= 0;
e94.. -x190 / (exp(-x190) + 1) + x197 =E= 0;
e95.. x184 - 0.22023476515941975 * x196 - 3.600951187401814 * x197 =E= 0;
e96.. x76 + x77 + x78 + x79 + x80 + x81 + x82 + x83 =E= 1;
e97.. x84 + x85 + x86 + x87 + x88 + x89 + x90 =E= 1;
e98.. x91 + x92 + x93 + x94 + x95 + x96 =E= 1;
e99.. -x192 =L= 5.328143182475763;
e100.. 9.43349481352292 * b19 + x192 =L= 5.284538482737521;
e101.. 1.179186851690365 * b20 - x192 =L= 5.328143182475763;
e102.. 8.254307961832554 * b20 + x192 =L= 5.284538482737521;
e103.. 2.35837370338073 * b21 - x192 =L= 5.328143182475763;
e104.. 7.07512111014219 * b21 + x192 =L= 5.284538482737521;
e105.. 3.5375605550710945 * b22 - x192 =L= 5.328143182475763;
e106.. 5.895934258451825 * b22 + x192 =L= 5.284538482737521;
e107.. 4.716747406761459 * b23 - x192 =L= 5.328143182475763;
e108.. 4.71674740676146 * b23 + x192 =L= 5.284538482737521;
e109.. 5.895934258451824 * b24 - x192 =L= 5.328143182475763;
e110.. 3.537560555071095 * b24 + x192 =L= 5.284538482737521;
e111.. 7.075121110142189 * b25 - x192 =L= 5.328143182475763;
e112.. 2.35837370338073 * b25 + x192 =L= 5.284538482737521;
e113.. 8.254307961832554 * b26 - x192 =L= 5.328143182475763;
e114.. 1.179186851690365 * b26 + x192 =L= 5.284538482737521;
e115.. 9.43349481352292 * b27 - x192 =L= 5.328143182475763;
e116.. x192 =L= 5.284538482737521;
e117.. b19 + b20 + b21 + b22 + b23 + b24 + b25 + b26 + b27 =E= 1;
e118.. -b19 * (4.518489308829952 + 0.8480420202841471 * x192) - b20 * (
-2.518489308829951 - 0.8480420202841471 * x192) + x97 =E= 0;
e119.. -b20 * (3.518489308829951 + 0.8480420202841471 * x192) - b21 * (
-1.518489308829952 - 0.8480420202841474 * x192) + x98 =E= 0;
e120.. -b21 * (2.518489308829952 + 0.8480420202841474 * x192) - b22 * (
-0.5184893088299517 - 0.8480420202841472 * x192) + x99 =E= 0;
e121.. -b22 * (1.5184893088299518 + 0.8480420202841472 * x192) - b23 * (
0.48151069117004824 - 0.8480420202841472 * x192) + x100 =E= 0;
e122.. -b23 * (0.5184893088299517 + 0.8480420202841472 * x192) - b24 * (
1.4815106911700482 - 0.8480420202841471 * x192) + x101 =E= 0;
e123.. -b24 * (-0.4815106911700482 + 0.8480420202841471 * x192) - b25 * (
2.4815106911700484 - 0.8480420202841471 * x192) + x102 =E= 0;
e124.. -b25 * (-1.4815106911700482 + 0.8480420202841471 * x192) - b26 * (
3.4815106911700484 - 0.8480420202841471 * x192) + x103 =E= 0;
e125.. -b26 * (-2.4815106911700484 + 0.8480420202841471 * x192) - b27 * (
4.481510691170048 - 0.8480420202841471 * x192) + x104 =E= 0;
e126.. -x97 * (2.259244654414976 + 0.42402101014207355 * x192) - x98 * (
-0.7592446544149759 - 0.4240210101420736 * x192) + x105 =E= 0;
e127.. -x98 * (1.7592446544149758 + 0.4240210101420736 * x192) - x99 * (
-0.25924465441497596 - 0.4240210101420737 * x192) + x106 =E= 0;
e128.. -x99 * (1.259244654414976 + 0.4240210101420737 * x192) - x100 * (
0.24075534558502412 - 0.4240210101420736 * x192) + x107 =E= 0;
e129.. -x100 * (0.7592446544149759 + 0.4240210101420736 * x192) - x101 * (
0.7407553455850241 - 0.42402101014207355 * x192) + x108 =E= 0;
e130.. -x101 * (0.25924465441497585 + 0.42402101014207355 * x192) - x102 * (
1.2407553455850242 - 0.42402101014207355 * x192) + x109 =E= 0;
e131.. -x102 * (-0.2407553455850241 + 0.42402101014207355 * x192) - x103 * (
1.7407553455850242 - 0.42402101014207355 * x192) + x110 =E= 0;
e132.. -x103 * (-0.7407553455850241 + 0.42402101014207355 * x192) - x104 * (
2.240755345585024 - 0.42402101014207355 * x192) + x111 =E= 0;
e133.. -x105 * (1.5061631029433171 + 0.28268067342804903 * x192) - x106 * (
-0.17282976960998392 - 0.2826806734280491 * x192) + x112 =E= 0;
e134.. -x106 * (1.172829769609984 + 0.2826806734280491 * x192) - x107 * (
0.16050356372334942 - 0.2826806734280491 * x192) + x113 =E= 0;
e135.. -x107 * (0.8394964362766506 + 0.2826806734280491 * x192) - x108 * (
0.49383689705668277 - 0.28268067342804903 * x192) + x114 =E= 0;
e136.. -x108 * (0.5061631029433172 + 0.28268067342804903 * x192) - x109 * (
0.8271702303900161 - 0.28268067342804903 * x192) + x115 =E= 0;
e137.. -x109 * (0.1728297696099839 + 0.28268067342804903 * x192) - x110 * (
1.1605035637233494 - 0.28268067342804903 * x192) + x116 =E= 0;
e138.. -x110 * (-0.1605035637233494 + 0.28268067342804903 * x192) - x111 * (
1.4938368970566829 - 0.28268067342804903 * x192) + x117 =E= 0;
e139.. -1.4487309305560352 * x112 + 0.17214852086918778 * x113 +
0.6585366271722922 * x114 - 0.8403961054210113 * x115 -
3.869748425224201 * x116 - 7.190963128376443 * x117 - x198 =E= 0;
e140.. -x192 / (exp(-x192) + 1) + x199 =E= 0;
e141.. x186 - 7.032127692623696 * x198 - 17.444095495591952 * x199 =E= 0;
e142.. x97 + x98 + x99 + x100 + x101 + x102 + x103 + x104 =E= 1;
e143.. x105 + x106 + x107 + x108 + x109 + x110 + x111 =E= 1;
e144.. x112 + x113 + x114 + x115 + x116 + x117 =E= 1;
e145.. -x193 =L= 5.1962633328294;
e146.. 9.326073124928069 * b28 + x193 =L= 5.295568932714678;
e147.. 1.165759140616009 * b29 - x193 =L= 5.1962633328294;
e148.. 8.160313984312062 * b29 + x193 =L= 5.295568932714678;
e149.. 2.331518281232017 * b30 - x193 =L= 5.1962633328294;
e150.. 6.9945548436960525 * b30 + x193 =L= 5.295568932714678;
e151.. 3.497277421848026 * b31 - x193 =L= 5.1962633328294;
e152.. 5.8287957030800435 * b31 + x193 =L= 5.295568932714678;
e153.. 4.663036562464034 * b32 - x193 =L= 5.1962633328294;
e154.. 4.663036562464034 * b32 + x193 =L= 5.295568932714678;
e155.. 5.8287957030800435 * b33 - x193 =L= 5.1962633328294;
e156.. 3.4972774218480263 * b33 + x193 =L= 5.295568932714678;
e157.. 6.994554843696052 * b34 - x193 =L= 5.1962633328294;
e158.. 2.3315182812320177 * b34 + x193 =L= 5.295568932714678;
e159.. 8.16031398431206 * b35 - x193 =L= 5.1962633328294;
e160.. 1.165759140616009 * b35 + x193 =L= 5.295568932714678;
e161.. 9.326073124928069 * b36 - x193 =L= 5.1962633328294;
e162.. x193 =L= 5.295568932714678;
e163.. b28 + b29 + b30 + b31 + b32 + b33 + b34 + b35 + b36 =E= 1;
e164.. -b28 * (4.457407325224657 + 0.8578101300338775 * x193) - b29 * (
-2.4574073252246595 - 0.8578101300338782 * x193) + x118 =E= 0;
e165.. -b29 * (3.4574073252246595 + 0.8578101300338782 * x193) - b30 * (
-1.4574073252246587 - 0.8578101300338778 * x193) + x119 =E= 0;
e166.. -b30 * (2.4574073252246587 + 0.8578101300338778 * x193) - b31 * (
-0.4574073252246587 - 0.8578101300338778 * x193) + x120 =E= 0;
e167.. -b31 * (1.4574073252246587 + 0.8578101300338778 * x193) - b32 * (
0.5425926747753413 - 0.8578101300338778 * x193) + x121 =E= 0;
e168.. -b32 * (0.4574073252246587 + 0.8578101300338778 * x193) - b33 * (
1.5425926747753413 - 0.8578101300338778 * x193) + x122 =E= 0;
e169.. -b33 * (-0.5425926747753413 + 0.8578101300338778 * x193) - b34 * (
2.5425926747753413 - 0.8578101300338778 * x193) + x123 =E= 0;
e170.. -b34 * (-1.5425926747753413 + 0.8578101300338778 * x193) - b35 * (
3.5425926747753413 - 0.8578101300338778 * x193) + x124 =E= 0;
e171.. -b35 * (-2.5425926747753413 + 0.8578101300338778 * x193) - b36 * (
4.5425926747753405 - 0.8578101300338775 * x193) + x125 =E= 0;
e172.. -x118 * (2.2287036626123293 + 0.4289050650169389 * x193) - x119 * (
-0.7287036626123294 - 0.428905065016939 * x193) + x126 =E= 0;
e173.. -x119 * (1.7287036626123293 + 0.428905065016939 * x193) - x120 * (
-0.22870366261232936 - 0.4289050650169389 * x193) + x127 =E= 0;
e174.. -x120 * (1.2287036626123293 + 0.4289050650169389 * x193) - x121 * (
0.27129633738767067 - 0.4289050650169389 * x193) + x128 =E= 0;
e175.. -x121 * (0.7287036626123293 + 0.4289050650169389 * x193) - x122 * (
0.7712963373876707 - 0.4289050650169389 * x193) + x129 =E= 0;
e176.. -x122 * (0.22870366261232936 + 0.4289050650169389 * x193) - x123 * (
1.2712963373876707 - 0.4289050650169389 * x193) + x130 =E= 0;
e177.. -x123 * (-0.27129633738767067 + 0.4289050650169389 * x193) - x124 * (
1.7712963373876707 - 0.4289050650169389 * x193) + x131 =E= 0;
e178.. -x124 * (-0.7712963373876707 + 0.4289050650169389 * x193) - x125 * (
2.2712963373876702 - 0.4289050650169388 * x193) + x132 =E= 0;
e179.. -x126 * (1.485802441741553 + 0.2859367100112926 * x193) - x127 * (
-0.15246910840821956 - 0.2859367100112926 * x193) + x133 =E= 0;
e180.. -x127 * (1.1524691084082195 + 0.2859367100112926 * x193) - x128 * (
0.18086422492511378 - 0.2859367100112926 * x193) + x134 =E= 0;
e181.. -x128 * (0.8191357750748862 + 0.2859367100112926 * x193) - x129 * (
0.5141975582584472 - 0.2859367100112926 * x193) + x135 =E= 0;
e182.. -x129 * (0.4858024417415529 + 0.2859367100112926 * x193) - x130 * (
0.8475308915917805 - 0.2859367100112926 * x193) + x136 =E= 0;
e183.. -x130 * (0.15246910840821956 + 0.2859367100112926 * x193) - x131 * (
1.1808642249251138 - 0.2859367100112926 * x193) + x137 =E= 0;
e184.. -x131 * (-0.18086422492511378 + 0.2859367100112926 * x193) - x132 * (
1.514197558258447 - 0.28593671001129256 * x193) + x138 =E= 0;
e185.. 1.285714958270787 * x133 + 1.7354034565383603 * x134 +
2.3015330291551495 * x135 + 0.3573311271811046 * x136 -
3.0690732009455854 * x137 - 7.682421202294294 * x138 - x200 =E= 0;
e186.. -x193 / (exp(-x193) + 1) + x201 =E= 0;
e187.. x187 - 4.0589181130630605 * x200 - 11.858461642124364 * x201 =E= 0;
e188.. x118 + x119 + x120 + x121 + x122 + x123 + x124 + x125 =E= 1;
e189.. x126 + x127 + x128 + x129 + x130 + x131 + x132 =E= 1;
e190.. x133 + x134 + x135 + x136 + x137 + x138 =E= 1;
e191.. x202 - x203 - x204 =E= 5.244654078562977;
e192.. -x182 + x205 =E= 0;
e193.. -x185 + x206 =E= 0;
e194.. 1.9235490648561706 * x202 - x207 =E= -0.3641824770782581;
e195.. -x205 =L= 7.337322116963167;
e196.. 19.383433789249537 * b37 + x205 =L= 14.46904089594256;
e197.. 2.422929223656192 * b38 - x205 =L= 7.337322116963167;
e198.. 16.960504565593343 * b38 + x205 =L= 14.46904089594256;
e199.. 4.845858447312384 * b39 - x205 =L= 7.337322116963167;
e200.. 14.537575341937151 * b39 + x205 =L= 14.46904089594256;
e201.. 7.2687876709685755 * b40 - x205 =L= 7.337322116963167;
e202.. 12.11464611828096 * b40 + x205 =L= 14.46904089594256;
e203.. 9.691716894624767 * b41 - x205 =L= 7.337322116963167;
e204.. 9.691716894624768 * b41 + x205 =L= 14.46904089594256;
e205.. 12.114646118280959 * b42 - x205 =L= 7.337322116963167;
e206.. 7.268787670968576 * b42 + x205 =L= 14.46904089594256;
e207.. 14.537575341937151 * b43 - x205 =L= 7.337322116963167;
e208.. 4.845858447312384 * b43 + x205 =L= 14.46904089594256;
e209.. 16.960504565593343 * b44 - x205 =L= 7.337322116963167;
e210.. 2.422929223656192 * b44 + x205 =L= 14.46904089594256;
e211.. 19.383433789249537 * b45 - x205 =L= 7.337322116963167;
e212.. x205 =L= 14.46904089594256;
e213.. b37 + b38 + b39 + b40 + b41 + b42 + b43 + b44 + b45 =E= 1;
e214.. -b37 * (3.0282857812458803 + 0.4127235703942698 * x205) - b38 * (
-1.028285781245881 - 0.41272357039426993 * x205) + x139 =E= 0;
e215.. -b38 * (2.0282857812458808 + 0.41272357039426993 * x205) - b39 * (
-0.02828578124588092 - 0.41272357039426993 * x205) + x140 =E= 0;
e216.. -b39 * (1.028285781245881 + 0.41272357039426993 * x205) - b40 * (
0.9717142187541191 - 0.41272357039426993 * x205) + x141 =E= 0;
e217.. -b40 * (0.02828578124588092 + 0.41272357039426993 * x205) - b41 * (
1.9717142187541192 - 0.41272357039426993 * x205) + x142 =E= 0;
e218.. -b41 * (-0.9717142187541191 + 0.41272357039426993 * x205) - b42 * (
2.9717142187541183 - 0.4127235703942698 * x205) + x143 =E= 0;
e219.. -b42 * (-1.9717142187541186 + 0.4127235703942698 * x205) - b43 * (
3.9717142187541183 - 0.4127235703942698 * x205) + x144 =E= 0;
e220.. -b43 * (-2.9717142187541183 + 0.4127235703942698 * x205) - b44 * (
4.971714218754118 - 0.4127235703942698 * x205) + x145 =E= 0;
e221.. -b44 * (-3.9717142187541183 + 0.4127235703942698 * x205) - b45 * (
5.971714218754118 - 0.4127235703942698 * x205) + x146 =E= 0;
e222.. -x139 * (1.5141428906229402 + 0.2063617851971349 * x205) - x140 * (
-0.01414289062294046 - 0.20636178519713497 * x205) + x147 =E= 0;
e223.. -x140 * (1.0141428906229404 + 0.20636178519713497 * x205) - x141 * (
0.48585710937705956 - 0.20636178519713497 * x205) + x148 =E= 0;
e224.. -x141 * (0.5141428906229405 + 0.20636178519713497 * x205) - x142 * (
0.9858571093770596 - 0.20636178519713497 * x205) + x149 =E= 0;
e225.. -x142 * (0.01414289062294046 + 0.20636178519713497 * x205) - x143 * (
1.4858571093770592 - 0.2063617851971349 * x205) + x150 =E= 0;
e226.. -x143 * (-0.48585710937705945 + 0.2063617851971349 * x205) - x144 * (
1.9858571093770592 - 0.2063617851971349 * x205) + x151 =E= 0;
e227.. -x144 * (-0.9858571093770593 + 0.2063617851971349 * x205) - x145 * (
2.485857109377059 - 0.2063617851971349 * x205) + x152 =E= 0;
e228.. -x145 * (-1.4858571093770592 + 0.2063617851971349 * x205) - x146 * (
2.985857109377059 - 0.2063617851971349 * x205) + x153 =E= 0;
e229.. -x147 * (1.009428593748627 + 0.13757452346475663 * x205) - x148 * (
0.3239047395847064 - 0.13757452346475665 * x205) + x154 =E= 0;
e230.. -x148 * (0.6760952604152937 + 0.13757452346475665 * x205) - x149 * (
0.6572380729180397 - 0.13757452346475665 * x205) + x155 =E= 0;
e231.. -x149 * (0.34276192708196035 + 0.13757452346475665 * x205) - x150 * (
0.990571406251373 - 0.13757452346475663 * x205) + x156 =E= 0;
e232.. -x150 * (0.009428593748626972 + 0.13757452346475663 * x205) - x151 * (
1.3239047395847063 - 0.13757452346475663 * x205) + x157 =E= 0;
e233.. -x151 * (-0.32390473958470634 + 0.13757452346475663 * x205) - x152 * (
1.6572380729180396 - 0.13757452346475663 * x205) + x158 =E= 0;
e234.. -x152 * (-0.6572380729180396 + 0.13757452346475663 * x205) - x153 * (
1.990571406251373 - 0.13757452346475663 * x205) + x159 =E= 0;
e235.. 20.57356326076455 * x154 - 0.7852944598259269 * x155 -
0.22396048535803653 * x156 - 0.4764112850752401 * x157 -
0.5074978780706633 * x158 - 0.631428618622865 * x159 - x208 =E= 0;
e236.. -x205 / (exp(-x205) + 1) + x209 =E= 0;
e237.. x203 - 20.584888493164918 * x208 - 0.8580009726456763 * x209 =E= 0;
e238.. x139 + x140 + x141 + x142 + x143 + x144 + x145 + x146 =E= 1;
e239.. x147 + x148 + x149 + x150 + x151 + x152 + x153 =E= 1;
e240.. x154 + x155 + x156 + x157 + x158 + x159 =E= 1;
e241.. -x206 =L= 4.662361909168306;
e242.. 6.459694189908553 * b46 + x206 =L= 2.6047940544788157;
e243.. 0.8074617737385688 * b47 - x206 =L= 4.662361909168306;
e244.. 5.6522324161699835 * b47 + x206 =L= 2.6047940544788157;
e245.. 1.614923547477138 * b48 - x206 =L= 4.662361909168306;
e246.. 4.844770642431414 * b48 + x206 =L= 2.6047940544788157;
e247.. 2.422385321215707 * b49 - x206 =L= 4.662361909168306;
e248.. 4.037308868692845 * b49 + x206 =L= 2.6047940544788157;
e249.. 3.229847094954276 * b50 - x206 =L= 4.662361909168306;
e250.. 3.2298470949542764 * b50 + x206 =L= 2.6047940544788157;
e251.. 4.037308868692845 * b51 - x206 =L= 4.662361909168306;
e252.. 2.422385321215707 * b51 + x206 =L= 2.6047940544788157;
e253.. 4.844770642431414 * b52 - x206 =L= 4.662361909168306;
e254.. 1.614923547477138 * b52 + x206 =L= 2.6047940544788157;
e255.. 5.6522324161699835 * b53 - x206 =L= 4.662361909168306;
e256.. 0.807461773738569 * b53 + x206 =L= 2.6047940544788157;
e257.. 6.459694189908553 * b54 - x206 =L= 4.662361909168306;
e258.. x206 =L= 2.6047940544788157;
e259.. b46 + b47 + b48 + b49 + b50 + b51 + b52 + b53 + b54 =E= 1;
e260.. -b46 * (5.774096137804085 + 1.2384487198322396 * x206) - b47 * (
-3.774096137804082 - 1.238448719832239 * x206) + x160 =E= 0;
e261.. -b47 * (4.774096137804082 + 1.238448719832239 * x206) - b48 * (
-2.774096137804082 - 1.238448719832239 * x206) + x161 =E= 0;
e262.. -b48 * (3.774096137804082 + 1.238448719832239 * x206) - b49 * (
-1.7740961378040832 - 1.2384487198322394 * x206) + x162 =E= 0;
e263.. -b49 * (2.7740961378040834 + 1.2384487198322394 * x206) - b50 * (
-0.7740961378040832 - 1.2384487198322394 * x206) + x163 =E= 0;
e264.. -b50 * (1.7740961378040832 + 1.2384487198322394 * x206) - b51 * (
0.22590386219591715 - 1.238448719832239 * x206) + x164 =E= 0;
e265.. -b51 * (0.7740961378040828 + 1.238448719832239 * x206) - b52 * (
1.2259038621959173 - 1.2384487198322391 * x206) + x165 =E= 0;
e266.. -b52 * (-0.2259038621959172 + 1.2384487198322391 * x206) - b53 * (
2.225903862195917 - 1.2384487198322391 * x206) + x166 =E= 0;
e267.. -b53 * (-1.2259038621959173 + 1.2384487198322391 * x206) - b54 * (
3.2259038621959175 - 1.2384487198322394 * x206) + x167 =E= 0;
e268.. -x160 * (2.887048068902042 + 0.6192243599161197 * x206) - x161 * (
-1.387048068902041 - 0.6192243599161195 * x206) + x168 =E= 0;
e269.. -x161 * (2.387048068902041 + 0.6192243599161195 * x206) - x162 * (
-0.8870480689020415 - 0.6192243599161196 * x206) + x169 =E= 0;
e270.. -x162 * (1.8870480689020415 + 0.6192243599161196 * x206) - x163 * (
-0.3870480689020416 - 0.6192243599161197 * x206) + x170 =E= 0;
e271.. -x163 * (1.3870480689020417 + 0.6192243599161197 * x206) - x164 * (
0.1129519310979586 - 0.6192243599161196 * x206) + x171 =E= 0;
e272.. -x164 * (0.8870480689020415 + 0.6192243599161196 * x206) - x165 * (
0.6129519310979585 - 0.6192243599161195 * x206) + x172 =E= 0;
e273.. -x165 * (0.3870480689020414 + 0.6192243599161195 * x206) - x166 * (
1.1129519310979585 - 0.6192243599161196 * x206) + x173 =E= 0;
e274.. -x166 * (-0.1129519310979586 + 0.6192243599161196 * x206) - x167 * (
1.6129519310979588 - 0.6192243599161197 * x206) + x174 =E= 0;
e275.. -x168 * (1.924698712601361 + 0.41281623994407973 * x206) - x169 * (
-0.5913653792680275 - 0.4128162399440796 * x206) + x175 =E= 0;
e276.. -x169 * (1.5913653792680273 + 0.4128162399440796 * x206) - x170 * (
-0.2580320459346943 - 0.41281623994407973 * x206) + x176 =E= 0;
e277.. -x170 * (1.2580320459346943 + 0.41281623994407973 * x206) - x171 * (
0.07530128739863907 - 0.41281623994407973 * x206) + x177 =E= 0;
e278.. -x171 * (0.9246987126013609 + 0.41281623994407973 * x206) - x172 * (
0.40863462073197243 - 0.41281623994407973 * x206) + x178 =E= 0;
e279.. -x172 * (0.5913653792680277 + 0.41281623994407973 * x206) - x173 * (
0.7419679540653056 - 0.4128162399440796 * x206) + x179 =E= 0;
e280.. -x173 * (0.25803204593469425 + 0.4128162399440796 * x206) - x174 * (
1.0753012873986392 - 0.41281623994407973 * x206) + x180 =E= 0;
e281.. 0.028122110853052617 * x175 + 0.0017139041621436657 * x176 +
0.041507929556034814 * x177 - 0.08119707467070267 * x178 +
0.22073567170440672 * x179 + 21.804816003693187 * x180 - x210 =E= 0;
e282.. -x206 / (exp(-x206) + 1) + x211 =E= 0;
e283.. x204 - 17.541201847147285 * x210 - 2.507328567193861 * x211 =E= 0;
e284.. x160 + x161 + x162 + x163 + x164 + x165 + x166 + x167 =E= 1;
e285.. x168 + x169 + x170 + x171 + x172 + x173 + x174 =E= 1;
e286.. x175 + x176 + x177 + x178 + x179 + x180 =E= 1;
e287.. objvar - x207 =E= 0;
* set non-default bounds
x182.lo = 1.4070897024142133; x182.up = 8.317689668620407;
x183.lo = 1.2381778746582972; x183.up = 2.899911314618825;
x184.lo = -0.21113278078072384; x184.up = 5.037733745464942;
x185.lo = -4.933760861282942; x185.up = -0.3576682969576135;
x186.lo = -4.536446741190094; x186.up = -1.3355464329344784;
x187.lo = 4.017660651151553; x187.up = 5.3928529072212665;
x188.lo = -1.7905826274046688; x188.up = 1.7469779276664257;
x189.lo = -2.048; x189.up = 2.048;
x190.lo = -1.6989859109813739; x190.up = 1.798291510866652;
x191.lo = -2.048; x191.up = 2.048;
x192.lo = -1.7905826274046688; x192.up = 1.7469779276664257;
x193.lo = -1.6989859109813739; x193.up = 1.798291510866652;
x195.lo = -0.278464596867598;
x197.lo = -0.278464596867598;
x199.lo = -0.278464596867598;
x201.lo = -0.278464596867598;
x202.lo = -2.1254890456583375; x202.up = 3.53183892139925;
x203.lo = -6.36116146082126; x203.up = -4.295354631518088;
x204.lo = -1.0089816634000548; x204.up = 2.582539474354361;
x205.lo = -0.06853444599459112; x205.up = 7.200253224973984;
x206.lo = -2.2399765879525986; x206.up = 0.18240873326310858;
x209.lo = -0.278464596867598;
x211.lo = -0.278464596867598;
Model m / all /;
m.limrow = 0;
m.limcol = 0;
m.tolproj = 0.0;
$if NOT '%gams.u1%' == '' $include '%gams.u1%'
$if not set MINLP $set MINLP MINLP
Solve m using %MINLP% minimizing objvar;
Last updated: 2025-05-08 Git hash: 2f1d9c1a