inf

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.

NAMELTNLOPERATORSENSEVARBINVARINTVARCONLINCONNLCONSOTHERCONS
inf_dnlp_1---------
inf_minlp_113.05mulMax43690288360330495540
inf_minlp_101.11powerfrac exp log div mul powervarMax12044040
inf_minlp_1001.95mulMin153564341040280
inf_minlp_1012.11mulMin2592240370298720
inf_minlp_1022.0mulMax447141044944810
inf_minlp_1031.95mulMin2041750284242420
inf_minlp_1041.98mulMin153564341040280
inf_minlp_10517.74mulMin57560434210
inf_minlp_1062.8mulMin50417481660
inf_minlp_1071.55mulMin261007666100
inf_minlp_10813.13mulMax40810288330327016020
inf_minlp_1092.32mulMin26711044598556420
inf_minlp_1110.71powerfracMax205357015779076731170
inf_minlp_1102.3mulMin2451240283422410
inf_minlp_1112.24mulMin2592240370298720
inf_minlp_11211.38mulMax29290288210315016020
inf_minlp_1132.29mulMin125640283422410
inf_minlp_11413.51mulMax432302883651249711540
inf_minlp_1151.55mulMin83800777160
inf_minlp_1162.19mulMin2622240389293960
inf_minlp_1172.17mulMin2592240370298720
inf_minlp_1181.6mulMax166390172133390
inf_minlp_1191.48mulMin261007666100
inf_minlp_122.17mulMin3082730402346560
inf_minlp_1202.11mulMin2502150334259750
inf_minlp_12111.44mulMax29290288210315016020
inf_minlp_1221.57mulMax504228140
inf_minlp_1231.31mulMin11010111100
inf_minlp_1241.3mulMin11010111100
inf_minlp_1252.09mulMax447141044944810
inf_minlp_1261.32mulMin11010111100
inf_minlp_1271.32mulMin6056150
inf_minlp_1281.44mulMax1104228140
inf_minlp_1291.59mulMin261007666100
inf_minlp_132.06mulMax275390327284430
inf_minlp_1301.94mulMax275390333290430
inf_minlp_1311.26exp powervarMin504160160
inf_minlp_1323.04mulMin50417481660
inf_minlp_1331.85mulMax20550029329210
inf_minlp_1342.36mulMin41539605103121980
inf_minlp_1351.52mulMin83800777160
inf_minlp_1362.34mulMax402150517501160
inf_minlp_1371.26exp powervarMin504240240
inf_minlp_1381.6mulMin4680473980
inf_minlp_1392.37mulMin2622240389293960
inf_minlp_142.55mulMin3813400528438900
inf_minlp_1401.02log sqrt divMin3013030
inf_minlp_14113.19mulMax40810288330327016020
inf_minlp_1421.56mulMax504228140
inf_minlp_1431.63mulMax73220747220
inf_minlp_1442.07mulMin2502150334259750
inf_minlp_1451.51mulMax19618206553120
inf_minlp_14628.23sqrtMin18341833020421951910
inf_minlp_14713.54mulMax432302883651249711540
inf_minlp_14828.0sqrtMin18341833020421951910
inf_minlp_1491.78mulMax27185027327210
inf_minlp_1513.06mulMax43690288360330495540
inf_minlp_1501.47mulMin261007666100
inf_minlp_15111.37mulMax29290288210315016020
inf_minlp_15228.01sqrtMin18341833020421951910
inf_minlp_1531.07powerfrac exp log div mul powervarMax12044040
inf_minlp_1541.61sqrt div mulMin33013116150
inf_minlp_1552.24mulMin2502150334259750
inf_minlp_1561.45mulMax1104228140
inf_minlp_1572.18mulMin2071750303240630
inf_minlp_1581.37mulMax50416880
inf_minlp_15928.16sqrtMin18341833020421951910
inf_minlp_1613.27mulMax40810288330327016020
inf_minlp_1601.78mulMax27185027327210
inf_minlp_1611.59mulMax73220747220
inf_minlp_1621.36mulMin1360293260
inf_minlp_1633.17mulMin47416309246762480
inf_minlp_1641.66mulMin83800777160
inf_minlp_1652.19mulMin2622240389293960
inf_minlp_1661.71mulMin16632133167135320
inf_minlp_1672.26mulMin3172790445364810
inf_minlp_16813.53mulMax432302883651249711540
inf_minlp_1691.76mulMax27185027327210
inf_minlp_172.29sqrt mul log10Min4211003004413401010
inf_minlp_17013.56mulMax432202883651249711540
inf_minlp_1712.19mulMin125640283422410
inf_minlp_1721.97mulMax275390330287430
inf_minlp_1731.79mulMin16632133167135320
inf_minlp_1741.78mulMin16632133167135320
inf_minlp_1751.51mulMax50416880
inf_minlp_1762.21mulMin580204352901450
inf_minlp_1771.37mulMin51203825130
inf_minlp_1781.33mulMin51203825130
inf_minlp_1792.12mulMin2502150334259750
inf_minlp_182.32sqrt mul log10Min4211003004413401010
inf_minlp_1802.16mulMin5771440361288730
inf_minlp_18111.12mulMax29290288210315016020
inf_minlp_1822.29mulMin5771440361288730
inf_minlp_1831.56mulMin261007666100
inf_minlp_1841.05log sqrt divMin3013030
inf_minlp_1851.94mulMin2041750284242420
inf_minlp_1862.19mulMin125640283422410
inf_minlp_18713.52mulMax432302883651249711540
inf_minlp_1882.22mulMin5771440361288730
inf_minlp_1892.13mulMin2592240370298720
inf_minlp_199.2sqrt div mul log10Min36919002700375128209310
inf_minlp_1901.81mulMax27185027327210
inf_minlp_1911.93mulMax275390333290430
inf_minlp_1921.45mulMin621204431130
inf_minlp_1931.35mulMax50416880
inf_minlp_1942.26mulMax667211066966810
inf_minlp_1951.48mulMin621204431130
inf_minlp_1961.37mulMin611204330130
inf_minlp_1971.44mulMax1104228140
inf_minlp_1986.45powerfrac exp log divMin292510223266015720
inf_minlp_1994.19mulMin2771140240721912160
inf_minlp_22.16mulMin3142790426372540
inf_minlp_209.15sqrt div mul log10Min36919002700375128209310
inf_minlp_2002.23mulMin125640283422410
inf_minlp_2011.48mulMax1104228140
inf_minlp_202---------
inf_minlp_2031.09log sqrt divMin3013030
inf_minlp_2041.47mulMax1744272610
inf_minlp_2051.55mulMin261007666100
inf_minlp_2061.46mulMax1104228140
inf_minlp_20713.29mulMax432302883559240511540
inf_minlp_2081.44mulMax1104228140
inf_minlp_2091.42mulMax1104228140
inf_minlp_211.95mulMax275390333290430
inf_minlp_2101.55mulMax1104228140
inf_minlp_2111.76sqrtMin39360132111210
inf_minlp_2122.24mulMin3172790445364810
inf_minlp_2132.06mulMin1981690260216440
inf_minlp_2141.42mulMax1104228140
inf_minlp_2152.08sqrt divMin9109018111800
inf_minlp_21613.07mulMax40810288330327016020
inf_minlp_2171.49mulMin251212443860
inf_minlp_2181.04log sqrt divMin3013030
inf_minlp_2191.92mulMin97380289251380
inf_minlp_222.21mulMin3082700409325840
inf_minlp_2202.18mulMin2592240370298720
inf_minlp_2212.01mulMin28312040840710
inf_minlp_2221.08powerfrac exp log div mul powervarMax12044040
inf_minlp_2231.79mulMin27185032031910
inf_minlp_2241.64mulMin52200154134200
inf_minlp_2251.68mulMin83800787260
inf_minlp_2263.78mulMin1027514010951062330
inf_minlp_2272.1mulMax275390333290430
inf_minlp_2281.63mulMin9503513095350
inf_minlp_2292.07mulMin1981690260216440
inf_minlp_232.07mulMin2041750284242420
inf_minlp_2301.04log sqrt divMin3013030
inf_minlp_2311.54mulMax1104228140
inf_minlp_2324.49mulMax18182700218419102740
inf_minlp_233---------
inf_minlp_2341.97mulMax447141044944810
inf_minlp_2351.47mulMax1104228140
inf_minlp_2361.74mulMax27185027327210
inf_minlp_2371.47mulMin261007666100
inf_minlp_2385.81mulMin86564801960195910
inf_minlp_2391.38powerfracMin13209720
inf_minlp_241.41mulMax1104228140
inf_minlp_2401.53mulMin261007666100
inf_minlp_2412.07mulMin1981690260216440
inf_minlp_2421.38mulMin191115937220
inf_minlp_2431.67mulMin261008666200
inf_minlp_2441.49mulMin271007969100
inf_minlp_2451.62mulMin271008969200
inf_minlp_2461.96mulMin1981690260216440
inf_minlp_2471.49absMin271008969200
inf_minlp_2484.57powerfrac exp log div mulMin1308440165912853740
inf_minlp_2493.7mulMin1029514010971063340
inf_minlp_251.93mulMax275390333290430
inf_minlp_2502.06mulMin2071750303240630
inf_minlp_2511.81mulMax27185027327210
inf_minlp_2522.29mulMin3172790445364810
inf_minlp_2531.41div mulMin170611740
inf_minlp_2542.06mulMin2502180327277500
inf_minlp_2551.56mulMin271008969200
inf_minlp_2561.51mulMin261008666200
inf_minlp_2571.91sqrt mulMin96500171146250
inf_minlp_2581.87mulMax27185027327210
inf_minlp_2591.74mulMax27185027327210
inf_minlp_269.15sqrt div mul log10Min36919002700375128209310
inf_minlp_2602.06mulMin2041750284242420
inf_minlp_2612.85mulMin774156400992908840
inf_minlp_2621.91mulMin240222013712980
inf_minlp_2631.5mulMax851206146150
inf_minlp_2642.35mulMin3723310492399930
inf_minlp_2651.79mulMax27185027327210
inf_minlp_2661.44div mulMin170611740
inf_minlp_2671.68mulMax851206146150
inf_minlp_2681.96mulMin2041750284242420
inf_minlp_2691.06divMin7067070
inf_minlp_279.31sqrt div mul log10Min36919002700375128209310
inf_minlp_27012.94mulMax40810288330327016020
inf_minlp_27123.74mulMin277113520319329592340
inf_minlp_2721.56mulMax851206146150
inf_minlp_2731.54mulMax851206146150
inf_minlp_2741.56mulMax851209782150
inf_minlp_2751.95mulMax275390327284430
inf_minlp_2762.15mulMin2502150334259750
inf_minlp_2771.99sqrt divMin9109018111800
inf_minlp_2781.43mulMax1104228140
inf_minlp_2792.22mulMin2502150334259750
inf_minlp_284.08sqrt mulMin16410420168112804010
inf_minlp_2801.48mulMin39410373610
inf_minlp_2812.52mulMax52630008987981000
inf_minlp_2822.14mulMin2502150334259750
inf_minlp_2834.16powerfracMax6871901525942557370
inf_minlp_2842.09mulMin2502150334259750
inf_minlp_2854.91mulMin10056240219517074880
inf_minlp_2862.03mulMax447141044944810
inf_minlp_2872.11mulMin2502150334259750
inf_minlp_2881.56mulMax166390172133390
inf_minlp_2891.93mulMax275390333290430
inf_minlp_299.32sqrt div mul log10Min36919002700375128209310
inf_minlp_2902.2mulMin2502150334259750
inf_minlp_2912.18mulMin25021203412411000
inf_minlp_29215.43mulMax1723570159448749719510
inf_minlp_2931.64mulMin9503513095350
inf_minlp_2945.82mulMin86564801960195910
inf_minlp_2951.92mulMin1871580272230420
inf_minlp_2961.98mulMin1871580272230420
inf_minlp_2971.64mulMin9503513095350
inf_minlp_2984.11powerfracMax6841901525902553370
inf_minlp_29915.38mulMax408102884467276317040
inf_minlp_312.89mulMax43690288360330495540
inf_minlp_301.75mulMax27185027327210
inf_minlp_30013.68mulMax432202883651249711540
inf_minlp_3012.05sqrt divMin9109018111800
inf_minlp_3022.18mulMin125640283422410
inf_minlp_3032.34mulMin3617205774171600
inf_minlp_3041.11exp powervarMin3028080
inf_minlp_3051.82mulMin27185032031910
inf_minlp_3061.87mulMin73530383080
inf_minlp_3071.65mulMin250193410410310
inf_minlp_30811.39mulMax29290288210315016020
inf_minlp_3091.45powerfrac exp log div powervarMax12044130
inf_minlp_311.46div mulMin170611740
inf_minlp_3102.24mulMin2592240370298720
inf_minlp_3112.63mulMin45401836374541830
inf_minlp_3121.92mulMax275390327284430
inf_minlp_31314.99mulMax40810288331524378780
inf_minlp_31418.45exp sqrt div mulMin88242805296128240140
inf_minlp_3151.66mulMin56250166141250
inf_minlp_3161.67sqrt divMin91090966900
inf_minlp_3174.06powerfracMax6931901525902553370
inf_minlp_3181.07divMin7067070
inf_minlp_3192.53mulMin45401836374541830
inf_minlp_321.33mulMin1340217140
inf_minlp_3206.08mulMin866648019841959250
inf_minlp_32148.99divMin305411054008226401820
inf_minlp_3222.4sqrt div mulMin29020305894561330
inf_minlp_3232.05mulMin2562240351303480
inf_minlp_3241.06divMin7067070
inf_minlp_3251.46sqrt div mulMin31012914150
inf_minlp_3261.64absMin17605543120
inf_minlp_3272.34sqrt div mulMin28319605424091330
inf_minlp_3282.09mulMin2562240351303480
inf_minlp_3294.15powerfracMax6931901525902553370
inf_minlp_331.77sqrtMin39360130109210
inf_minlp_3302.36mulMin36172365774171600
inf_minlp_3312.02sqrt divMin9109018111800
inf_minlp_3322.59mulMin45401836374541830
inf_minlp_3331.08exp powervarMin3028080
inf_minlp_3341.74mulMin146143023022910
inf_minlp_3352.53mulMin45401836374541830
inf_minlp_33634.22mulMin3613360863457380610
inf_minlp_3372.63mulMin36172365773612160
inf_minlp_3382.15mulMin2502180327277500
inf_minlp_3391.46mulMin10904220
inf_minlp_3413.02mulMax43690288360330495540
inf_minlp_34013.08mulMax43690288360330495540
inf_minlp_3412.21mulMin3132400271312400
inf_minlp_3424.09powerfracMax6931901525902553370
inf_minlp_3432.38mulMin26524004812412400
inf_minlp_34412.22exp sqrt div mulMin5125805295125140440
inf_minlp_3453.87mulMin1344383020151919960
inf_minlp_3463.78powerfracMax671190423772340370
inf_minlp_3473.34mulMin701650013016516500
inf_minlp_3482.22mulMin3082700409325840
inf_minlp_34912.98mulMax40810288330327016020
inf_minlp_3513.04mulMax43690288360330495540
inf_minlp_3504.75mulMin2073157649671771610
inf_minlp_3511.51mulMax73220868420
inf_minlp_3521.41div mulMin170611740
inf_minlp_35313.12mulMax40810288330327016020
inf_minlp_3541.4mulMax520111100
inf_minlp_35513.38mulMax432302883651249711540
inf_minlp_3562.97mulMin50417481660
inf_minlp_3571.48mulMin1760494360
inf_minlp_3581.45div mulMin170611740
inf_minlp_3591.76mulMin73530383080
inf_minlp_362.13divMax22418506304451850
inf_minlp_36013.54mulMax432302883651249711540
inf_minlp_3611.45div mulMin170611740
inf_minlp_3623.03mulMin55150009515014500
inf_minlp_3631.25exp powervarMin504240240
inf_minlp_3641.42div mulMin180711740
inf_minlp_3651.5mulMin37160252140
inf_minlp_3661.42div mulMin170611740
inf_minlp_36713.21mulMax40810288330327016020
inf_minlp_3681.53mulMin261007666100
inf_minlp_3692.38mulMin73214605132932200
inf_minlp_372.16mulMin3082730402346560
inf_minlp_3701.5mulMax1360293260
inf_minlp_3711.4div mulMin170611740
inf_minlp_3722.18mulMin3142790426372540
inf_minlp_3731.44div mulMin170611740
inf_minlp_3749.45exp sqrt div mulMin62320603524126822560
inf_minlp_3752.2mulMin3082700409325840
inf_minlp_3761.42div mulMin170611740
inf_minlp_3772.17mulMin2592240370298720
inf_minlp_3781.68mulMax9512011498160
inf_minlp_37915.03mulMax40810288331524378780
inf_minlp_38---------
inf_minlp_3803.54mulMin566555055115500
inf_minlp_3814.36mulMin16414001200168112804010
inf_minlp_38213.74mulMax432302883559240511540
inf_minlp_3832.34mulMin2622240389293960
inf_minlp_38411.13mulMax29290288210315016020
inf_minlp_38551.27divMin305411054008222805420
inf_minlp_3864.26mulMin16414001200168112804010
inf_minlp_3872.18mulMin3082730402346560
inf_minlp_3884.4mulMin16414001200168112804010
inf_minlp_3892.06divMax22418505944091850
inf_minlp_392.82mulMin50417481660
inf_minlp_3901.5mulMin261007666100
inf_minlp_3914.28mulMin16414001200168112804010
inf_minlp_3924.38mulMin16414001200168112804010
inf_minlp_3934.31mulMin16414001200168112804010
inf_minlp_3941.42div mulMin170611740
inf_minlp_39511.22mulMax29290288210315016020
inf_minlp_3964.23sqrt mulMin16410420168112804010
inf_minlp_3974.38mulMin16414001200168112804010
inf_minlp_3984.43mulMin16414001200168112804010
inf_minlp_3992.63mulMin45401836374541830
inf_minlp_4105.38divMin600014000002100210460105420
inf_minlp_4012.89mulMax43690288360330495540
inf_minlp_4001.68mulMin107041148107410
inf_minlp_4013.61mulMin1344383020151919960
inf_minlp_4022.28mulMax50030006235231000
inf_minlp_40312.56mulMax43690288360330515520
inf_minlp_40449.38divMin305411054008226401820
inf_minlp_40517.48mulMax43690288360330495540
inf_minlp_40615.06mulMax40810288331524378780
inf_minlp_40712.74mulMax43690288360330495540
inf_minlp_4081.41div mulMin170611740
inf_minlp_40912.85mulMax43690288360330495540
inf_minlp_4112.96mulMax43690288360330495540
inf_minlp_41012.98mulMax43690288360330495540
inf_minlp_4111.4logMax532604516290
inf_minlp_4121.64mulMin1121090146135110
inf_minlp_422.02mulMax275390333290430
inf_minlp_4313.58mulMax432202883651249711540
inf_minlp_441.5mulMin251212443860
inf_minlp_453.26mulMin229720122710112160
inf_minlp_4613.41mulMax432202883651249711540
inf_minlp_4713.8mulMax432202883651249711540
inf_minlp_482.52mulMin38434005474271200
inf_minlp_491.96mulMin1981690260216440
inf_minlp_512.9mulMax43690288360330495540
inf_minlp_5013.52mulMax432202883651249711540
inf_minlp_511108.6mul absMin5016500003916230
inf_minlp_521.4mulMax1104228140
inf_minlp_531.73mulMax27185027327210
inf_minlp_541.74mulMax27846016572930
inf_minlp_5513.1mulMax40810288330327016020
inf_minlp_562.28mulMax667211066966810
inf_minlp_571.53mulMax504228140
inf_minlp_581.45mulMax504228140
inf_minlp_595.03mulMin10056240219517074880
inf_minlp_61.97mulMin2041750284242420
inf_minlp_601.6mulMin370155237150
inf_minlp_611.9mulMin1981690260216440
inf_minlp_62---------
inf_minlp_6315.5powerfracMax8185297608185595322320
inf_minlp_6413.62mulMax432202883651249711540
inf_minlp_651.57mulMax1104228140
inf_minlp_662.04mulMax447141044944810
inf_minlp_672.15mulMin2592240370298720
inf_minlp_686.03mulMin14641120378633384480
inf_minlp_692.81mulMax113731401138113710
inf_minlp_713.07mulMax43690288360330495540
inf_minlp_702.83mulMax113731401138113710
inf_minlp_712.88mulMax113731401139113810
inf_minlp_724.94mulMin10056240219517074880
inf_minlp_731.96mulMax275390333290430
inf_minlp_742.75mulMax114531401147114610
inf_minlp_752.77mulMax114531401147114610
inf_minlp_7613.7mulMax432302883651249711540
inf_minlp_771.52mulMin261007666100
inf_minlp_782.75mulMax114531401147114610
inf_minlp_791.44mulMax1104228140
inf_minlp_81.74mulMax27185027327210
inf_minlp_802.93mulMax114531401155115410
inf_minlp_812.75mulMax113731401139113810
inf_minlp_821.25mulMin110103210
inf_minlp_831.47sqrt div mulMin31012914150
inf_minlp_842.28mulMin3172790445364810
inf_minlp_852.03mulMin1981690260216440
inf_minlp_862.01mulMax447141044944810
inf_minlp_871.53mulMin261007666100
inf_minlp_884.97mulMin10056240219517074880
inf_minlp_892.95mulMin118533001187118610
inf_minlp_939.58mulMin83691600239561768062760
inf_minlp_903.66divMin10817200136211801820
inf_minlp_911.4div mulMin170611740
inf_minlp_922.88mulMin1168322011691153160
inf_minlp_932.89mulMin1168322011691153160
inf_minlp_942.86mulMin1168322011681152160
inf_minlp_952.12mulMin2592240370298720
inf_minlp_962.25mulMin3082730402346560
inf_minlp_971.53mulMin261007666100
inf_minlp_9811.95mulMax30450294219315656280
inf_minlp_992.93mulMin1153306011381121170
inf_mip_11.89mulMin32027030230200
inf_mip_1081.71mulMax600237556251982198200
inf_mip_1001.64mulMin83800979700
inf_mip_1011.45mulMin57560717100
inf_mip_1021.61mulMin265240024124100
inf_mip_1031.78mulMin12584022922900
inf_mip_1041.52mulMin89860898900
inf_mip_1051.6mulMin265240024124100
inf_mip_1063.3mulMin676650070370300
inf_mip_1071.77mulMin25712025425400
inf_mip_10815.65mulMin8131300135221352200
inf_mip_1091.41mulMin2892880373700
inf_mip_111.44mulMin642727787800
inf_mip_11011.83mulMax432102883555355500
inf_mip_11126.44mulMin33613360028728700
inf_mip_11280.28mulMax600237556252267226700
inf_mip_1131.39mulMin4160424200
inf_mip_11482.07mulMax600237556252042204200
inf_mip_11516.7mulMin488721904809480900
inf_mip_11681.0mulMax600237556251967196700
inf_mip_1171.81mulMax258256027827800
inf_mip_1181.77mulMin25712025425400
inf_mip_1191.58mulMin265240024124100
inf_mip_121.3mulMin97960656500
inf_mip_1201.42mulMin27100797900
inf_mip_1211.39mulMin2652640373700
inf_mip_1221.39mulMin2280646400
inf_mip_1231.44mulMin2280646400
inf_mip_1241.63mulMin2412400898900
inf_mip_1251.93mulMin167126031331300
inf_mip_1261.49mulMin9966010610600
inf_mip_12716.77mulMin488721904809480900
inf_mip_1281.77mulMin19427030230200
inf_mip_1291.42mulMin265240018318300
inf_mip_132.71mulMin113631401137113700
inf_mip_1302.99mulMax57757601225122500
inf_mip_1313.01mulMax57757601249124900
inf_mip_1321.65mulMin83800979700
inf_mip_1332.38mulMin501450095195100
inf_mip_1341.61mulMin119108013213200
inf_mip_1351.85mulMin259256027827800
inf_mip_1362.43mulMin421380046646600
inf_mip_1371.59mulMin2454180838300
inf_mip_1382.06mulMin28211040740700
inf_mip_1391.36mulMin3340121200
inf_mip_142.9mulMin72314012812800
inf_mip_1405.17mulMin157213803124312400
inf_mip_151.96mulMin31118030230200
inf_mip_16---------
inf_mip_17---------
inf_mip_18---------
inf_mip_19---------
inf_mip_276.74mulMax600237556252342234200
inf_mip_201.55mulMin91900676700
inf_mip_211.42mulMin2892880353500
inf_mip_2216.43mulMin488721904809480900
inf_mip_2316.82mulMin488721904809480900
inf_mip_241.43mulMin5930686800
inf_mip_251.85mulMin258255027727700
inf_mip_264.31mulMin84617202820282000
inf_mip_274.39mulMin77410002896289600
inf_mip_281.97mulMin31118030230200
inf_mip_291.57mulMin63360676700
inf_mip_3---------
inf_mip_301.75mulMin7718030230200
inf_mip_311.81mulMin7718029029000
inf_mip_321.9mulMin20640047147100
inf_mip_332.73mulMin75170001351135100
inf_mip_348.05mulMax3001148003425342500
inf_mip_3516.51mulMin488721904809480900
inf_mip_362.7mulMin70165001351135100
inf_mip_371.26mulMax310295500
inf_mip_381.79mulMin226225025625600
inf_mip_391.5mulMin2412400898900
inf_mip_48.45mulMin1913160805687568700
inf_mip_401.78mulMin25712025425400
inf_mip_411.25mulMin310295500
inf_mip_428.03mulMin1817160805591559100
inf_mip_431.92mulMin3102984284200
inf_mip_446.08mulMin225621403732373200
inf_mip_4516.52mulMin488721904809480900
inf_mip_461.56mulMin2892880414100
inf_mip_476.02mulMin225621403732373200
inf_mip_486.15mulMin232828603732373200
inf_mip_491.77mulMin25712025425400
inf_mip_52.0mulMin380176047547500
inf_mip_501.36mulMin91090919100
inf_mip_515.06mulMin112811203450345000
inf_mip_521.79mulMin25712025425400
inf_mip_534.88mulMin112811203450345000
inf_mip_541.76mulMin157116030330300
inf_mip_551.36mulMin2892880272700
inf_mip_56---------
inf_mip_57---------
inf_mip_582.33mulMin349308063563500
inf_mip_591.54mulMin14195016216200
inf_mip_61.51mulMin9772016916900
inf_mip_6024.37mulMin31513150027127100
inf_mip_611.76mulMin25712025425400
inf_mip_621.76mulMin25712025425400
inf_mip_631.48mulMin83800979700
inf_mip_641.79mulMin25712025425400
inf_mip_651.5mulMin265240023323300
inf_mip_661.63mulMin12584022922900
inf_mip_6733.6mulMin488721904809480900
inf_mip_681.77mulMin25712025425400
inf_mip_696.91mulMin385221403732373200
inf_mip_71.52mulMin83800979700
inf_mip_701.73mulMin25712025425400
inf_mip_711.42mulMin27100797900
inf_mip_72---------
inf_mip_731.51mulMin89860898900
inf_mip_741.73mulMin25712025425400
inf_mip_751.73mulMin25712025425400
inf_mip_7624.07mulMin31513150027127100
inf_mip_771.74mulMin25712025425400
inf_mip_781.72mulMin25712025425400
inf_mip_791.51mulMin2652400313100
inf_mip_83.33mulMin47639601800180000
inf_mip_801.87mulMin25712025425400
inf_mip_811.88mulMin25712025425400
inf_mip_822.01mulMin35930033833800
inf_mip_831.96mulMin35930033833800
inf_mip_8422.1mulMin488721904809480900
inf_mip_851.51mulMin10463010810800
inf_mip_861.58mulMin2892880414100
inf_mip_871.83mulMin259256027827800
inf_mip_881.41mulMin33428121200
inf_mip_891.48mulMin2412400595900
inf_mip_92.45mulMin421380046646600
inf_mip_901.44mulMin57560717100
inf_mip_911.43mulMin2652400313100
inf_mip_92---------
inf_mip_939.42mulMin316813803124312400
inf_mip_94---------
inf_mip_95---------
inf_mip_961.74mulMin25712025425400
inf_mip_971.72mulMin23015025425400
inf_mip_9880.48mulMax600237556251907190700
inf_mip_99---------
inf_miqcp_17.59mulMin34240132419611280
inf_miqcp_2130.96mulMin5565733601023301019493810
inf_miqcp_3126.73mulMin5565733601023301019493810
inf_miqcp_479.1mulMin187933360501064204580610
inf_miqcp_52.19mulMin15011015192992200
inf_nlp_11.18mulMin2100400400
inf_nlp_101.2mulMin2100400400
inf_nlp_1002.89exp div mulMax29300267871800
inf_nlp_1011.55mulMin130013850
inf_nlp_1021.35sqrt mulMin5004310
inf_nlp_1031.27mulMax1900196130
inf_nlp_1041.5mulMin130010640
inf_nlp_1051.42sqrt mulMin5004310
inf_nlp_1062.04mulMin4100312560
inf_nlp_1071.22mulMin15006240
inf_nlp_1081.49mulMin130013850
inf_nlp_1091.49mulMin130013850
inf_nlp_114.84mulMin4100312560
inf_nlp_1101.56mulMin1330012712610
inf_nlp_1112.31mulMax1810056956810
inf_nlp_1122.35mulMin130010550
inf_nlp_1133.25mulMin33130013913810
inf_nlp_1142.44mulMin130013850
inf_nlp_1151.5mulMin370155237150
inf_nlp_116342.95mulMin130013850
inf_nlp_1171.95mulMin4100312560
inf_nlp_118357.34mulMin130013850
inf_nlp_11967.28mulMin130013850
inf_nlp_122.86mulMin22090020820710
inf_nlp_1201.28exp div mulMin9800950950
inf_nlp_1211.57mulMin1500174130
inf_nlp_1221.67mulMin3100214170
inf_nlp_1232.27mulMax1810056956810
inf_nlp_1241.25sqrtMin10003725120
inf_nlp_125346.78mulMin130010550
inf_nlp_1261.54mulMin370155237150
inf_nlp_1273.04mulMin14400224152720
inf_nlp_1284.7mulMin4100211560
inf_nlp_1291.38sqrt mulMin11003210
inf_nlp_131.3sqrtMin10003523120
inf_nlp_13025.04mulMax4927002455245320
inf_nlp_13167.81mulMin130013850
inf_nlp_1322.94mulMin14400176105710
inf_nlp_13325.48powerfrac exp log div mulMin5744005743173840050
inf_nlp_1341.24mulMin2200161330
inf_nlp_1351.34logMax19005410
inf_nlp_1363.01exp div mulMax821007143453690
inf_nlp_1371.27sqrtMin10003523120
inf_nlp_13814.36mulMax398300320526056000
inf_nlp_13959.63mulMin9009270
inf_nlp_142.47mulMin130013850
inf_nlp_14014.57mulMax398300320526056000
inf_nlp_1412.17mulMin9009270
inf_nlp_1421.66mulMin3100214170
inf_nlp_1434.57mulMin3313003382338110
inf_nlp_14412.61mulMax458300380532056000
inf_nlp_14567.91mulMin130010550
inf_nlp_14612.39mulMax458300385532556000
inf_nlp_1473.63mulMin2100121100210
inf_nlp_14814.93mulMax3466001737173520
inf_nlp_14912.52mulMax458300380532056000
inf_nlp_151.22mulMin2100400400
inf_nlp_1501.02powerfrac exp divMin5003030
inf_nlp_1511.31mulMin6006510
inf_nlp_1522.97mulMin14400176105710
inf_nlp_1533.51mulMin2100121100210
inf_nlp_1544.68mulMin3313003382338110
inf_nlp_1552.93mulMin14400176105710
inf_nlp_1564.68mulMin130013850
inf_nlp_1576.56mulMin2100121100210
inf_nlp_1582.36mulMin130010550
inf_nlp_1596.72mulMin2100121100210
inf_nlp_161.18mulMin2100400400
inf_nlp_1601.27sqrt mulMax200010190
inf_nlp_1612.91mulMin1440017099710
inf_nlp_16215.03mulMax3466001737173520
inf_nlp_1631.52mulMin370155237150
inf_nlp_1641.38mulMin2100133100
inf_nlp_16514.33mulMax393300320526535520
inf_nlp_16633.3mulMin352000163601635910
inf_nlp_1679.8mulMax352900247718776000
inf_nlp_1683.04mulMin14400176105710
inf_nlp_1691.21mulMin2100400400
inf_nlp_173.06mulMin14400176105710
inf_nlp_1704.64mulMin130013850
inf_nlp_1711.25sqrtMin10003523120
inf_nlp_1725.01mulMin4100211560
inf_nlp_181.17mulMin6007250
inf_nlp_191.23expMax31003318150
inf_nlp_21.22mulMin2100400400
inf_nlp_2012.57mulMax379300330327016020
inf_nlp_211.24mulMin2100400400
inf_nlp_222.01sqrt mulMin4600196711250
inf_nlp_232.75mulMin22090020820710
inf_nlp_2414.93mulMax3466001737173520
inf_nlp_251.58powerfrac exp div mul powervarMin3200601590
inf_nlp_265.1mulMin3313003520351910
inf_nlp_272.96mulMin14400176105710
inf_nlp_284.72mulMin3313003382338110
inf_nlp_291.24mulMin6007250
inf_nlp_31.22mulMin2100400400
inf_nlp_301.37mulMin2100111010
inf_nlp_3114.28mulMax393300320526535520
inf_nlp_3212.56mulMax379300330327016020
inf_nlp_334.98mulMin4100312560
inf_nlp_348.78mulMax321500218915896000
inf_nlp_358.86mulMax321500218915896000
inf_nlp_368.8mulMax316700218915896000
inf_nlp_377.64mulMax261500188912896000
inf_nlp_382.73mulMax22090020820710
inf_nlp_3925.01mulMax4927002455245320
inf_nlp_4---------
inf_nlp_407.69mulMax261500188912896000
inf_nlp_412.9mulMin14400176105710
inf_nlp_421.5mulMax55008235470
inf_nlp_438.76mulMax316700218915896000
inf_nlp_441.36mulMin110010640
inf_nlp_4512.65mulMax379300330327016020
inf_nlp_461.34mulMin6007250
inf_nlp_4712.41mulMax458300380532056000
inf_nlp_488.9mulMax321500218915896000
inf_nlp_497.7mulMax295100188912896000
inf_nlp_52.7mulMin22090020820710
inf_nlp_501.35mulMin6007250
inf_nlp_512.28mulMax452007135341790
inf_nlp_521.32expMax31003318150
inf_nlp_5314.82mulMax3466001737173520
inf_nlp_5415.48mulMax398300445538556000
inf_nlp_5515.85mulMax4583003855265512000
inf_nlp_568.58mulMax316700218915896000
inf_nlp_571.32mulMax1900196130
inf_nlp_5825.05mulMax4927002455245320
inf_nlp_5924.95mulMax4927002455245320
inf_nlp_614.94mulMax3466001737173520
inf_nlp_601.33mulMin10007430
inf_nlp_611.93powerfracMin31700413317960
inf_nlp_6238.14powerfrac divMax119510012401330091010
inf_nlp_63---------
inf_nlp_641.49mulMin5008710
inf_nlp_653.06mulMin501007484982500
inf_nlp_661.5expMin5600826760
inf_nlp_67---------
inf_nlp_6876.33mulMin130010550
inf_nlp_6940.05mulMax6416003222322020
inf_nlp_79.8mulMax324100247718776000
inf_nlp_7020.18mulMin4610093689280
inf_nlp_711.25divMin9007430
inf_nlp_721.36mulMin15008170
inf_nlp_731.55mulMin2100323110
inf_nlp_741.36mulMin1200238150
inf_nlp_7515.82mulMax4583003855265512000
inf_nlp_761.48mulMin10007430
inf_nlp_7712.46mulMin4100211560
inf_nlp_783.74mulMin126600552497550
inf_nlp_791.37log div mulMin6005230
inf_nlp_81.2mulMin2100400400
inf_nlp_808.8mulMax316700218915896000
inf_nlp_814.75mulMin3313003451345010
inf_nlp_821.38mulMax25004017230
inf_nlp_831.21mulMin19007610
inf_nlp_841.35mulMin7006510
inf_nlp_8512.22mulMin4100312560
inf_nlp_8612.61mulMin4100312560
inf_nlp_871.39sqrtMin10003523120
inf_nlp_889.46mulMax292900239121032880
inf_nlp_891.37mulMin130010730
inf_nlp_91.3mulMin2100400400
inf_nlp_901.4mulMin150017890
inf_nlp_911.4log div mulMin7005230
inf_nlp_921.49mulMin1300131030
inf_nlp_931.38mulMin130013940
inf_nlp_941.47mulMin130010640
inf_nlp_954.73mulMin3313003451345010
inf_nlp_961.5mulMin130010640
inf_nlp_973.14mulMin14400224152720
inf_nlp_981.49mulMin130013940
inf_nlp_9914.84mulMax3466001737173520
inf_qcp_1---------
inf_qcp_2---------
inf_qcp_32.33mulMin130011941150
inf_qcp_42.36mulMin1700218641540
inf_rminlp_11.41mulMax1104228140
inf_rminlp_101.5mulMax1104228140
inf_rminlp_111.55mulMax1104228140
inf_rminlp_121.45mulMax1104228140
inf_rminlp_131.54mulMax1104228140
inf_rminlp_21.44mulMax1104228140
inf_rminlp_31.44mulMax1104228140
inf_rminlp_415.03mulMax40810288331524378780
inf_rminlp_51.44mulMax1104228140
inf_rminlp_61.43mulMin1204238150
inf_rminlp_714.76mulMax40810288331524378780
inf_rminlp_812.94mulMax43690288360330495540
inf_rminlp_912.89mulMax43690288360330495540