## ams_version=1.0 Model Main_btest14 { Variable x1; Variable x2; Variable x3; Variable x4; Variable x5; Variable x6; Variable x7; Variable x8; Variable x9; Variable x10; Variable x11; Variable x12; Variable x13; Variable x14 { Range: nonnegative; } Variable x15; Variable x16; Variable x17; Variable x18; Variable x19; Variable x20; Variable x21; Variable x22 { Range: nonnegative; } Variable x23; Variable x24; Variable x25; Variable x26 { Range: nonnegative; } Variable x27; Variable x28; Variable x29; Variable x30; Variable x31; Variable x32; Variable x33; Variable x34; Variable x35; Variable x36; Variable x37 { Range: nonnegative; } Variable x38; Variable x39; Variable x40 { Range: nonnegative; } 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; Variable x88; Variable x89; Variable x90; Variable x91; Variable x92; Variable x93; Variable x94; Variable x95; Variable x96; Variable x97; Variable x98; Variable x99; Variable x100; Variable x101; Variable x102; Variable x103; Variable x104; Variable x105; Variable x106; Variable x107; Variable x108; Variable x109; Variable x110; Variable x111; Variable x112; Variable x113; Variable x114; Variable x115; Variable x116; Variable x117; Variable x118; Variable x119; Variable x120; Variable x121; Variable x122; Variable x123; Variable x124; Variable x125; Variable x126; Variable x127; Variable x128; Variable x129; Variable x130; Variable x131; Variable x132; Variable x133; Variable x134 { Range: nonnegative; } Variable x135 { Range: nonnegative; } Variable objvar; Constraint e1 { Definition: - 2*x1 + x89 = -1; } Constraint e2 { Definition: - 2*x2 + x90 = -1; } Constraint e3 { Definition: { -(0.146204505730132*x6*x26 + 0.705667399054065*x26*x39 - 8.97564390530744* x36*x36 - 0.58351985494149*x36*x40 - 0.314424400434*x44*x6 + 0.088432662779296*x44*x10 - 0.1724777937207*x44*x24 + 0.167817417463219* x44*x36 - 0.8762574858969*x6 - 0.090926799404628*x10 - 0.088996490897*x24 - 0.83097375324915*x26 + 8.9318794963968*x36 - 1.2297184187103*x39 + 0.5275789087182*x40 + 0.453537188441*x44 + 2.034983334639e-7*POWER(256*x36 ,3)) + x91 = 2.489997416546 } } Constraint e4 { Definition: { -(1.1518006868352*x6*x6 + 0.459536604012759*x6*x7 - 0.703663799755776*x6* x36 + 1.04544221512617*x6*x39 + 0.212447402269932*x9*x36 - 0.93571348845105*x36*x39 - 0.535946180536538*x37*x38 - 1.05145338638997* x37*x40 - 0.79070109549399*x38*x40 + 2.2331399965065*x39*x39 + 0.72226979421516*x39*x40 - 2.1649445039853*x40*x40 - 0.2967513786156*x44* x6 + 0.290069094680064*x44*x36 - 0.46832829863166*x44*x39 - 3.243885134673 *x6 - 0.608025879748004*x7 - 0.21903943136112*x9 + 1.54031920069709*x36 + 1.20435810433248*x37 + 0.95109544168785*x38 - 5.0961041726562*x39 + 4.978918124709*x40 + 0.5990178719411*x44) + x92 = 4.430231606651 } } Constraint e5 { Definition: { -(0.924257360399966*x6*x7 - 0.516801085443*x6*x16 + 0.5058897687399*x6*x23 + 0.498288404219416*x7*x27 - 1.52884826438741*x7*x39 + 0.779302840822875* x17*x17 - 0.347767311861888*x17*x36 + 1.03052751208398*x27*x27 - 6.76173213154017*x36*x36 - 0.99245267967744*x36*x40 + 1.42052814693324*x39 *x40 - 0.2345867913546*x44*x6 - 0.21856106576205*x44*x17 - 0.307219734072832*x44*x36 - 0.62014313139408*x44*x39 + 0.3378608139888*x44 *x40 - 1.37026508147115*x6 - 0.192769958876914*x7 + 0.4523018932502*x16 - 0.834815523597*x17 - 0.4977753155234*x23 - 1.7323844004168*x27 + 7.31809575076608*x36 - 1.5847739199432*x39 - 0.04410976168002*x40 + 0.5355994282979*x44 + 1.700285097355e-7*POWER(256*x36,3)) - 0.30336178647804*x8 + 0.13491263371388*x11 + 0.13984651156632*x15 + x93 = 3.734961589817 } } Constraint e6 { Definition: { -(1.01315140568842*x6*x6 + 0.584229793231586*x6*x7 - 0.575893814169216*x6* x36 + 1.29734698607195*x6*x39 - 0.489631561160448*x14*x14 + 0.321893053794731*x17*x17 - 0.374957681257155*x22*x38 - 2.68128652916621* x36*x36 - 0.264865746725574*x36*x38 - 0.757051242708326*x36*x39 - 0.331379999280999*x36*x40 - 0.319790798054753*x37*x37 - 0.410866320029286* x37*x38 - 1.02510136513693*x37*x40 - 0.63325821649452*x38*x40 + 73.8944534307042*x39*x39 + 0.71637024087909*x39*x40 - 4.0652394277797*x40* x40 - 0.25812742422195*x44*x6 + 0.275101343701504*x44*x36 - 0.51060461587515*x44*x39 + 0.14993458828602*x44*x40 - 3.3364541114835*x6 - 0.76978121536809*x7 + 0.50760066311088*x14 - 0.2371573878732*x17 + 0.33094891766296*x22 + 2.60318233052672*x36 + 1.40873861917749*x37 + 1.03682105539925*x38 - 61.955843837112*x39 + 5.692496094027*x40 + 0.5633456996915*x44 + 1.126995885892e-7*POWER(256*x36,3) - 4.07963707148e-8*POWER(900*x39,3) + 4.963051932898e-5*POWER(30*x40,3)) + x94 = 18.97863147768 } } Constraint e7 { Definition: { -(0.000877757522268323*x26*x26 - 0.00061498887155568*x9*x9 + 0.00066010416739608*x9 - 0.00090378018509135*x26) - 0.000347455006539*x6 - 0.000313469000455109*x7 + 0.00019696459311036*x8 - 0.00022497857292636*x10 - 0.00025315348259632*x14 - 0.00013041066279416*x15 + 0.00024819009759999*x27 + 0.001116360829524*x33 + 0.0001275409670291*x44 + x95 = 0.001196513506352 } } Constraint e8 { Definition: { -(-0.000747600224572512*x9*x9 - 0.00084090176373599*x10*x10 + 0.00083432738305548*x9 + 0.00108407522425928*x10) - 0.00029817479082767*x3 - 0.0004929533924013*x6 - 0.00038337969203288*x14 + 0.00025718969999658*x27 + 0.0010596884812*x33 + 0.0002193632982754*x44 + x96 = 0.0009313697550609 } } Constraint e9 { Definition: { -(0.02677551623072*x22*x22 + 0.2381548479827*x33*x33 - 0.037884583757344* x22 - 0.4120111930931*x33) - 0.031961057677815*x6 - 0.0072793562241202*x10 + 0.01092104558418*x16 + 0.0064621644987614*x27 + 0.009126798073713*x44 + x97 = 0.2345164830694 } } Constraint e10 { Definition: { -(0.2359222697694*x33*x33 - 0.4122179688784*x33) - 0.019235478568509*x5 - 0.03859622678868*x6 - 0.013536316848152*x15 - 0.007969909522014*x18 + 0.012482973130678*x20 + 0.01211628347112*x22 + 0.01237028609597*x44 + 0.006633342891298*x45 + x98 = 0.2148158150597 } } Constraint e11 { Definition: { -(-0.178150195029045*x4*x4 - 0.092889494283825*x6*x6 - 0.07963734288619* x16*x16 + 0.2364786764668*x33*x33 + 0.289121241556475*x4 + 0.146594028553065*x6 + 0.06949823547088*x16 - 0.396098589751*x33) + 0.012318868970748*x8 - 0.011589448462056*x15 - 0.019705859822109*x18 + 0.014895944768832*x19 + 0.010907241296472*x20 + 0.01430448527648*x22 + 0.01347700652316*x24 + 0.013997880931151*x27 - 0.020306863604082*x29 + 0.008933395804681*x44 + 0.01027464857304*x45 + x99 = 0.1159960764571 } } Constraint e12 { Definition: { -(0.06403297573616*x33*x33 - 0.113478971396*x33) - 0.010958364678063*x6 + 0.002722432896123*x17 + 0.00357907160041*x20 + 0.0045963326850304*x22 + 0.002664625719444*x44 + 0.002317642999308*x45 + x100 = 0.06274066767188 } } Constraint e13 { Definition: { -(0.05389595937138*x33*x33 - 0.1008769684169*x33) - 0.0108026855268645*x6 - 0.002530205084104*x15 + 0.002298727308428*x44 + 0.001611267597143*x45 + x101 = 0.05729679836434 } } Constraint e14 { Definition: { -(0.04180936698794*x33*x33 - 0.08464574484787*x33) - 0.012847503442122*x6 - 0.00555629682704112*x7 + 0.002569050765369*x44 + 0.001544051903693*x45 + x102 = 0.05299695174132 } } Constraint e15 { Definition: { -(0.04322480730842*x33*x33 - 0.0142403847874304*x14*x14 + 0.022161568311704*x14 - 0.08541248247495*x33) - 0.009751816013685*x6 - 0.0038301910280744*x15 + 0.0039623300029984*x22 + 0.00288629999987*x44 + 0.001896550235215*x45 + x103 = 0.05344341996323 } } Constraint e16 { Definition: { -(0.03938585789447*x33*x33 - 0.07783882163504*x33) - 0.008957990536224*x6 - 0.0068973850419912*x14 - 0.0043002751360336*x15 + 0.0051707953799152*x22 + 0.003488811009217*x44 + 0.002727617282737*x45 + x104 = 0.05663839812388 } } Constraint e17 { Definition: { -(0.03633839567711*x33*x33 - 0.0165472389477056*x14*x14 + 0.02805076307704*x14 - 0.07018576739435*x33) - 0.007043125736955*x6 - 0.005251407553668*x15 + 0.0060124740152832*x22 + 0.004173716984069*x44 + 0.003013403772536*x45 + x105 = 0.05230125501392 } } Constraint e18 { Definition: { -(0.000866890148317795*x26*x26 - 0.000626529111379056*x9*x9 - 0.00195249736065544*x28*x28 + 0.00069162716437968*x9 - 0.00091245945394415*x26 + 0.00279100265724*x28) - 0.000320041885281*x6 - 0.000248676460207666*x7 + 0.00023309691579768*x8 - 0.00017337773128566*x10 - 0.00028467210046624*x14 - 0.0001531298978348*x15 + 0.00020203617888272*x27 + 0.001027231449602*x33 + 9.769148390847E-5*x44 + x106 = 0.000342354325588 } } Constraint e19 { Definition: { -(0.0055419204862038*x5*x5 - 0.0010519425401423*x9*x9 - 0.00151958851524139*x10*x10 - 0.00065583539010944*x14*x14 - 0.00163765881202725*x28*x28 - 0.00895800515228388*x5 + 0.0011138728419714 *x9 + 0.0018872680298406*x10 + 0.00116990556924*x14 + 0.00286810998159375 *x28) - 0.000392905104879715*x3 - 0.000399019591698*x6 - 0.0002297900760144*x15 + 7.3343733352155E-5*x17 - 0.00012676532149554*x18 + 0.00023736531595725*x27 - 0.000206899237966524*x32 + 0.0009281636574725*x33 + 0.0002182806725429*x44 + x107 = 0.002826473114451 } } Constraint e20 { Definition: { -(0.065962070493184*x22*x22 - 0.06109295869864*x23*x23 + 0.2021019615233* x33*x33 - 0.08874513272304*x22 + 0.07108040657768*x23 - 0.3988964831796* x33) - 0.0206628895890994*x3 + 0.024581660668776*x8 - 0.021719103140136*x14 - 0.0156190148312*x15 - 0.016184653341774*x32 + x108 = 0.2525545368977 } } Constraint e21 { Definition: { -(0.1713342295281*x33*x33 - 0.352226862905*x33) - 0.0463998607783956*x5 + 0.029638733477916*x8 - 0.023003613233392*x15 + 0.013591316240016*x22 + 0.01489807719952*x31 + x109 = 0.2436469959178 } } Constraint e22 { Definition: { -(0.0607441386158437*x13*x13 + 0.111082440136188*x29*x29 + 0.04040930136988*x33*x33 - 0.07427964848739*x13 - 0.16616765354035*x29 - 0.07457786388422*x33) - 0.0131448718955445*x4 + 0.0059061635894327*x10 + 0.0051756398176197*x11 + 0.009117275987079*x16 - 0.005800080529377*x18 + 0.01481680095629*x31 - 0.005718654623351*x44 + x110 = 0.1406054385457 } } Constraint e23 { Definition: { -(-4.51340226295762*x13*x13 - 9.85654788959654*x29*x29 + 5.62252413532575 *x13 + 14.513221564424*x29) - 0.9869215570718*x16 + 0.6661787943843*x18 - 0.6404040990278*x23 - 1.079427076373*x31 - 2.05983227192*x33 + 0.4619177163699*x44 + x111 = -5.008912102507 } } Constraint e24 { Definition: { -(2.05176199738702*x26*x26 - 5.80233284755312*x13*x13 + 6.927154336077* x13 - 2.3469955287709*x26) + 1.04873630802673*x7 + 0.7238304849542*x20 - 2.264220310618*x33 + 0.440846180839*x44 + x112 = 1.568419934885 } } Constraint e25 { Definition: { -(2.2229402955924*x20*x20 - 3.123147197822*x33*x33 - 3.216849220312*x20 + 5.015640143376*x33) - 0.870461072305099*x3 + 0.6544461836478*x6 + 1.37276984413223*x7 - 0.5362412566068*x9 + 0.669465409586*x21 + 0.5779478175228*x44 + x113 = 2.57284621061 } } Constraint e26 { Definition: { -(3.0584023399228*x20*x20 - 9.28512444829398*x29*x29 - 4.118466877288*x20 + 13.901568527165*x29) + 0.913128381036404*x7 - 0.61433088833544*x9 + 0.854366690143*x21 - 0.6710640137256*x23 - 1.374008381931*x33 + 0.6403473353191*x44 + x114 = -1.859560646134 } } Constraint e27 { Definition: { -(2.437839571323*x16*x16 - 5.12326210692038*x13*x13 + 2.20551258145*x20* x20 + 2.8274344590636*x21*x21 - 10.3486086088051*x29*x29 + 5.9922537839595*x13 - 2.345044734494*x16 - 3.428833437316*x20 - 3.733366776722*x21 + 15.832261662965*x29) - 0.928457422833888*x3 + 1.48219405584735*x4 + 2.35175646180925*x7 + 0.8362854866264*x14 - 0.7127894505155*x31 - 1.689978798214*x33 + 0.6479493800563*x44 + x115 = -0.8108747083381 } } Constraint e28 { Definition: { -(0.441352793900588*x13*x13 - 0.7946434459442*x16*x16 + 1.31912696395799* x29*x29 + 0.6402416340876*x33*x33 - 0.546296066946075*x13 + 0.8291869547057*x16 - 2.0116719018759*x29 - 0.8843954656283*x33) + 0.146564485777733*x3 - 0.162203474614175*x4 - 0.13647394724094*x6 - 0.261741118787855*x7 + 0.1293399004067*x23 + 0.1853723670269*x31 - 0.08753209556268*x44 - 0.03412217150477*x45 + x116 = 1.187807867385 } } Constraint e29 { Definition: { -(2.012524878396*x21*x21 + 2.412453381554*x25*x25 - 2.32428512025645*x27* x27 - 7.03113389594902*x29*x29 - 3.70031577746*x33*x33 - 2.859456595874* x21 - 2.142525377594*x25 + 2.4525202372957*x27 + 9.9278802923102*x29 + 5.712547052553*x33) + 1.31302648868395*x4 + 0.8241481693188*x6 + 0.44158825258273*x10 + 0.713991181117725*x12 + 0.9259368554952*x14 + 0.60309494742105*x17 - 0.8201286351*x22 - 0.7254172512704*x23 - 0.4356367040951*x30 - 0.8328403016813*x31 + 0.5475854253854*x44 + x117 = -0.8586779950976 } } Constraint e30 { Definition: { -(2.52870602627587*x12*x12 - 1.44488151194832*x8*x8 - 3.064858767713*x33* x33 + 2.1446919075276*x8 - 3.4181367227865*x12 + 5.151361151014*x33) + 0.45222953327025*x6 + 0.56320147202748*x10 + 0.495001877235*x21 + 0.23915860198191*x27 - 0.776473583038*x31 - 0.466443977876546*x32 - 0.5773844387808*x34 + 0.1660237424941*x44 + x118 = 1.954721142275 } } Constraint e31 { Definition: { -(0.004602507134156*x33 - 0.02141764516469*x33*x33) - 0.0145245595273845*x6 - 0.00782352930931531*x7 - 0.002806749788812*x21 - 0.003246482303008*x22 + x119 = 0.05431618656739 } } Constraint e32 { Definition: { -(3.696964891409*x33 - 2.346067374841*x33*x33) + 1.10810932910463*x4 + 1.17265063626849*x7 + 0.72425758716146*x10 + 0.48512259390825*x17 + 0.6187862322855*x19 + 0.8407266410546*x20 + 1.2902877646004*x21 - 0.48414279711584*x22 - 0.51323515009286*x27 - 1.073333080849*x31 + 0.8296257845547*x44 + x120 = 3.410131517262 } } Constraint e33 { Definition: { -(7.4210835482746*x7*x7 - 2.71404090839664*x8*x8 + 4.0712906419605*x12* x12 - 7.8354430014069*x34*x34 - 9.75241218397524*x7 + 3.8388775619052*x8 - 5.62029106297575*x12 + 13.434870720522*x34) + 0.89497203808854*x4 + 0.395604637251*x19 + 0.3846775677674*x21 - 0.5260826151462*x31 - 1.04331793976*x33 + 1.44840541594905*x35 + 0.7696996685075*x44 + 0.3040154336275*x45 + x121 = 2.246888278023 } } Constraint e34 { Definition: { -(2.20721740066069*x12*x12 - 1.17955738642944*x22*x22 - 2.871389544981* x12 + 1.407254403988*x22) + 0.47300750978745*x6 - 0.27890466245208*x9 - 0.3053273238626*x16 + 0.29607494021247*x18 - 0.1877993221909*x31 - 1.213046478988*x33 - 0.988254012339*x34 + 0.483364984653395*x35 + x122 = 1.538908572291 } } Constraint e35 { Definition: { -(0.254666472284981*x13*x13 + 0.2487290499716*x16*x16 - 0.2424174928804* x20*x20 + 0.1318746470705*x24*x24 - 0.1034478212448*x30*x30 + 0.47492121764214*x34*x34 - 0.275271550312275*x13 - 0.2880413530398*x16 + 0.3241903766252*x20 - 0.1544320072727*x24 + 0.138230853585*x30 - 0.7311202769286*x34) - 0.0697930476351375*x4 - 0.05844457632774*x19 - 0.05923560271958*x21 + 0.03216926433432*x23 + 0.046123763012054*x27 + 0.03948386025441*x31 + 0.09999328446995*x33 - 0.07155146332687*x44 - 0.02890389647334*x45 + x123 = 0.4907393748262 } } Constraint e36 { Definition: { -(3.10158892624894*x12*x12 + 1.378326274479*x18*x18 + 1.1295431220051*x19 *x19 - 2.1412542007376*x23*x23 - 2.845736078*x24*x24 - 4.202007699288*x12 - 1.4654803894614*x18 - 1.3134759733212*x19 + 2.789062219906*x23 + 3.192718074293*x24) + 0.2995601543844*x6 - 0.35555306879868*x9 - 0.2849904232198*x16 + 0.475090840207725*x17 - 0.53582278211024*x22 - 0.3113826676592*x25 - 0.2500700591045*x30 + 0.454110476583938*x32 - 0.3685212344352*x33 - 2.8058328956613*x34 + 0.8375950252358*x35 + 0.3476255248733*x44 + x124 = 0.3283197681486 } } Constraint e37 { Definition: { -(6.0135388585155*x6*x41 + 1.8427678171815*x6*x44 - 8.2907749152864*x8* x42 - 6.10052398582095*x26*x41 + 98.400043682829*x41*x41 - 13.5448878202668*x41*x42 + 20.337967231908*x42*x43 - 3.7532696750852*x42* x44 - 177.77367353908*x43*x43 - 6.2961006175185*x6 + 3.6075659325504*x8 + 5.131686761061*x26 - 85.313410601661*x41 + 20.436612334108*x42 + 104.302969683388*x43 + 0.4480892162516*x44 - 5.258883176124e-5*POWER(90* x41,3) + 5.563323179074*POWER(2.47*x43,3)) - 2.2668719064*x28 + x125 = 18.79612039807 } } Constraint e38 { Definition: { -(0.946239422730413*x6*x28 - 0.967532556792937*x6*x17 + 2.0377657366389* x6*x41 + 1.4110895489508*x8*x17 + 0.61127794185408*x8*x19 - 1.58201747510544*x8*x41 - 1.03210080362448*x8*x42 + 0.69266106046572*x8* x44 - 1.02101992381294*x12*x17 - 1.56130595897794*x12*x28 + 0.657753094014278*x17*x41 - 0.522517930157925*x17*x44 + 13.941054801684* x18*x18 - 0.952776586823565*x18*x26 + 0.8549649392358*x18*x42 + 1.4516462940588*x18*x44 + 1.02122227903944*x19*x42 + 1.36049338559624*x26 *x42 - 0.52401838627495*x26*x44 + 1.12942426510437*x28*x5 - 1.80547120935698*x28*x18 - 1.773044696829*x28*x24 - 3.032054834331*x28* x42 + 1.06107736116569*x41*x5 + 2.89590750250133*x41*x43 + 2.61542042432642*x42*x43 - 23.5616803328772*x43*x43 - 2.0519667342662*x5 - 2.4366254226975*x6 + 1.3099632256788*x8 + 1.06846969893075*x12 - 0.2333387493336*x17 - 7.942979902344*x18 - 1.6180772270883*x19 + 0.9774548522739*x24 - 1.3151238840131*x26 + 2.70135417986175*x28 - 3.8284629157413*x41 + 3.0703651482588*x42 + 11.205474702516*x43 + 0.9543995667815*x44 - 0.2743250443488*POWER(3*x18,3) + 0.7899555131314* POWER(2.47*x43,3)) - 0.593729458274822*x3 + 0.5753833582646*x25 + x126 = 4.163033048096 } } Constraint e39 { Definition: { -(1.3231924827408*x8*x13 + 0.950512779873*x8*x17 + 0.79652767163004*x8* x44 - 1.1255865881733*x9*x17 - 1.1334971491002*x9*x41 + 0.31814476764264* x9*x44 - 2.328562461724*x16*x21 + 1.65630428848115*x16*x26 - 2.1715168823968*x16*x42 + 1.18051442119463*x17*x17 - 1.06098360401194*x17 *x43 - 0.527277463438125*x17*x44 + 3.2673855449184*x21*x21 - 1.2872308497167*x21*x26 + 1.9614697952626*x26*x42 + 1.70003902637808*x41* x42 + 1.92200947348838*x41*x43 + 0.70699695487659*x41*x44 + 3.74715327861987*x42*x43 - 13.9848784783649*x43*x43 - 0.37563657431844*x8 + 1.6750730697144*x9 - 0.480295324142175*x13 + 1.995605336459*x16 - 1.1004913101105*x17 - 1.4049566052296*x21 - 3.1302346760804*x26 - 2.7216835711083*x41 + 0.575756194718*x42 + 5.53854006359342*x43 - 1.145306359438*x44 + 0.4882868002799*POWER(2.47*x43,3)) + 0.80605451182485*x6 + 0.5490798506342*x24 + x127 = 5.950777856002 } } Constraint e40 { Definition: { -(1.09477736076672*x6*x9 - 1.19701441777742*x7*x17 - 0.660436333830037*x7 *x44 - 1.03772551896051*x8*x43 + 0.51395319677976*x8*x44 - 1.2063846423006*x9*x41 + 0.35520454459644*x9*x44 + 0.92897177812705*x16* x26 - 0.767266901285547*x16*x43 - 1.781425950621*x17*x20 + 0.75316209611895*x17*x41 - 0.539364164945475*x17*x44 + 3.1396557317196* x20*x20 + 3.2126735072216*x20*x42 - 1.021962146889*x24*x24 - 0.3871977491802*x26*x44 - 1.26559259235162*x27*x41 + 4.31671968515888*x41 *x43 + 0.64112663061018*x41*x44 + 2.92006392641922*x42*x43 - 24.1545595925436*x43*x43 - 1.1822502145974*x6 + 1.18515750699388*x7 + 0.99252135738264*x8 + 0.29230939922184*x9 + 0.3714976357546*x16 + 0.6224630360847*x17 - 4.291084910528*x20 + 0.6456518197839*x24 - 1.2053270347517*x26 + 0.35790325431822*x27 - 3.3461143774236*x41 + 0.085744010768*x42 + 12.7848117634591*x43 - 0.3824106787946*x44 + 0.7793667888691*POWER(2.47*x43,3)) + x128 = 4.95036598605 } } Constraint e41 { Definition: { -(2.64481110629634*x3*x3 + 1.636116654751*x31*x31 - 1.55382921749179*x32* x32 - 3.338848561796*x33*x33 - 3.85256341550016*x3 - 0.5482976381186*x31 - 1.64366049296014*x32 + 4.787431857037*x33) + 0.641614705487735*x4 + 0.4087654042209*x6 - 0.83213470844175*x13 + 1.1466889692096*x14 + 0.5201481859558*x21 - 0.99316365224*x22 + 0.4151737460437*x26 + 0.9752967329527*x30 + 1.3619969443977*x35 + x129 = 4.685447860117 } } Constraint e42 { Definition: { -(5.635409280889*x33 - 3.727954504013*x33*x33) + 0.8488710001668*x6 + 0.4128450047876*x21 - 0.64241070203064*x22 - 1.138588140013*x31 + 2.65871418189*x35 + 0.1938709266552*x44 + x130 = 3.542710619493 } } Constraint e43 { Definition: { -(8.28122856829613*x35*x35 - 4.140302247426*x33*x33 + 6.281845031028*x33 - 13.2034273414095*x35) + 0.7014443550387*x6 + 0.4159193713104*x21 - 0.63141473199112*x22 - 1.208283613543*x31 + 0.3741448269018*x44 + x131 = 6.072136747548 } } Constraint e44 { Definition: { -(4.49450165707369*x12*x12 - 2.48892883746752*x14*x14 - 5.0770402324334* x29*x29 - 2.580491441703*x33*x33 + 7.36202857113327*x35*x35 - 6.0234600078495*x12 + 2.332467032256*x14 + 7.8349175077943*x29 + 4.419521320705*x33 - 11.2402391136165*x35) + 0.5366782892356*x21 - 0.5852219832224*x22 - 1.304747524462*x31 - 0.8458729509999*x34 + 0.5543037593823*x44 + x132 = 3.239826231838 } } Constraint e45 { Definition: { -(1.23586154110469*x9*x9 + 4.16219587239656*x12*x12 - 2.93149368681356* x13*x13 - 2.15209624078528*x14*x14 - 2.16706321150423*x27*x27 - 5.88278382747979*x29*x29 - 1.881960621575*x33*x33 - 1.3687450836792*x9 - 6.09597502737525*x12 + 3.95175095975025*x13 + 1.6211865860016*x14 + 2.0744644072113*x27 + 8.8780836448513*x29 + 3.56487836434*x33) + 1.32343837940235*x4 + 0.66568364586315*x6 + 0.7028681064192*x21 - 0.60866824860024*x22 - 1.477905357691*x31 + 1.5719415324821*x35 + 0.7005443172593*x44 + 0.2617571526679*x45 + x133 = 1.924423629775 } } Constraint e46 { Definition: x44 - x89 = 0; } Constraint e47 { Definition: x45 - x90 = 0; } Constraint e48 { Definition: -exp(x91) + x46 = 0; } Constraint e49 { Definition: -exp(x92) + x47 = 0; } Constraint e50 { Definition: -exp(x93) + x48 = 0; } Constraint e51 { Definition: -exp(x94) + x49 = 0; } Constraint e52 { Definition: -1/x95 + x50 = 0; } Constraint e53 { Definition: -1/x96 + x51 = 0; } Constraint e54 { Definition: -1/sqr(x97) + x52 = 0; } Constraint e55 { Definition: -1/sqr(x98) + x53 = 0; } Constraint e56 { Definition: -1/x99 + x54 = 0; } Constraint e57 { Definition: -1/x100 + x55 = 0; } Constraint e58 { Definition: -1/x101 + x56 = 0; } Constraint e59 { Definition: -1/x102 + x57 = 0; } Constraint e60 { Definition: -1/x103 + x58 = 0; } Constraint e61 { Definition: -1/x104 + x59 = 0; } Constraint e62 { Definition: -1/x105 + x60 = 0; } Constraint e63 { Definition: -1/x106 + x61 = 0; } Constraint e64 { Definition: -1/x107 + x62 = 0; } Constraint e65 { Definition: -1/sqr(x108) + x63 = 0; } Constraint e66 { Definition: -1/sqr(x109) + x64 = 0; } Constraint e67 { Definition: -1/x110 + x65 = 0; } Constraint e68 { Definition: -exp(x111) + x66 = 0; } Constraint e69 { Definition: -exp(x112) + x67 = 0; } Constraint e70 { Definition: -exp(x113) + x68 = 0; } Constraint e71 { Definition: -exp(x114) + x69 = 0; } Constraint e72 { Definition: -exp(x115) + x70 = 0; } Constraint e73 { Definition: -1/sqr(x116) + x71 = 0; } Constraint e74 { Definition: -exp(x117) + x72 = 0; } Constraint e75 { Definition: -exp(x118) + x73 = 0; } Constraint e76 { Definition: -1/x119 + x74 = 0; } Constraint e77 { Definition: -exp(x120) + x75 = 0; } Constraint e78 { Definition: -exp(x121) + x76 = 0; } Constraint e79 { Definition: -exp(x122) + x77 = 0; } Constraint e80 { Definition: -1/x123 + x78 = 0; } Constraint e81 { Definition: -exp(x124) + x79 = 0; } Constraint e82 { Definition: -sqr(x125) + x80 = 0; } Constraint e83 { Definition: -exp(x126) + x81 = 0; } Constraint e84 { Definition: -exp(x127) + x82 = 0; } Constraint e85 { Definition: -exp(x128) + x83 = 0; } Constraint e86 { Definition: -exp(x129) + x84 = 0; } Constraint e87 { Definition: -exp(x130) + x85 = 0; } Constraint e88 { Definition: -exp(x131) + x86 = 0; } Constraint e89 { Definition: -exp(x132) + x87 = 0; } Constraint e90 { Definition: -exp(x133) + x88 = 0; } Constraint e91 { Definition: x1 - x134 = 0; } Constraint e92 { Definition: x2 - x135 = 0; } Constraint e93 { Definition: { - 0.00277058963688652*x46 - 0.00193837893369775*x47 - 0.00220047178114988*x48 - 0.00180514212786544*x49 - 5.19262105700267E-5*x50 - 4.41651830845582E-5*x51 - 0.00138597026650268*x52 - 0.000854469636677801*x53 - 0.000673659295060009*x54 - 0.000773222141927398*x55 - 0.000796808114183878*x56 - 0.00108341997984622*x57 - 0.00103738281594038*x58 - 0.0011586251707379*x59 - 0.00105806546907058*x60 - 5.67747426883499E-5*x61 - 4.74857483397795E-5*x62 - 0.00111997985828223*x63 - 0.000780409535511951*x64 - 0.000825031318188839*x65 - 0.000277553576166808*x66 - 0.000275387748704053*x67 - 0.000628802526075812*x68 - 0.000527790965221478*x69 - 8.53443313273134E-5*x70 - 5.4578415174783E-5*x71 - 0.00569784628817507*x72 - 0.00555511546696356*x73 - 0.075561801997854*x74 - 0.00294835032723151*x75 - 0.0019342371365832*x76 - 0.0252206173502715*x77 - 0.0279391730675312*x78 - 0.0048665762424357*x79 - 0.000183752966921342*x80 - 7.84812312135553E-5*x81 - 7.73269615916982E-5*x82 - 8.2567519589144E-5*x83 - 0.00479455338735197*x84 - 0.000826919880559692*x85 - 0.000290693364720465*x86 - 0.00043605075805244*x87 - 0.000879089966067127*x88 - objvar = -1.46100504790011 } } Constraint e94 { Definition: 8*x14 - 3*x18 - 3*x19 >= 0; } Procedure MainInitialization { Body: { x3.lower := 0.769605263157895; x3.upper := 1; x4.lower := 0.995217391304348; x4.upper := 1; x5.lower := 0.995555555555556; x5.upper := 1; x6.lower := 0.992666666666667; x6.upper := 1; x7.lower := 0.993721719457014; x7.upper := 1; x8.lower := 0.166666666666667; x8.upper := 1; x9.lower := 0.829898754450936; x9.upper := 1; x10.lower := 0.990909090909091; x10.upper := 1; x11.lower := 0.0909090909090909; x11.upper := 1; x12.lower := 0.558008742888922; x12.upper := 1; x13.lower := 0.24; x13.upper := 1; x14.upper := 1; x15.lower := 0.99; x15.upper := 1; x16.lower := 0.195259734937315; x16.upper := 1; x17.lower := 0.99; x17.upper := 1; x18.lower := 0.99; x18.upper := 1; x19.lower := 0.99; x19.upper := 1; x20.lower := 0.799456530248838; x20.upper := 1; x21.lower := 0.99; x21.upper := 1; x22.upper := 1; x23.lower := 0.154691754638671; x23.upper := 1; x24.lower := 0.1; x24.upper := 1; x25.lower := 0.1; x25.upper := 1; x26.upper := 1; x27.lower := 0.990153846153846; x27.upper := 1; x28.lower := 0.466666666666667; x28.upper := 1; x29.lower := 0.454545454545455; x29.upper := 1; x30.lower := 0.99005; x30.upper := 1; x31.lower := 0.03; x31.upper := 1; x32.lower := -0.0790697674418604; x32.upper := -0.0697674418604651; x33.lower := 0.1; x33.upper := 1; x34.lower := 0.5; x34.upper := 1; x35.lower := 0.947739811219519; x35.upper := 1; x36.lower := 0.06015625; x36.upper := 1; x37.upper := 1; x38.lower := 0.99; x38.upper := 1; x39.lower := 0.996111111111111; x39.upper := 1; x40.upper := 1; x41.lower := 0.991111111111111; x41.upper := 1; x42.lower := 0.325; x42.upper := 1; x43.lower := 0.121457489878542; x43.upper := 1; x95.lower := 0.001; x96.lower := 0.001; x97.lower := 0.001; x98.lower := 0.001; x99.lower := 0.001; x100.lower := 0.001; x101.lower := 0.001; x102.lower := 0.001; x103.lower := 0.001; x104.lower := 0.001; x105.lower := 0.001; x106.lower := 0.001; x107.lower := 0.001; x108.lower := 0.001; x109.lower := 0.001; x110.lower := 0.001; x116.lower := 0.001; x119.lower := 0.001; x123.lower := 0.001; x125.lower := 0.001; x134.upper := 1; x135.upper := 1; x2.l := 1; x7.l := 1; x8.l := 0.609477392422885; x9.l := 1; x11.l := 0.75704303034117; x12.l := 1; x13.l := 0.620380485461038; x14.l := 0.7425; x16.l := 1; x20.l := 1; x22.l := 0.82722772047243; x23.l := 1; x24.l := 0.454439898473329; x25.l := 1; x26.l := 0.962110681567005; x28.l := 1; x29.l := 0.739627645250665; x30.l := 1; x31.l := 1; x33.l := 1; x34.l := 1; x36.l := 1; x40.l := 1; x42.l := 1; x43.l := 1; x44.l := -1; x45.l := 1; x46.l := 26.4979299926163; x47.l := 46.2412972809146; x48.l := 35.0058586276389; x49.l := 48.1108759451632; x50.l := 972.417172849226; x51.l := 850.971904032363; x52.l := 162.731354097068; x53.l := 98.996614722071; x54.l := 10.9657631196244; x55.l := 69.2369063745458; x56.l := 41.268395873387; x57.l := 33.9038699315052; x58.l := 32.2122519448854; x59.l := 30.3581513052414; x60.l := 25.9497772261976; x61.l := 1000; x62.l := 626.515389156456; x63.l := 211.859237363438; x64.l := 130.563745077337; x65.l := 1000; x66.l := 775.463290420516; x67.l := 67.1141014135916; x68.l := 13.0703096228338; x69.l := 45.7750821130056; x70.l := 69.8013678011098; x71.l := 68.7410092326304; x72.l := 17.6407470715443; x73.l := 39.3054946452578; x74.l := 15.3358035549739; x75.l := 3.9296524789746; x76.l := 73.4594298739173; x77.l := 19.7717275861156; x78.l := 8.19148713473384; x79.l := 59.5799324356918; x80.l := 958.823093506976; x81.l := 3.11046968904601; x82.l := 867.663123649993; x83.l := 9015.22493475262; x84.l := 9.07228738195361; x85.l := 34.5674547737145; x86.l := 62.5049603369898; x87.l := 255.87261501992; x88.l := 82.7387357279696; x89.l := -1; x90.l := 1; x91.l := 3.27706661645498; x92.l := 3.83387327935368; x93.l := 3.55551543684249; x94.l := 3.8735082626785; x95.l := 0.00102836522011441; x96.l := 0.00117512692870525; x97.l := 0.0783906708173649; x98.l := 0.100505499919625; x99.l := 0.0911929237473551; x100.l := 0.0144431640921241; x101.l := 0.0242316178963688; x102.l := 0.0294951579869869; x103.l := 0.031044088494985; x104.l := 0.0329400822186101; x105.l := 0.0385359762930879; x107.l := 0.00159612998708046; x108.l := 0.0687030943199246; x109.l := 0.0875162500710887; x111.l := 6.65346064483662; x112.l := 4.20639417709323; x113.l := 2.57034321693739; x114.l := 3.82373988439852; x115.l := 4.24565360558077; x116.l := 0.120612424621861; x117.l := 2.87021140067644; x118.l := 3.67136432195874; x119.l := 0.0652068863829224; x120.l := 1.36855099422937; x121.l := 4.29673327932026; x122.l := 2.98425301758911; x123.l := 0.122077955266603; x124.l := 4.08731881327462; x125.l := 30.9648686983648; x126.l := 1.13477374020468; x127.l := 6.76580353293355; x128.l := 9.10667008649116; x129.l := 2.2052244243886; x130.l := 3.54291262593276; x131.l := 4.13524591898493; x132.l := 5.54467972305837; x133.l := 4.41568788085814; objvar.l := -4.92849561648889; } } MathematicalProgram btest14 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: NLP; } Procedure MainExecution { Body: { solve btest14; } } Procedure MainTermination { Body: { return 1; } } }