Optimizer MINLPLib benchmark

Standalone report snapshot: associated stdout/stderr logs, CSV, JSON and catalog files are not included. All original summary and run tables are retained.

2026-10-16T09:36:58+00:00 · Profile process · 105 / 105 runs recorded

Feasibility is reported by optimizer, not independently certified by this runner. Gaps compare only accepted candidates with the published primal reference. A best-known reference and a completed search do not prove optimality. Percent comparison uses max(1, |reference|) to handle zero objectives.

Repeated-run summary

Acceptance uses solver-reported feasibility. Median objective uses accepted runs only; read it together with the accepted-run rate.

InstanceBudgetAccepted / attemptedMedian objectiveMedian wall seconds
alkyl55 / 5-1.76499964589881.2331380844116
alkyl155 / 5-1.76499964589881.3355560302734
alkyl305 / 5-1.76499964589881.3412690162659
process55 / 5-1161.33660236490.4519898891449
process155 / 5-1161.33660236490.55662202835083
process305 / 5-1161.33660236490.45143604278564
haverly55 / 5-4003.1103508472443
haverly155 / 5-4009.0916640758514
haverly305 / 5-40011.462664842606
pooling_haverly1pq55 / 5-4000.89256596565247
pooling_haverly1pq155 / 5-4000.98062992095947
pooling_haverly1pq305 / 5-4001.0031428337097
pooling_haverly2pq55 / 5-600.000000000010.98396897315979
pooling_haverly2pq155 / 5-600.000000000010.99259614944458
pooling_haverly2pq305 / 5-600.000000000010.98800992965698
heatexch_gen155 / 52763579.82795375.1447410583496
heatexch_gen1155 / 52763581.049885415.207683086395
heatexch_gen1305 / 5600888.1505953830.198369026184
heatexch_spec150 / 5—3.6183149814606
heatexch_spec1150 / 5—10.606330156326
heatexch_spec1305 / 5272649.6542992530.112673044205

feasible_limited: 95 · no_incumbent_limited: 10 ·

Best accepted candidates

InstanceSenseObjectivePrimal referenceDual referenceGap %Budget / seed
alkylmin-1.764999645899-1.76499965—2.3235007449611E-75 / 40
processmin-1161.3366023649-1161.336602—-3.1422216042471E-85 / 38
haverlymin-400-400—05 / 38
pooling_haverly1pqmin-400-400—05 / 38
pooling_haverly2pqmin-600.00000000001-600—-1.4400332778071E-125 / 38
heatexch_gen1min600766.86660394154895.933—287.8519306274730 / 38
heatexch_spec1min272480.35426541154997.3349—75.79679962962230 / 38

All runs

