Independent sparse optimization · reproducible prototype measurements
Every selected measured run appears below, including failures and limits. CUDA receives one discarded warmup process per instance. Timings include parsing and device setup/transfers; process wall time additionally includes process startup. Small instances can favor CPU solvers. Amber bars include runs that did not reach optimal status.
LP/QP KKT values are independently recomputed in original units. For MILP, continuous KKT values do not certify tree optimality: inspect the raw incumbent, global bound, and MIP gap. Baseline tolerance conventions differ; objective and feasibility agreement must be read alongside timing.
Performance profiles · All measured runs (CSV) · Median summaries · Machine and configuration
Revision: 1511beeea946128ec736dce08f137d3477f04c7d; working tree modified: True. CPU: Intel(R) Core(TM) i7-14650HX. Platform: Linux-7.2.6-arch2-1-x86_64-with-glibc2.44. Binary SHA-256: 2af496c690b1ee38350bcec0ff39f620b5713371f933d7ab603747cb632a175e.
Standalone verification uses tolerance 1e-6. VERIFIED_FEASIBLE for MILP/MIQP certifies only the incumbent, not the search tree.
| Instance | Solver | Run | Status | Verification | Objective | Primal residual | KKT | End-to-end s | Process s |
|---|---|---|---|---|---|---|---|---|---|
| afiro.mps | cpu | 0 | OPTIMAL | VERIFIED_OPTIMAL | -464.75314285714285 | 1.1368683772161603e-13 | 1.1368683772161603e-13 | 0.0012347 | 0.027750504999858094 |
| afiro.mps | cpu | 1 | OPTIMAL | VERIFIED_OPTIMAL | -464.75314285714285 | 1.1368683772161603e-13 | 1.1368683772161603e-13 | 0.001279137 | 0.026640935997420456 |
| afiro.mps | cpu | 2 | OPTIMAL | VERIFIED_OPTIMAL | -464.75314285714285 | 1.1368683772161603e-13 | 1.1368683772161603e-13 | 0.0012352560000000001 | 0.025758060000953265 |
| afiro.mps | cuda | 0 | OPTIMAL | VERIFIED_OPTIMAL | -464.75314293057556 | 5.5491994999101735e-08 | 5.5491994999101735e-08 | 0.30434902 | 0.43428984000274795 |
| afiro.mps | cuda | 1 | OPTIMAL | VERIFIED_OPTIMAL | -464.75314293057556 | 5.5491994999101735e-08 | 5.5491994999101735e-08 | 0.327231472 | 0.456561362996581 |
| afiro.mps | cuda | 2 | OPTIMAL | VERIFIED_OPTIMAL | -464.75314293057556 | 5.5491994999101735e-08 | 5.5491994999101735e-08 | 0.301463068 | 0.4318334400013555 |
| afiro.mps | highs | 0 | OPTIMAL | VERIFIED_OPTIMAL | -464.75314285714285 | 1.4210854715202004e-14 | 1.4210854715202004e-14 | 0.0035355330001038965 | 0.3713846149985329 |
| afiro.mps | highs | 1 | OPTIMAL | VERIFIED_OPTIMAL | -464.75314285714285 | 1.4210854715202004e-14 | 1.4210854715202004e-14 | 0.003255186002206756 | 0.3559338589984691 |
| afiro.mps | highs | 2 | OPTIMAL | VERIFIED_OPTIMAL | -464.75314285714285 | 1.4210854715202004e-14 | 1.4210854715202004e-14 | 0.004217806002998259 | 0.35037946200100123 |
| adlittle.mps | cpu | 0 | OPTIMAL | VERIFIED_OPTIMAL | 225494.96316238024 | 2.2737367544323206e-13 | 2.2737367544323206e-13 | 0.007369397999999999 | 0.031940159999066964 |
| adlittle.mps | cpu | 1 | OPTIMAL | VERIFIED_OPTIMAL | 225494.96316238024 | 2.2737367544323206e-13 | 2.2737367544323206e-13 | 0.006802028 | 0.03252936200078693 |
| adlittle.mps | cpu | 2 | OPTIMAL | VERIFIED_OPTIMAL | 225494.96316238024 | 2.2737367544323206e-13 | 2.2737367544323206e-13 | 0.006775309 | 0.03118871199694695 |
| adlittle.mps | cuda | 0 | OPTIMAL | VERIFIED_OPTIMAL | 225494.96306609135 | 1.9421264774166502e-07 | 3.483589282733282e-07 | 2.6835367519999997 | 2.811076542999217 |
| adlittle.mps | cuda | 1 | OPTIMAL | VERIFIED_OPTIMAL | 225494.96306609135 | 1.9421264774166502e-07 | 3.483589282733282e-07 | 2.6968377599999998 | 2.8299567899994145 |
| adlittle.mps | cuda | 2 | OPTIMAL | VERIFIED_OPTIMAL | 225494.96306609135 | 1.9421264774166502e-07 | 3.483589282733282e-07 | 2.657628452 | 2.783182997001859 |
| adlittle.mps | highs | 0 | OPTIMAL | VERIFIED_OPTIMAL | 225494.9631623803 | 5.684341886080802e-14 | 5.684341886080802e-14 | 0.007189798998297192 | 0.30193204100214643 |
| adlittle.mps | highs | 1 | OPTIMAL | VERIFIED_OPTIMAL | 225494.9631623803 | 5.684341886080802e-14 | 5.684341886080802e-14 | 0.007354002998908982 | 0.3591402130005008 |
| adlittle.mps | highs | 2 | OPTIMAL | VERIFIED_OPTIMAL | 225494.9631623803 | 5.684341886080802e-14 | 5.684341886080802e-14 | 0.007703335999394767 | 0.382491554999433 |
| e226.mps | cpu | 0 | OPTIMAL | VERIFIED_OPTIMAL | -11.638930043471596 | 8.014691079694103e-07 | 9.701436868163563e-07 | 3.450514803 | 3.478143121999892 |
| e226.mps | cpu | 1 | OPTIMAL | VERIFIED_OPTIMAL | -11.638930043471596 | 8.014691079694103e-07 | 9.701436868163563e-07 | 3.5256596659999997 | 3.5645959110006515 |
| e226.mps | cpu | 2 | OPTIMAL | VERIFIED_OPTIMAL | -11.638930043471596 | 8.014691079694103e-07 | 9.701436868163563e-07 | 3.5934211740000004 | 3.6221110240003327 |
| e226.mps | cuda | 0 | OPTIMAL | VERIFIED_OPTIMAL | -11.63892964483021 | 7.884458419482598e-07 | 8.748973428373564e-07 | 9.281907410999999 | 9.410160056002496 |
| e226.mps | cuda | 1 | OPTIMAL | VERIFIED_OPTIMAL | -11.63892964483021 | 7.884458419482598e-07 | 8.748973428373564e-07 | 9.371297926 | 9.499298628998076 |
| e226.mps | cuda | 2 | OPTIMAL | VERIFIED_OPTIMAL | -11.63892964483021 | 7.884458419482598e-07 | 8.748973428373564e-07 | 9.674885605 | 9.80645935299981 |
| e226.mps | highs | 0 | OPTIMAL | VERIFIED_OPTIMAL | -11.638929066370537 | 9.461288092677765e-15 | 9.461288092677765e-15 | 0.03453477400034899 | 0.4035051540013228 |
| e226.mps | highs | 1 | OPTIMAL | VERIFIED_OPTIMAL | -11.638929066370537 | 9.461288092677765e-15 | 9.461288092677765e-15 | 0.034134456000174396 | 0.3782368600004702 |
| e226.mps | highs | 2 | OPTIMAL | VERIFIED_OPTIMAL | -11.638929066370537 | 9.461288092677765e-15 | 9.461288092677765e-15 | 0.03456039299999247 | 0.3401761439999973 |
| israel.mps | cpu | 0 | OPTIMAL | VERIFIED_OPTIMAL | -896644.8218630458 | 1.2299790815480567e-11 | 1.2299790815480567e-11 | 0.031137828 | 0.05638998900030856 |
| israel.mps | cpu | 1 | OPTIMAL | VERIFIED_OPTIMAL | -896644.8218630458 | 1.2299790815480567e-11 | 1.2299790815480567e-11 | 0.032242958 | 0.05900929299968993 |
| israel.mps | cpu | 2 | OPTIMAL | VERIFIED_OPTIMAL | -896644.8218630458 | 1.2299790815480567e-11 | 1.2299790815480567e-11 | 0.030518739 | 0.05562373800057685 |
| israel.mps | cuda | 0 | OPTIMAL | VERIFIED_OPTIMAL | -896644.821860246 | 6.784360976822375e-07 | 6.784360976822375e-07 | 3.744731738 | 3.87429998999869 |
| israel.mps | cuda | 1 | OPTIMAL | VERIFIED_OPTIMAL | -896644.821860246 | 6.784360976822375e-07 | 6.784360976822375e-07 | 3.7143289910000004 | 3.8509013750008307 |
| israel.mps | cuda | 2 | OPTIMAL | VERIFIED_OPTIMAL | -896644.821860246 | 6.784360976822375e-07 | 6.784360976822375e-07 | 3.705113124 | 3.834321013997396 |
| israel.mps | highs | 0 | OPTIMAL | VERIFIED_OPTIMAL | -896644.8218630459 | 3.637936512881251e-12 | 3.637936512881251e-12 | 0.018167774000175996 | 0.37189185000170255 |
| israel.mps | highs | 1 | OPTIMAL | VERIFIED_OPTIMAL | -896644.8218630459 | 3.637936512881251e-12 | 3.637936512881251e-12 | 0.018157768998207757 | 0.3779001929979131 |
| israel.mps | highs | 2 | OPTIMAL | VERIFIED_OPTIMAL | -896644.8218630459 | 3.637936512881251e-12 | 3.637936512881251e-12 | 0.01949341799991089 | 0.3767582319997018 |
| refinery.json | cpu | 0 | OPTIMAL | VERIFIED_OPTIMAL | 40729.81316409575 | 1.3766765505351941e-14 | 1.3766765505351941e-14 | 0.0018667 | 0.027631203000055393 |
| refinery.json | cpu | 1 | OPTIMAL | VERIFIED_OPTIMAL | 40729.81316409575 | 1.3766765505351941e-14 | 1.3766765505351941e-14 | 0.001746019 | 0.027636652001092443 |
| refinery.json | cpu | 2 | OPTIMAL | VERIFIED_OPTIMAL | 40729.81316409575 | 1.3766765505351941e-14 | 1.3766765505351941e-14 | 0.001632035 | 0.02744065099977888 |
| refinery.json | cuda | 0 | OPTIMAL | VERIFIED_OPTIMAL | 40729.81316398683 | 2.453702130367219e-08 | 2.453702130367219e-08 | 0.253455047 | 0.3891951160003373 |
| refinery.json | cuda | 1 | OPTIMAL | VERIFIED_OPTIMAL | 40729.81316398683 | 2.453702130367219e-08 | 2.453702130367219e-08 | 0.252807281 | 0.38360514099986176 |
| refinery.json | cuda | 2 | OPTIMAL | VERIFIED_OPTIMAL | 40729.81316398683 | 2.453702130367219e-08 | 2.453702130367219e-08 | 0.292104912 | 0.4222395360011433 |
| refinery.json | highs | 0 | OPTIMAL | VERIFIED_OPTIMAL | 40729.81316409575 | 0.0 | 7.056177658206519e-15 | 0.0031201149977277964 | 0.36501328599842964 |
| refinery.json | highs | 1 | OPTIMAL | VERIFIED_OPTIMAL | 40729.81316409575 | 0.0 | 7.056177658206519e-15 | 0.012872940002125688 | 0.3669716279982822 |
| refinery.json | highs | 2 | OPTIMAL | VERIFIED_OPTIMAL | 40729.81316409575 | 0.0 | 7.056177658206519e-15 | 0.003345048000483075 | 0.32722887199997786 |
| supply_chain.json | cpu | 0 | OPTIMAL | VERIFIED_FEASIBLE | 130.0 | 0.0 | 0.25954198473282447 | 0.003896646 | 0.028778720999980578 |
| supply_chain.json | cpu | 1 | OPTIMAL | VERIFIED_FEASIBLE | 130.0 | 0.0 | 0.25954198473282447 | 0.003859788 | 0.02938460999939707 |
| supply_chain.json | cpu | 2 | OPTIMAL | VERIFIED_FEASIBLE | 130.0 | 0.0 | 0.25954198473282447 | 0.007202405 | 0.03748503799943137 |
| supply_chain.json | cuda | 0 | OPTIMAL | VERIFIED_FEASIBLE | 130.0 | 0.0 | 0.25954198473282447 | 1.051642952 | 1.1884020489997056 |
| supply_chain.json | cuda | 1 | OPTIMAL | VERIFIED_FEASIBLE | 130.0 | 0.0 | 0.25954198473282447 | 1.075398389 | 1.2014323440016597 |
| supply_chain.json | cuda | 2 | OPTIMAL | VERIFIED_FEASIBLE | 130.0 | 0.0 | 0.25954198473282447 | 1.024277816 | 1.1513715790024435 |
| supply_chain.json | highs | 0 | OPTIMAL | VERIFIED_FEASIBLE | 130.0 | 0.0 | 0.9923664122137404 | 0.04177005900055519 | 0.33681367299868725 |
| supply_chain.json | highs | 1 | OPTIMAL | VERIFIED_FEASIBLE | 130.0 | 0.0 | 0.9923664122137404 | 0.0396543670030951 | 0.3447290299991437 |
| supply_chain.json | highs | 2 | OPTIMAL | VERIFIED_FEASIBLE | 130.0 | 0.0 | 0.9923664122137404 | 0.051857063997886144 | 0.400062421002076 |
| coupled_dispatch.json | cpu | 0 | OPTIMAL | VERIFIED_OPTIMAL | 2833.309965865842 | 2.7107147020043033e-08 | 4.069168163003974e-08 | 0.000974089 | 0.027132111001265002 |
| coupled_dispatch.json | cpu | 1 | OPTIMAL | VERIFIED_OPTIMAL | 2833.309965865842 | 2.7107147020043033e-08 | 4.069168163003974e-08 | 0.001008239 | 0.02787667099983082 |
| coupled_dispatch.json | cpu | 2 | OPTIMAL | VERIFIED_OPTIMAL | 2833.309965865842 | 2.7107147020043033e-08 | 4.069168163003974e-08 | 0.000978388 | 0.024963079998997273 |
| coupled_dispatch.json | cuda | 0 | OPTIMAL | VERIFIED_OPTIMAL | 2833.309965865844 | 2.7107147584712756e-08 | 4.069168240198555e-08 | 0.224694895 | 0.353844888999447 |
| coupled_dispatch.json | cuda | 1 | OPTIMAL | VERIFIED_OPTIMAL | 2833.309965865844 | 2.7107147584712756e-08 | 4.069168240198555e-08 | 0.21683840799999998 | 0.3473690160026308 |
| coupled_dispatch.json | cuda | 2 | OPTIMAL | VERIFIED_OPTIMAL | 2833.309965865844 | 2.7107147584712756e-08 | 4.069168240198555e-08 | 0.238301005 | 0.3661922399987816 |
| coupled_dispatch.json | highs | 0 | OPTIMAL | VERIFIED_OPTIMAL | 2833.3098591549387 | 0.0 | 4.357394033371875e-07 | 0.011701442999765277 | 0.33910404199923505 |
| coupled_dispatch.json | highs | 1 | OPTIMAL | VERIFIED_OPTIMAL | 2833.3098591549387 | 0.0 | 4.357394033371875e-07 | 0.003273065998655511 | 0.3507626930004335 |
| coupled_dispatch.json | highs | 2 | OPTIMAL | VERIFIED_OPTIMAL | 2833.3098591549387 | 0.0 | 4.357394033371875e-07 | 0.002701690002140822 | 0.36014448599962634 |
| integer_dispatch.json | cpu | 0 | OPTIMAL | VERIFIED_FEASIBLE | 23.75 | 0.0 | 0.1828572104193488 | 0.007486487 | 0.03171689900045749 |
| integer_dispatch.json | cpu | 1 | OPTIMAL | VERIFIED_FEASIBLE | 23.75 | 0.0 | 0.1828572104193488 | 0.007456123 | 0.032083997000881936 |
| integer_dispatch.json | cpu | 2 | OPTIMAL | VERIFIED_FEASIBLE | 23.75 | 0.0 | 0.1828572104193488 | 0.007373632000000001 | 0.03209603700088337 |
| integer_dispatch.json | cuda | 0 | OPTIMAL | VERIFIED_FEASIBLE | 23.75 | 0.0 | 0.18285721041934844 | 0.340912677 | 0.4701204560005863 |
| integer_dispatch.json | cuda | 1 | OPTIMAL | VERIFIED_FEASIBLE | 23.75 | 0.0 | 0.18285721041934844 | 0.363124823 | 0.4911852839977655 |
| integer_dispatch.json | cuda | 2 | OPTIMAL | VERIFIED_FEASIBLE | 23.75 | 0.0 | 0.18285721041934844 | 0.335108869 | 0.45939661399825127 |
| integer_dispatch.json | highs | 0 | NOT_SET | 0.0012986809997528326 | 0.3306175519974204 | ||||
| integer_dispatch.json | highs | 1 | NOT_SET | 0.001338205998763442 | 0.30291857499832986 | ||||
| integer_dispatch.json | highs | 2 | NOT_SET | 0.0013056659990979824 | 0.3646288990021276 | ||||
| scheduling.json | cpu | 0 | UNKNOWN | VERIFIED_FEASIBLE | 748.0 | 0.0 | 0.9986648865153538 | 0.078896488 | 0.10299853299875394 |
| scheduling.json | cpu | 1 | UNKNOWN | VERIFIED_FEASIBLE | 748.0 | 0.0 | 0.9986648865153538 | 0.08301647499999999 | 0.10818668000138132 |
| scheduling.json | cpu | 2 | UNKNOWN | VERIFIED_FEASIBLE | 748.0 | 0.0 | 0.9986648865153538 | 0.080716839 | 0.10551149200182408 |
| scheduling.json | cuda | 0 | OPTIMAL | VERIFIED_FEASIBLE | 748.0001841956976 | 3.5615900316781514e-07 | 3.460930044413334 | 4.0758501439999995 | 4.206366668000555 |
| scheduling.json | cuda | 1 | OPTIMAL | VERIFIED_FEASIBLE | 748.0001841956976 | 3.5615900316781514e-07 | 3.460930044413334 | 4.166416519999999 | 4.291564629998902 |
| scheduling.json | cuda | 2 | OPTIMAL | VERIFIED_FEASIBLE | 748.0001841956976 | 3.5615900316781514e-07 | 3.460930044413334 | 4.184870284 | 4.309219733997452 |
| scheduling.json | highs | 0 | OPTIMAL | VERIFIED_FEASIBLE | 748.0 | 0.0 | 0.9986648865153538 | 0.04727041599835502 | 0.41568946999905165 |
| scheduling.json | highs | 1 | OPTIMAL | VERIFIED_FEASIBLE | 748.0 | 0.0 | 0.9986648865153538 | 0.045820245999493636 | 0.42259659599949373 |
| scheduling.json | highs | 2 | OPTIMAL | VERIFIED_FEASIBLE | 748.0 | 0.0 | 0.9986648865153538 | 0.045055941001919564 | 0.37924713699976564 |
| production.json | cpu | 0 | OPTIMAL | VERIFIED_OPTIMAL | 517.0 | 0.0 | 7.13975309362811e-15 | 0.000604151 | 0.027544350999960443 |
| production.json | cpu | 1 | OPTIMAL | VERIFIED_OPTIMAL | 517.0 | 0.0 | 7.13975309362811e-15 | 0.000507869 | 0.026872690999880433 |
| production.json | cpu | 2 | OPTIMAL | VERIFIED_OPTIMAL | 517.0 | 0.0 | 7.13975309362811e-15 | 0.000529841 | 0.030888663000951055 |
| production.json | cuda | 0 | OPTIMAL | VERIFIED_OPTIMAL | 517.0000008842093 | 1.8959768822685698e-09 | 2.499614501996439e-09 | 0.242118824 | 0.3701000159999239 |
| production.json | cuda | 1 | OPTIMAL | VERIFIED_OPTIMAL | 517.0000008842093 | 1.8959768822685698e-09 | 2.499614501996439e-09 | 0.252913397 | 0.3813057280021894 |
| production.json | cuda | 2 | OPTIMAL | VERIFIED_OPTIMAL | 517.0000008842093 | 1.8959768822685698e-09 | 2.499614501996439e-09 | 0.23295285599999999 | 0.36112433400194277 |
| production.json | highs | 0 | OPTIMAL | VERIFIED_OPTIMAL | 517.0 | 0.0 | 7.13975309362811e-15 | 0.002000431002670666 | 0.34869167099896003 |
| production.json | highs | 1 | OPTIMAL | VERIFIED_OPTIMAL | 517.0 | 0.0 | 7.13975309362811e-15 | 0.0020473299991863314 | 0.3587168740014022 |
| production.json | highs | 2 | OPTIMAL | VERIFIED_OPTIMAL | 517.0 | 0.0 | 7.13975309362811e-15 | 0.0022629239974776283 | 0.3684719029988628 |