inf
Description
Infeasible nonlinear and mixed-integer nonlinear optimization problems. There are 790
instances listed here. 22
instances return error when loading.
Source
These instances are recorded in a paper: Puranik, Y. and N. V. Sahinidis, Deletion presolve for accelerating infeasibility diagnosis in optimization models, INFORMS Journal on Computing, accepted, 2017. We excluded the linear and mixed-integer linear problems from the original library. Paper Link
Instance Stats
LT is the JuMP model loading time.
NAME | LT | NLOPERATOR | SENSE | VAR | BINVAR | INTVAR | CON | LINCON | NLCONS | OTHERCONS |
---|---|---|---|---|---|---|---|---|---|---|
inf_dnlp_1 | - | - | - | - | - | - | - | - | - | |
inf_minlp_1 | 13.05 | mul | Max | 4369 | 0 | 288 | 3603 | 3049 | 554 | 0 |
inf_minlp_10 | 1.11 | powerfrac exp log div mul powervar | Max | 12 | 0 | 4 | 4 | 0 | 4 | 0 |
inf_minlp_100 | 1.95 | mul | Min | 153 | 56 | 43 | 410 | 402 | 8 | 0 |
inf_minlp_101 | 2.11 | mul | Min | 259 | 224 | 0 | 370 | 298 | 72 | 0 |
inf_minlp_102 | 2.0 | mul | Max | 447 | 141 | 0 | 449 | 448 | 1 | 0 |
inf_minlp_103 | 1.95 | mul | Min | 204 | 175 | 0 | 284 | 242 | 42 | 0 |
inf_minlp_104 | 1.98 | mul | Min | 153 | 56 | 43 | 410 | 402 | 8 | 0 |
inf_minlp_105 | 17.74 | mul | Min | 57 | 56 | 0 | 43 | 42 | 1 | 0 |
inf_minlp_106 | 2.8 | mul | Min | 5 | 0 | 4 | 174 | 8 | 166 | 0 |
inf_minlp_107 | 1.55 | mul | Min | 26 | 10 | 0 | 76 | 66 | 10 | 0 |
inf_minlp_108 | 13.13 | mul | Max | 4081 | 0 | 288 | 3303 | 2701 | 602 | 0 |
inf_minlp_109 | 2.32 | mul | Min | 267 | 110 | 44 | 598 | 556 | 42 | 0 |
inf_minlp_11 | 10.71 | powerfrac | Max | 2053 | 570 | 15 | 7790 | 7673 | 117 | 0 |
inf_minlp_110 | 2.3 | mul | Min | 245 | 124 | 0 | 283 | 42 | 241 | 0 |
inf_minlp_111 | 2.24 | mul | Min | 259 | 224 | 0 | 370 | 298 | 72 | 0 |
inf_minlp_112 | 11.38 | mul | Max | 2929 | 0 | 288 | 2103 | 1501 | 602 | 0 |
inf_minlp_113 | 2.29 | mul | Min | 125 | 64 | 0 | 283 | 42 | 241 | 0 |
inf_minlp_114 | 13.51 | mul | Max | 4323 | 0 | 288 | 3651 | 2497 | 1154 | 0 |
inf_minlp_115 | 1.55 | mul | Min | 83 | 80 | 0 | 77 | 71 | 6 | 0 |
inf_minlp_116 | 2.19 | mul | Min | 262 | 224 | 0 | 389 | 293 | 96 | 0 |
inf_minlp_117 | 2.17 | mul | Min | 259 | 224 | 0 | 370 | 298 | 72 | 0 |
inf_minlp_118 | 1.6 | mul | Max | 166 | 39 | 0 | 172 | 133 | 39 | 0 |
inf_minlp_119 | 1.48 | mul | Min | 26 | 10 | 0 | 76 | 66 | 10 | 0 |
inf_minlp_12 | 2.17 | mul | Min | 308 | 273 | 0 | 402 | 346 | 56 | 0 |
inf_minlp_120 | 2.11 | mul | Min | 250 | 215 | 0 | 334 | 259 | 75 | 0 |
inf_minlp_121 | 11.44 | mul | Max | 2929 | 0 | 288 | 2103 | 1501 | 602 | 0 |
inf_minlp_122 | 1.57 | mul | Max | 5 | 0 | 4 | 22 | 8 | 14 | 0 |
inf_minlp_123 | 1.31 | mul | Min | 11 | 0 | 10 | 11 | 1 | 10 | 0 |
inf_minlp_124 | 1.3 | mul | Min | 11 | 0 | 10 | 11 | 1 | 10 | 0 |
inf_minlp_125 | 2.09 | mul | Max | 447 | 141 | 0 | 449 | 448 | 1 | 0 |
inf_minlp_126 | 1.32 | mul | Min | 11 | 0 | 10 | 11 | 1 | 10 | 0 |
inf_minlp_127 | 1.32 | mul | Min | 6 | 0 | 5 | 6 | 1 | 5 | 0 |
inf_minlp_128 | 1.44 | mul | Max | 11 | 0 | 4 | 22 | 8 | 14 | 0 |
inf_minlp_129 | 1.59 | mul | Min | 26 | 10 | 0 | 76 | 66 | 10 | 0 |
inf_minlp_13 | 2.06 | mul | Max | 275 | 39 | 0 | 327 | 284 | 43 | 0 |
inf_minlp_130 | 1.94 | mul | Max | 275 | 39 | 0 | 333 | 290 | 43 | 0 |
inf_minlp_131 | 1.26 | exp powervar | Min | 5 | 0 | 4 | 16 | 0 | 16 | 0 |
inf_minlp_132 | 3.04 | mul | Min | 5 | 0 | 4 | 174 | 8 | 166 | 0 |
inf_minlp_133 | 1.85 | mul | Max | 205 | 50 | 0 | 293 | 292 | 1 | 0 |
inf_minlp_134 | 2.36 | mul | Min | 415 | 396 | 0 | 510 | 312 | 198 | 0 |
inf_minlp_135 | 1.52 | mul | Min | 83 | 80 | 0 | 77 | 71 | 6 | 0 |
inf_minlp_136 | 2.34 | mul | Max | 402 | 15 | 0 | 517 | 501 | 16 | 0 |
inf_minlp_137 | 1.26 | exp powervar | Min | 5 | 0 | 4 | 24 | 0 | 24 | 0 |
inf_minlp_138 | 1.6 | mul | Min | 46 | 8 | 0 | 47 | 39 | 8 | 0 |
inf_minlp_139 | 2.37 | mul | Min | 262 | 224 | 0 | 389 | 293 | 96 | 0 |
inf_minlp_14 | 2.55 | mul | Min | 381 | 340 | 0 | 528 | 438 | 90 | 0 |
inf_minlp_140 | 1.02 | log sqrt div | Min | 3 | 0 | 1 | 3 | 0 | 3 | 0 |
inf_minlp_141 | 13.19 | mul | Max | 4081 | 0 | 288 | 3303 | 2701 | 602 | 0 |
inf_minlp_142 | 1.56 | mul | Max | 5 | 0 | 4 | 22 | 8 | 14 | 0 |
inf_minlp_143 | 1.63 | mul | Max | 73 | 22 | 0 | 74 | 72 | 2 | 0 |
inf_minlp_144 | 2.07 | mul | Min | 250 | 215 | 0 | 334 | 259 | 75 | 0 |
inf_minlp_145 | 1.51 | mul | Max | 196 | 182 | 0 | 65 | 53 | 12 | 0 |
inf_minlp_146 | 28.23 | sqrt | Min | 1834 | 1833 | 0 | 2042 | 1951 | 91 | 0 |
inf_minlp_147 | 13.54 | mul | Max | 4323 | 0 | 288 | 3651 | 2497 | 1154 | 0 |
inf_minlp_148 | 28.0 | sqrt | Min | 1834 | 1833 | 0 | 2042 | 1951 | 91 | 0 |
inf_minlp_149 | 1.78 | mul | Max | 271 | 85 | 0 | 273 | 272 | 1 | 0 |
inf_minlp_15 | 13.06 | mul | Max | 4369 | 0 | 288 | 3603 | 3049 | 554 | 0 |
inf_minlp_150 | 1.47 | mul | Min | 26 | 10 | 0 | 76 | 66 | 10 | 0 |
inf_minlp_151 | 11.37 | mul | Max | 2929 | 0 | 288 | 2103 | 1501 | 602 | 0 |
inf_minlp_152 | 28.01 | sqrt | Min | 1834 | 1833 | 0 | 2042 | 1951 | 91 | 0 |
inf_minlp_153 | 1.07 | powerfrac exp log div mul powervar | Max | 12 | 0 | 4 | 4 | 0 | 4 | 0 |
inf_minlp_154 | 1.61 | sqrt div mul | Min | 33 | 0 | 1 | 31 | 16 | 15 | 0 |
inf_minlp_155 | 2.24 | mul | Min | 250 | 215 | 0 | 334 | 259 | 75 | 0 |
inf_minlp_156 | 1.45 | mul | Max | 11 | 0 | 4 | 22 | 8 | 14 | 0 |
inf_minlp_157 | 2.18 | mul | Min | 207 | 175 | 0 | 303 | 240 | 63 | 0 |
inf_minlp_158 | 1.37 | mul | Max | 5 | 0 | 4 | 16 | 8 | 8 | 0 |
inf_minlp_159 | 28.16 | sqrt | Min | 1834 | 1833 | 0 | 2042 | 1951 | 91 | 0 |
inf_minlp_16 | 13.27 | mul | Max | 4081 | 0 | 288 | 3303 | 2701 | 602 | 0 |
inf_minlp_160 | 1.78 | mul | Max | 271 | 85 | 0 | 273 | 272 | 1 | 0 |
inf_minlp_161 | 1.59 | mul | Max | 73 | 22 | 0 | 74 | 72 | 2 | 0 |
inf_minlp_162 | 1.36 | mul | Min | 13 | 6 | 0 | 29 | 3 | 26 | 0 |
inf_minlp_163 | 3.17 | mul | Min | 474 | 163 | 0 | 924 | 676 | 248 | 0 |
inf_minlp_164 | 1.66 | mul | Min | 83 | 80 | 0 | 77 | 71 | 6 | 0 |
inf_minlp_165 | 2.19 | mul | Min | 262 | 224 | 0 | 389 | 293 | 96 | 0 |
inf_minlp_166 | 1.71 | mul | Min | 166 | 32 | 133 | 167 | 135 | 32 | 0 |
inf_minlp_167 | 2.26 | mul | Min | 317 | 279 | 0 | 445 | 364 | 81 | 0 |
inf_minlp_168 | 13.53 | mul | Max | 4323 | 0 | 288 | 3651 | 2497 | 1154 | 0 |
inf_minlp_169 | 1.76 | mul | Max | 271 | 85 | 0 | 273 | 272 | 1 | 0 |
inf_minlp_17 | 2.29 | sqrt mul log10 | Min | 421 | 100 | 300 | 441 | 340 | 101 | 0 |
inf_minlp_170 | 13.56 | mul | Max | 4322 | 0 | 288 | 3651 | 2497 | 1154 | 0 |
inf_minlp_171 | 2.19 | mul | Min | 125 | 64 | 0 | 283 | 42 | 241 | 0 |
inf_minlp_172 | 1.97 | mul | Max | 275 | 39 | 0 | 330 | 287 | 43 | 0 |
inf_minlp_173 | 1.79 | mul | Min | 166 | 32 | 133 | 167 | 135 | 32 | 0 |
inf_minlp_174 | 1.78 | mul | Min | 166 | 32 | 133 | 167 | 135 | 32 | 0 |
inf_minlp_175 | 1.51 | mul | Max | 5 | 0 | 4 | 16 | 8 | 8 | 0 |
inf_minlp_176 | 2.21 | mul | Min | 580 | 2 | 0 | 435 | 290 | 145 | 0 |
inf_minlp_177 | 1.37 | mul | Min | 51 | 2 | 0 | 38 | 25 | 13 | 0 |
inf_minlp_178 | 1.33 | mul | Min | 51 | 2 | 0 | 38 | 25 | 13 | 0 |
inf_minlp_179 | 2.12 | mul | Min | 250 | 215 | 0 | 334 | 259 | 75 | 0 |
inf_minlp_18 | 2.32 | sqrt mul log10 | Min | 421 | 100 | 300 | 441 | 340 | 101 | 0 |
inf_minlp_180 | 2.16 | mul | Min | 577 | 144 | 0 | 361 | 288 | 73 | 0 |
inf_minlp_181 | 11.12 | mul | Max | 2929 | 0 | 288 | 2103 | 1501 | 602 | 0 |
inf_minlp_182 | 2.29 | mul | Min | 577 | 144 | 0 | 361 | 288 | 73 | 0 |
inf_minlp_183 | 1.56 | mul | Min | 26 | 10 | 0 | 76 | 66 | 10 | 0 |
inf_minlp_184 | 1.05 | log sqrt div | Min | 3 | 0 | 1 | 3 | 0 | 3 | 0 |
inf_minlp_185 | 1.94 | mul | Min | 204 | 175 | 0 | 284 | 242 | 42 | 0 |
inf_minlp_186 | 2.19 | mul | Min | 125 | 64 | 0 | 283 | 42 | 241 | 0 |
inf_minlp_187 | 13.52 | mul | Max | 4323 | 0 | 288 | 3651 | 2497 | 1154 | 0 |
inf_minlp_188 | 2.22 | mul | Min | 577 | 144 | 0 | 361 | 288 | 73 | 0 |
inf_minlp_189 | 2.13 | mul | Min | 259 | 224 | 0 | 370 | 298 | 72 | 0 |
inf_minlp_19 | 9.2 | sqrt div mul log10 | Min | 3691 | 900 | 2700 | 3751 | 2820 | 931 | 0 |
inf_minlp_190 | 1.81 | mul | Max | 271 | 85 | 0 | 273 | 272 | 1 | 0 |
inf_minlp_191 | 1.93 | mul | Max | 275 | 39 | 0 | 333 | 290 | 43 | 0 |
inf_minlp_192 | 1.45 | mul | Min | 62 | 12 | 0 | 44 | 31 | 13 | 0 |
inf_minlp_193 | 1.35 | mul | Max | 5 | 0 | 4 | 16 | 8 | 8 | 0 |
inf_minlp_194 | 2.26 | mul | Max | 667 | 211 | 0 | 669 | 668 | 1 | 0 |
inf_minlp_195 | 1.48 | mul | Min | 62 | 12 | 0 | 44 | 31 | 13 | 0 |
inf_minlp_196 | 1.37 | mul | Min | 61 | 12 | 0 | 43 | 30 | 13 | 0 |
inf_minlp_197 | 1.44 | mul | Max | 11 | 0 | 4 | 22 | 8 | 14 | 0 |
inf_minlp_198 | 6.45 | powerfrac exp log div | Min | 2925 | 1 | 0 | 2232 | 660 | 1572 | 0 |
inf_minlp_199 | 4.19 | mul | Min | 277 | 114 | 0 | 2407 | 2191 | 216 | 0 |
inf_minlp_2 | 2.16 | mul | Min | 314 | 279 | 0 | 426 | 372 | 54 | 0 |
inf_minlp_20 | 9.15 | sqrt div mul log10 | Min | 3691 | 900 | 2700 | 3751 | 2820 | 931 | 0 |
inf_minlp_200 | 2.23 | mul | Min | 125 | 64 | 0 | 283 | 42 | 241 | 0 |
inf_minlp_201 | 1.48 | mul | Max | 11 | 0 | 4 | 22 | 8 | 14 | 0 |
inf_minlp_202 | - | - | - | - | - | - | - | - | - | |
inf_minlp_203 | 1.09 | log sqrt div | Min | 3 | 0 | 1 | 3 | 0 | 3 | 0 |
inf_minlp_204 | 1.47 | mul | Max | 17 | 4 | 4 | 27 | 26 | 1 | 0 |
inf_minlp_205 | 1.55 | mul | Min | 26 | 10 | 0 | 76 | 66 | 10 | 0 |
inf_minlp_206 | 1.46 | mul | Max | 11 | 0 | 4 | 22 | 8 | 14 | 0 |
inf_minlp_207 | 13.29 | mul | Max | 4323 | 0 | 288 | 3559 | 2405 | 1154 | 0 |
inf_minlp_208 | 1.44 | mul | Max | 11 | 0 | 4 | 22 | 8 | 14 | 0 |
inf_minlp_209 | 1.42 | mul | Max | 11 | 0 | 4 | 22 | 8 | 14 | 0 |
inf_minlp_21 | 1.95 | mul | Max | 275 | 39 | 0 | 333 | 290 | 43 | 0 |
inf_minlp_210 | 1.55 | mul | Max | 11 | 0 | 4 | 22 | 8 | 14 | 0 |
inf_minlp_211 | 1.76 | sqrt | Min | 39 | 36 | 0 | 132 | 111 | 21 | 0 |
inf_minlp_212 | 2.24 | mul | Min | 317 | 279 | 0 | 445 | 364 | 81 | 0 |
inf_minlp_213 | 2.06 | mul | Min | 198 | 169 | 0 | 260 | 216 | 44 | 0 |
inf_minlp_214 | 1.42 | mul | Max | 11 | 0 | 4 | 22 | 8 | 14 | 0 |
inf_minlp_215 | 2.08 | sqrt div | Min | 91 | 0 | 90 | 181 | 1 | 180 | 0 |
inf_minlp_216 | 13.07 | mul | Max | 4081 | 0 | 288 | 3303 | 2701 | 602 | 0 |
inf_minlp_217 | 1.49 | mul | Min | 25 | 12 | 12 | 44 | 38 | 6 | 0 |
inf_minlp_218 | 1.04 | log sqrt div | Min | 3 | 0 | 1 | 3 | 0 | 3 | 0 |
inf_minlp_219 | 1.92 | mul | Min | 97 | 38 | 0 | 289 | 251 | 38 | 0 |
inf_minlp_22 | 2.21 | mul | Min | 308 | 270 | 0 | 409 | 325 | 84 | 0 |
inf_minlp_220 | 2.18 | mul | Min | 259 | 224 | 0 | 370 | 298 | 72 | 0 |
inf_minlp_221 | 2.01 | mul | Min | 283 | 12 | 0 | 408 | 407 | 1 | 0 |
inf_minlp_222 | 1.08 | powerfrac exp log div mul powervar | Max | 12 | 0 | 4 | 4 | 0 | 4 | 0 |
inf_minlp_223 | 1.79 | mul | Min | 271 | 85 | 0 | 320 | 319 | 1 | 0 |
inf_minlp_224 | 1.64 | mul | Min | 52 | 20 | 0 | 154 | 134 | 20 | 0 |
inf_minlp_225 | 1.68 | mul | Min | 83 | 80 | 0 | 78 | 72 | 6 | 0 |
inf_minlp_226 | 3.78 | mul | Min | 1027 | 514 | 0 | 1095 | 1062 | 33 | 0 |
inf_minlp_227 | 2.1 | mul | Max | 275 | 39 | 0 | 333 | 290 | 43 | 0 |
inf_minlp_228 | 1.63 | mul | Min | 95 | 0 | 35 | 130 | 95 | 35 | 0 |
inf_minlp_229 | 2.07 | mul | Min | 198 | 169 | 0 | 260 | 216 | 44 | 0 |
inf_minlp_23 | 2.07 | mul | Min | 204 | 175 | 0 | 284 | 242 | 42 | 0 |
inf_minlp_230 | 1.04 | log sqrt div | Min | 3 | 0 | 1 | 3 | 0 | 3 | 0 |
inf_minlp_231 | 1.54 | mul | Max | 11 | 0 | 4 | 22 | 8 | 14 | 0 |
inf_minlp_232 | 4.49 | mul | Max | 1818 | 270 | 0 | 2184 | 1910 | 274 | 0 |
inf_minlp_233 | - | - | - | - | - | - | - | - | - | |
inf_minlp_234 | 1.97 | mul | Max | 447 | 141 | 0 | 449 | 448 | 1 | 0 |
inf_minlp_235 | 1.47 | mul | Max | 11 | 0 | 4 | 22 | 8 | 14 | 0 |
inf_minlp_236 | 1.74 | mul | Max | 271 | 85 | 0 | 273 | 272 | 1 | 0 |
inf_minlp_237 | 1.47 | mul | Min | 26 | 10 | 0 | 76 | 66 | 10 | 0 |
inf_minlp_238 | 5.81 | mul | Min | 865 | 648 | 0 | 1960 | 1959 | 1 | 0 |
inf_minlp_239 | 1.38 | powerfrac | Min | 13 | 2 | 0 | 9 | 7 | 2 | 0 |
inf_minlp_24 | 1.41 | mul | Max | 11 | 0 | 4 | 22 | 8 | 14 | 0 |
inf_minlp_240 | 1.53 | mul | Min | 26 | 10 | 0 | 76 | 66 | 10 | 0 |
inf_minlp_241 | 2.07 | mul | Min | 198 | 169 | 0 | 260 | 216 | 44 | 0 |
inf_minlp_242 | 1.38 | mul | Min | 19 | 11 | 1 | 59 | 37 | 22 | 0 |
inf_minlp_243 | 1.67 | mul | Min | 26 | 10 | 0 | 86 | 66 | 20 | 0 |
inf_minlp_244 | 1.49 | mul | Min | 27 | 10 | 0 | 79 | 69 | 10 | 0 |
inf_minlp_245 | 1.62 | mul | Min | 27 | 10 | 0 | 89 | 69 | 20 | 0 |
inf_minlp_246 | 1.96 | mul | Min | 198 | 169 | 0 | 260 | 216 | 44 | 0 |
inf_minlp_247 | 1.49 | abs | Min | 27 | 10 | 0 | 89 | 69 | 20 | 0 |
inf_minlp_248 | 4.57 | powerfrac exp log div mul | Min | 1308 | 44 | 0 | 1659 | 1285 | 374 | 0 |
inf_minlp_249 | 3.7 | mul | Min | 1029 | 514 | 0 | 1097 | 1063 | 34 | 0 |
inf_minlp_25 | 1.93 | mul | Max | 275 | 39 | 0 | 333 | 290 | 43 | 0 |
inf_minlp_250 | 2.06 | mul | Min | 207 | 175 | 0 | 303 | 240 | 63 | 0 |
inf_minlp_251 | 1.81 | mul | Max | 271 | 85 | 0 | 273 | 272 | 1 | 0 |
inf_minlp_252 | 2.29 | mul | Min | 317 | 279 | 0 | 445 | 364 | 81 | 0 |
inf_minlp_253 | 1.41 | div mul | Min | 17 | 0 | 6 | 11 | 7 | 4 | 0 |
inf_minlp_254 | 2.06 | mul | Min | 250 | 218 | 0 | 327 | 277 | 50 | 0 |
inf_minlp_255 | 1.56 | mul | Min | 27 | 10 | 0 | 89 | 69 | 20 | 0 |
inf_minlp_256 | 1.51 | mul | Min | 26 | 10 | 0 | 86 | 66 | 20 | 0 |
inf_minlp_257 | 1.91 | sqrt mul | Min | 96 | 50 | 0 | 171 | 146 | 25 | 0 |
inf_minlp_258 | 1.87 | mul | Max | 271 | 85 | 0 | 273 | 272 | 1 | 0 |
inf_minlp_259 | 1.74 | mul | Max | 271 | 85 | 0 | 273 | 272 | 1 | 0 |
inf_minlp_26 | 9.15 | sqrt div mul log10 | Min | 3691 | 900 | 2700 | 3751 | 2820 | 931 | 0 |
inf_minlp_260 | 2.06 | mul | Min | 204 | 175 | 0 | 284 | 242 | 42 | 0 |
inf_minlp_261 | 2.85 | mul | Min | 774 | 156 | 400 | 992 | 908 | 84 | 0 |
inf_minlp_262 | 1.91 | mul | Min | 240 | 222 | 0 | 137 | 129 | 8 | 0 |
inf_minlp_263 | 1.5 | mul | Max | 85 | 12 | 0 | 61 | 46 | 15 | 0 |
inf_minlp_264 | 2.35 | mul | Min | 372 | 331 | 0 | 492 | 399 | 93 | 0 |
inf_minlp_265 | 1.79 | mul | Max | 271 | 85 | 0 | 273 | 272 | 1 | 0 |
inf_minlp_266 | 1.44 | div mul | Min | 17 | 0 | 6 | 11 | 7 | 4 | 0 |
inf_minlp_267 | 1.68 | mul | Max | 85 | 12 | 0 | 61 | 46 | 15 | 0 |
inf_minlp_268 | 1.96 | mul | Min | 204 | 175 | 0 | 284 | 242 | 42 | 0 |
inf_minlp_269 | 1.06 | div | Min | 7 | 0 | 6 | 7 | 0 | 7 | 0 |
inf_minlp_27 | 9.31 | sqrt div mul log10 | Min | 3691 | 900 | 2700 | 3751 | 2820 | 931 | 0 |
inf_minlp_270 | 12.94 | mul | Max | 4081 | 0 | 288 | 3303 | 2701 | 602 | 0 |
inf_minlp_271 | 23.74 | mul | Min | 2771 | 1352 | 0 | 3193 | 2959 | 234 | 0 |
inf_minlp_272 | 1.56 | mul | Max | 85 | 12 | 0 | 61 | 46 | 15 | 0 |
inf_minlp_273 | 1.54 | mul | Max | 85 | 12 | 0 | 61 | 46 | 15 | 0 |
inf_minlp_274 | 1.56 | mul | Max | 85 | 12 | 0 | 97 | 82 | 15 | 0 |
inf_minlp_275 | 1.95 | mul | Max | 275 | 39 | 0 | 327 | 284 | 43 | 0 |
inf_minlp_276 | 2.15 | mul | Min | 250 | 215 | 0 | 334 | 259 | 75 | 0 |
inf_minlp_277 | 1.99 | sqrt div | Min | 91 | 0 | 90 | 181 | 1 | 180 | 0 |
inf_minlp_278 | 1.43 | mul | Max | 11 | 0 | 4 | 22 | 8 | 14 | 0 |
inf_minlp_279 | 2.22 | mul | Min | 250 | 215 | 0 | 334 | 259 | 75 | 0 |
inf_minlp_28 | 4.08 | sqrt mul | Min | 1641 | 0 | 420 | 1681 | 1280 | 401 | 0 |
inf_minlp_280 | 1.48 | mul | Min | 39 | 4 | 10 | 37 | 36 | 1 | 0 |
inf_minlp_281 | 2.52 | mul | Max | 526 | 300 | 0 | 898 | 798 | 100 | 0 |
inf_minlp_282 | 2.14 | mul | Min | 250 | 215 | 0 | 334 | 259 | 75 | 0 |
inf_minlp_283 | 4.16 | powerfrac | Max | 687 | 190 | 15 | 2594 | 2557 | 37 | 0 |
inf_minlp_284 | 2.09 | mul | Min | 250 | 215 | 0 | 334 | 259 | 75 | 0 |
inf_minlp_285 | 4.91 | mul | Min | 1005 | 624 | 0 | 2195 | 1707 | 488 | 0 |
inf_minlp_286 | 2.03 | mul | Max | 447 | 141 | 0 | 449 | 448 | 1 | 0 |
inf_minlp_287 | 2.11 | mul | Min | 250 | 215 | 0 | 334 | 259 | 75 | 0 |
inf_minlp_288 | 1.56 | mul | Max | 166 | 39 | 0 | 172 | 133 | 39 | 0 |
inf_minlp_289 | 1.93 | mul | Max | 275 | 39 | 0 | 333 | 290 | 43 | 0 |
inf_minlp_29 | 9.32 | sqrt div mul log10 | Min | 3691 | 900 | 2700 | 3751 | 2820 | 931 | 0 |
inf_minlp_290 | 2.2 | mul | Min | 250 | 215 | 0 | 334 | 259 | 75 | 0 |
inf_minlp_291 | 2.18 | mul | Min | 250 | 212 | 0 | 341 | 241 | 100 | 0 |
inf_minlp_292 | 15.43 | mul | Max | 1723 | 570 | 15 | 9448 | 7497 | 1951 | 0 |
inf_minlp_293 | 1.64 | mul | Min | 95 | 0 | 35 | 130 | 95 | 35 | 0 |
inf_minlp_294 | 5.82 | mul | Min | 865 | 648 | 0 | 1960 | 1959 | 1 | 0 |
inf_minlp_295 | 1.92 | mul | Min | 187 | 158 | 0 | 272 | 230 | 42 | 0 |
inf_minlp_296 | 1.98 | mul | Min | 187 | 158 | 0 | 272 | 230 | 42 | 0 |
inf_minlp_297 | 1.64 | mul | Min | 95 | 0 | 35 | 130 | 95 | 35 | 0 |
inf_minlp_298 | 4.11 | powerfrac | Max | 684 | 190 | 15 | 2590 | 2553 | 37 | 0 |
inf_minlp_299 | 15.38 | mul | Max | 4081 | 0 | 288 | 4467 | 2763 | 1704 | 0 |
inf_minlp_3 | 12.89 | mul | Max | 4369 | 0 | 288 | 3603 | 3049 | 554 | 0 |
inf_minlp_30 | 1.75 | mul | Max | 271 | 85 | 0 | 273 | 272 | 1 | 0 |
inf_minlp_300 | 13.68 | mul | Max | 4322 | 0 | 288 | 3651 | 2497 | 1154 | 0 |
inf_minlp_301 | 2.05 | sqrt div | Min | 91 | 0 | 90 | 181 | 1 | 180 | 0 |
inf_minlp_302 | 2.18 | mul | Min | 125 | 64 | 0 | 283 | 42 | 241 | 0 |
inf_minlp_303 | 2.34 | mul | Min | 361 | 72 | 0 | 577 | 417 | 160 | 0 |
inf_minlp_304 | 1.11 | exp powervar | Min | 3 | 0 | 2 | 8 | 0 | 8 | 0 |
inf_minlp_305 | 1.82 | mul | Min | 271 | 85 | 0 | 320 | 319 | 1 | 0 |
inf_minlp_306 | 1.87 | mul | Min | 73 | 53 | 0 | 38 | 30 | 8 | 0 |
inf_minlp_307 | 1.65 | mul | Min | 250 | 193 | 4 | 104 | 103 | 1 | 0 |
inf_minlp_308 | 11.39 | mul | Max | 2929 | 0 | 288 | 2103 | 1501 | 602 | 0 |
inf_minlp_309 | 1.45 | powerfrac exp log div powervar | Max | 12 | 0 | 4 | 4 | 1 | 3 | 0 |
inf_minlp_31 | 1.46 | div mul | Min | 17 | 0 | 6 | 11 | 7 | 4 | 0 |
inf_minlp_310 | 2.24 | mul | Min | 259 | 224 | 0 | 370 | 298 | 72 | 0 |
inf_minlp_311 | 2.63 | mul | Min | 454 | 0 | 183 | 637 | 454 | 183 | 0 |
inf_minlp_312 | 1.92 | mul | Max | 275 | 39 | 0 | 327 | 284 | 43 | 0 |
inf_minlp_313 | 14.99 | mul | Max | 4081 | 0 | 288 | 3315 | 2437 | 878 | 0 |
inf_minlp_314 | 18.45 | exp sqrt div mul | Min | 882 | 428 | 0 | 5296 | 1282 | 4014 | 0 |
inf_minlp_315 | 1.66 | mul | Min | 56 | 25 | 0 | 166 | 141 | 25 | 0 |
inf_minlp_316 | 1.67 | sqrt div | Min | 91 | 0 | 90 | 96 | 6 | 90 | 0 |
inf_minlp_317 | 4.06 | powerfrac | Max | 693 | 190 | 15 | 2590 | 2553 | 37 | 0 |
inf_minlp_318 | 1.07 | div | Min | 7 | 0 | 6 | 7 | 0 | 7 | 0 |
inf_minlp_319 | 2.53 | mul | Min | 454 | 0 | 183 | 637 | 454 | 183 | 0 |
inf_minlp_32 | 1.33 | mul | Min | 13 | 4 | 0 | 21 | 7 | 14 | 0 |
inf_minlp_320 | 6.08 | mul | Min | 866 | 648 | 0 | 1984 | 1959 | 25 | 0 |
inf_minlp_321 | 48.99 | div | Min | 30541 | 10540 | 0 | 822 | 640 | 182 | 0 |
inf_minlp_322 | 2.4 | sqrt div mul | Min | 290 | 203 | 0 | 589 | 456 | 133 | 0 |
inf_minlp_323 | 2.05 | mul | Min | 256 | 224 | 0 | 351 | 303 | 48 | 0 |
inf_minlp_324 | 1.06 | div | Min | 7 | 0 | 6 | 7 | 0 | 7 | 0 |
inf_minlp_325 | 1.46 | sqrt div mul | Min | 31 | 0 | 1 | 29 | 14 | 15 | 0 |
inf_minlp_326 | 1.64 | abs | Min | 17 | 6 | 0 | 55 | 43 | 12 | 0 |
inf_minlp_327 | 2.34 | sqrt div mul | Min | 283 | 196 | 0 | 542 | 409 | 133 | 0 |
inf_minlp_328 | 2.09 | mul | Min | 256 | 224 | 0 | 351 | 303 | 48 | 0 |
inf_minlp_329 | 4.15 | powerfrac | Max | 693 | 190 | 15 | 2590 | 2553 | 37 | 0 |
inf_minlp_33 | 1.77 | sqrt | Min | 39 | 36 | 0 | 130 | 109 | 21 | 0 |
inf_minlp_330 | 2.36 | mul | Min | 361 | 72 | 36 | 577 | 417 | 160 | 0 |
inf_minlp_331 | 2.02 | sqrt div | Min | 91 | 0 | 90 | 181 | 1 | 180 | 0 |
inf_minlp_332 | 2.59 | mul | Min | 454 | 0 | 183 | 637 | 454 | 183 | 0 |
inf_minlp_333 | 1.08 | exp powervar | Min | 3 | 0 | 2 | 8 | 0 | 8 | 0 |
inf_minlp_334 | 1.74 | mul | Min | 146 | 143 | 0 | 230 | 229 | 1 | 0 |
inf_minlp_335 | 2.53 | mul | Min | 454 | 0 | 183 | 637 | 454 | 183 | 0 |
inf_minlp_336 | 34.22 | mul | Min | 361 | 336 | 0 | 8634 | 573 | 8061 | 0 |
inf_minlp_337 | 2.63 | mul | Min | 361 | 72 | 36 | 577 | 361 | 216 | 0 |
inf_minlp_338 | 2.15 | mul | Min | 250 | 218 | 0 | 327 | 277 | 50 | 0 |
inf_minlp_339 | 1.46 | mul | Min | 10 | 9 | 0 | 4 | 2 | 2 | 0 |
inf_minlp_34 | 13.02 | mul | Max | 4369 | 0 | 288 | 3603 | 3049 | 554 | 0 |
inf_minlp_340 | 13.08 | mul | Max | 4369 | 0 | 288 | 3603 | 3049 | 554 | 0 |
inf_minlp_341 | 2.21 | mul | Min | 313 | 240 | 0 | 271 | 31 | 240 | 0 |
inf_minlp_342 | 4.09 | powerfrac | Max | 693 | 190 | 15 | 2590 | 2553 | 37 | 0 |
inf_minlp_343 | 2.38 | mul | Min | 265 | 240 | 0 | 481 | 241 | 240 | 0 |
inf_minlp_344 | 12.22 | exp sqrt div mul | Min | 512 | 58 | 0 | 5295 | 1251 | 4044 | 0 |
inf_minlp_345 | 3.87 | mul | Min | 1344 | 383 | 0 | 2015 | 1919 | 96 | 0 |
inf_minlp_346 | 3.78 | powerfrac | Max | 671 | 190 | 4 | 2377 | 2340 | 37 | 0 |
inf_minlp_347 | 3.34 | mul | Min | 701 | 650 | 0 | 1301 | 651 | 650 | 0 |
inf_minlp_348 | 2.22 | mul | Min | 308 | 270 | 0 | 409 | 325 | 84 | 0 |
inf_minlp_349 | 12.98 | mul | Max | 4081 | 0 | 288 | 3303 | 2701 | 602 | 0 |
inf_minlp_35 | 13.04 | mul | Max | 4369 | 0 | 288 | 3603 | 3049 | 554 | 0 |
inf_minlp_350 | 4.75 | mul | Min | 2073 | 1576 | 496 | 717 | 716 | 1 | 0 |
inf_minlp_351 | 1.51 | mul | Max | 73 | 22 | 0 | 86 | 84 | 2 | 0 |
inf_minlp_352 | 1.41 | div mul | Min | 17 | 0 | 6 | 11 | 7 | 4 | 0 |
inf_minlp_353 | 13.12 | mul | Max | 4081 | 0 | 288 | 3303 | 2701 | 602 | 0 |
inf_minlp_354 | 1.4 | mul | Max | 5 | 2 | 0 | 11 | 1 | 10 | 0 |
inf_minlp_355 | 13.38 | mul | Max | 4323 | 0 | 288 | 3651 | 2497 | 1154 | 0 |
inf_minlp_356 | 2.97 | mul | Min | 5 | 0 | 4 | 174 | 8 | 166 | 0 |
inf_minlp_357 | 1.48 | mul | Min | 17 | 6 | 0 | 49 | 43 | 6 | 0 |
inf_minlp_358 | 1.45 | div mul | Min | 17 | 0 | 6 | 11 | 7 | 4 | 0 |
inf_minlp_359 | 1.76 | mul | Min | 73 | 53 | 0 | 38 | 30 | 8 | 0 |
inf_minlp_36 | 2.13 | div | Max | 224 | 185 | 0 | 630 | 445 | 185 | 0 |
inf_minlp_360 | 13.54 | mul | Max | 4323 | 0 | 288 | 3651 | 2497 | 1154 | 0 |
inf_minlp_361 | 1.45 | div mul | Min | 17 | 0 | 6 | 11 | 7 | 4 | 0 |
inf_minlp_362 | 3.03 | mul | Min | 551 | 500 | 0 | 951 | 501 | 450 | 0 |
inf_minlp_363 | 1.25 | exp powervar | Min | 5 | 0 | 4 | 24 | 0 | 24 | 0 |
inf_minlp_364 | 1.42 | div mul | Min | 18 | 0 | 7 | 11 | 7 | 4 | 0 |
inf_minlp_365 | 1.5 | mul | Min | 37 | 16 | 0 | 25 | 21 | 4 | 0 |
inf_minlp_366 | 1.42 | div mul | Min | 17 | 0 | 6 | 11 | 7 | 4 | 0 |
inf_minlp_367 | 13.21 | mul | Max | 4081 | 0 | 288 | 3303 | 2701 | 602 | 0 |
inf_minlp_368 | 1.53 | mul | Min | 26 | 10 | 0 | 76 | 66 | 10 | 0 |
inf_minlp_369 | 2.38 | mul | Min | 732 | 146 | 0 | 513 | 293 | 220 | 0 |
inf_minlp_37 | 2.16 | mul | Min | 308 | 273 | 0 | 402 | 346 | 56 | 0 |
inf_minlp_370 | 1.5 | mul | Max | 13 | 6 | 0 | 29 | 3 | 26 | 0 |
inf_minlp_371 | 1.4 | div mul | Min | 17 | 0 | 6 | 11 | 7 | 4 | 0 |
inf_minlp_372 | 2.18 | mul | Min | 314 | 279 | 0 | 426 | 372 | 54 | 0 |
inf_minlp_373 | 1.44 | div mul | Min | 17 | 0 | 6 | 11 | 7 | 4 | 0 |
inf_minlp_374 | 9.45 | exp sqrt div mul | Min | 623 | 206 | 0 | 3524 | 1268 | 2256 | 0 |
inf_minlp_375 | 2.2 | mul | Min | 308 | 270 | 0 | 409 | 325 | 84 | 0 |
inf_minlp_376 | 1.42 | div mul | Min | 17 | 0 | 6 | 11 | 7 | 4 | 0 |
inf_minlp_377 | 2.17 | mul | Min | 259 | 224 | 0 | 370 | 298 | 72 | 0 |
inf_minlp_378 | 1.68 | mul | Max | 95 | 12 | 0 | 114 | 98 | 16 | 0 |
inf_minlp_379 | 15.03 | mul | Max | 4081 | 0 | 288 | 3315 | 2437 | 878 | 0 |
inf_minlp_38 | - | - | - | - | - | - | - | - | - | |
inf_minlp_380 | 3.54 | mul | Min | 566 | 555 | 0 | 551 | 1 | 550 | 0 |
inf_minlp_381 | 4.36 | mul | Min | 1641 | 400 | 1200 | 1681 | 1280 | 401 | 0 |
inf_minlp_382 | 13.74 | mul | Max | 4323 | 0 | 288 | 3559 | 2405 | 1154 | 0 |
inf_minlp_383 | 2.34 | mul | Min | 262 | 224 | 0 | 389 | 293 | 96 | 0 |
inf_minlp_384 | 11.13 | mul | Max | 2929 | 0 | 288 | 2103 | 1501 | 602 | 0 |
inf_minlp_385 | 51.27 | div | Min | 30541 | 10540 | 0 | 822 | 280 | 542 | 0 |
inf_minlp_386 | 4.26 | mul | Min | 1641 | 400 | 1200 | 1681 | 1280 | 401 | 0 |
inf_minlp_387 | 2.18 | mul | Min | 308 | 273 | 0 | 402 | 346 | 56 | 0 |
inf_minlp_388 | 4.4 | mul | Min | 1641 | 400 | 1200 | 1681 | 1280 | 401 | 0 |
inf_minlp_389 | 2.06 | div | Max | 224 | 185 | 0 | 594 | 409 | 185 | 0 |
inf_minlp_39 | 2.82 | mul | Min | 5 | 0 | 4 | 174 | 8 | 166 | 0 |
inf_minlp_390 | 1.5 | mul | Min | 26 | 10 | 0 | 76 | 66 | 10 | 0 |
inf_minlp_391 | 4.28 | mul | Min | 1641 | 400 | 1200 | 1681 | 1280 | 401 | 0 |
inf_minlp_392 | 4.38 | mul | Min | 1641 | 400 | 1200 | 1681 | 1280 | 401 | 0 |
inf_minlp_393 | 4.31 | mul | Min | 1641 | 400 | 1200 | 1681 | 1280 | 401 | 0 |
inf_minlp_394 | 1.42 | div mul | Min | 17 | 0 | 6 | 11 | 7 | 4 | 0 |
inf_minlp_395 | 11.22 | mul | Max | 2929 | 0 | 288 | 2103 | 1501 | 602 | 0 |
inf_minlp_396 | 4.23 | sqrt mul | Min | 1641 | 0 | 420 | 1681 | 1280 | 401 | 0 |
inf_minlp_397 | 4.38 | mul | Min | 1641 | 400 | 1200 | 1681 | 1280 | 401 | 0 |
inf_minlp_398 | 4.43 | mul | Min | 1641 | 400 | 1200 | 1681 | 1280 | 401 | 0 |
inf_minlp_399 | 2.63 | mul | Min | 454 | 0 | 183 | 637 | 454 | 183 | 0 |
inf_minlp_4 | 105.38 | div | Min | 60001 | 40000 | 0 | 21002 | 10460 | 10542 | 0 |
inf_minlp_40 | 12.89 | mul | Max | 4369 | 0 | 288 | 3603 | 3049 | 554 | 0 |
inf_minlp_400 | 1.68 | mul | Min | 107 | 0 | 41 | 148 | 107 | 41 | 0 |
inf_minlp_401 | 3.61 | mul | Min | 1344 | 383 | 0 | 2015 | 1919 | 96 | 0 |
inf_minlp_402 | 2.28 | mul | Max | 500 | 300 | 0 | 623 | 523 | 100 | 0 |
inf_minlp_403 | 12.56 | mul | Max | 4369 | 0 | 288 | 3603 | 3051 | 552 | 0 |
inf_minlp_404 | 49.38 | div | Min | 30541 | 10540 | 0 | 822 | 640 | 182 | 0 |
inf_minlp_405 | 17.48 | mul | Max | 4369 | 0 | 288 | 3603 | 3049 | 554 | 0 |
inf_minlp_406 | 15.06 | mul | Max | 4081 | 0 | 288 | 3315 | 2437 | 878 | 0 |
inf_minlp_407 | 12.74 | mul | Max | 4369 | 0 | 288 | 3603 | 3049 | 554 | 0 |
inf_minlp_408 | 1.41 | div mul | Min | 17 | 0 | 6 | 11 | 7 | 4 | 0 |
inf_minlp_409 | 12.85 | mul | Max | 4369 | 0 | 288 | 3603 | 3049 | 554 | 0 |
inf_minlp_41 | 12.96 | mul | Max | 4369 | 0 | 288 | 3603 | 3049 | 554 | 0 |
inf_minlp_410 | 12.98 | mul | Max | 4369 | 0 | 288 | 3603 | 3049 | 554 | 0 |
inf_minlp_411 | 1.4 | log | Max | 53 | 26 | 0 | 45 | 16 | 29 | 0 |
inf_minlp_412 | 1.64 | mul | Min | 112 | 109 | 0 | 146 | 135 | 11 | 0 |
inf_minlp_42 | 2.02 | mul | Max | 275 | 39 | 0 | 333 | 290 | 43 | 0 |
inf_minlp_43 | 13.58 | mul | Max | 4322 | 0 | 288 | 3651 | 2497 | 1154 | 0 |
inf_minlp_44 | 1.5 | mul | Min | 25 | 12 | 12 | 44 | 38 | 6 | 0 |
inf_minlp_45 | 3.26 | mul | Min | 229 | 72 | 0 | 1227 | 1011 | 216 | 0 |
inf_minlp_46 | 13.41 | mul | Max | 4322 | 0 | 288 | 3651 | 2497 | 1154 | 0 |
inf_minlp_47 | 13.8 | mul | Max | 4322 | 0 | 288 | 3651 | 2497 | 1154 | 0 |
inf_minlp_48 | 2.52 | mul | Min | 384 | 340 | 0 | 547 | 427 | 120 | 0 |
inf_minlp_49 | 1.96 | mul | Min | 198 | 169 | 0 | 260 | 216 | 44 | 0 |
inf_minlp_5 | 12.9 | mul | Max | 4369 | 0 | 288 | 3603 | 3049 | 554 | 0 |
inf_minlp_50 | 13.52 | mul | Max | 4322 | 0 | 288 | 3651 | 2497 | 1154 | 0 |
inf_minlp_51 | 1108.6 | mul abs | Min | 5016 | 5000 | 0 | 39 | 16 | 23 | 0 |
inf_minlp_52 | 1.4 | mul | Max | 11 | 0 | 4 | 22 | 8 | 14 | 0 |
inf_minlp_53 | 1.73 | mul | Max | 271 | 85 | 0 | 273 | 272 | 1 | 0 |
inf_minlp_54 | 1.74 | mul | Max | 278 | 46 | 0 | 165 | 72 | 93 | 0 |
inf_minlp_55 | 13.1 | mul | Max | 4081 | 0 | 288 | 3303 | 2701 | 602 | 0 |
inf_minlp_56 | 2.28 | mul | Max | 667 | 211 | 0 | 669 | 668 | 1 | 0 |
inf_minlp_57 | 1.53 | mul | Max | 5 | 0 | 4 | 22 | 8 | 14 | 0 |
inf_minlp_58 | 1.45 | mul | Max | 5 | 0 | 4 | 22 | 8 | 14 | 0 |
inf_minlp_59 | 5.03 | mul | Min | 1005 | 624 | 0 | 2195 | 1707 | 488 | 0 |
inf_minlp_6 | 1.97 | mul | Min | 204 | 175 | 0 | 284 | 242 | 42 | 0 |
inf_minlp_60 | 1.6 | mul | Min | 37 | 0 | 15 | 52 | 37 | 15 | 0 |
inf_minlp_61 | 1.9 | mul | Min | 198 | 169 | 0 | 260 | 216 | 44 | 0 |
inf_minlp_62 | - | - | - | - | - | - | - | - | - | |
inf_minlp_63 | 15.5 | powerfrac | Max | 8185 | 2976 | 0 | 8185 | 5953 | 2232 | 0 |
inf_minlp_64 | 13.62 | mul | Max | 4322 | 0 | 288 | 3651 | 2497 | 1154 | 0 |
inf_minlp_65 | 1.57 | mul | Max | 11 | 0 | 4 | 22 | 8 | 14 | 0 |
inf_minlp_66 | 2.04 | mul | Max | 447 | 141 | 0 | 449 | 448 | 1 | 0 |
inf_minlp_67 | 2.15 | mul | Min | 259 | 224 | 0 | 370 | 298 | 72 | 0 |
inf_minlp_68 | 6.03 | mul | Min | 1464 | 112 | 0 | 3786 | 3338 | 448 | 0 |
inf_minlp_69 | 2.81 | mul | Max | 1137 | 314 | 0 | 1138 | 1137 | 1 | 0 |
inf_minlp_7 | 13.07 | mul | Max | 4369 | 0 | 288 | 3603 | 3049 | 554 | 0 |
inf_minlp_70 | 2.83 | mul | Max | 1137 | 314 | 0 | 1138 | 1137 | 1 | 0 |
inf_minlp_71 | 2.88 | mul | Max | 1137 | 314 | 0 | 1139 | 1138 | 1 | 0 |
inf_minlp_72 | 4.94 | mul | Min | 1005 | 624 | 0 | 2195 | 1707 | 488 | 0 |
inf_minlp_73 | 1.96 | mul | Max | 275 | 39 | 0 | 333 | 290 | 43 | 0 |
inf_minlp_74 | 2.75 | mul | Max | 1145 | 314 | 0 | 1147 | 1146 | 1 | 0 |
inf_minlp_75 | 2.77 | mul | Max | 1145 | 314 | 0 | 1147 | 1146 | 1 | 0 |
inf_minlp_76 | 13.7 | mul | Max | 4323 | 0 | 288 | 3651 | 2497 | 1154 | 0 |
inf_minlp_77 | 1.52 | mul | Min | 26 | 10 | 0 | 76 | 66 | 10 | 0 |
inf_minlp_78 | 2.75 | mul | Max | 1145 | 314 | 0 | 1147 | 1146 | 1 | 0 |
inf_minlp_79 | 1.44 | mul | Max | 11 | 0 | 4 | 22 | 8 | 14 | 0 |
inf_minlp_8 | 1.74 | mul | Max | 271 | 85 | 0 | 273 | 272 | 1 | 0 |
inf_minlp_80 | 2.93 | mul | Max | 1145 | 314 | 0 | 1155 | 1154 | 1 | 0 |
inf_minlp_81 | 2.75 | mul | Max | 1137 | 314 | 0 | 1139 | 1138 | 1 | 0 |
inf_minlp_82 | 1.25 | mul | Min | 11 | 0 | 10 | 3 | 2 | 1 | 0 |
inf_minlp_83 | 1.47 | sqrt div mul | Min | 31 | 0 | 1 | 29 | 14 | 15 | 0 |
inf_minlp_84 | 2.28 | mul | Min | 317 | 279 | 0 | 445 | 364 | 81 | 0 |
inf_minlp_85 | 2.03 | mul | Min | 198 | 169 | 0 | 260 | 216 | 44 | 0 |
inf_minlp_86 | 2.01 | mul | Max | 447 | 141 | 0 | 449 | 448 | 1 | 0 |
inf_minlp_87 | 1.53 | mul | Min | 26 | 10 | 0 | 76 | 66 | 10 | 0 |
inf_minlp_88 | 4.97 | mul | Min | 1005 | 624 | 0 | 2195 | 1707 | 488 | 0 |
inf_minlp_89 | 2.95 | mul | Min | 1185 | 330 | 0 | 1187 | 1186 | 1 | 0 |
inf_minlp_9 | 39.58 | mul | Min | 8369 | 160 | 0 | 23956 | 17680 | 6276 | 0 |
inf_minlp_90 | 3.66 | div | Min | 1081 | 720 | 0 | 1362 | 1180 | 182 | 0 |
inf_minlp_91 | 1.4 | div mul | Min | 17 | 0 | 6 | 11 | 7 | 4 | 0 |
inf_minlp_92 | 2.88 | mul | Min | 1168 | 322 | 0 | 1169 | 1153 | 16 | 0 |
inf_minlp_93 | 2.89 | mul | Min | 1168 | 322 | 0 | 1169 | 1153 | 16 | 0 |
inf_minlp_94 | 2.86 | mul | Min | 1168 | 322 | 0 | 1168 | 1152 | 16 | 0 |
inf_minlp_95 | 2.12 | mul | Min | 259 | 224 | 0 | 370 | 298 | 72 | 0 |
inf_minlp_96 | 2.25 | mul | Min | 308 | 273 | 0 | 402 | 346 | 56 | 0 |
inf_minlp_97 | 1.53 | mul | Min | 26 | 10 | 0 | 76 | 66 | 10 | 0 |
inf_minlp_98 | 11.95 | mul | Max | 3045 | 0 | 294 | 2193 | 1565 | 628 | 0 |
inf_minlp_99 | 2.93 | mul | Min | 1153 | 306 | 0 | 1138 | 1121 | 17 | 0 |
inf_mip_1 | 1.89 | mul | Min | 320 | 27 | 0 | 302 | 302 | 0 | 0 |
inf_mip_10 | 81.71 | mul | Max | 6002 | 375 | 5625 | 1982 | 1982 | 0 | 0 |
inf_mip_100 | 1.64 | mul | Min | 83 | 80 | 0 | 97 | 97 | 0 | 0 |
inf_mip_101 | 1.45 | mul | Min | 57 | 56 | 0 | 71 | 71 | 0 | 0 |
inf_mip_102 | 1.61 | mul | Min | 265 | 240 | 0 | 241 | 241 | 0 | 0 |
inf_mip_103 | 1.78 | mul | Min | 125 | 84 | 0 | 229 | 229 | 0 | 0 |
inf_mip_104 | 1.52 | mul | Min | 89 | 86 | 0 | 89 | 89 | 0 | 0 |
inf_mip_105 | 1.6 | mul | Min | 265 | 240 | 0 | 241 | 241 | 0 | 0 |
inf_mip_106 | 3.3 | mul | Min | 676 | 650 | 0 | 703 | 703 | 0 | 0 |
inf_mip_107 | 1.77 | mul | Min | 257 | 12 | 0 | 254 | 254 | 0 | 0 |
inf_mip_108 | 15.65 | mul | Min | 8131 | 30 | 0 | 13522 | 13522 | 0 | 0 |
inf_mip_109 | 1.41 | mul | Min | 289 | 288 | 0 | 37 | 37 | 0 | 0 |
inf_mip_11 | 1.44 | mul | Min | 64 | 27 | 27 | 78 | 78 | 0 | 0 |
inf_mip_110 | 11.83 | mul | Max | 4321 | 0 | 288 | 3555 | 3555 | 0 | 0 |
inf_mip_111 | 26.44 | mul | Min | 3361 | 3360 | 0 | 287 | 287 | 0 | 0 |
inf_mip_112 | 80.28 | mul | Max | 6002 | 375 | 5625 | 2267 | 2267 | 0 | 0 |
inf_mip_113 | 1.39 | mul | Min | 41 | 6 | 0 | 42 | 42 | 0 | 0 |
inf_mip_114 | 82.07 | mul | Max | 6002 | 375 | 5625 | 2042 | 2042 | 0 | 0 |
inf_mip_115 | 16.7 | mul | Min | 4887 | 219 | 0 | 4809 | 4809 | 0 | 0 |
inf_mip_116 | 81.0 | mul | Max | 6002 | 375 | 5625 | 1967 | 1967 | 0 | 0 |
inf_mip_117 | 1.81 | mul | Max | 258 | 256 | 0 | 278 | 278 | 0 | 0 |
inf_mip_118 | 1.77 | mul | Min | 257 | 12 | 0 | 254 | 254 | 0 | 0 |
inf_mip_119 | 1.58 | mul | Min | 265 | 240 | 0 | 241 | 241 | 0 | 0 |
inf_mip_12 | 1.3 | mul | Min | 97 | 96 | 0 | 65 | 65 | 0 | 0 |
inf_mip_120 | 1.42 | mul | Min | 27 | 10 | 0 | 79 | 79 | 0 | 0 |
inf_mip_121 | 1.39 | mul | Min | 265 | 264 | 0 | 37 | 37 | 0 | 0 |
inf_mip_122 | 1.39 | mul | Min | 22 | 8 | 0 | 64 | 64 | 0 | 0 |
inf_mip_123 | 1.44 | mul | Min | 22 | 8 | 0 | 64 | 64 | 0 | 0 |
inf_mip_124 | 1.63 | mul | Min | 241 | 240 | 0 | 89 | 89 | 0 | 0 |
inf_mip_125 | 1.93 | mul | Min | 167 | 126 | 0 | 313 | 313 | 0 | 0 |
inf_mip_126 | 1.49 | mul | Min | 99 | 66 | 0 | 106 | 106 | 0 | 0 |
inf_mip_127 | 16.77 | mul | Min | 4887 | 219 | 0 | 4809 | 4809 | 0 | 0 |
inf_mip_128 | 1.77 | mul | Min | 194 | 27 | 0 | 302 | 302 | 0 | 0 |
inf_mip_129 | 1.42 | mul | Min | 265 | 240 | 0 | 183 | 183 | 0 | 0 |
inf_mip_13 | 2.71 | mul | Min | 1136 | 314 | 0 | 1137 | 1137 | 0 | 0 |
inf_mip_130 | 2.99 | mul | Max | 577 | 576 | 0 | 1225 | 1225 | 0 | 0 |
inf_mip_131 | 3.01 | mul | Max | 577 | 576 | 0 | 1249 | 1249 | 0 | 0 |
inf_mip_132 | 1.65 | mul | Min | 83 | 80 | 0 | 97 | 97 | 0 | 0 |
inf_mip_133 | 2.38 | mul | Min | 501 | 450 | 0 | 951 | 951 | 0 | 0 |
inf_mip_134 | 1.61 | mul | Min | 119 | 108 | 0 | 132 | 132 | 0 | 0 |
inf_mip_135 | 1.85 | mul | Min | 259 | 256 | 0 | 278 | 278 | 0 | 0 |
inf_mip_136 | 2.43 | mul | Min | 421 | 380 | 0 | 466 | 466 | 0 | 0 |
inf_mip_137 | 1.59 | mul | Min | 245 | 4 | 180 | 83 | 83 | 0 | 0 |
inf_mip_138 | 2.06 | mul | Min | 282 | 11 | 0 | 407 | 407 | 0 | 0 |
inf_mip_139 | 1.36 | mul | Min | 33 | 4 | 0 | 12 | 12 | 0 | 0 |
inf_mip_14 | 2.9 | mul | Min | 723 | 14 | 0 | 128 | 128 | 0 | 0 |
inf_mip_140 | 5.17 | mul | Min | 1572 | 138 | 0 | 3124 | 3124 | 0 | 0 |
inf_mip_15 | 1.96 | mul | Min | 311 | 18 | 0 | 302 | 302 | 0 | 0 |
inf_mip_16 | - | - | - | - | - | - | - | - | - | |
inf_mip_17 | - | - | - | - | - | - | - | - | - | |
inf_mip_18 | - | - | - | - | - | - | - | - | - | |
inf_mip_19 | - | - | - | - | - | - | - | - | - | |
inf_mip_2 | 76.74 | mul | Max | 6002 | 375 | 5625 | 2342 | 2342 | 0 | 0 |
inf_mip_20 | 1.55 | mul | Min | 91 | 90 | 0 | 67 | 67 | 0 | 0 |
inf_mip_21 | 1.42 | mul | Min | 289 | 288 | 0 | 35 | 35 | 0 | 0 |
inf_mip_22 | 16.43 | mul | Min | 4887 | 219 | 0 | 4809 | 4809 | 0 | 0 |
inf_mip_23 | 16.82 | mul | Min | 4887 | 219 | 0 | 4809 | 4809 | 0 | 0 |
inf_mip_24 | 1.43 | mul | Min | 59 | 3 | 0 | 68 | 68 | 0 | 0 |
inf_mip_25 | 1.85 | mul | Min | 258 | 255 | 0 | 277 | 277 | 0 | 0 |
inf_mip_26 | 4.31 | mul | Min | 846 | 172 | 0 | 2820 | 2820 | 0 | 0 |
inf_mip_27 | 4.39 | mul | Min | 774 | 100 | 0 | 2896 | 2896 | 0 | 0 |
inf_mip_28 | 1.97 | mul | Min | 311 | 18 | 0 | 302 | 302 | 0 | 0 |
inf_mip_29 | 1.57 | mul | Min | 63 | 36 | 0 | 67 | 67 | 0 | 0 |
inf_mip_3 | - | - | - | - | - | - | - | - | - | |
inf_mip_30 | 1.75 | mul | Min | 77 | 18 | 0 | 302 | 302 | 0 | 0 |
inf_mip_31 | 1.81 | mul | Min | 77 | 18 | 0 | 290 | 290 | 0 | 0 |
inf_mip_32 | 1.9 | mul | Min | 206 | 40 | 0 | 471 | 471 | 0 | 0 |
inf_mip_33 | 2.73 | mul | Min | 751 | 700 | 0 | 1351 | 1351 | 0 | 0 |
inf_mip_34 | 8.05 | mul | Max | 3001 | 1480 | 0 | 3425 | 3425 | 0 | 0 |
inf_mip_35 | 16.51 | mul | Min | 4887 | 219 | 0 | 4809 | 4809 | 0 | 0 |
inf_mip_36 | 2.7 | mul | Min | 701 | 650 | 0 | 1351 | 1351 | 0 | 0 |
inf_mip_37 | 1.26 | mul | Max | 31 | 0 | 29 | 5 | 5 | 0 | 0 |
inf_mip_38 | 1.79 | mul | Min | 226 | 225 | 0 | 256 | 256 | 0 | 0 |
inf_mip_39 | 1.5 | mul | Min | 241 | 240 | 0 | 89 | 89 | 0 | 0 |
inf_mip_4 | 8.45 | mul | Min | 1913 | 1608 | 0 | 5687 | 5687 | 0 | 0 |
inf_mip_40 | 1.78 | mul | Min | 257 | 12 | 0 | 254 | 254 | 0 | 0 |
inf_mip_41 | 1.25 | mul | Min | 31 | 0 | 29 | 5 | 5 | 0 | 0 |
inf_mip_42 | 8.03 | mul | Min | 1817 | 1608 | 0 | 5591 | 5591 | 0 | 0 |
inf_mip_43 | 1.92 | mul | Min | 31 | 0 | 29 | 842 | 842 | 0 | 0 |
inf_mip_44 | 6.08 | mul | Min | 2256 | 214 | 0 | 3732 | 3732 | 0 | 0 |
inf_mip_45 | 16.52 | mul | Min | 4887 | 219 | 0 | 4809 | 4809 | 0 | 0 |
inf_mip_46 | 1.56 | mul | Min | 289 | 288 | 0 | 41 | 41 | 0 | 0 |
inf_mip_47 | 6.02 | mul | Min | 2256 | 214 | 0 | 3732 | 3732 | 0 | 0 |
inf_mip_48 | 6.15 | mul | Min | 2328 | 286 | 0 | 3732 | 3732 | 0 | 0 |
inf_mip_49 | 1.77 | mul | Min | 257 | 12 | 0 | 254 | 254 | 0 | 0 |
inf_mip_5 | 2.0 | mul | Min | 380 | 176 | 0 | 475 | 475 | 0 | 0 |
inf_mip_50 | 1.36 | mul | Min | 91 | 0 | 90 | 91 | 91 | 0 | 0 |
inf_mip_51 | 5.06 | mul | Min | 1128 | 112 | 0 | 3450 | 3450 | 0 | 0 |
inf_mip_52 | 1.79 | mul | Min | 257 | 12 | 0 | 254 | 254 | 0 | 0 |
inf_mip_53 | 4.88 | mul | Min | 1128 | 112 | 0 | 3450 | 3450 | 0 | 0 |
inf_mip_54 | 1.76 | mul | Min | 157 | 116 | 0 | 303 | 303 | 0 | 0 |
inf_mip_55 | 1.36 | mul | Min | 289 | 288 | 0 | 27 | 27 | 0 | 0 |
inf_mip_56 | - | - | - | - | - | - | - | - | - | |
inf_mip_57 | - | - | - | - | - | - | - | - | - | |
inf_mip_58 | 2.33 | mul | Min | 349 | 308 | 0 | 635 | 635 | 0 | 0 |
inf_mip_59 | 1.54 | mul | Min | 141 | 95 | 0 | 162 | 162 | 0 | 0 |
inf_mip_6 | 1.51 | mul | Min | 97 | 72 | 0 | 169 | 169 | 0 | 0 |
inf_mip_60 | 24.37 | mul | Min | 3151 | 3150 | 0 | 271 | 271 | 0 | 0 |
inf_mip_61 | 1.76 | mul | Min | 257 | 12 | 0 | 254 | 254 | 0 | 0 |
inf_mip_62 | 1.76 | mul | Min | 257 | 12 | 0 | 254 | 254 | 0 | 0 |
inf_mip_63 | 1.48 | mul | Min | 83 | 80 | 0 | 97 | 97 | 0 | 0 |
inf_mip_64 | 1.79 | mul | Min | 257 | 12 | 0 | 254 | 254 | 0 | 0 |
inf_mip_65 | 1.5 | mul | Min | 265 | 240 | 0 | 233 | 233 | 0 | 0 |
inf_mip_66 | 1.63 | mul | Min | 125 | 84 | 0 | 229 | 229 | 0 | 0 |
inf_mip_67 | 33.6 | mul | Min | 4887 | 219 | 0 | 4809 | 4809 | 0 | 0 |
inf_mip_68 | 1.77 | mul | Min | 257 | 12 | 0 | 254 | 254 | 0 | 0 |
inf_mip_69 | 6.91 | mul | Min | 3852 | 214 | 0 | 3732 | 3732 | 0 | 0 |
inf_mip_7 | 1.52 | mul | Min | 83 | 80 | 0 | 97 | 97 | 0 | 0 |
inf_mip_70 | 1.73 | mul | Min | 257 | 12 | 0 | 254 | 254 | 0 | 0 |
inf_mip_71 | 1.42 | mul | Min | 27 | 10 | 0 | 79 | 79 | 0 | 0 |
inf_mip_72 | - | - | - | - | - | - | - | - | - | |
inf_mip_73 | 1.51 | mul | Min | 89 | 86 | 0 | 89 | 89 | 0 | 0 |
inf_mip_74 | 1.73 | mul | Min | 257 | 12 | 0 | 254 | 254 | 0 | 0 |
inf_mip_75 | 1.73 | mul | Min | 257 | 12 | 0 | 254 | 254 | 0 | 0 |
inf_mip_76 | 24.07 | mul | Min | 3151 | 3150 | 0 | 271 | 271 | 0 | 0 |
inf_mip_77 | 1.74 | mul | Min | 257 | 12 | 0 | 254 | 254 | 0 | 0 |
inf_mip_78 | 1.72 | mul | Min | 257 | 12 | 0 | 254 | 254 | 0 | 0 |
inf_mip_79 | 1.51 | mul | Min | 265 | 240 | 0 | 31 | 31 | 0 | 0 |
inf_mip_8 | 3.33 | mul | Min | 476 | 396 | 0 | 1800 | 1800 | 0 | 0 |
inf_mip_80 | 1.87 | mul | Min | 257 | 12 | 0 | 254 | 254 | 0 | 0 |
inf_mip_81 | 1.88 | mul | Min | 257 | 12 | 0 | 254 | 254 | 0 | 0 |
inf_mip_82 | 2.01 | mul | Min | 359 | 30 | 0 | 338 | 338 | 0 | 0 |
inf_mip_83 | 1.96 | mul | Min | 359 | 30 | 0 | 338 | 338 | 0 | 0 |
inf_mip_84 | 22.1 | mul | Min | 4887 | 219 | 0 | 4809 | 4809 | 0 | 0 |
inf_mip_85 | 1.51 | mul | Min | 104 | 63 | 0 | 108 | 108 | 0 | 0 |
inf_mip_86 | 1.58 | mul | Min | 289 | 288 | 0 | 41 | 41 | 0 | 0 |
inf_mip_87 | 1.83 | mul | Min | 259 | 256 | 0 | 278 | 278 | 0 | 0 |
inf_mip_88 | 1.41 | mul | Min | 33 | 4 | 28 | 12 | 12 | 0 | 0 |
inf_mip_89 | 1.48 | mul | Min | 241 | 240 | 0 | 59 | 59 | 0 | 0 |
inf_mip_9 | 2.45 | mul | Min | 421 | 380 | 0 | 466 | 466 | 0 | 0 |
inf_mip_90 | 1.44 | mul | Min | 57 | 56 | 0 | 71 | 71 | 0 | 0 |
inf_mip_91 | 1.43 | mul | Min | 265 | 240 | 0 | 31 | 31 | 0 | 0 |
inf_mip_92 | - | - | - | - | - | - | - | - | - | |
inf_mip_93 | 9.42 | mul | Min | 3168 | 138 | 0 | 3124 | 3124 | 0 | 0 |
inf_mip_94 | - | - | - | - | - | - | - | - | - | |
inf_mip_95 | - | - | - | - | - | - | - | - | - | |
inf_mip_96 | 1.74 | mul | Min | 257 | 12 | 0 | 254 | 254 | 0 | 0 |
inf_mip_97 | 1.72 | mul | Min | 230 | 15 | 0 | 254 | 254 | 0 | 0 |
inf_mip_98 | 80.48 | mul | Max | 6002 | 375 | 5625 | 1907 | 1907 | 0 | 0 |
inf_mip_99 | - | - | - | - | - | - | - | - | - | |
inf_miqcp_1 | 7.59 | mul | Min | 34 | 24 | 0 | 1324 | 196 | 1128 | 0 |
inf_miqcp_2 | 130.96 | mul | Min | 55657 | 336 | 0 | 102330 | 101949 | 381 | 0 |
inf_miqcp_3 | 126.73 | mul | Min | 55657 | 336 | 0 | 102330 | 101949 | 381 | 0 |
inf_miqcp_4 | 79.1 | mul | Min | 18793 | 336 | 0 | 50106 | 42045 | 8061 | 0 |
inf_miqcp_5 | 2.19 | mul | Min | 150 | 110 | 1 | 519 | 299 | 220 | 0 |
inf_nlp_1 | 1.18 | mul | Min | 21 | 0 | 0 | 40 | 0 | 40 | 0 |
inf_nlp_10 | 1.2 | mul | Min | 21 | 0 | 0 | 40 | 0 | 40 | 0 |
inf_nlp_100 | 2.89 | exp div mul | Max | 293 | 0 | 0 | 267 | 87 | 180 | 0 |
inf_nlp_101 | 1.55 | mul | Min | 13 | 0 | 0 | 13 | 8 | 5 | 0 |
inf_nlp_102 | 1.35 | sqrt mul | Min | 5 | 0 | 0 | 4 | 3 | 1 | 0 |
inf_nlp_103 | 1.27 | mul | Max | 19 | 0 | 0 | 19 | 6 | 13 | 0 |
inf_nlp_104 | 1.5 | mul | Min | 13 | 0 | 0 | 10 | 6 | 4 | 0 |
inf_nlp_105 | 1.42 | sqrt mul | Min | 5 | 0 | 0 | 4 | 3 | 1 | 0 |
inf_nlp_106 | 2.04 | mul | Min | 41 | 0 | 0 | 31 | 25 | 6 | 0 |
inf_nlp_107 | 1.22 | mul | Min | 15 | 0 | 0 | 6 | 2 | 4 | 0 |
inf_nlp_108 | 1.49 | mul | Min | 13 | 0 | 0 | 13 | 8 | 5 | 0 |
inf_nlp_109 | 1.49 | mul | Min | 13 | 0 | 0 | 13 | 8 | 5 | 0 |
inf_nlp_11 | 4.84 | mul | Min | 41 | 0 | 0 | 31 | 25 | 6 | 0 |
inf_nlp_110 | 1.56 | mul | Min | 133 | 0 | 0 | 127 | 126 | 1 | 0 |
inf_nlp_111 | 2.31 | mul | Max | 181 | 0 | 0 | 569 | 568 | 1 | 0 |
inf_nlp_112 | 2.35 | mul | Min | 13 | 0 | 0 | 10 | 5 | 5 | 0 |
inf_nlp_113 | 3.25 | mul | Min | 3313 | 0 | 0 | 139 | 138 | 1 | 0 |
inf_nlp_114 | 2.44 | mul | Min | 13 | 0 | 0 | 13 | 8 | 5 | 0 |
inf_nlp_115 | 1.5 | mul | Min | 37 | 0 | 15 | 52 | 37 | 15 | 0 |
inf_nlp_116 | 342.95 | mul | Min | 13 | 0 | 0 | 13 | 8 | 5 | 0 |
inf_nlp_117 | 1.95 | mul | Min | 41 | 0 | 0 | 31 | 25 | 6 | 0 |
inf_nlp_118 | 357.34 | mul | Min | 13 | 0 | 0 | 13 | 8 | 5 | 0 |
inf_nlp_119 | 67.28 | mul | Min | 13 | 0 | 0 | 13 | 8 | 5 | 0 |
inf_nlp_12 | 2.86 | mul | Min | 2209 | 0 | 0 | 208 | 207 | 1 | 0 |
inf_nlp_120 | 1.28 | exp div mul | Min | 98 | 0 | 0 | 95 | 0 | 95 | 0 |
inf_nlp_121 | 1.57 | mul | Min | 15 | 0 | 0 | 17 | 4 | 13 | 0 |
inf_nlp_122 | 1.67 | mul | Min | 31 | 0 | 0 | 21 | 4 | 17 | 0 |
inf_nlp_123 | 2.27 | mul | Max | 181 | 0 | 0 | 569 | 568 | 1 | 0 |
inf_nlp_124 | 1.25 | sqrt | Min | 10 | 0 | 0 | 37 | 25 | 12 | 0 |
inf_nlp_125 | 346.78 | mul | Min | 13 | 0 | 0 | 10 | 5 | 5 | 0 |
inf_nlp_126 | 1.54 | mul | Min | 37 | 0 | 15 | 52 | 37 | 15 | 0 |
inf_nlp_127 | 3.04 | mul | Min | 144 | 0 | 0 | 224 | 152 | 72 | 0 |
inf_nlp_128 | 4.7 | mul | Min | 41 | 0 | 0 | 21 | 15 | 6 | 0 |
inf_nlp_129 | 1.38 | sqrt mul | Min | 11 | 0 | 0 | 3 | 2 | 1 | 0 |
inf_nlp_13 | 1.3 | sqrt | Min | 10 | 0 | 0 | 35 | 23 | 12 | 0 |
inf_nlp_130 | 25.04 | mul | Max | 4927 | 0 | 0 | 2455 | 2453 | 2 | 0 |
inf_nlp_131 | 67.81 | mul | Min | 13 | 0 | 0 | 13 | 8 | 5 | 0 |
inf_nlp_132 | 2.94 | mul | Min | 144 | 0 | 0 | 176 | 105 | 71 | 0 |
inf_nlp_133 | 25.48 | powerfrac exp log div mul | Min | 5744 | 0 | 0 | 5743 | 1738 | 4005 | 0 |
inf_nlp_134 | 1.24 | mul | Min | 22 | 0 | 0 | 16 | 13 | 3 | 0 |
inf_nlp_135 | 1.34 | log | Max | 19 | 0 | 0 | 5 | 4 | 1 | 0 |
inf_nlp_136 | 3.01 | exp div mul | Max | 821 | 0 | 0 | 714 | 345 | 369 | 0 |
inf_nlp_137 | 1.27 | sqrt | Min | 10 | 0 | 0 | 35 | 23 | 12 | 0 |
inf_nlp_138 | 14.36 | mul | Max | 3983 | 0 | 0 | 3205 | 2605 | 600 | 0 |
inf_nlp_139 | 59.63 | mul | Min | 9 | 0 | 0 | 9 | 2 | 7 | 0 |
inf_nlp_14 | 2.47 | mul | Min | 13 | 0 | 0 | 13 | 8 | 5 | 0 |
inf_nlp_140 | 14.57 | mul | Max | 3983 | 0 | 0 | 3205 | 2605 | 600 | 0 |
inf_nlp_141 | 2.17 | mul | Min | 9 | 0 | 0 | 9 | 2 | 7 | 0 |
inf_nlp_142 | 1.66 | mul | Min | 31 | 0 | 0 | 21 | 4 | 17 | 0 |
inf_nlp_143 | 4.57 | mul | Min | 3313 | 0 | 0 | 3382 | 3381 | 1 | 0 |
inf_nlp_144 | 12.61 | mul | Max | 4583 | 0 | 0 | 3805 | 3205 | 600 | 0 |
inf_nlp_145 | 67.91 | mul | Min | 13 | 0 | 0 | 10 | 5 | 5 | 0 |
inf_nlp_146 | 12.39 | mul | Max | 4583 | 0 | 0 | 3855 | 3255 | 600 | 0 |
inf_nlp_147 | 3.63 | mul | Min | 21 | 0 | 0 | 121 | 100 | 21 | 0 |
inf_nlp_148 | 14.93 | mul | Max | 3466 | 0 | 0 | 1737 | 1735 | 2 | 0 |
inf_nlp_149 | 12.52 | mul | Max | 4583 | 0 | 0 | 3805 | 3205 | 600 | 0 |
inf_nlp_15 | 1.22 | mul | Min | 21 | 0 | 0 | 40 | 0 | 40 | 0 |
inf_nlp_150 | 1.02 | powerfrac exp div | Min | 5 | 0 | 0 | 3 | 0 | 3 | 0 |
inf_nlp_151 | 1.31 | mul | Min | 6 | 0 | 0 | 6 | 5 | 1 | 0 |
inf_nlp_152 | 2.97 | mul | Min | 144 | 0 | 0 | 176 | 105 | 71 | 0 |
inf_nlp_153 | 3.51 | mul | Min | 21 | 0 | 0 | 121 | 100 | 21 | 0 |
inf_nlp_154 | 4.68 | mul | Min | 3313 | 0 | 0 | 3382 | 3381 | 1 | 0 |
inf_nlp_155 | 2.93 | mul | Min | 144 | 0 | 0 | 176 | 105 | 71 | 0 |
inf_nlp_156 | 4.68 | mul | Min | 13 | 0 | 0 | 13 | 8 | 5 | 0 |
inf_nlp_157 | 6.56 | mul | Min | 21 | 0 | 0 | 121 | 100 | 21 | 0 |
inf_nlp_158 | 2.36 | mul | Min | 13 | 0 | 0 | 10 | 5 | 5 | 0 |
inf_nlp_159 | 6.72 | mul | Min | 21 | 0 | 0 | 121 | 100 | 21 | 0 |
inf_nlp_16 | 1.18 | mul | Min | 21 | 0 | 0 | 40 | 0 | 40 | 0 |
inf_nlp_160 | 1.27 | sqrt mul | Max | 20 | 0 | 0 | 10 | 1 | 9 | 0 |
inf_nlp_161 | 2.91 | mul | Min | 144 | 0 | 0 | 170 | 99 | 71 | 0 |
inf_nlp_162 | 15.03 | mul | Max | 3466 | 0 | 0 | 1737 | 1735 | 2 | 0 |
inf_nlp_163 | 1.52 | mul | Min | 37 | 0 | 15 | 52 | 37 | 15 | 0 |
inf_nlp_164 | 1.38 | mul | Min | 21 | 0 | 0 | 13 | 3 | 10 | 0 |
inf_nlp_165 | 14.33 | mul | Max | 3933 | 0 | 0 | 3205 | 2653 | 552 | 0 |
inf_nlp_166 | 33.3 | mul | Min | 3520 | 0 | 0 | 16360 | 16359 | 1 | 0 |
inf_nlp_167 | 9.8 | mul | Max | 3529 | 0 | 0 | 2477 | 1877 | 600 | 0 |
inf_nlp_168 | 3.04 | mul | Min | 144 | 0 | 0 | 176 | 105 | 71 | 0 |
inf_nlp_169 | 1.21 | mul | Min | 21 | 0 | 0 | 40 | 0 | 40 | 0 |
inf_nlp_17 | 3.06 | mul | Min | 144 | 0 | 0 | 176 | 105 | 71 | 0 |
inf_nlp_170 | 4.64 | mul | Min | 13 | 0 | 0 | 13 | 8 | 5 | 0 |
inf_nlp_171 | 1.25 | sqrt | Min | 10 | 0 | 0 | 35 | 23 | 12 | 0 |
inf_nlp_172 | 5.01 | mul | Min | 41 | 0 | 0 | 21 | 15 | 6 | 0 |
inf_nlp_18 | 1.17 | mul | Min | 6 | 0 | 0 | 7 | 2 | 5 | 0 |
inf_nlp_19 | 1.23 | exp | Max | 31 | 0 | 0 | 33 | 18 | 15 | 0 |
inf_nlp_2 | 1.22 | mul | Min | 21 | 0 | 0 | 40 | 0 | 40 | 0 |
inf_nlp_20 | 12.57 | mul | Max | 3793 | 0 | 0 | 3303 | 2701 | 602 | 0 |
inf_nlp_21 | 1.24 | mul | Min | 21 | 0 | 0 | 40 | 0 | 40 | 0 |
inf_nlp_22 | 2.01 | sqrt mul | Min | 46 | 0 | 0 | 196 | 71 | 125 | 0 |
inf_nlp_23 | 2.75 | mul | Min | 2209 | 0 | 0 | 208 | 207 | 1 | 0 |
inf_nlp_24 | 14.93 | mul | Max | 3466 | 0 | 0 | 1737 | 1735 | 2 | 0 |
inf_nlp_25 | 1.58 | powerfrac exp div mul powervar | Min | 32 | 0 | 0 | 60 | 1 | 59 | 0 |
inf_nlp_26 | 5.1 | mul | Min | 3313 | 0 | 0 | 3520 | 3519 | 1 | 0 |
inf_nlp_27 | 2.96 | mul | Min | 144 | 0 | 0 | 176 | 105 | 71 | 0 |
inf_nlp_28 | 4.72 | mul | Min | 3313 | 0 | 0 | 3382 | 3381 | 1 | 0 |
inf_nlp_29 | 1.24 | mul | Min | 6 | 0 | 0 | 7 | 2 | 5 | 0 |
inf_nlp_3 | 1.22 | mul | Min | 21 | 0 | 0 | 40 | 0 | 40 | 0 |
inf_nlp_30 | 1.37 | mul | Min | 21 | 0 | 0 | 11 | 10 | 1 | 0 |
inf_nlp_31 | 14.28 | mul | Max | 3933 | 0 | 0 | 3205 | 2653 | 552 | 0 |
inf_nlp_32 | 12.56 | mul | Max | 3793 | 0 | 0 | 3303 | 2701 | 602 | 0 |
inf_nlp_33 | 4.98 | mul | Min | 41 | 0 | 0 | 31 | 25 | 6 | 0 |
inf_nlp_34 | 8.78 | mul | Max | 3215 | 0 | 0 | 2189 | 1589 | 600 | 0 |
inf_nlp_35 | 8.86 | mul | Max | 3215 | 0 | 0 | 2189 | 1589 | 600 | 0 |
inf_nlp_36 | 8.8 | mul | Max | 3167 | 0 | 0 | 2189 | 1589 | 600 | 0 |
inf_nlp_37 | 7.64 | mul | Max | 2615 | 0 | 0 | 1889 | 1289 | 600 | 0 |
inf_nlp_38 | 2.73 | mul | Max | 2209 | 0 | 0 | 208 | 207 | 1 | 0 |
inf_nlp_39 | 25.01 | mul | Max | 4927 | 0 | 0 | 2455 | 2453 | 2 | 0 |
inf_nlp_4 | - | - | - | - | - | - | - | - | - | |
inf_nlp_40 | 7.69 | mul | Max | 2615 | 0 | 0 | 1889 | 1289 | 600 | 0 |
inf_nlp_41 | 2.9 | mul | Min | 144 | 0 | 0 | 176 | 105 | 71 | 0 |
inf_nlp_42 | 1.5 | mul | Max | 55 | 0 | 0 | 82 | 35 | 47 | 0 |
inf_nlp_43 | 8.76 | mul | Max | 3167 | 0 | 0 | 2189 | 1589 | 600 | 0 |
inf_nlp_44 | 1.36 | mul | Min | 11 | 0 | 0 | 10 | 6 | 4 | 0 |
inf_nlp_45 | 12.65 | mul | Max | 3793 | 0 | 0 | 3303 | 2701 | 602 | 0 |
inf_nlp_46 | 1.34 | mul | Min | 6 | 0 | 0 | 7 | 2 | 5 | 0 |
inf_nlp_47 | 12.41 | mul | Max | 4583 | 0 | 0 | 3805 | 3205 | 600 | 0 |
inf_nlp_48 | 8.9 | mul | Max | 3215 | 0 | 0 | 2189 | 1589 | 600 | 0 |
inf_nlp_49 | 7.7 | mul | Max | 2951 | 0 | 0 | 1889 | 1289 | 600 | 0 |
inf_nlp_5 | 2.7 | mul | Min | 2209 | 0 | 0 | 208 | 207 | 1 | 0 |
inf_nlp_50 | 1.35 | mul | Min | 6 | 0 | 0 | 7 | 2 | 5 | 0 |
inf_nlp_51 | 2.28 | mul | Max | 452 | 0 | 0 | 713 | 534 | 179 | 0 |
inf_nlp_52 | 1.32 | exp | Max | 31 | 0 | 0 | 33 | 18 | 15 | 0 |
inf_nlp_53 | 14.82 | mul | Max | 3466 | 0 | 0 | 1737 | 1735 | 2 | 0 |
inf_nlp_54 | 15.48 | mul | Max | 3983 | 0 | 0 | 4455 | 3855 | 600 | 0 |
inf_nlp_55 | 15.85 | mul | Max | 4583 | 0 | 0 | 3855 | 2655 | 1200 | 0 |
inf_nlp_56 | 8.58 | mul | Max | 3167 | 0 | 0 | 2189 | 1589 | 600 | 0 |
inf_nlp_57 | 1.32 | mul | Max | 19 | 0 | 0 | 19 | 6 | 13 | 0 |
inf_nlp_58 | 25.05 | mul | Max | 4927 | 0 | 0 | 2455 | 2453 | 2 | 0 |
inf_nlp_59 | 24.95 | mul | Max | 4927 | 0 | 0 | 2455 | 2453 | 2 | 0 |
inf_nlp_6 | 14.94 | mul | Max | 3466 | 0 | 0 | 1737 | 1735 | 2 | 0 |
inf_nlp_60 | 1.33 | mul | Min | 10 | 0 | 0 | 7 | 4 | 3 | 0 |
inf_nlp_61 | 1.93 | powerfrac | Min | 317 | 0 | 0 | 413 | 317 | 96 | 0 |
inf_nlp_62 | 38.14 | powerfrac div | Max | 11951 | 0 | 0 | 12401 | 3300 | 9101 | 0 |
inf_nlp_63 | - | - | - | - | - | - | - | - | - | |
inf_nlp_64 | 1.49 | mul | Min | 5 | 0 | 0 | 8 | 7 | 1 | 0 |
inf_nlp_65 | 3.06 | mul | Min | 501 | 0 | 0 | 748 | 498 | 250 | 0 |
inf_nlp_66 | 1.5 | exp | Min | 56 | 0 | 0 | 82 | 6 | 76 | 0 |
inf_nlp_67 | - | - | - | - | - | - | - | - | - | |
inf_nlp_68 | 76.33 | mul | Min | 13 | 0 | 0 | 10 | 5 | 5 | 0 |
inf_nlp_69 | 40.05 | mul | Max | 6416 | 0 | 0 | 3222 | 3220 | 2 | 0 |
inf_nlp_7 | 9.8 | mul | Max | 3241 | 0 | 0 | 2477 | 1877 | 600 | 0 |
inf_nlp_70 | 20.18 | mul | Min | 461 | 0 | 0 | 936 | 8 | 928 | 0 |
inf_nlp_71 | 1.25 | div | Min | 9 | 0 | 0 | 7 | 4 | 3 | 0 |
inf_nlp_72 | 1.36 | mul | Min | 15 | 0 | 0 | 8 | 1 | 7 | 0 |
inf_nlp_73 | 1.55 | mul | Min | 21 | 0 | 0 | 32 | 31 | 1 | 0 |
inf_nlp_74 | 1.36 | mul | Min | 12 | 0 | 0 | 23 | 8 | 15 | 0 |
inf_nlp_75 | 15.82 | mul | Max | 4583 | 0 | 0 | 3855 | 2655 | 1200 | 0 |
inf_nlp_76 | 1.48 | mul | Min | 10 | 0 | 0 | 7 | 4 | 3 | 0 |
inf_nlp_77 | 12.46 | mul | Min | 41 | 0 | 0 | 21 | 15 | 6 | 0 |
inf_nlp_78 | 3.74 | mul | Min | 1266 | 0 | 0 | 552 | 497 | 55 | 0 |
inf_nlp_79 | 1.37 | log div mul | Min | 6 | 0 | 0 | 5 | 2 | 3 | 0 |
inf_nlp_8 | 1.2 | mul | Min | 21 | 0 | 0 | 40 | 0 | 40 | 0 |
inf_nlp_80 | 8.8 | mul | Max | 3167 | 0 | 0 | 2189 | 1589 | 600 | 0 |
inf_nlp_81 | 4.75 | mul | Min | 3313 | 0 | 0 | 3451 | 3450 | 1 | 0 |
inf_nlp_82 | 1.38 | mul | Max | 25 | 0 | 0 | 40 | 17 | 23 | 0 |
inf_nlp_83 | 1.21 | mul | Min | 19 | 0 | 0 | 7 | 6 | 1 | 0 |
inf_nlp_84 | 1.35 | mul | Min | 7 | 0 | 0 | 6 | 5 | 1 | 0 |
inf_nlp_85 | 12.22 | mul | Min | 41 | 0 | 0 | 31 | 25 | 6 | 0 |
inf_nlp_86 | 12.61 | mul | Min | 41 | 0 | 0 | 31 | 25 | 6 | 0 |
inf_nlp_87 | 1.39 | sqrt | Min | 10 | 0 | 0 | 35 | 23 | 12 | 0 |
inf_nlp_88 | 9.46 | mul | Max | 2929 | 0 | 0 | 2391 | 2103 | 288 | 0 |
inf_nlp_89 | 1.37 | mul | Min | 13 | 0 | 0 | 10 | 7 | 3 | 0 |
inf_nlp_9 | 1.3 | mul | Min | 21 | 0 | 0 | 40 | 0 | 40 | 0 |
inf_nlp_90 | 1.4 | mul | Min | 15 | 0 | 0 | 17 | 8 | 9 | 0 |
inf_nlp_91 | 1.4 | log div mul | Min | 7 | 0 | 0 | 5 | 2 | 3 | 0 |
inf_nlp_92 | 1.49 | mul | Min | 13 | 0 | 0 | 13 | 10 | 3 | 0 |
inf_nlp_93 | 1.38 | mul | Min | 13 | 0 | 0 | 13 | 9 | 4 | 0 |
inf_nlp_94 | 1.47 | mul | Min | 13 | 0 | 0 | 10 | 6 | 4 | 0 |
inf_nlp_95 | 4.73 | mul | Min | 3313 | 0 | 0 | 3451 | 3450 | 1 | 0 |
inf_nlp_96 | 1.5 | mul | Min | 13 | 0 | 0 | 10 | 6 | 4 | 0 |
inf_nlp_97 | 3.14 | mul | Min | 144 | 0 | 0 | 224 | 152 | 72 | 0 |
inf_nlp_98 | 1.49 | mul | Min | 13 | 0 | 0 | 13 | 9 | 4 | 0 |
inf_nlp_99 | 14.84 | mul | Max | 3466 | 0 | 0 | 1737 | 1735 | 2 | 0 |
inf_qcp_1 | - | - | - | - | - | - | - | - | - | |
inf_qcp_2 | - | - | - | - | - | - | - | - | - | |
inf_qcp_3 | 2.33 | mul | Min | 13 | 0 | 0 | 119 | 4 | 115 | 0 |
inf_qcp_4 | 2.36 | mul | Min | 17 | 0 | 0 | 218 | 64 | 154 | 0 |
inf_rminlp_1 | 1.41 | mul | Max | 11 | 0 | 4 | 22 | 8 | 14 | 0 |
inf_rminlp_10 | 1.5 | mul | Max | 11 | 0 | 4 | 22 | 8 | 14 | 0 |
inf_rminlp_11 | 1.55 | mul | Max | 11 | 0 | 4 | 22 | 8 | 14 | 0 |
inf_rminlp_12 | 1.45 | mul | Max | 11 | 0 | 4 | 22 | 8 | 14 | 0 |
inf_rminlp_13 | 1.54 | mul | Max | 11 | 0 | 4 | 22 | 8 | 14 | 0 |
inf_rminlp_2 | 1.44 | mul | Max | 11 | 0 | 4 | 22 | 8 | 14 | 0 |
inf_rminlp_3 | 1.44 | mul | Max | 11 | 0 | 4 | 22 | 8 | 14 | 0 |
inf_rminlp_4 | 15.03 | mul | Max | 4081 | 0 | 288 | 3315 | 2437 | 878 | 0 |
inf_rminlp_5 | 1.44 | mul | Max | 11 | 0 | 4 | 22 | 8 | 14 | 0 |
inf_rminlp_6 | 1.43 | mul | Min | 12 | 0 | 4 | 23 | 8 | 15 | 0 |
inf_rminlp_7 | 14.76 | mul | Max | 4081 | 0 | 288 | 3315 | 2437 | 878 | 0 |
inf_rminlp_8 | 12.94 | mul | Max | 4369 | 0 | 288 | 3603 | 3049 | 554 | 0 |
inf_rminlp_9 | 12.89 | mul | Max | 4369 | 0 | 288 | 3603 | 3049 | 554 | 0 |