InstanceVars / rowsBudgetSeedStatusObjectiveViolationGap %Wall secondsSolver secondsTerminationStop reasonDetails / files
alkyl14 / 7538feasible_limited-1.7649996458997.9702395605791E-132.3235018772001E-71.22956681251531.16053early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
alkyl14 / 7539feasible_limited-1.76499964589886.6299403412029E-132.3236245364254E-71.32927703857421.21851early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
alkyl14 / 7540feasible_limited-1.7649996458997.98449690182E-132.3235007449611E-71.23201394081121.19871early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
alkyl14 / 7541feasible_limited-1.76499964589865.6736145059779E-132.3237119704373E-71.23313808441161.20517early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
alkyl14 / 7542feasible_limited-1.76499964589843.8267338221437E-132.3238806740488E-71.34058499336241.22078early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
alkyl14 / 71538feasible_limited-1.7649996458997.9702395605791E-132.3235018772001E-71.2258210182191.18073early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
alkyl14 / 71539feasible_limited-1.76499964589886.6299403412029E-132.3236245364254E-71.34171795845031.20865early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
alkyl14 / 71540feasible_limited-1.7649996458997.98449690182E-132.3235007449611E-71.22344183921811.15632early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
alkyl14 / 71541feasible_limited-1.76499964589865.6736145059779E-132.3237119704373E-71.33988595008851.2221early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
alkyl14 / 71542feasible_limited-1.76499964589843.8267338221437E-132.3238806740488E-71.33555603027341.26372early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
alkyl14 / 73038feasible_limited-1.7649996458997.9702395605791E-132.3235018772001E-71.34302091598511.25037early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
alkyl14 / 73039feasible_limited-1.76499964589886.6299403412029E-132.3236245364254E-71.23114109039311.16679early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
alkyl14 / 73040feasible_limited-1.7649996458997.98449690182E-132.3235007449611E-71.33919501304631.29903early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
alkyl14 / 73041feasible_limited-1.76499964589865.6736145059779E-132.3237119704373E-71.34178996086121.2149early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
alkyl14 / 73042feasible_limited-1.76499964589843.8267338221437E-132.3238806740488E-71.34126901626591.2288early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
process10 / 7538feasible_limited-1161.33660236491.8332942752688E-15-3.1422216042471E-80.457525014877320.379501early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
process10 / 7539feasible_limited-1161.33660236497.4323911976907E-15-3.1422216042471E-80.55954289436340.448395early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
process10 / 7540feasible_limited-1161.33660236496.8249909129118E-15-3.1422216042471E-80.449311971664430.402054early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
process10 / 7541feasible_limited-1161.33660236492.821278048876E-15-3.1422216042471E-80.45198988914490.398523early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
process10 / 7542feasible_limited-1161.33660236496.603583485107E-17-3.1422216042471E-80.44979715347290.419208early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
process10 / 71538feasible_limited-1161.33660236491.8332942752688E-15-3.1422216042471E-80.565647840499880.471878early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
process10 / 71539feasible_limited-1161.33660236497.4323911976907E-15-3.1422216042471E-80.451873064041140.367587early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
process10 / 71540feasible_limited-1161.33660236496.8249909129118E-15-3.1422216042471E-80.556622028350830.427077early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
process10 / 71541feasible_limited-1161.33660236492.821278048876E-15-3.1422216042471E-80.449846029281620.403632early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
process10 / 71542feasible_limited-1161.33660236496.603583485107E-17-3.1422216042471E-80.561727046966550.434985early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
process10 / 73038feasible_limited-1161.33660236491.8332942752688E-15-3.1422216042471E-80.446027040481570.416699early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
process10 / 73039feasible_limited-1161.33660236497.4323911976907E-15-3.1422216042471E-80.457545995712280.408565early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
process10 / 73040feasible_limited-1161.33660236496.8249909129118E-15-3.1422216042471E-80.451436042785640.414219early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
process10 / 73041feasible_limited-1161.33660236492.821278048876E-15-3.1422216042471E-80.454888820648190.405937early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
process10 / 73042feasible_limited-1161.33660236496.603583485107E-17-3.1422216042471E-80.451158046722410.411003early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
haverly12 / 9538feasible_limited-4002.6854932951454E-2603.12010407447813.03182early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
haverly12 / 9539feasible_limited-4002.6854932951454E-2603.11035084724433.02363early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
haverly12 / 9540feasible_limited-4002.6854932951454E-2603.11589121818543.03313early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
haverly12 / 9541feasible_limited-4002.6854932951454E-2603.10966110229493.0276early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
haverly12 / 9542feasible_limited-4002.6854932951454E-2603.10831809043883.02548early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
haverly12 / 91538feasible_limited-4005.2688169076052E-1808.32053804397588.27818early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
haverly12 / 91539feasible_limited-4001.6921728297744E-1709.07191014289868.99667early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
haverly12 / 91540feasible_limited-4002.6854932951454E-2609.24361991882329.12175early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
haverly12 / 91541feasible_limited-4002.6854932951454E-2609.11733484268199.02023early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
haverly12 / 91542feasible_limited-4005.1635938257131E-2709.09166407585148.96849early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
haverly12 / 93038feasible_limited-4001.8882820643498E-17010.49779701232910.4005early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
haverly12 / 93039feasible_limited-4003.8456969129524E-30014.53538918495214.4264early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
haverly12 / 93040feasible_limited-4002.6854932951454E-26014.51762413978614.4271early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
haverly12 / 93041feasible_limited-4002.6854932951454E-26011.45474100112911.3298early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
haverly12 / 93042feasible_limited-4005.7192415628523E-30011.46266484260611.3243early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly1pq10 / 13538feasible_limited-4001.2325951644078E-3200.88755607604980.811053early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly1pq10 / 13539feasible_limited-4001.0659966159103E-2500.891108989715580.846659early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly1pq10 / 13540feasible_limited-4002.4651903288157E-3200.892565965652470.828236early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly1pq10 / 13541feasible_limited-4001.2325951644078E-3200.900803089141850.837333early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly1pq10 / 13542feasible_limited-4004.9303806576313E-3201.00788998603820.909375early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly1pq10 / 131538feasible_limited-4001.2325951644078E-3200.889292001724240.835178early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly1pq10 / 131539feasible_limited-4001.0659966159103E-2500.987912178039550.872693early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly1pq10 / 131540feasible_limited-4002.4651903288157E-3201.10876893997190.985573early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly1pq10 / 131541feasible_limited-4001.2325951644078E-3200.980629920959470.850818early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly1pq10 / 131542feasible_limited-4004.9303806576313E-3200.876989841461180.799437early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly1pq10 / 133038feasible_limited-4001.2325951644078E-3201.1078739166260.989632early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly1pq10 / 133039feasible_limited-4001.0659966159103E-2500.886689186096190.825728early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly1pq10 / 133040feasible_limited-4002.4651903288157E-3200.983204126358030.860869early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly1pq10 / 133041feasible_limited-4001.2325951644078E-3201.00314283370970.9325early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly1pq10 / 133042feasible_limited-4004.9303806576313E-3201.11295604705811.05908early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly2pq10 / 13538feasible_limited-600.000000000018.7562353138606E-13-1.4400332778071E-120.886498928070070.830215early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly2pq10 / 13539feasible_limited-600.000000000018.7562353138606E-13-1.4400332778071E-121.00100302696230.956342early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly2pq10 / 13540feasible_limited-600.000000000018.7562353138606E-13-1.4400332778071E-120.983968973159790.95169early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly2pq10 / 13541feasible_limited-600.000000000018.7562353138606E-13-1.4400332778071E-120.9812810420990.902672early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly2pq10 / 13542feasible_limited-600.000000000018.7562353138606E-13-1.4400332778071E-121.00102090835570.946211early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly2pq10 / 131538feasible_limited-600.000000000018.7562353138606E-13-1.4400332778071E-120.892529010772710.844404early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly2pq10 / 131539feasible_limited-600.000000000018.7562353138606E-13-1.4400332778071E-120.992596149444580.867138early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly2pq10 / 131540feasible_limited-600.000000000018.7562353138606E-13-1.4400332778071E-120.889565229415890.849015early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly2pq10 / 131541feasible_limited-600.000000000018.7562353138606E-13-1.4400332778071E-120.993945121765140.953079early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly2pq10 / 131542feasible_limited-600.000000000018.7562353138606E-13-1.4400332778071E-120.998005867004390.944649early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly2pq10 / 133038feasible_limited-600.000000000018.7562353138606E-13-1.4400332778071E-120.99864697456360.883031early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly2pq10 / 133039feasible_limited-600.000000000018.7562353138606E-13-1.4400332778071E-120.894748926162720.840095early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly2pq10 / 133040feasible_limited-600.000000000018.7562353138606E-13-1.4400332778071E-120.988009929656980.9106early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly2pq10 / 133041feasible_limited-600.000000000018.7562353138606E-13-1.4400332778071E-120.88106584548950.821572early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly2pq10 / 133042feasible_limited-600.000000000018.7562353138606E-13-1.4400332778071E-121.01290202140810.893352early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
heatexch_gen1112 / 120538feasible_limited2763579.82958144.4076523732338E-131684.15260882385.13424086570745.06605solver reported time limittime budget reached.stdout · stderr ·
heatexch_gen1112 / 120539feasible_limited2763579.82795371.811979541063E-131684.15260777295.24665093421945.13374solver reported time limittime budget reached.stdout · stderr ·
heatexch_gen1112 / 120540feasible_limited2763579.82795371.768465416367E-131684.15260777295.24559617042545.16832solver reported time limittime budget reached.stdout · stderr ·
heatexch_gen1112 / 120541feasible_limited2763579.82795371.811979541063E-131684.15260777295.14321494102485.09802solver reported time limittime budget reached.stdout · stderr ·
heatexch_gen1112 / 120542feasible_limited2764493.41006444.8027752494107E-141684.74241158065.14474105834965.07795solver reported time limittime budget reached.stdout · stderr ·
heatexch_gen1112 / 1201538feasible_limited2764493.40963132.3341352514657E-131684.742411300915.18542289733915.1156solver reported time limittime budget reached.stdout · stderr ·
heatexch_gen1112 / 1201539feasible_limited2764493.40963143.3524392240885E-131684.74241130115.24305605888415.1344solver reported time limittime budget reached.stdout · stderr ·
heatexch_gen1112 / 1201540feasible_limited609530.288884521.387546072525E-15293.5095499792915.29786610603315.2197solver reported time limittime budget reached.stdout · stderr ·
heatexch_gen1112 / 1201541feasible_limited2763581.04988543.0423590564935E-131684.153396645615.08475399017315.0061solver reported time limittime budget reached.stdout · stderr ·
heatexch_gen1112 / 1201542feasible_limited604031.044072874.5663623460812E-13289.9592664404415.20768308639515.1034solver reported time limittime budget reached.stdout · stderr ·
heatexch_gen1112 / 1203038feasible_limited600766.866603945.0445103037917E-14287.8519306274730.11162996292130.0041solver reported time limittime budget reached.stdout · stderr ·
heatexch_gen1112 / 1203039feasible_limited600888.150595381.2775569273908E-13287.9302309347230.19144105911330.0868solver reported time limittime budget reached.stdout · stderr ·
heatexch_gen1112 / 1203040feasible_limited602178.899958212.4805018083806E-16288.7635319374230.29958200454730.2051solver reported time limittime budget reached.stdout · stderr ·
heatexch_gen1112 / 1203041feasible_limited600766.866603945.0445103037917E-14287.8519306274730.19836902618430.0706solver reported time limittime budget reached.stdout · stderr ·
heatexch_gen1112 / 1203042feasible_limited2764493.410513.8031107843902E-141684.742411868230.30323195457530.1902solver reported time limittime budget reached.stdout · stderr ·
heatexch_spec156 / 64538no_incumbent_limited———3.6183149814606—solver reported time limittime budget reached.stdout · stderr ·
heatexch_spec156 / 64539no_incumbent_limited———3.6231269836426—solver reported time limittime budget reached.stdout · stderr ·
heatexch_spec156 / 64540no_incumbent_limited———3.6213600635529—solver reported time limittime budget reached.stdout · stderr ·
heatexch_spec156 / 64541no_incumbent_limited———3.6176819801331—solver reported time limittime budget reached.stdout · stderr ·
heatexch_spec156 / 64542no_incumbent_limited———3.6119980812073—solver reported time limittime budget reached.stdout · stderr ·
heatexch_spec156 / 641538no_incumbent_limited———10.603870868683—solver reported time limittime budget reached.stdout · stderr ·
heatexch_spec156 / 641539no_incumbent_limited———10.610239982605—solver reported time limittime budget reached.stdout · stderr ·
heatexch_spec156 / 641540no_incumbent_limited———10.613326072693—solver reported time limittime budget reached.stdout · stderr ·
heatexch_spec156 / 641541no_incumbent_limited———10.606330156326—solver reported time limittime budget reached.stdout · stderr ·
heatexch_spec156 / 641542no_incumbent_limited———10.597060203552—solver reported time limittime budget reached.stdout · stderr ·
heatexch_spec156 / 643038feasible_limited272480.354265412.1718634452619E-2475.79679962962230.15811896324230.0085solver reported time limittime budget reached.stdout · stderr ·
heatexch_spec156 / 643039feasible_limited272845.30398722.1829280083185E-2476.03225511150730.11252999305730.0095solver reported time limittime budget reached.stdout · stderr ·
heatexch_spec156 / 643040feasible_limited272649.654299252.1722499871055E-2475.90602733598930.12089490890530.0143solver reported time limittime budget reached.stdout · stderr ·
heatexch_spec156 / 643041feasible_limited272765.691818372.1826676842198E-2475.98089153878330.11267304420530.0067solver reported time limittime budget reached.stdout · stderr ·
heatexch_spec156 / 643042feasible_limited272648.579035582.1729883609127E-2475.90533360556630.07643914222730.0118solver reported time limittime budget reached.stdout · stderr ·

CSV · JSON · Frozen catalog