Merge pull request #51 from jongeunkim/patch-1

Remove one of duplicate objective functions in p_15_3_3_25_1.jl
lanl-ansi · Oct 12, 2023 · 569b574 · 569b574
2 parents 83dcdbc + 13ed203
commit 569b574
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/instances/mult3/p_15_3_3_25_1.jl b/instances/mult3/p_15_3_3_25_1.jl
@@ -16,9 +16,3 @@ x_Idx = Any[1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]
 @NLconstraint(m, e2, 0.6694*x[6]^2-0.4047*x[6]+0.0402*x[14]^3+0.4384*x[14]^2+0.0728*x[14]+(-0.4612*x[1]*x[4])-0.3171*x[1]*x[8]-0.59*x[2]*x[4]+0.4934*x[2]*x[5]-0.1352*x[2]*x[9]-0.3092*x[2]*x[12]+0.7875*x[3]*x[7]+0.034*x[3]*x[9]+0.3746*x[4]*x[5]-0.2916*x[4]*x[8]+0.2576*x[4]*x[10]-0.3803*x[4]*x[11]+0.3848*x[5]*x[11]+0.5469*x[5]*x[13]+0.1814*x[6]*x[11]+0.4389*x[6]*x[12]+0.8172*x[6]*x[13]+0.3241*x[7]*x[13]+0.8089*x[8]*x[10]-0.9132*x[8]*x[12]-0.2308*x[8]*x[14]-0.068*x[8]*x[15]+0.8514*x[11]*x[13]-0.7053*x[12]*x[14]-0.4484*x[1]+0.0002*x[2]+0.9242*x[3]-0.3877*x[4]-0.776*x[5]-0.8727*x[7]-0.014*x[8]-0.9627*x[9]-0.15*x[10]-0.7809*x[11]-0.4473*x[12]+0.4151*x[13]-0.2027*x[15]+0.3986*x[1]^2*x[15]+0.7179*x[2]^2*x[5]+0.146*x[2]^2*x[7]+0.6978*x[2]^2*x[11]-0.1984*x[3]^2*x[10]-0.0869*x[3]^2*x[11]+0.497*x[3]^2*x[13]+0.3302*x[4]^2*x[3]-0.1993*x[4]^2*x[8]+0.5378*x[5]^2*x[1]+0.7862*x[5]^2*x[2]+0.498*x[5]^2*x[6]+0.2359*x[5]^2*x[11]+0.332*x[6]^2*x[4]+0.7865*x[6]^2*x[8]-0.4053*x[7]^2*x[2]-0.1423*x[7]^2*x[12]+0.6138*x[8]^2*x[3]-0.4974*x[8]^2*x[9]+0.3056*x[8]^2*x[13]+0.477*x[8]^2*x[15]-0.4837*x[9]^2*x[2]+0.6678*x[9]^2*x[10]-0.3166*x[9]^2*x[14]-0.328*x[10]^2*x[1]-0.7244*x[11]^2*x[6]-0.269*x[12]^2*x[4]-0.009*x[13]^2*x[8]+0.5193*x[14]^2*x[3]+0.9356*x[14]^2*x[11]+0.3681*x[14]^2*x[15]+0.8523*x[15]^2*x[11]+0.2604*x[1]*x[2]*x[6]-0.164*x[1]*x[2]*x[4]-0.0975*x[1]*x[2]*x[11]-0.9915*x[1]*x[3]*x[4]-0.6331*x[1]*x[3]*x[6]-0.1357*x[1]*x[3]*x[9]-0.0868*x[1]*x[3]*x[13]+0.7985*x[1]*x[4]*x[11]+0.7715*x[1]*x[4]*x[14]+0.5096*x[1]*x[5]*x[8]-0.429*x[1]*x[5]*x[11]+0.8177*x[1]*x[5]*x[13]-0.9313*x[1]*x[7]*x[14]-0.1556*x[1]*x[8]*x[9]+0.6369*x[1]*x[8]*x[12]-0.322*x[1]*x[8]*x[14]+0.6505*x[1]*x[9]*x[10]+0.935*x[1]*x[9]*x[13]+0.4683*x[1]*x[10]*x[12]-0.6663*x[1]*x[11]*x[12]-0.6518*x[1]*x[11]*x[13]-0.2179*x[2]*x[3]*x[5]+0.4833*x[2]*x[3]*x[9]-0.2571*x[2]*x[3]*x[10]+0.3347*x[2]*x[3]*x[14]+0.802*x[2]*x[4]*x[6]-0.902*x[2]*x[4]*x[7]-0.0462*x[2]*x[4]*x[12]+0.8075*x[2]*x[5]*x[6]-0.247*x[2]*x[5]*x[11]-0.9637*x[2]*x[5]*x[12]+0.706*x[2]*x[5]*x[14]+0.9703*x[2]*x[6]*x[7]+0.8093*x[2]*x[6]*x[10]+0.4808*x[2]*x[6]*x[11]+0.8521*x[2]*x[6]*x[12]-0.9411*x[2]*x[6]*x[13]+0.0583*x[2]*x[6]*x[14]-0.9694*x[2]*x[6]*x[15]-0.2402*x[2]*x[8]*x[14]+0.169*x[2]*x[8]*x[15]+0.4776*x[2]*x[9]*x[10]+0.2013*x[2]*x[9]*x[13]-0.3177*x[2]*x[10]*x[11]-0.8667*x[2]*x[10]*x[15]+0.8728*x[2]*x[11]*x[12]-0.7219*x[2]*x[11]*x[13]-0.0383*x[2]*x[11]*x[14]+0.8603*x[3]*x[4]*x[7]+0.8573*x[3]*x[4]*x[9]-0.1863*x[3]*x[4]*x[10]-0.1433*x[3]*x[4]*x[11]+0.5209*x[3]*x[4]*x[12]+0.9985*x[3]*x[5]*x[6]+0.194*x[3]*x[5]*x[8]-0.3273*x[3]*x[5]*x[14]-0.9699*x[3]*x[6]*x[9]+0.2078*x[3]*x[6]*x[10]-0.9741*x[3]*x[6]*x[11]+0.6472*x[3]*x[6]*x[13]+0.7822*x[3]*x[7]*x[13]-0.7506*x[3]*x[7]*x[15]-0.2386*x[3]*x[8]*x[9]-0.4917*x[3]*x[8]*x[12]-0.8001*x[3]*x[9]*x[11]+0.8133*x[3]*x[9]*x[14]-0.6599*x[3]*x[10]*x[13]+0.5881*x[3]*x[10]*x[14]+0.9675*x[3]*x[11]*x[12]+0.1609*x[3]*x[11]*x[13]+0.8412*x[3]*x[12]*x[13]-0.5131*x[4]*x[5]*x[9]+0.8517*x[4]*x[5]*x[10]-0.113*x[4]*x[6]*x[15]-0.1778*x[4]*x[7]*x[10]+0.1593*x[4]*x[7]*x[12]+0.2423*x[4]*x[7]*x[13]+0.3535*x[4]*x[7]*x[15]+0.0755*x[4]*x[8]*x[10]+0.9515*x[4]*x[8]*x[14]-0.1357*x[4]*x[9]*x[12]-0.2385*x[4]*x[9]*x[13]-0.0285*x[4]*x[10]*x[12]+0.8324*x[4]*x[10]*x[15]+0.1703*x[4]*x[11]*x[13]-0.8732*x[4]*x[11]*x[14]+0.1078*x[4]*x[12]*x[14]+0.9832*x[5]*x[6]*x[9]+0.3103*x[5]*x[6]*x[11]-0.9741*x[5]*x[6]*x[15]-0.0586*x[5]*x[7]*x[11]-0.2567*x[5]*x[7]*x[13]-0.5806*x[5]*x[8]*x[10]+0.2762*x[5]*x[8]*x[11]+0.5633*x[5]*x[8]*x[14]+0.2499*x[5]*x[10]*x[14]-0.1853*x[5]*x[10]*x[15]+0.459*x[5]*x[13]*x[14]+0.3098*x[5]*x[14]*x[15]+0.2522*x[6]*x[7]*x[9]-0.1797*x[6]*x[7]*x[13]-0.2805*x[6]*x[7]*x[14]-0.3937*x[6]*x[8]*x[9]-0.0124*x[6]*x[8]*x[10]+0.828*x[6]*x[8]*x[13]-0.871*x[6]*x[8]*x[15]+0.3218*x[6]*x[9]*x[11]-0.165*x[6]*x[9]*x[12]-0.5261*x[6]*x[10]*x[12]+0.8288*x[6]*x[10]*x[14]-0.7367*x[6]*x[11]*x[12]-0.4061*x[6]*x[12]*x[13]+0.8319*x[7]*x[8]*x[15]+0.3731*x[7]*x[9]*x[11]+0.0402*x[7]*x[9]*x[12]-0.5697*x[7]*x[9]*x[15]-0.5689*x[7]*x[10]*x[11]+0.4154*x[7]*x[10]*x[15]-0.0134*x[7]*x[11]*x[12]-0.9392*x[7]*x[11]*x[15]-0.0369*x[7]*x[12]*x[13]-0.6388*x[8]*x[9]*x[10]-0.6013*x[8]*x[9]*x[13]-0.1987*x[8]*x[10]*x[11]+0.152*x[8]*x[10]*x[14]+0.3352*x[8]*x[11]*x[13]-0.4103*x[8]*x[11]*x[14]+0.1998*x[8]*x[12]*x[15]+0.8337*x[8]*x[13]*x[14]+0.5119*x[9]*x[10]*x[12]-0.3941*x[9]*x[10]*x[15]-0.3099*x[9]*x[11]*x[15]+0.63*x[9]*x[12]*x[13]+0.0351*x[9]*x[12]*x[14]+0.3182*x[10]*x[11]*x[13]+0.7255*x[11]*x[12]*x[13]-0.8687*x[11]*x[12]*x[15]+0.296*x[11]*x[13]*x[14]+0.4417*x[11]*x[14]*x[15]+0.3959*x[12]*x[13]*x[15]+0.8133*x[12]*x[14]*x[15] <= 26.921)
 @NLconstraint(m, e3, (-0.4461*x[10]^3)-0.556*x[10]+0.9786*x[1]*x[6]-0.6698*x[2]*x[7]+0.7216*x[2]*x[13]-0.2722*x[3]*x[6]+0.2956*x[3]*x[7]+0.2996*x[3]*x[10]-0.7634*x[3]*x[14]+0.1311*x[4]*x[7]+0.435*x[4]*x[8]+0.1766*x[4]*x[11]-0.2596*x[4]*x[14]-0.5567*x[5]*x[8]-0.9103*x[5]*x[13]+0.3379*x[5]*x[14]+0.4237*x[6]*x[7]-0.2301*x[6]*x[8]+0.9942*x[6]*x[9]-0.9557*x[6]*x[13]+0.9969*x[6]*x[14]-0.0483*x[7]*x[10]+0.208*x[7]*x[13]+0.9387*x[8]*x[12]-0.3901*x[9]*x[10]+0.1516*x[10]*x[12]-0.5648*x[10]*x[15]+0.7864*x[11]*x[14]+0.9238*x[11]*x[15]-0.2003*x[12]*x[13]-0.8395*x[13]*x[15]+0.0661*x[14]*x[15]+0.5783*x[1]+0.4262*x[2]-0.5666*x[3]+0.4188*x[4]+0.3495*x[5]-0.6488*x[6]-0.9492*x[7]-0.2321*x[8]-0.0055*x[9]+0.3175*x[11]+0.392*x[12]+0.7571*x[13]-0.123*x[14]-0.9402*x[15]+(-0.2805*x[1]^2*x[8])-0.6795*x[2]^2*x[5]+0.8865*x[2]^2*x[7]+0.2797*x[2]^2*x[8]-0.8432*x[2]^2*x[10]-0.5412*x[3]^2*x[4]-0.6065*x[3]^2*x[6]-0.2521*x[3]^2*x[10]-0.7626*x[3]^2*x[12]+0.7189*x[3]^2*x[15]+0.0774*x[4]^2*x[10]+0.6427*x[4]^2*x[12]+0.7128*x[5]^2*x[3]+0.3069*x[6]^2*x[2]-0.0837*x[6]^2*x[5]-0.1793*x[6]^2*x[15]+0.2066*x[7]^2*x[10]+0.8256*x[7]^2*x[12]+0.9708*x[8]^2*x[4]+0.6526*x[8]^2*x[12]+0.5458*x[9]^2*x[11]+0.4179*x[9]^2*x[14]+0.2648*x[10]^2*x[2]+0.9751*x[10]^2*x[9]-0.7986*x[11]^2*x[7]+0.2114*x[11]^2*x[9]+0.3126*x[11]^2*x[10]+0.1455*x[11]^2*x[14]+0.3498*x[12]^2*x[4]-0.9033*x[12]^2*x[5]+0.8448*x[12]^2*x[6]-0.5041*x[12]^2*x[13]-0.1772*x[14]^2*x[4]-0.7604*x[14]^2*x[5]+0.1537*x[14]^2*x[6]-0.7344*x[15]^2*x[7]+0.0856*x[1]*x[2]*x[15]-0.6238*x[1]*x[3]*x[4]-0.1203*x[1]*x[3]*x[11]-0.5176*x[1]*x[4]*x[5]-0.2725*x[1]*x[4]*x[14]-0.1364*x[1]*x[5]*x[8]-0.6195*x[1]*x[5]*x[11]-0.628*x[1]*x[5]*x[13]+0.379*x[1]*x[6]*x[10]-0.577*x[1]*x[6]*x[11]+0.2279*x[1]*x[7]*x[10]+0.3232*x[1]*x[8]*x[15]-0.1359*x[1]*x[9]*x[13]-0.4499*x[1]*x[10]*x[11]-0.343*x[1]*x[11]*x[13]+0.1736*x[1]*x[11]*x[15]-0.3237*x[1]*x[12]*x[13]-0.6774*x[1]*x[13]*x[15]+0.32*x[1]*x[14]*x[15]+0.8733*x[2]*x[3]*x[6]+0.769*x[2]*x[4]*x[8]+0.4836*x[2]*x[4]*x[9]-0.4663*x[2]*x[4]*x[10]-0.0455*x[2]*x[4]*x[13]-0.7535*x[2]*x[5]*x[8]-0.874*x[2]*x[5]*x[11]+0.718*x[2]*x[6]*x[8]+0.8642*x[2]*x[6]*x[10]+0.54*x[2]*x[6]*x[12]+0.2995*x[2]*x[6]*x[14]+0.316*x[2]*x[7]*x[10]-0.5043*x[2]*x[7]*x[15]+0.0474*x[2]*x[8]*x[9]-0.0645*x[2]*x[8]*x[11]-0.2043*x[2]*x[8]*x[15]-0.4082*x[2]*x[9]*x[10]+0.1067*x[2]*x[9]*x[13]-0.6316*x[2]*x[9]*x[14]+0.6143*x[2]*x[10]*x[11]-0.0211*x[2]*x[10]*x[13]+0.519*x[2]*x[10]*x[14]+0.2734*x[2]*x[11]*x[14]+0.7768*x[2]*x[12]*x[13]-0.7955*x[2]*x[13]*x[15]-0.5155*x[3]*x[4]*x[7]+0.6936*x[3]*x[4]*x[10]-0.5562*x[3]*x[4]*x[11]-0.0524*x[3]*x[4]*x[12]+0.9834*x[3]*x[4]*x[13]-0.0401*x[3]*x[5]*x[7]-0.0865*x[3]*x[5]*x[8]+0.1187*x[3]*x[5]*x[11]+0.6992*x[3]*x[6]*x[9]-0.7901*x[3]*x[6]*x[10]-0.8291*x[3]*x[6]*x[11]-0.4182*x[3]*x[6]*x[13]+0.2953*x[3]*x[6]*x[15]-0.6494*x[3]*x[7]*x[10]-0.6558*x[3]*x[7]*x[12]+0.2375*x[3]*x[7]*x[13]-0.1743*x[3]*x[7]*x[14]-0.0071*x[3]*x[8]*x[9]+0.7193*x[3]*x[8]*x[11]-0.5405*x[3]*x[9]*x[11]+0.2131*x[3]*x[9]*x[14]-0.2396*x[3]*x[10]*x[12]+0.3956*x[3]*x[10]*x[14]+0.3657*x[3]*x[11]*x[13]+0.325*x[3]*x[12]*x[13]+0.607*x[3]*x[12]*x[14]+0.93*x[3]*x[12]*x[15]-0.8*x[4]*x[5]*x[11]-0.27*x[4]*x[6]*x[8]+0.4886*x[4]*x[6]*x[9]+0.2886*x[4]*x[6]*x[11]-0.1189*x[4]*x[6]*x[12]-0.4673*x[4]*x[7]*x[9]+0.6061*x[4]*x[7]*x[14]-0.355*x[4]*x[8]*x[12]+0.1566*x[4]*x[9]*x[10]-0.6577*x[4]*x[9]*x[11]+0.8772*x[4]*x[9]*x[14]-0.0214*x[4]*x[9]*x[15]+0.3663*x[4]*x[10]*x[12]+0.7293*x[4]*x[11]*x[13]-0.1659*x[5]*x[6]*x[13]-0.98*x[5]*x[7]*x[8]-0.3467*x[5]*x[7]*x[9]+0.994*x[5]*x[7]*x[14]-0.3317*x[5]*x[8]*x[9]-0.3738*x[5]*x[8]*x[13]-0.4928*x[5]*x[8]*x[14]-0.7641*x[5]*x[8]*x[15]+0.6883*x[5]*x[9]*x[13]+0.6899*x[5]*x[9]*x[15]-0.3376*x[5]*x[10]*x[12]+0.5984*x[5]*x[10]*x[14]-0.6494*x[5]*x[11]*x[13]-0.5488*x[5]*x[11]*x[14]+0.8307*x[5]*x[13]*x[14]+0.0977*x[6]*x[7]*x[10]+0.3488*x[6]*x[8]*x[10]-0.1022*x[6]*x[8]*x[14]-0.0413*x[6]*x[9]*x[12]+0.5142*x[6]*x[9]*x[13]+0.1251*x[6]*x[11]*x[12]+0.9713*x[6]*x[11]*x[13]+0.3864*x[6]*x[12]*x[13]-0.7882*x[6]*x[12]*x[15]-0.1371*x[6]*x[13]*x[14]-0.8811*x[7]*x[8]*x[12]-0.6359*x[7]*x[8]*x[13]+0.6343*x[7]*x[8]*x[14]+0.6377*x[7]*x[8]*x[15]-0.3642*x[7]*x[9]*x[11]-0.3792*x[7]*x[10]*x[11]+0.8134*x[7]*x[11]*x[13]-0.8786*x[8]*x[9]*x[12]-0.5107*x[8]*x[10]*x[11]+0.8381*x[8]*x[11]*x[13]+0.689*x[8]*x[11]*x[14]-0.6772*x[8]*x[12]*x[14]+0.3674*x[8]*x[13]*x[14]+0.4333*x[8]*x[14]*x[15]-0.5298*x[9]*x[10]*x[11]+0.3423*x[9]*x[10]*x[12]-0.2001*x[9]*x[10]*x[13]-0.14*x[9]*x[11]*x[13]-0.3239*x[9]*x[12]*x[13]-0.745*x[9]*x[13]*x[14]-0.0644*x[10]*x[12]*x[15]+0.7684*x[10]*x[13]*x[15] <= 98.535)
 @NLconstraint(m, e4, (-0.5395*x[2]^2)-0.5445*x[2]+0.821*x[4]-0.2378*x[4]^3+(-0.3359*x[9]^2)-0.9048*x[9]+(-0.4892*x[1]*x[5])-0.1835*x[1]*x[7]-0.9275*x[2]*x[3]+0.0515*x[3]*x[6]+0.9793*x[3]*x[8]+0.467*x[3]*x[10]+0.7493*x[3]*x[13]+0.6188*x[4]*x[6]+0.957*x[4]*x[9]+0.8432*x[4]*x[12]+0.863*x[4]*x[13]-0.4245*x[4]*x[14]+0.5075*x[5]*x[6]-0.0257*x[5]*x[9]+0.4506*x[5]*x[11]+0.6526*x[6]*x[7]-0.0515*x[7]*x[11]-0.4469*x[7]*x[12]+0.4025*x[7]*x[13]-0.7734*x[8]*x[12]+0.2009*x[8]*x[14]-0.2227*x[9]*x[11]+0.8112*x[10]*x[12]-0.4571*x[11]*x[12]+0.3368*x[12]*x[13]+0.3781*x[12]*x[14]-0.8059*x[1]+0.5581*x[3]+0.9429*x[5]-0.5765*x[6]-0.3061*x[7]+0.7112*x[8]+0.6349*x[10]+0.5005*x[11]-0.3052*x[12]-0.7796*x[13]-0.2323*x[14]+0.326*x[1]^2*x[6]-0.0365*x[2]^2*x[12]-0.6222*x[2]^2*x[14]-0.5467*x[2]^2*x[15]-0.7744*x[3]^2*x[1]-0.1976*x[3]^2*x[6]-0.0194*x[3]^2*x[10]+0.1658*x[4]^2*x[1]+0.9595*x[4]^2*x[9]-0.4986*x[4]^2*x[12]-0.5191*x[5]^2*x[6]+0.7638*x[5]^2*x[9]-0.2484*x[5]^2*x[11]+0.7367*x[6]^2*x[3]-0.4591*x[6]^2*x[11]+0.4527*x[7]^2*x[9]-0.5326*x[7]^2*x[10]-0.7493*x[8]^2*x[13]+0.4298*x[9]^2*x[5]+0.9099*x[9]^2*x[8]+0.7412*x[9]^2*x[11]+0.3562*x[9]^2*x[13]+0.0079*x[10]^2*x[9]-0.2119*x[11]^2*x[4]+0.0322*x[11]^2*x[9]-0.8063*x[11]^2*x[10]+0.232*x[12]^2*x[2]+0.7409*x[12]^2*x[7]+0.0879*x[12]^2*x[9]+0.4613*x[12]^2*x[10]+0.2356*x[12]^2*x[13]+0.7223*x[13]^2*x[2]+0.7955*x[13]^2*x[5]+0.1942*x[13]^2*x[6]+0.1786*x[14]^2*x[6]-0.8434*x[14]^2*x[11]-0.1328*x[15]+0.3769*x[1]*x[2]*x[3]-0.3553*x[1]*x[2]*x[7]-0.0849*x[1]*x[2]*x[14]+0.9874*x[1]*x[3]*x[5]-0.0799*x[1]*x[3]*x[8]+0.3118*x[1]*x[3]*x[9]-0.1183*x[1]*x[3]*x[11]-0.0071*x[1]*x[3]*x[13]-0.8201*x[1]*x[3]*x[14]-0.1918*x[1]*x[4]*x[9]+0.4162*x[1]*x[4]*x[15]-0.3681*x[1]*x[5]*x[11]-0.2463*x[1]*x[6]*x[10]+0.3641*x[1]*x[8]*x[10]+0.8902*x[1]*x[8]*x[15]-0.3145*x[1]*x[11]*x[15]-0.7463*x[1]*x[12]*x[13]+0.9739*x[1]*x[13]*x[14]-0.9214*x[1]*x[14]*x[15]-0.3002*x[2]*x[3]*x[5]+0.0077*x[2]*x[3]*x[10]+0.792*x[2]*x[3]*x[11]-0.82*x[2]*x[3]*x[12]+0.0203*x[2]*x[3]*x[13]-0.3313*x[2]*x[3]*x[14]-0.0614*x[2]*x[4]*x[7]-0.4053*x[2]*x[4]*x[9]+0.0946*x[2]*x[4]*x[10]-0.6426*x[2]*x[4]*x[15]-0.2418*x[2]*x[5]*x[6]+0.6907*x[2]*x[5]*x[14]+0.0163*x[2]*x[6]*x[8]+0.1849*x[2]*x[6]*x[9]-0.1178*x[2]*x[6]*x[14]-0.397*x[2]*x[7]*x[9]-0.9097*x[2]*x[7]*x[10]-0.7563*x[2]*x[7]*x[15]+0.8577*x[2]*x[8]*x[11]-0.9974*x[2]*x[9]*x[11]-0.2555*x[2]*x[9]*x[13]+0.2669*x[2]*x[10]*x[13]+0.8245*x[2]*x[10]*x[14]-0.528*x[2]*x[10]*x[15]-0.7576*x[2]*x[11]*x[12]+0.3275*x[2]*x[11]*x[13]-0.8597*x[2]*x[12]*x[13]-0.9093*x[2]*x[12]*x[14]+0.7283*x[2]*x[13]*x[14]+0.45*x[3]*x[4]*x[6]-0.5048*x[3]*x[4]*x[7]+0.7667*x[3]*x[4]*x[8]-0.0765*x[3]*x[4]*x[9]+0.5007*x[3]*x[4]*x[12]-0.8094*x[3]*x[4]*x[13]-0.117*x[3]*x[4]*x[14]-0.416*x[3]*x[5]*x[10]-0.6553*x[3]*x[5]*x[13]+0.8979*x[3]*x[6]*x[9]+0.5838*x[3]*x[6]*x[10]-0.5713*x[3]*x[6]*x[11]+0.2535*x[3]*x[6]*x[12]-0.4473*x[3]*x[6]*x[13]+0.8427*x[3]*x[7]*x[8]+0.9593*x[3]*x[7]*x[10]+0.0084*x[3]*x[7]*x[11]-0.8887*x[3]*x[7]*x[12]+0.7897*x[3]*x[7]*x[13]+0.0318*x[3]*x[7]*x[15]+0.9716*x[3]*x[8]*x[13]+0.7644*x[3]*x[8]*x[14]+0.2517*x[3]*x[9]*x[12]-0.4714*x[3]*x[9]*x[13]+0.0791*x[3]*x[9]*x[14]-0.7184*x[3]*x[10]*x[13]-0.0405*x[3]*x[11]*x[14]-0.3342*x[3]*x[12]*x[13]+0.9976*x[3]*x[12]*x[14]+0.6638*x[3]*x[13]*x[14]+0.5135*x[3]*x[14]*x[15]+0.7043*x[4]*x[5]*x[7]-0.4795*x[4]*x[5]*x[9]+0.3063*x[4]*x[5]*x[11]+0.9809*x[4]*x[5]*x[13]+0.008*x[4]*x[6]*x[7]-0.9986*x[4]*x[6]*x[8]-0.3646*x[4]*x[6]*x[10]-0.5155*x[4]*x[6]*x[12]-0.1285*x[4]*x[7]*x[10]+0.3243*x[4]*x[7]*x[13]+0.9029*x[4]*x[7]*x[14]+0.1204*x[4]*x[8]*x[10]-0.7351*x[4]*x[9]*x[10]-0.6076*x[4]*x[9]*x[13]+0.819*x[4]*x[10]*x[11]+0.1115*x[4]*x[10]*x[12]-0.5893*x[4]*x[11]*x[13]-0.836*x[5]*x[6]*x[8]+0.4467*x[5]*x[6]*x[12]+0.5373*x[5]*x[7]*x[13]-0.0839*x[5]*x[8]*x[11]+0.9858*x[5]*x[9]*x[15]+0.8559*x[5]*x[10]*x[11]-0.919*x[5]*x[10]*x[14]+0.0144*x[5]*x[11]*x[14]+0.4524*x[5]*x[13]*x[14]+0.9372*x[5]*x[13]*x[15]+0.8738*x[5]*x[14]*x[15]-0.1408*x[6]*x[7]*x[14]+0.1761*x[6]*x[8]*x[11]+0.9351*x[6]*x[8]*x[12]-0.2116*x[6]*x[8]*x[13]+0.8966*x[6]*x[8]*x[14]-0.0971*x[6]*x[8]*x[15]+0.1779*x[6]*x[9]*x[13]-0.8792*x[6]*x[9]*x[14]-0.1995*x[6]*x[10]*x[12]-0.5286*x[7]*x[8]*x[9]+0.307*x[7]*x[9]*x[10]+0.8944*x[7]*x[11]*x[12]-0.8338*x[7]*x[11]*x[13]-0.6831*x[8]*x[9]*x[10]-0.3124*x[8]*x[9]*x[13]+0.1837*x[8]*x[10]*x[13]+0.3018*x[8]*x[10]*x[14]+0.3176*x[8]*x[11]*x[13]+0.2177*x[8]*x[11]*x[14]+0.1169*x[8]*x[12]*x[13]+0.1567*x[9]*x[10]*x[13]+0.8452*x[9]*x[12]*x[15]+0.3158*x[9]*x[13]*x[15]-0.3199*x[10]*x[12]*x[14]-0.0142*x[10]*x[13]*x[14]+0.4058*x[10]*x[14]*x[15]-0.3653*x[12]*x[13]*x[14] <= 83.505)
-
-
-# ----- Objective ----- #
-@objective(m, Min, x[16])
-
-