Created
April 12, 2019 03:19
-
-
Save ghackebeil/45435a44df47972444e4b681e64f7f21 to your computer and use it in GitHub Desktop.
Gurobi 8.1.0 produces an incorrect result for this MIQP example. It produces an objective and lower bound of 1 with default settings. If presolve is disabled, it produces the correct objective of 0.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| min | |
| x306: | |
| -20 x301 | |
| -40 x302 | |
| -60 x303 | |
| -80 x304 | |
| -100 x305 | |
| + [ | |
| +2 x301 ^ 2 | |
| +2 x302 ^ 2 | |
| +2 x303 ^ 2 | |
| +2 x304 ^ 2 | |
| +2 x305 ^ 2 | |
| ] / 2 | |
| +5500 ONE_VAR_CONSTANT | |
| s.t. | |
| c_e_x307_: | |
| -2 x1 | |
| -2 x101 | |
| -2 x151 | |
| -2 x201 | |
| +1 x251 | |
| -2 x51 | |
| = 0 | |
| c_e_x308_: | |
| -2 x102 | |
| -2 x152 | |
| -2 x2 | |
| -2 x202 | |
| +1 x252 | |
| -2 x52 | |
| = 0 | |
| c_e_x309_: | |
| -2 x103 | |
| -2 x153 | |
| -2 x203 | |
| +1 x253 | |
| -2 x3 | |
| -2 x53 | |
| = 0 | |
| c_e_x310_: | |
| -2 x104 | |
| -2 x154 | |
| -2 x204 | |
| +1 x254 | |
| -2 x4 | |
| -2 x54 | |
| = 0 | |
| c_e_x311_: | |
| -2 x105 | |
| -2 x155 | |
| -2 x205 | |
| +1 x255 | |
| -2 x5 | |
| -2 x55 | |
| = 0 | |
| c_e_x312_: | |
| -2 x106 | |
| -2 x156 | |
| -2 x206 | |
| +1 x256 | |
| -2 x56 | |
| -2 x6 | |
| = 0 | |
| c_e_x313_: | |
| -2 x107 | |
| -2 x157 | |
| -2 x207 | |
| +1 x257 | |
| -2 x57 | |
| -2 x7 | |
| = 0 | |
| c_e_x314_: | |
| -2 x108 | |
| -2 x158 | |
| -2 x208 | |
| +1 x258 | |
| -2 x58 | |
| -2 x8 | |
| = 0 | |
| c_e_x315_: | |
| -2 x109 | |
| -2 x159 | |
| -2 x209 | |
| +1 x259 | |
| -2 x59 | |
| -2 x9 | |
| = 0 | |
| c_e_x316_: | |
| -2 x10 | |
| -2 x110 | |
| -2 x160 | |
| -2 x210 | |
| +1 x260 | |
| -2 x60 | |
| = 0 | |
| c_e_x317_: | |
| -2 x11 | |
| -2 x111 | |
| -2 x161 | |
| -2 x211 | |
| +1 x261 | |
| -2 x61 | |
| = 0 | |
| c_e_x318_: | |
| -2 x112 | |
| -2 x12 | |
| -2 x162 | |
| -2 x212 | |
| +1 x262 | |
| -2 x62 | |
| = 0 | |
| c_e_x319_: | |
| -2 x113 | |
| -2 x13 | |
| -2 x163 | |
| -2 x213 | |
| +1 x263 | |
| -2 x63 | |
| = 0 | |
| c_e_x320_: | |
| -2 x114 | |
| -2 x14 | |
| -2 x164 | |
| -2 x214 | |
| +1 x264 | |
| -2 x64 | |
| = 0 | |
| c_e_x321_: | |
| -2 x115 | |
| -2 x15 | |
| -2 x165 | |
| -2 x215 | |
| +1 x265 | |
| -2 x65 | |
| = 0 | |
| c_e_x322_: | |
| -2 x116 | |
| -2 x16 | |
| -2 x166 | |
| -2 x216 | |
| +1 x266 | |
| -2 x66 | |
| = 0 | |
| c_e_x323_: | |
| -2 x117 | |
| -2 x167 | |
| -2 x17 | |
| -2 x217 | |
| +1 x267 | |
| -2 x67 | |
| = 0 | |
| c_e_x324_: | |
| -2 x118 | |
| -2 x168 | |
| -2 x18 | |
| -2 x218 | |
| +1 x268 | |
| -2 x68 | |
| = 0 | |
| c_e_x325_: | |
| -2 x119 | |
| -2 x169 | |
| -2 x19 | |
| -2 x219 | |
| +1 x269 | |
| -2 x69 | |
| = 0 | |
| c_e_x326_: | |
| -2 x120 | |
| -2 x170 | |
| -2 x20 | |
| -2 x220 | |
| +1 x270 | |
| -2 x70 | |
| = 0 | |
| c_e_x327_: | |
| -2 x121 | |
| -2 x171 | |
| -2 x21 | |
| -2 x221 | |
| +1 x271 | |
| -2 x71 | |
| = 0 | |
| c_e_x328_: | |
| -2 x122 | |
| -2 x172 | |
| -2 x22 | |
| -2 x222 | |
| +1 x272 | |
| -2 x72 | |
| = 0 | |
| c_e_x329_: | |
| -2 x123 | |
| -2 x173 | |
| -2 x223 | |
| -2 x23 | |
| +1 x273 | |
| -2 x73 | |
| = 0 | |
| c_e_x330_: | |
| -2 x124 | |
| -2 x174 | |
| -2 x224 | |
| -2 x24 | |
| +1 x274 | |
| -2 x74 | |
| = 0 | |
| c_e_x331_: | |
| -2 x125 | |
| -2 x175 | |
| -2 x225 | |
| -2 x25 | |
| +1 x275 | |
| -2 x75 | |
| = 0 | |
| c_e_x332_: | |
| -2 x126 | |
| -2 x176 | |
| -2 x226 | |
| -2 x26 | |
| +1 x276 | |
| -2 x76 | |
| = 0 | |
| c_e_x333_: | |
| -2 x127 | |
| -2 x177 | |
| -2 x227 | |
| -2 x27 | |
| +1 x277 | |
| -2 x77 | |
| = 0 | |
| c_e_x334_: | |
| -2 x128 | |
| -2 x178 | |
| -2 x228 | |
| +1 x278 | |
| -2 x28 | |
| -2 x78 | |
| = 0 | |
| c_e_x335_: | |
| -2 x129 | |
| -2 x179 | |
| -2 x229 | |
| +1 x279 | |
| -2 x29 | |
| -2 x79 | |
| = 0 | |
| c_e_x336_: | |
| -2 x130 | |
| -2 x180 | |
| -2 x230 | |
| +1 x280 | |
| -2 x30 | |
| -2 x80 | |
| = 0 | |
| c_e_x337_: | |
| -2 x131 | |
| -2 x181 | |
| -2 x231 | |
| +1 x281 | |
| -2 x31 | |
| -2 x81 | |
| = 0 | |
| c_e_x338_: | |
| -2 x132 | |
| -2 x182 | |
| -2 x232 | |
| +1 x282 | |
| -2 x32 | |
| -2 x82 | |
| = 0 | |
| c_e_x339_: | |
| -2 x133 | |
| -2 x183 | |
| -2 x233 | |
| +1 x283 | |
| -2 x33 | |
| -2 x83 | |
| = 0 | |
| c_e_x340_: | |
| -2 x134 | |
| -2 x184 | |
| -2 x234 | |
| +1 x284 | |
| -2 x34 | |
| -2 x84 | |
| = 0 | |
| c_e_x341_: | |
| -2 x135 | |
| -2 x185 | |
| -2 x235 | |
| +1 x285 | |
| -2 x35 | |
| -2 x85 | |
| = 0 | |
| c_e_x342_: | |
| -2 x136 | |
| -2 x186 | |
| -2 x236 | |
| +1 x286 | |
| -2 x36 | |
| -2 x86 | |
| = 0 | |
| c_e_x343_: | |
| -2 x137 | |
| -2 x187 | |
| -2 x237 | |
| +1 x287 | |
| -2 x37 | |
| -2 x87 | |
| = 0 | |
| c_e_x344_: | |
| -2 x138 | |
| -2 x188 | |
| -2 x238 | |
| +1 x288 | |
| -2 x38 | |
| -2 x88 | |
| = 0 | |
| c_e_x345_: | |
| -2 x139 | |
| -2 x189 | |
| -2 x239 | |
| +1 x289 | |
| -2 x39 | |
| -2 x89 | |
| = 0 | |
| c_e_x346_: | |
| -2 x140 | |
| -2 x190 | |
| -2 x240 | |
| +1 x290 | |
| -2 x40 | |
| -2 x90 | |
| = 0 | |
| c_e_x347_: | |
| -2 x141 | |
| -2 x191 | |
| -2 x241 | |
| +1 x291 | |
| -2 x41 | |
| -2 x91 | |
| = 0 | |
| c_e_x348_: | |
| -2 x142 | |
| -2 x192 | |
| -2 x242 | |
| +1 x292 | |
| -2 x42 | |
| -2 x92 | |
| = 0 | |
| c_e_x349_: | |
| -2 x143 | |
| -2 x193 | |
| -2 x243 | |
| +1 x293 | |
| -2 x43 | |
| -2 x93 | |
| = 0 | |
| c_e_x350_: | |
| -2 x144 | |
| -2 x194 | |
| -2 x244 | |
| +1 x294 | |
| -2 x44 | |
| -2 x94 | |
| = 0 | |
| c_e_x351_: | |
| -2 x145 | |
| -2 x195 | |
| -2 x245 | |
| +1 x295 | |
| -2 x45 | |
| -2 x95 | |
| = 0 | |
| c_e_x352_: | |
| -2 x146 | |
| -2 x196 | |
| -2 x246 | |
| +1 x296 | |
| -2 x46 | |
| -2 x96 | |
| = 0 | |
| c_e_x353_: | |
| -2 x147 | |
| -2 x197 | |
| -2 x247 | |
| +1 x297 | |
| -2 x47 | |
| -2 x97 | |
| = 0 | |
| c_e_x354_: | |
| -2 x148 | |
| -2 x198 | |
| -2 x248 | |
| +1 x298 | |
| -2 x48 | |
| -2 x98 | |
| = 0 | |
| c_e_x355_: | |
| -2 x149 | |
| -2 x199 | |
| -2 x249 | |
| +1 x299 | |
| -2 x49 | |
| -2 x99 | |
| = 0 | |
| c_e_x356_: | |
| -2 x100 | |
| -2 x150 | |
| -2 x200 | |
| -2 x250 | |
| +1 x300 | |
| -2 x50 | |
| = 0 | |
| c_e_x357_: | |
| +1 x1 | |
| +1 x10 | |
| +1 x2 | |
| +1 x3 | |
| +1 x4 | |
| +1 x5 | |
| +1 x6 | |
| +1 x7 | |
| +1 x8 | |
| +1 x9 | |
| = 1 | |
| c_e_x358_: | |
| +1 x51 | |
| +1 x52 | |
| +1 x53 | |
| +1 x54 | |
| +1 x55 | |
| +1 x56 | |
| +1 x57 | |
| +1 x58 | |
| +1 x59 | |
| +1 x60 | |
| +1 x61 | |
| +1 x62 | |
| +1 x63 | |
| +1 x64 | |
| +1 x65 | |
| +1 x66 | |
| +1 x67 | |
| +1 x68 | |
| +1 x69 | |
| +1 x70 | |
| = 1 | |
| c_e_x359_: | |
| +1 x101 | |
| +1 x102 | |
| +1 x103 | |
| +1 x104 | |
| +1 x105 | |
| +1 x106 | |
| +1 x107 | |
| +1 x108 | |
| +1 x109 | |
| +1 x110 | |
| +1 x111 | |
| +1 x112 | |
| +1 x113 | |
| +1 x114 | |
| +1 x115 | |
| +1 x116 | |
| +1 x117 | |
| +1 x118 | |
| +1 x119 | |
| +1 x120 | |
| +1 x121 | |
| +1 x122 | |
| +1 x123 | |
| +1 x124 | |
| +1 x125 | |
| +1 x126 | |
| +1 x127 | |
| +1 x128 | |
| +1 x129 | |
| +1 x130 | |
| = 1 | |
| c_e_x360_: | |
| +1 x151 | |
| +1 x152 | |
| +1 x153 | |
| +1 x154 | |
| +1 x155 | |
| +1 x156 | |
| +1 x157 | |
| +1 x158 | |
| +1 x159 | |
| +1 x160 | |
| +1 x161 | |
| +1 x162 | |
| +1 x163 | |
| +1 x164 | |
| +1 x165 | |
| +1 x166 | |
| +1 x167 | |
| +1 x168 | |
| +1 x169 | |
| +1 x170 | |
| +1 x171 | |
| +1 x172 | |
| +1 x173 | |
| +1 x174 | |
| +1 x175 | |
| +1 x176 | |
| +1 x177 | |
| +1 x178 | |
| +1 x179 | |
| +1 x180 | |
| +1 x181 | |
| +1 x182 | |
| +1 x183 | |
| +1 x184 | |
| +1 x185 | |
| +1 x186 | |
| +1 x187 | |
| +1 x188 | |
| +1 x189 | |
| +1 x190 | |
| = 1 | |
| c_e_x361_: | |
| +1 x201 | |
| +1 x202 | |
| +1 x203 | |
| +1 x204 | |
| +1 x205 | |
| +1 x206 | |
| +1 x207 | |
| +1 x208 | |
| +1 x209 | |
| +1 x210 | |
| +1 x211 | |
| +1 x212 | |
| +1 x213 | |
| +1 x214 | |
| +1 x215 | |
| +1 x216 | |
| +1 x217 | |
| +1 x218 | |
| +1 x219 | |
| +1 x220 | |
| +1 x221 | |
| +1 x222 | |
| +1 x223 | |
| +1 x224 | |
| +1 x225 | |
| +1 x226 | |
| +1 x227 | |
| +1 x228 | |
| +1 x229 | |
| +1 x230 | |
| +1 x231 | |
| +1 x232 | |
| +1 x233 | |
| +1 x234 | |
| +1 x235 | |
| +1 x236 | |
| +1 x237 | |
| +1 x238 | |
| +1 x239 | |
| +1 x240 | |
| +1 x241 | |
| +1 x242 | |
| +1 x243 | |
| +1 x244 | |
| +1 x245 | |
| +1 x246 | |
| +1 x247 | |
| +1 x248 | |
| +1 x249 | |
| +1 x250 | |
| = 1 | |
| c_u_x362_: | |
| +1 x1 | |
| +1 x101 | |
| +1 x151 | |
| +1 x201 | |
| +1 x51 | |
| <= 1 | |
| c_u_x363_: | |
| +1 x102 | |
| +1 x152 | |
| +1 x2 | |
| +1 x202 | |
| +1 x52 | |
| <= 1 | |
| c_u_x364_: | |
| +1 x103 | |
| +1 x153 | |
| +1 x203 | |
| +1 x3 | |
| +1 x53 | |
| <= 1 | |
| c_u_x365_: | |
| +1 x104 | |
| +1 x154 | |
| +1 x204 | |
| +1 x4 | |
| +1 x54 | |
| <= 1 | |
| c_u_x366_: | |
| +1 x105 | |
| +1 x155 | |
| +1 x205 | |
| +1 x5 | |
| +1 x55 | |
| <= 1 | |
| c_u_x367_: | |
| +1 x106 | |
| +1 x156 | |
| +1 x206 | |
| +1 x56 | |
| +1 x6 | |
| <= 1 | |
| c_u_x368_: | |
| +1 x107 | |
| +1 x157 | |
| +1 x207 | |
| +1 x57 | |
| +1 x7 | |
| <= 1 | |
| c_u_x369_: | |
| +1 x108 | |
| +1 x158 | |
| +1 x208 | |
| +1 x58 | |
| +1 x8 | |
| <= 1 | |
| c_u_x370_: | |
| +1 x109 | |
| +1 x159 | |
| +1 x209 | |
| +1 x59 | |
| +1 x9 | |
| <= 1 | |
| c_u_x371_: | |
| +1 x10 | |
| +1 x110 | |
| +1 x160 | |
| +1 x210 | |
| +1 x60 | |
| <= 1 | |
| c_u_x372_: | |
| +1 x11 | |
| +1 x111 | |
| +1 x161 | |
| +1 x211 | |
| +1 x61 | |
| <= 1 | |
| c_u_x373_: | |
| +1 x112 | |
| +1 x12 | |
| +1 x162 | |
| +1 x212 | |
| +1 x62 | |
| <= 1 | |
| c_u_x374_: | |
| +1 x113 | |
| +1 x13 | |
| +1 x163 | |
| +1 x213 | |
| +1 x63 | |
| <= 1 | |
| c_u_x375_: | |
| +1 x114 | |
| +1 x14 | |
| +1 x164 | |
| +1 x214 | |
| +1 x64 | |
| <= 1 | |
| c_u_x376_: | |
| +1 x115 | |
| +1 x15 | |
| +1 x165 | |
| +1 x215 | |
| +1 x65 | |
| <= 1 | |
| c_u_x377_: | |
| +1 x116 | |
| +1 x16 | |
| +1 x166 | |
| +1 x216 | |
| +1 x66 | |
| <= 1 | |
| c_u_x378_: | |
| +1 x117 | |
| +1 x167 | |
| +1 x17 | |
| +1 x217 | |
| +1 x67 | |
| <= 1 | |
| c_u_x379_: | |
| +1 x118 | |
| +1 x168 | |
| +1 x18 | |
| +1 x218 | |
| +1 x68 | |
| <= 1 | |
| c_u_x380_: | |
| +1 x119 | |
| +1 x169 | |
| +1 x19 | |
| +1 x219 | |
| +1 x69 | |
| <= 1 | |
| c_u_x381_: | |
| +1 x120 | |
| +1 x170 | |
| +1 x20 | |
| +1 x220 | |
| +1 x70 | |
| <= 1 | |
| c_u_x382_: | |
| +1 x121 | |
| +1 x171 | |
| +1 x21 | |
| +1 x221 | |
| +1 x71 | |
| <= 1 | |
| c_u_x383_: | |
| +1 x122 | |
| +1 x172 | |
| +1 x22 | |
| +1 x222 | |
| +1 x72 | |
| <= 1 | |
| c_u_x384_: | |
| +1 x123 | |
| +1 x173 | |
| +1 x223 | |
| +1 x23 | |
| +1 x73 | |
| <= 1 | |
| c_u_x385_: | |
| +1 x124 | |
| +1 x174 | |
| +1 x224 | |
| +1 x24 | |
| +1 x74 | |
| <= 1 | |
| c_u_x386_: | |
| +1 x125 | |
| +1 x175 | |
| +1 x225 | |
| +1 x25 | |
| +1 x75 | |
| <= 1 | |
| c_u_x387_: | |
| +1 x126 | |
| +1 x176 | |
| +1 x226 | |
| +1 x26 | |
| +1 x76 | |
| <= 1 | |
| c_u_x388_: | |
| +1 x127 | |
| +1 x177 | |
| +1 x227 | |
| +1 x27 | |
| +1 x77 | |
| <= 1 | |
| c_u_x389_: | |
| +1 x128 | |
| +1 x178 | |
| +1 x228 | |
| +1 x28 | |
| +1 x78 | |
| <= 1 | |
| c_u_x390_: | |
| +1 x129 | |
| +1 x179 | |
| +1 x229 | |
| +1 x29 | |
| +1 x79 | |
| <= 1 | |
| c_u_x391_: | |
| +1 x130 | |
| +1 x180 | |
| +1 x230 | |
| +1 x30 | |
| +1 x80 | |
| <= 1 | |
| c_u_x392_: | |
| +1 x131 | |
| +1 x181 | |
| +1 x231 | |
| +1 x31 | |
| +1 x81 | |
| <= 1 | |
| c_u_x393_: | |
| +1 x132 | |
| +1 x182 | |
| +1 x232 | |
| +1 x32 | |
| +1 x82 | |
| <= 1 | |
| c_u_x394_: | |
| +1 x133 | |
| +1 x183 | |
| +1 x233 | |
| +1 x33 | |
| +1 x83 | |
| <= 1 | |
| c_u_x395_: | |
| +1 x134 | |
| +1 x184 | |
| +1 x234 | |
| +1 x34 | |
| +1 x84 | |
| <= 1 | |
| c_u_x396_: | |
| +1 x135 | |
| +1 x185 | |
| +1 x235 | |
| +1 x35 | |
| +1 x85 | |
| <= 1 | |
| c_u_x397_: | |
| +1 x136 | |
| +1 x186 | |
| +1 x236 | |
| +1 x36 | |
| +1 x86 | |
| <= 1 | |
| c_u_x398_: | |
| +1 x137 | |
| +1 x187 | |
| +1 x237 | |
| +1 x37 | |
| +1 x87 | |
| <= 1 | |
| c_u_x399_: | |
| +1 x138 | |
| +1 x188 | |
| +1 x238 | |
| +1 x38 | |
| +1 x88 | |
| <= 1 | |
| c_u_x400_: | |
| +1 x139 | |
| +1 x189 | |
| +1 x239 | |
| +1 x39 | |
| +1 x89 | |
| <= 1 | |
| c_u_x401_: | |
| +1 x140 | |
| +1 x190 | |
| +1 x240 | |
| +1 x40 | |
| +1 x90 | |
| <= 1 | |
| c_u_x402_: | |
| +1 x141 | |
| +1 x191 | |
| +1 x241 | |
| +1 x41 | |
| +1 x91 | |
| <= 1 | |
| c_u_x403_: | |
| +1 x142 | |
| +1 x192 | |
| +1 x242 | |
| +1 x42 | |
| +1 x92 | |
| <= 1 | |
| c_u_x404_: | |
| +1 x143 | |
| +1 x193 | |
| +1 x243 | |
| +1 x43 | |
| +1 x93 | |
| <= 1 | |
| c_u_x405_: | |
| +1 x144 | |
| +1 x194 | |
| +1 x244 | |
| +1 x44 | |
| +1 x94 | |
| <= 1 | |
| c_u_x406_: | |
| +1 x145 | |
| +1 x195 | |
| +1 x245 | |
| +1 x45 | |
| +1 x95 | |
| <= 1 | |
| c_u_x407_: | |
| +1 x146 | |
| +1 x196 | |
| +1 x246 | |
| +1 x46 | |
| +1 x96 | |
| <= 1 | |
| c_u_x408_: | |
| +1 x147 | |
| +1 x197 | |
| +1 x247 | |
| +1 x47 | |
| +1 x97 | |
| <= 1 | |
| c_u_x409_: | |
| +1 x148 | |
| +1 x198 | |
| +1 x248 | |
| +1 x48 | |
| +1 x98 | |
| <= 1 | |
| c_u_x410_: | |
| +1 x149 | |
| +1 x199 | |
| +1 x249 | |
| +1 x49 | |
| +1 x99 | |
| <= 1 | |
| c_u_x411_: | |
| +1 x100 | |
| +1 x150 | |
| +1 x200 | |
| +1 x250 | |
| +1 x50 | |
| <= 1 | |
| c_e_x412_: | |
| +1 x1 | |
| +10 x10 | |
| +11 x11 | |
| +12 x12 | |
| +13 x13 | |
| +14 x14 | |
| +15 x15 | |
| +16 x16 | |
| +17 x17 | |
| +18 x18 | |
| +19 x19 | |
| +2 x2 | |
| +20 x20 | |
| +21 x21 | |
| +22 x22 | |
| +23 x23 | |
| +24 x24 | |
| +25 x25 | |
| +26 x26 | |
| +27 x27 | |
| +28 x28 | |
| +29 x29 | |
| +3 x3 | |
| +30 x30 | |
| -1 x301 | |
| +31 x31 | |
| +32 x32 | |
| +33 x33 | |
| +34 x34 | |
| +35 x35 | |
| +36 x36 | |
| +37 x37 | |
| +38 x38 | |
| +39 x39 | |
| +4 x4 | |
| +40 x40 | |
| +41 x41 | |
| +42 x42 | |
| +43 x43 | |
| +44 x44 | |
| +45 x45 | |
| +46 x46 | |
| +47 x47 | |
| +48 x48 | |
| +49 x49 | |
| +5 x5 | |
| +50 x50 | |
| +6 x6 | |
| +7 x7 | |
| +8 x8 | |
| +9 x9 | |
| = 0 | |
| c_e_x413_: | |
| +50 x100 | |
| -1 x302 | |
| +1 x51 | |
| +2 x52 | |
| +3 x53 | |
| +4 x54 | |
| +5 x55 | |
| +6 x56 | |
| +7 x57 | |
| +8 x58 | |
| +9 x59 | |
| +10 x60 | |
| +11 x61 | |
| +12 x62 | |
| +13 x63 | |
| +14 x64 | |
| +15 x65 | |
| +16 x66 | |
| +17 x67 | |
| +18 x68 | |
| +19 x69 | |
| +20 x70 | |
| +21 x71 | |
| +22 x72 | |
| +23 x73 | |
| +24 x74 | |
| +25 x75 | |
| +26 x76 | |
| +27 x77 | |
| +28 x78 | |
| +29 x79 | |
| +30 x80 | |
| +31 x81 | |
| +32 x82 | |
| +33 x83 | |
| +34 x84 | |
| +35 x85 | |
| +36 x86 | |
| +37 x87 | |
| +38 x88 | |
| +39 x89 | |
| +40 x90 | |
| +41 x91 | |
| +42 x92 | |
| +43 x93 | |
| +44 x94 | |
| +45 x95 | |
| +46 x96 | |
| +47 x97 | |
| +48 x98 | |
| +49 x99 | |
| = 0 | |
| c_e_x414_: | |
| +1 x101 | |
| +2 x102 | |
| +3 x103 | |
| +4 x104 | |
| +5 x105 | |
| +6 x106 | |
| +7 x107 | |
| +8 x108 | |
| +9 x109 | |
| +10 x110 | |
| +11 x111 | |
| +12 x112 | |
| +13 x113 | |
| +14 x114 | |
| +15 x115 | |
| +16 x116 | |
| +17 x117 | |
| +18 x118 | |
| +19 x119 | |
| +20 x120 | |
| +21 x121 | |
| +22 x122 | |
| +23 x123 | |
| +24 x124 | |
| +25 x125 | |
| +26 x126 | |
| +27 x127 | |
| +28 x128 | |
| +29 x129 | |
| +30 x130 | |
| +31 x131 | |
| +32 x132 | |
| +33 x133 | |
| +34 x134 | |
| +35 x135 | |
| +36 x136 | |
| +37 x137 | |
| +38 x138 | |
| +39 x139 | |
| +40 x140 | |
| +41 x141 | |
| +42 x142 | |
| +43 x143 | |
| +44 x144 | |
| +45 x145 | |
| +46 x146 | |
| +47 x147 | |
| +48 x148 | |
| +49 x149 | |
| +50 x150 | |
| -1 x303 | |
| = 0 | |
| c_e_x415_: | |
| +1 x151 | |
| +2 x152 | |
| +3 x153 | |
| +4 x154 | |
| +5 x155 | |
| +6 x156 | |
| +7 x157 | |
| +8 x158 | |
| +9 x159 | |
| +10 x160 | |
| +11 x161 | |
| +12 x162 | |
| +13 x163 | |
| +14 x164 | |
| +15 x165 | |
| +16 x166 | |
| +17 x167 | |
| +18 x168 | |
| +19 x169 | |
| +20 x170 | |
| +21 x171 | |
| +22 x172 | |
| +23 x173 | |
| +24 x174 | |
| +25 x175 | |
| +26 x176 | |
| +27 x177 | |
| +28 x178 | |
| +29 x179 | |
| +30 x180 | |
| +31 x181 | |
| +32 x182 | |
| +33 x183 | |
| +34 x184 | |
| +35 x185 | |
| +36 x186 | |
| +37 x187 | |
| +38 x188 | |
| +39 x189 | |
| +40 x190 | |
| +41 x191 | |
| +42 x192 | |
| +43 x193 | |
| +44 x194 | |
| +45 x195 | |
| +46 x196 | |
| +47 x197 | |
| +48 x198 | |
| +49 x199 | |
| +50 x200 | |
| -1 x304 | |
| = 0 | |
| c_e_x416_: | |
| +1 x201 | |
| +2 x202 | |
| +3 x203 | |
| +4 x204 | |
| +5 x205 | |
| +6 x206 | |
| +7 x207 | |
| +8 x208 | |
| +9 x209 | |
| +10 x210 | |
| +11 x211 | |
| +12 x212 | |
| +13 x213 | |
| +14 x214 | |
| +15 x215 | |
| +16 x216 | |
| +17 x217 | |
| +18 x218 | |
| +19 x219 | |
| +20 x220 | |
| +21 x221 | |
| +22 x222 | |
| +23 x223 | |
| +24 x224 | |
| +25 x225 | |
| +26 x226 | |
| +27 x227 | |
| +28 x228 | |
| +29 x229 | |
| +30 x230 | |
| +31 x231 | |
| +32 x232 | |
| +33 x233 | |
| +34 x234 | |
| +35 x235 | |
| +36 x236 | |
| +37 x237 | |
| +38 x238 | |
| +39 x239 | |
| +40 x240 | |
| +41 x241 | |
| +42 x242 | |
| +43 x243 | |
| +44 x244 | |
| +45 x245 | |
| +46 x246 | |
| +47 x247 | |
| +48 x248 | |
| +49 x249 | |
| +50 x250 | |
| -1 x305 | |
| = 0 | |
| c_e_ONE_VAR_CONSTANT: | |
| ONE_VAR_CONSTANT = 1.0 | |
| bounds | |
| 0 <= x1 <= 1 | |
| 0 <= x2 <= 1 | |
| 0 <= x3 <= 1 | |
| 0 <= x4 <= 1 | |
| 0 <= x5 <= 1 | |
| 0 <= x6 <= 1 | |
| 0 <= x7 <= 1 | |
| 0 <= x8 <= 1 | |
| 0 <= x9 <= 1 | |
| 0 <= x10 <= 1 | |
| 0 <= x11 <= 1 | |
| 0 <= x12 <= 1 | |
| 0 <= x13 <= 1 | |
| 0 <= x14 <= 1 | |
| 0 <= x15 <= 1 | |
| 0 <= x16 <= 1 | |
| 0 <= x17 <= 1 | |
| 0 <= x18 <= 1 | |
| 0 <= x19 <= 1 | |
| 0 <= x20 <= 1 | |
| 0 <= x21 <= 1 | |
| 0 <= x22 <= 1 | |
| 0 <= x23 <= 1 | |
| 0 <= x24 <= 1 | |
| 0 <= x25 <= 1 | |
| 0 <= x26 <= 1 | |
| 0 <= x27 <= 1 | |
| 0 <= x28 <= 1 | |
| 0 <= x29 <= 1 | |
| 0 <= x30 <= 1 | |
| 0 <= x31 <= 1 | |
| 0 <= x32 <= 1 | |
| 0 <= x33 <= 1 | |
| 0 <= x34 <= 1 | |
| 0 <= x35 <= 1 | |
| 0 <= x36 <= 1 | |
| 0 <= x37 <= 1 | |
| 0 <= x38 <= 1 | |
| 0 <= x39 <= 1 | |
| 0 <= x40 <= 1 | |
| 0 <= x41 <= 1 | |
| 0 <= x42 <= 1 | |
| 0 <= x43 <= 1 | |
| 0 <= x44 <= 1 | |
| 0 <= x45 <= 1 | |
| 0 <= x46 <= 1 | |
| 0 <= x47 <= 1 | |
| 0 <= x48 <= 1 | |
| 0 <= x49 <= 1 | |
| 0 <= x50 <= 1 | |
| 0 <= x51 <= 1 | |
| 0 <= x52 <= 1 | |
| 0 <= x53 <= 1 | |
| 0 <= x54 <= 1 | |
| 0 <= x55 <= 1 | |
| 0 <= x56 <= 1 | |
| 0 <= x57 <= 1 | |
| 0 <= x58 <= 1 | |
| 0 <= x59 <= 1 | |
| 0 <= x60 <= 1 | |
| 0 <= x61 <= 1 | |
| 0 <= x62 <= 1 | |
| 0 <= x63 <= 1 | |
| 0 <= x64 <= 1 | |
| 0 <= x65 <= 1 | |
| 0 <= x66 <= 1 | |
| 0 <= x67 <= 1 | |
| 0 <= x68 <= 1 | |
| 0 <= x69 <= 1 | |
| 0 <= x70 <= 1 | |
| 0 <= x71 <= 1 | |
| 0 <= x72 <= 1 | |
| 0 <= x73 <= 1 | |
| 0 <= x74 <= 1 | |
| 0 <= x75 <= 1 | |
| 0 <= x76 <= 1 | |
| 0 <= x77 <= 1 | |
| 0 <= x78 <= 1 | |
| 0 <= x79 <= 1 | |
| 0 <= x80 <= 1 | |
| 0 <= x81 <= 1 | |
| 0 <= x82 <= 1 | |
| 0 <= x83 <= 1 | |
| 0 <= x84 <= 1 | |
| 0 <= x85 <= 1 | |
| 0 <= x86 <= 1 | |
| 0 <= x87 <= 1 | |
| 0 <= x88 <= 1 | |
| 0 <= x89 <= 1 | |
| 0 <= x90 <= 1 | |
| 0 <= x91 <= 1 | |
| 0 <= x92 <= 1 | |
| 0 <= x93 <= 1 | |
| 0 <= x94 <= 1 | |
| 0 <= x95 <= 1 | |
| 0 <= x96 <= 1 | |
| 0 <= x97 <= 1 | |
| 0 <= x98 <= 1 | |
| 0 <= x99 <= 1 | |
| 0 <= x100 <= 1 | |
| 0 <= x101 <= 1 | |
| 0 <= x102 <= 1 | |
| 0 <= x103 <= 1 | |
| 0 <= x104 <= 1 | |
| 0 <= x105 <= 1 | |
| 0 <= x106 <= 1 | |
| 0 <= x107 <= 1 | |
| 0 <= x108 <= 1 | |
| 0 <= x109 <= 1 | |
| 0 <= x110 <= 1 | |
| 0 <= x111 <= 1 | |
| 0 <= x112 <= 1 | |
| 0 <= x113 <= 1 | |
| 0 <= x114 <= 1 | |
| 0 <= x115 <= 1 | |
| 0 <= x116 <= 1 | |
| 0 <= x117 <= 1 | |
| 0 <= x118 <= 1 | |
| 0 <= x119 <= 1 | |
| 0 <= x120 <= 1 | |
| 0 <= x121 <= 1 | |
| 0 <= x122 <= 1 | |
| 0 <= x123 <= 1 | |
| 0 <= x124 <= 1 | |
| 0 <= x125 <= 1 | |
| 0 <= x126 <= 1 | |
| 0 <= x127 <= 1 | |
| 0 <= x128 <= 1 | |
| 0 <= x129 <= 1 | |
| 0 <= x130 <= 1 | |
| 0 <= x131 <= 1 | |
| 0 <= x132 <= 1 | |
| 0 <= x133 <= 1 | |
| 0 <= x134 <= 1 | |
| 0 <= x135 <= 1 | |
| 0 <= x136 <= 1 | |
| 0 <= x137 <= 1 | |
| 0 <= x138 <= 1 | |
| 0 <= x139 <= 1 | |
| 0 <= x140 <= 1 | |
| 0 <= x141 <= 1 | |
| 0 <= x142 <= 1 | |
| 0 <= x143 <= 1 | |
| 0 <= x144 <= 1 | |
| 0 <= x145 <= 1 | |
| 0 <= x146 <= 1 | |
| 0 <= x147 <= 1 | |
| 0 <= x148 <= 1 | |
| 0 <= x149 <= 1 | |
| 0 <= x150 <= 1 | |
| 0 <= x151 <= 1 | |
| 0 <= x152 <= 1 | |
| 0 <= x153 <= 1 | |
| 0 <= x154 <= 1 | |
| 0 <= x155 <= 1 | |
| 0 <= x156 <= 1 | |
| 0 <= x157 <= 1 | |
| 0 <= x158 <= 1 | |
| 0 <= x159 <= 1 | |
| 0 <= x160 <= 1 | |
| 0 <= x161 <= 1 | |
| 0 <= x162 <= 1 | |
| 0 <= x163 <= 1 | |
| 0 <= x164 <= 1 | |
| 0 <= x165 <= 1 | |
| 0 <= x166 <= 1 | |
| 0 <= x167 <= 1 | |
| 0 <= x168 <= 1 | |
| 0 <= x169 <= 1 | |
| 0 <= x170 <= 1 | |
| 0 <= x171 <= 1 | |
| 0 <= x172 <= 1 | |
| 0 <= x173 <= 1 | |
| 0 <= x174 <= 1 | |
| 0 <= x175 <= 1 | |
| 0 <= x176 <= 1 | |
| 0 <= x177 <= 1 | |
| 0 <= x178 <= 1 | |
| 0 <= x179 <= 1 | |
| 0 <= x180 <= 1 | |
| 0 <= x181 <= 1 | |
| 0 <= x182 <= 1 | |
| 0 <= x183 <= 1 | |
| 0 <= x184 <= 1 | |
| 0 <= x185 <= 1 | |
| 0 <= x186 <= 1 | |
| 0 <= x187 <= 1 | |
| 0 <= x188 <= 1 | |
| 0 <= x189 <= 1 | |
| 0 <= x190 <= 1 | |
| 0 <= x191 <= 1 | |
| 0 <= x192 <= 1 | |
| 0 <= x193 <= 1 | |
| 0 <= x194 <= 1 | |
| 0 <= x195 <= 1 | |
| 0 <= x196 <= 1 | |
| 0 <= x197 <= 1 | |
| 0 <= x198 <= 1 | |
| 0 <= x199 <= 1 | |
| 0 <= x200 <= 1 | |
| 0 <= x201 <= 1 | |
| 0 <= x202 <= 1 | |
| 0 <= x203 <= 1 | |
| 0 <= x204 <= 1 | |
| 0 <= x205 <= 1 | |
| 0 <= x206 <= 1 | |
| 0 <= x207 <= 1 | |
| 0 <= x208 <= 1 | |
| 0 <= x209 <= 1 | |
| 0 <= x210 <= 1 | |
| 0 <= x211 <= 1 | |
| 0 <= x212 <= 1 | |
| 0 <= x213 <= 1 | |
| 0 <= x214 <= 1 | |
| 0 <= x215 <= 1 | |
| 0 <= x216 <= 1 | |
| 0 <= x217 <= 1 | |
| 0 <= x218 <= 1 | |
| 0 <= x219 <= 1 | |
| 0 <= x220 <= 1 | |
| 0 <= x221 <= 1 | |
| 0 <= x222 <= 1 | |
| 0 <= x223 <= 1 | |
| 0 <= x224 <= 1 | |
| 0 <= x225 <= 1 | |
| 0 <= x226 <= 1 | |
| 0 <= x227 <= 1 | |
| 0 <= x228 <= 1 | |
| 0 <= x229 <= 1 | |
| 0 <= x230 <= 1 | |
| 0 <= x231 <= 1 | |
| 0 <= x232 <= 1 | |
| 0 <= x233 <= 1 | |
| 0 <= x234 <= 1 | |
| 0 <= x235 <= 1 | |
| 0 <= x236 <= 1 | |
| 0 <= x237 <= 1 | |
| 0 <= x238 <= 1 | |
| 0 <= x239 <= 1 | |
| 0 <= x240 <= 1 | |
| 0 <= x241 <= 1 | |
| 0 <= x242 <= 1 | |
| 0 <= x243 <= 1 | |
| 0 <= x244 <= 1 | |
| 0 <= x245 <= 1 | |
| 0 <= x246 <= 1 | |
| 0 <= x247 <= 1 | |
| 0 <= x248 <= 1 | |
| 0 <= x249 <= 1 | |
| 0 <= x250 <= 1 | |
| -inf <= x251 <= +inf | |
| -inf <= x252 <= +inf | |
| -inf <= x253 <= +inf | |
| -inf <= x254 <= +inf | |
| -inf <= x255 <= +inf | |
| -inf <= x256 <= +inf | |
| -inf <= x257 <= +inf | |
| -inf <= x258 <= +inf | |
| -inf <= x259 <= +inf | |
| -inf <= x260 <= +inf | |
| -inf <= x261 <= +inf | |
| -inf <= x262 <= +inf | |
| -inf <= x263 <= +inf | |
| -inf <= x264 <= +inf | |
| -inf <= x265 <= +inf | |
| -inf <= x266 <= +inf | |
| -inf <= x267 <= +inf | |
| -inf <= x268 <= +inf | |
| -inf <= x269 <= +inf | |
| -inf <= x270 <= +inf | |
| -inf <= x271 <= +inf | |
| -inf <= x272 <= +inf | |
| -inf <= x273 <= +inf | |
| -inf <= x274 <= +inf | |
| -inf <= x275 <= +inf | |
| -inf <= x276 <= +inf | |
| -inf <= x277 <= +inf | |
| -inf <= x278 <= +inf | |
| -inf <= x279 <= +inf | |
| -inf <= x280 <= +inf | |
| -inf <= x281 <= +inf | |
| -inf <= x282 <= +inf | |
| -inf <= x283 <= +inf | |
| -inf <= x284 <= +inf | |
| -inf <= x285 <= +inf | |
| -inf <= x286 <= +inf | |
| -inf <= x287 <= +inf | |
| -inf <= x288 <= +inf | |
| -inf <= x289 <= +inf | |
| -inf <= x290 <= +inf | |
| -inf <= x291 <= +inf | |
| -inf <= x292 <= +inf | |
| -inf <= x293 <= +inf | |
| -inf <= x294 <= +inf | |
| -inf <= x295 <= +inf | |
| -inf <= x296 <= +inf | |
| -inf <= x297 <= +inf | |
| -inf <= x298 <= +inf | |
| -inf <= x299 <= +inf | |
| -inf <= x300 <= +inf | |
| -inf <= x301 <= +inf | |
| -inf <= x302 <= +inf | |
| -inf <= x303 <= +inf | |
| -inf <= x304 <= +inf | |
| -inf <= x305 <= +inf | |
| binary | |
| x1 | |
| x2 | |
| x3 | |
| x4 | |
| x5 | |
| x6 | |
| x7 | |
| x8 | |
| x9 | |
| x10 | |
| x11 | |
| x12 | |
| x13 | |
| x14 | |
| x15 | |
| x16 | |
| x17 | |
| x18 | |
| x19 | |
| x20 | |
| x21 | |
| x22 | |
| x23 | |
| x24 | |
| x25 | |
| x26 | |
| x27 | |
| x28 | |
| x29 | |
| x30 | |
| x31 | |
| x32 | |
| x33 | |
| x34 | |
| x35 | |
| x36 | |
| x37 | |
| x38 | |
| x39 | |
| x40 | |
| x41 | |
| x42 | |
| x43 | |
| x44 | |
| x45 | |
| x46 | |
| x47 | |
| x48 | |
| x49 | |
| x50 | |
| x51 | |
| x52 | |
| x53 | |
| x54 | |
| 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 | |
| x181 | |
| 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 | |
| x212 | |
| x213 | |
| x214 | |
| x215 | |
| x216 | |
| x217 | |
| x218 | |
| x219 | |
| x220 | |
| x221 | |
| x222 | |
| x223 | |
| x224 | |
| x225 | |
| x226 | |
| x227 | |
| x228 | |
| x229 | |
| x230 | |
| x231 | |
| x232 | |
| x233 | |
| x234 | |
| x235 | |
| x236 | |
| x237 | |
| x238 | |
| x239 | |
| x240 | |
| x241 | |
| x242 | |
| x243 | |
| x244 | |
| x245 | |
| x246 | |
| x247 | |
| x248 | |
| x249 | |
| x250 | |
| end |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment