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-16T14:11:02+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.76499964766041.2280530929565
alkyl155 / 5-1.76499964766041.2299981117249
alkyl305 / 5-1.76499964766041.2269790172577
process55 / 5-1161.33660239190.45448207855225
process155 / 5-1161.33660239190.45392894744873
process305 / 5-1161.33660239190.45462489128113
haverly55 / 5-400.000000001264.3330538272858
haverly155 / 5-400.000000001398.9924521446228
haverly305 / 5-400.00000000419.3091940879822
pooling_haverly1pq55 / 5-400.000000007930.89926099777222
pooling_haverly1pq155 / 5-400.000000007930.99913811683655
pooling_haverly1pq305 / 5-400.000000007930.89302492141724
pooling_haverly2pq55 / 5-600.00000000720.79181289672852
pooling_haverly2pq155 / 5-600.00000000720.89196801185608
pooling_haverly2pq305 / 5-600.00000000720.88586688041687
heatexch_gen155 / 5421859.643842145.1031868457794
heatexch_gen1155 / 5390640.4099557615.086605072021
heatexch_gen1305 / 5391713.9063993230.079348087311
heatexch_spec150 / 5—5.1083068847656
heatexch_spec1155 / 5161009.5733481515.07674407959
heatexch_spec1305 / 5154997.3348658430.110221862793

feasible_limited: 100 · no_incumbent_limited: 5 ·

Best accepted candidates

InstanceSenseObjectivePrimal referenceDual referenceGap %Budget / seed
alkylmin-1.7649996476604-1.76499965—1.3255655420578E-75 / 38
processmin-1161.336602411-1161.336602—-3.5386318729098E-85 / 40
haverlymin-400.00000001404-400—-3.5104221751681E-930 / 40
pooling_haverly1pqmin-400.00000000793-400—-1.9820873831122E-95 / 38
pooling_haverly2pqmin-600.0000000072-600—-1.1996235116385E-95 / 38
heatexch_gen1min229590.92988541154895.933—48.22269729019630 / 38
heatexch_spec1min154997.33486584154997.3349—-2.2036165746099E-830 / 38

All runs

InstanceVars / rowsBudgetSeedStatusObjectiveViolationGap %Wall secondsSolver secondsTerminationStop reasonDetails / files
alkyl14 / 7538feasible_limited-1.76499964766047.8104012146696E-101.3255655420578E-71.22505307197571.12823early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
alkyl14 / 7539feasible_limited-1.76499964766047.8104012146696E-101.3255655420578E-71.22172594070431.11467early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
alkyl14 / 7540feasible_limited-1.76499964766047.8104012146696E-101.3255655420578E-71.22805309295651.17565early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
alkyl14 / 7541feasible_limited-1.76499964766047.8104012146696E-101.3255655420578E-71.23133492469791.17602early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
alkyl14 / 7542feasible_limited-1.76499964766047.8104012146696E-101.3255655420578E-71.22848701477051.17947early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
alkyl14 / 71538feasible_limited-1.76499964766047.8104012146696E-101.3255655420578E-71.23492097854611.18042early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
alkyl14 / 71539feasible_limited-1.76499964766047.8104012146696E-101.3255655420578E-71.33388209342961.29279early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
alkyl14 / 71540feasible_limited-1.76499964766047.8104012146696E-101.3255655420578E-71.22572612762451.12364early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
alkyl14 / 71541feasible_limited-1.76499964766047.8104012146696E-101.3255655420578E-71.22999811172491.11956early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
alkyl14 / 71542feasible_limited-1.76499964766047.8104012146696E-101.3255655420578E-71.22765684127811.1809early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
alkyl14 / 73038feasible_limited-1.76499964766047.8104012146696E-101.3255655420578E-71.2296881675721.14588early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
alkyl14 / 73039feasible_limited-1.76499964766047.8104012146696E-101.3255655420578E-71.22555208206181.18504early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
alkyl14 / 73040feasible_limited-1.76499964766047.8104012146696E-101.3255655420578E-71.22697901725771.17429early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
alkyl14 / 73041feasible_limited-1.76499964766047.8104012146696E-101.3255655420578E-71.12145781517031.08667early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
alkyl14 / 73042feasible_limited-1.76499964766047.8104012146696E-101.3255655420578E-71.23026299476621.14243early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
process10 / 7538feasible_limited-1161.33660239192.5250024293655E-10-3.3745845772429E-80.456500053405760.409267early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
process10 / 7539feasible_limited-1161.33660238333.0933300365632E-10-3.3001407919829E-80.454404830932620.397827early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
process10 / 7540feasible_limited-1161.3366024114.5518433466896E-10-3.5386318729098E-80.564459085464480.428607early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
process10 / 7541feasible_limited-1161.33660240884.1988634791323E-10-3.5196973899061E-80.450919151306150.392742early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
process10 / 7542feasible_limited-1161.33660238061.3621992422941E-10-3.277464834776E-80.454482078552250.341955early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
process10 / 71538feasible_limited-1161.33660239192.5250024293655E-10-3.3745845772429E-80.452656030654910.389361early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
process10 / 71539feasible_limited-1161.33660238333.0933300365632E-10-3.3001407919829E-80.452240943908690.370719early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
process10 / 71540feasible_limited-1161.3366024114.5518433466896E-10-3.5386318729098E-80.453928947448730.409315early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
process10 / 71541feasible_limited-1161.33660240884.1988634791323E-10-3.5196973899061E-80.774409055709840.668495early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
process10 / 71542feasible_limited-1161.33660238061.3621992422941E-10-3.277464834776E-80.77512598037720.662858early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
process10 / 73038feasible_limited-1161.33660239192.5250024293655E-10-3.3745845772429E-80.570765018463130.433441early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
process10 / 73039feasible_limited-1161.33660238333.0933300365632E-10-3.3001407919829E-80.448312044143680.420253early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
process10 / 73040feasible_limited-1161.3366024114.5518433466896E-10-3.5386318729098E-80.454624891281130.400793early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
process10 / 73041feasible_limited-1161.33660240884.1988634791323E-10-3.5196973899061E-80.456729888916020.432315early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
process10 / 73042feasible_limited-1161.33660238061.3621992422941E-10-3.277464834776E-80.453452110290530.380522early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
haverly12 / 9538feasible_limited-400.00000000264.69640326628E-10-6.4892446971498E-104.32713794708254.25006early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
haverly12 / 9539feasible_limited-400.000000001261.2107648217352E-10-3.1570834835293E-104.33613610267644.25006early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
haverly12 / 9540feasible_limited-400.000000001261.2107648217352E-10-3.1570834835293E-104.33395695686344.25004early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
haverly12 / 9541feasible_limited-400.000000001261.2107648217352E-10-3.1570834835293E-104.33030796051034.25007early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
haverly12 / 9542feasible_limited-400.000000001261.2107648217352E-10-3.1570834835293E-104.33305382728584.25012early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
haverly12 / 91538feasible_limited-400.000000001392.928715048256E-10-3.476543497527E-108.99245214462288.86169early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
haverly12 / 91539feasible_limited-400.00000000418.8971319200937E-10-1.0252279025735E-98.98313188552868.87871early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
haverly12 / 91540feasible_limited-400.000000001261.2107648217352E-10-3.1570834835293E-1010.42728400230410.3275early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
haverly12 / 91541feasible_limited-400.000000001261.2107648217352E-10-3.1570834835293E-108.44006991386418.39803early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
haverly12 / 91542feasible_limited-400.000000006136.7143446358386E-10-1.5335217540269E-910.53845214843810.488early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
haverly12 / 93038feasible_limited-400.000000001392.928715048256E-10-3.476543497527E-109.30919408798229.21265early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
haverly12 / 93039feasible_limited-400.00000000418.8971319200937E-10-1.0252279025735E-99.19279003143319.13763early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
haverly12 / 93040feasible_limited-400.000000014047.4743411460076E-10-3.5104221751681E-913.09373688697813.0149early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
haverly12 / 93041feasible_limited-400.000000001261.2107648217352E-10-3.1570834835293E-108.64946818351758.5693early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
haverly12 / 93042feasible_limited-400.000000006136.7143446358386E-10-1.5335217540269E-910.30786490440410.1775early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly1pq10 / 13538feasible_limited-400.000000007939.2784802063761E-10-1.9820873831122E-90.899260997772220.792768early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly1pq10 / 13539feasible_limited-400.000000007939.2784802063761E-10-1.9820873831122E-90.889391899108890.828734early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly1pq10 / 13540feasible_limited-400.000000007939.2784802063761E-10-1.9820873831122E-91.00193810462950.915059early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly1pq10 / 13541feasible_limited-400.000000007939.2784802063761E-10-1.9820873831122E-91.00021314620970.942692early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly1pq10 / 13542feasible_limited-400.000000007939.2784802063761E-10-1.9820873831122E-90.896426916122440.778815early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly1pq10 / 131538feasible_limited-400.000000007939.2784802063761E-10-1.9820873831122E-90.891067981719970.791382early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly1pq10 / 131539feasible_limited-400.000000007939.2784802063761E-10-1.9820873831122E-90.891545057296750.866902early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly1pq10 / 131540feasible_limited-400.000000007939.2784802063761E-10-1.9820873831122E-90.999138116836550.874435early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly1pq10 / 131541feasible_limited-400.000000007939.2784802063761E-10-1.9820873831122E-91.00397801399230.927161early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly1pq10 / 131542feasible_limited-400.000000007939.2784802063761E-10-1.9820873831122E-91.00101900100710.935977early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly1pq10 / 133038feasible_limited-400.000000007939.2784802063761E-10-1.9820873831122E-90.895915031433110.869452early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly1pq10 / 133039feasible_limited-400.000000007939.2784802063761E-10-1.9820873831122E-90.893024921417240.827757early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly1pq10 / 133040feasible_limited-400.000000007939.2784802063761E-10-1.9820873831122E-91.00273895263670.879034early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly1pq10 / 133041feasible_limited-400.000000007939.2784802063761E-10-1.9820873831122E-90.889338970184330.833886early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly1pq10 / 133042feasible_limited-400.000000007939.2784802063761E-10-1.9820873831122E-90.889864921569820.805147early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly2pq10 / 13538feasible_limited-600.00000000726.5060135057138E-10-1.1996235116385E-90.791812896728520.748246early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly2pq10 / 13539feasible_limited-600.00000000726.5060135057138E-10-1.1996235116385E-90.783847093582150.712475early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly2pq10 / 13540feasible_limited-600.00000000726.5060135057138E-10-1.1996235116385E-90.89610099792480.810063early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly2pq10 / 13541feasible_limited-600.00000000726.5060135057138E-10-1.1996235116385E-90.781286954879760.730381early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly2pq10 / 13542feasible_limited-600.00000000726.5060135057138E-10-1.1996235116385E-91.00272703170780.892789early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly2pq10 / 131538feasible_limited-600.00000000726.5060135057138E-10-1.1996235116385E-90.789650917053220.71304early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly2pq10 / 131539feasible_limited-600.00000000726.5060135057138E-10-1.1996235116385E-90.891968011856080.775408early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly2pq10 / 131540feasible_limited-600.00000000726.5060135057138E-10-1.1996235116385E-91.00343108177190.895616early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly2pq10 / 131541feasible_limited-600.00000000726.5060135057138E-10-1.1996235116385E-90.996627807617190.877582early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly2pq10 / 131542feasible_limited-600.00000000726.5060135057138E-10-1.1996235116385E-90.888787031173710.849737early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly2pq10 / 133038feasible_limited-600.00000000726.5060135057138E-10-1.1996235116385E-90.783416032791140.718476early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly2pq10 / 133039feasible_limited-600.00000000726.5060135057138E-10-1.1996235116385E-90.781840085983280.754648early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly2pq10 / 133040feasible_limited-600.00000000726.5060135057138E-10-1.1996235116385E-90.888824939727780.778179early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly2pq10 / 133041feasible_limited-600.00000000726.5060135057138E-10-1.1996235116385E-90.885866880416870.805712early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
pooling_haverly2pq10 / 133042feasible_limited-600.00000000726.5060135057138E-10-1.1996235116385E-90.88740897178650.80125early completion; inspect stop reasonsearch budget completed.stdout · stderr ·
heatexch_gen1112 / 120538feasible_limited418960.505157675.911715561524E-12170.478699500575.10286188125615.00201solver reported time limittime budget reached.stdout · stderr ·
heatexch_gen1112 / 120539feasible_limited408921.376989825.8992810636482E-12163.997491134795.10397410392765.00057solver reported time limittime budget reached.stdout · stderr ·
heatexch_gen1112 / 120540feasible_limited421859.643842144.7535309022351E-12172.350368193435.09002494812015.00166solver reported time limittime budget reached.stdout · stderr ·
heatexch_gen1112 / 120541feasible_limited424066.457839433.1029756542011E-10173.775075708045.10976886749275.00182solver reported time limittime budget reached.stdout · stderr ·
heatexch_gen1112 / 120542feasible_limited424047.167416453.1416114154581E-10173.762621912395.10318684577945.00067solver reported time limittime budget reached.stdout · stderr ·
heatexch_gen1112 / 1201538feasible_limited354706.021041727.0202332835834E-10128.9963423647315.08660507202115.0004solver reported time limittime budget reached.stdout · stderr ·
heatexch_gen1112 / 1201539feasible_limited391901.813146182.1827792641089E-11153.0097501954315.07902407646215.0016solver reported time limittime budget reached.stdout · stderr ·
heatexch_gen1112 / 1201540feasible_limited360038.097267371.7280399333686E-11132.4387027433215.09530901908915.0007solver reported time limittime budget reached.stdout · stderr ·
heatexch_gen1112 / 1201541feasible_limited390640.409955763.1008617895623E-10152.1953949273615.10629200935415.0015solver reported time limittime budget reached.stdout · stderr ·
heatexch_gen1112 / 1201542feasible_limited390936.644923655.0853188326982E-10152.3866426652115.07660007476815.0008solver reported time limittime budget reached.stdout · stderr ·
heatexch_gen1112 / 1203038feasible_limited229590.929885414.3769432522822E-1248.22269729019630.05776214599630.0028solver reported time limittime budget reached.stdout · stderr ·
heatexch_gen1112 / 1203039feasible_limited358668.891929362.8208546609676E-12131.5547509755230.12765192985530.0022solver reported time limittime budget reached.stdout · stderr ·
heatexch_gen1112 / 1203040feasible_limited391713.906399653.7250202922223E-12152.8884385877730.04827094078130.0009solver reported time limittime budget reached.stdout · stderr ·
heatexch_gen1112 / 1203041feasible_limited391713.906399327.5317529990571E-12152.8884385875530.07934808731130.0028solver reported time limittime budget reached.stdout · stderr ·
heatexch_gen1112 / 1203042feasible_limited391713.906399327.5317529990571E-12152.8884385875530.08724093437230.0021solver reported time limittime budget reached.stdout · stderr ·
heatexch_spec156 / 64538no_incumbent_limited———5.1146049499512—solver reported time limittime budget reached.stdout · stderr ·
heatexch_spec156 / 64539no_incumbent_limited———5.1076500415802—solver reported time limittime budget reached.stdout · stderr ·
heatexch_spec156 / 64540no_incumbent_limited———5.1067750453949—solver reported time limittime budget reached.stdout · stderr ·
heatexch_spec156 / 64541no_incumbent_limited———5.1083068847656—solver reported time limittime budget reached.stdout · stderr ·
heatexch_spec156 / 64542no_incumbent_limited———5.1133389472961—solver reported time limittime budget reached.stdout · stderr ·
heatexch_spec156 / 641538feasible_limited155509.573348157.7488948591053E-100.3304821005333815.09402298927315.0006solver reported time limittime budget reached.stdout · stderr ·
heatexch_spec156 / 641539feasible_limited161009.573348157.7488948591053E-103.878930210011215.05986404418915.0005solver reported time limittime budget reached.stdout · stderr ·
heatexch_spec156 / 641540feasible_limited161009.573348157.7488948591053E-103.878930210011215.09679079055815.0002solver reported time limittime budget reached.stdout · stderr ·
heatexch_spec156 / 641541feasible_limited154997.334865865.7843863032758E-10-2.2028410850193E-815.0767440795915.0005solver reported time limittime budget reached.stdout · stderr ·
heatexch_spec156 / 641542feasible_limited161009.573348157.7488948591053E-103.878930210011215.03513884544415.0008solver reported time limittime budget reached.stdout · stderr ·
heatexch_spec156 / 643038feasible_limited154997.334865847.0758687797934E-10-2.2036165746099E-830.04101610183730.0005solver reported time limittime budget reached.stdout · stderr ·
heatexch_spec156 / 643039feasible_limited193714.731545453.7107383832335E-1024.97939507826330.11022186279330.0004solver reported time limittime budget reached.stdout · stderr ·
heatexch_spec156 / 643040feasible_limited154997.334865847.0758687797934E-10-2.2036165746099E-830.12943696975730.0003solver reported time limittime budget reached.stdout · stderr ·
heatexch_spec156 / 643041feasible_limited154997.334865847.0758687797934E-10-2.2036165746099E-830.15229082107530.0005solver reported time limittime budget reached.stdout · stderr ·
heatexch_spec156 / 643042feasible_limited154997.33486595.6843418860808E-10-2.2000808678324E-830.07415413856530.0001solver reported time limittime budget reached.stdout · stderr ·

CSV · JSON · Frozen catalog