[ { "instance": "a2864-99blp", "status": "concluded", "statusLabel": "Certified optimality / infeasibility", "bestResult": "-257", "bestResultDisplay": { "value": "-257", "note": null }, "bestBound": "-257", "bestBoundDisplay": { "value": "-257", "note": "published theorem" }, "studyStatus": "Optimal, exact geometry crosswalk + published theorem; theorem computation not replayed locally", "globalConclusion": "OPT = -257", "globalMethod": "exact finite-geometry crosswalk + published theorem", "evidenceGrade": "LT", "evidenceLevel": "Published-theorem transfer", "sourceEvidenceNote": "Rigorous transfer of a published theorem", "summary": "details/a2864-99blp/summary.md", "archive": "details/a2864-99blp/a2864-99blp-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "6812ae53802aa55f10ddc08af9d8f9a61b6ebc3cd3fc99d125ade44a193a0d54", "archiveBytes": 1788900, "archiveSha256": "10e5547115950529b564719ab2531d6753239c62069ec7f3811e89ac2536d2a5", "includedFiles": 84, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "-257", "coptDual": "-282.960474", "primalDelta": "0", "dualDelta": "25.960474", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/a2864-99blp/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "allcolor58", "status": "concluded", "statusLabel": "Certified optimality / infeasibility", "bestResult": "42", "bestResultDisplay": { "value": "42", "note": null }, "bestBound": "42", "bestBoundDisplay": { "value": "42", "note": null }, "studyStatus": "Optimal, exact parity certificate and validated witness", "globalConclusion": "OPT = 42", "globalMethod": "parity lower bound + zero-tolerance witness", "evidenceGrade": "PE", "evidenceLevel": "Portable exact certificate", "sourceEvidenceNote": "Optimal, exact parity certificate and validated witness", "summary": "details/allcolor58/summary.md", "archive": "details/allcolor58/allcolor58-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "5c0dc46623707aa39bdafaafbe660b3a4ec9b4bd9324f93b390c58697ac45084", "archiveBytes": 3513854, "archiveSha256": "0d2c79b7ef5d0083b76f942f3662ca8e230c06da3d92e35dbe48d986e9fb5a5d", "includedFiles": 393, "excludedFiles": 1, "cohort": "original112", "primalImprovement": true, "dualImprovement": false, "primalCategory": "numeric_improvement", "miplibPrimal": "258.0", "coptDual": "42", "primalDelta": "216.0", "dualDelta": "0", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/allcolor58/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "assign1-10-4", "status": "concluded", "statusLabel": "Certified optimality / infeasibility", "bestResult": "422", "bestResultDisplay": { "value": "422", "note": null }, "bestBound": "422", "bestBoundDisplay": { "value": "422", "note": null }, "studyStatus": "Optimal, exact certificate", "globalConclusion": "OPT = 422", "globalMethod": "exact categorical counting bound + feasible witness", "evidenceGrade": "PE", "evidenceLevel": "Portable exact certificate", "sourceEvidenceNote": "Optimal, exact certificate", "summary": "details/assign1-10-4/summary.md", "archive": "details/assign1-10-4/assign1-10-4-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "3d20d0d6d6085ba4fec0585b902321ece0da088695dae592d145a0dfa58136ec", "archiveBytes": 39087, "archiveSha256": "57dfcc7b007e195a4adfeb2d4d0ebc2b509181d93ba1711d0572324a67cebeaf", "includedFiles": 29, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "422", "coptDual": "377.444386", "primalDelta": "0", "dualDelta": "44.555614", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/assign1-10-4/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "bab3", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "-656214.95420", "bestResultDisplay": { "value": "-656214.95420", "note": "strict" }, "bestBound": "no new bound", "bestBoundDisplay": { "value": "no new bound", "note": "no new bound" }, "studyStatus": "Exact fixed-unassigned 224-block categorical neighborhood closed; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Exact fixed-unassigned 224-block categorical neighborhood closed; global optimum open", "summary": "details/bab3/summary.md", "archive": "details/bab3/bab3-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "67d59ccecbcdcba73651e9b0fcdd3d5110599f1b5a0d61b45704e31fa916a7c1", "archiveBytes": 2798, "archiveSha256": "686231a9474f909bd1760bc1e1e5eaa4368aab0536c9418ac973ed804e274fc5", "includedFiles": 2, "excludedFiles": 0, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "-656214.9542", "coptDual": "-657093.783", "primalDelta": "0.00000", "dualDelta": null, "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/bab3/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "bley_xs1", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "3855895.86", "bestResultDisplay": { "value": "3855895.86", "note": null }, "bestBound": "3532608.740610", "bestBoundDisplay": { "value": "3532608.740610", "note": null }, "studyStatus": "Feasible; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Feasible; global optimum open", "summary": "details/bley_xs1/summary.md", "archive": "details/bley_xs1/bley_xs1-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "93b2ad58783ee849f30e7d784d5e780949bdcdb3bcf40f9905d350b1d00a8719", "archiveBytes": 30055, "archiveSha256": "fdfcbf761ed738f70a351281de04bed1dfda1b6db284cca5905b5833fba03eeb", "includedFiles": 12, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "3855895.859999982", "coptDual": "3696540.8", "primalDelta": "-1.8E-8", "dualDelta": "-163932.059390", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/bley_xs1/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "bley_xs1noM", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "3855895.86", "bestResultDisplay": { "value": "3855895.86", "note": "strict incumbent" }, "bestBound": "3344924.0428", "bestBoundDisplay": { "value": "3344924.0428", "note": "solver, 720 s" }, "studyStatus": "Equivalent Big-M strengthening improves same-budget numerical bound by 554.6058; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Equivalent Big-M strengthening improves same-budget numerical bound by 554.6058; global optimum open", "summary": "details/bley_xs1noM/summary.md", "archive": "details/bley_xs1noM/bley_xs1noM-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "194597de34a0861657fc32db2585ceecc0b8ff9e3942b35947adab423f725d74", "archiveBytes": 184948, "archiveSha256": "541f44c747ec1425a2cca2c4ddd182274ee78bb47a617024646c87cde55331d1", "includedFiles": 34, "excludedFiles": 2, "cohort": "original112", "primalImprovement": true, "dualImprovement": false, "primalCategory": "numeric_improvement", "miplibPrimal": "3873690.77", "coptDual": "3713869.16", "primalDelta": "17794.91", "dualDelta": "-368945.1172", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/bley_xs1noM/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "bppc6-06", "status": "concluded", "statusLabel": "Certified optimality / infeasibility", "bestResult": "208", "bestResultDisplay": { "value": "208", "note": null }, "bestBound": "208", "bestBoundDisplay": { "value": "208", "note": null }, "studyStatus": "Optimal, tight-profile CNF/LRAT certificate and exact witness", "globalConclusion": "OPT = 208", "globalMethod": "exact tight-profile reduction + checked CNF/LRAT + witness", "evidenceGrade": "HP", "evidenceLevel": "Checked proof trace", "sourceEvidenceNote": "Optimal, tight-profile CNF/LRAT certificate and exact witness", "summary": "details/bppc6-06/summary.md", "archive": "details/bppc6-06/bppc6-06-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "d26c9cd0a79ea5e9c86efa49b6e1477affec6262fd43d64caa9d845491cd2ffb", "archiveBytes": 109802, "archiveSha256": "73370ade922c88de80b5cebe8d645afd2e6af40fbdfb6a7d6791516f1b77a5b5", "includedFiles": 56, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "208", "coptDual": "201", "primalDelta": "0", "dualDelta": "7", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/bppc6-06/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "cdc7-4-3-2", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "-307", "bestResultDisplay": { "value": "-307", "note": null }, "bestBound": "-381", "bestBoundDisplay": { "value": "-381", "note": null }, "studyStatus": "Feasible; all exchanges through 4→5 ruled out", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Feasible; all exchanges through 4→5 ruled out", "summary": "details/cdc7-4-3-2/summary.md", "archive": "details/cdc7-4-3-2/cdc7-4-3-2-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "5cdd9b57caa1ca5672815a937fab67614064bc0737b88cfcfe6cadd77c8440ce", "archiveBytes": 77448, "archiveSha256": "26ec0a264792af7c6ccef912c26ff38c03cbcd1da8bd0370483942a6199b6ff7", "includedFiles": 8, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "-307.0", "coptDual": "-381", "primalDelta": "0.0", "dualDelta": "0", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/cdc7-4-3-2/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "cdma", "cohort": "subsequent20", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "-24778478399999989.93240", "bestBound": "-2.700669263025124E+16", "studyStatus": "historically accepted numerical witness; not uniformly revalidated; public-pattern repair plus OR-hull bounded-box Lagrangian certificate and bounded structural falsification", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "-2.48E+16", "coptDual": null, "primalDelta": "-21521600000010.06760", "dualDelta": null, "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/skills-research/comparisons/per_instance_comparison.csv", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "summary": "details/cdma/summary.md", "archive": "details/cdma/cdma-findings.tar.gz", "bundleKind": "result", "sourceEvidenceNote": "See independent-certified column in per_instance_comparison.csv", "bestResultDisplay": { "value": "-24778478399999989.93240", "note": null }, "bestBoundDisplay": { "value": "-2.700669263025124E+16", "note": null }, "bundleSnapshot": "2026-09-21", "sourceBaseCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "includedFiles": 3, "excludedFiles": 0, "archiveBytes": 2048, "archiveSha256": "34b9b12267677e08cca6b09dfdda3d6b20cb490a023d4a426152e8827918adc0" }, { "instance": "circ10-3", "status": "concluded", "statusLabel": "Certified optimality / infeasibility", "bestResult": "242", "bestResultDisplay": { "value": "242", "note": null }, "bestBound": "242", "bestBoundDisplay": { "value": "242", "note": "published" }, "studyStatus": "Optimal, exact MPS crosswalk + published exhaustive result", "globalConclusion": "OPT = 242", "globalMethod": "exact MPS/TTP crosswalk + published exhaustive result", "evidenceGrade": "LT", "evidenceLevel": "Published-theorem transfer", "sourceEvidenceNote": "Transfer of a published computational result", "summary": "details/circ10-3/summary.md", "archive": "details/circ10-3/circ10-3-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "daea6a1aa6cd12e9c46b496f2a5700d80ade6a68b8ea900ff54e217437ab9a0d", "archiveBytes": 23734, "archiveSha256": "1ff69af9fbad108dc18caf6d99b844b772f918332f1fe7734ed9b20ead7b83c0", "includedFiles": 8, "excludedFiles": 1, "cohort": "original112", "primalImprovement": true, "dualImprovement": true, "primalCategory": "numeric_improvement", "miplibPrimal": "256.0", "coptDual": "141", "primalDelta": "14.0", "dualDelta": "101", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/circ10-3/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "cmflsp40-36-2-10", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "66452236.4536", "bestResultDisplay": { "value": "66452236.4536", "note": "strict repair" }, "bestBound": "65928415.306808524", "bestBoundDisplay": { "value": "65928415.306808524", "note": "solver" }, "studyStatus": "985 exact item/period neighborhoods closed; 0.7883% global gap; no strict primal improvement", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Reconstructed original-model identity plus historical global numerical solver evidence", "summary": "details/cmflsp40-36-2-10/summary.md", "archive": "details/cmflsp40-36-2-10/cmflsp40-36-2-10-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "3bf7b526c110ef6279a082a01400aa2124fcdf814206811adeddb1e829f6f1b4", "archiveBytes": 113266, "archiveSha256": "16c1d0707b873e21f28a8f23695f96533dd051ef6ac57e6fe7abb5a4e1dedddd", "includedFiles": 20, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "66452234.49456009", "coptDual": "64134678.7", "primalDelta": "-1.95903991", "dualDelta": "1793736.606808524", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/cmflsp40-36-2-10/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "cmflsp60-36-2-6", "cohort": "subsequent20", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "73891244.22159792", "bestBound": "73054818.85442139", "studyStatus": "historically accepted numerical witness; not uniformly revalidated; exact fixed-pattern LP recourse plus declared Y/Z neighborhoods and untouched-original confirmation", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "73891245.38458699", "coptDual": "72075510.1", "primalDelta": "1.16298907", "dualDelta": "979308.75442139", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/skills-research/comparisons/per_instance_comparison.csv", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "summary": "details/cmflsp60-36-2-6/summary.md", "archive": "details/cmflsp60-36-2-6/cmflsp60-36-2-6-findings.tar.gz", "bundleKind": "result", "sourceEvidenceNote": "See independent-certified column in per_instance_comparison.csv", "bestResultDisplay": { "value": "73891244.22159792", "note": null }, "bestBoundDisplay": { "value": "73054818.85442139", "note": null }, "bundleSnapshot": "2026-09-21", "sourceBaseCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "includedFiles": 3, "excludedFiles": 0, "archiveBytes": 2094, "archiveSha256": "e0c432aea5d0ff254098b47e67c29207f87a512d1b7c7c5e774e4e706b437ec7" }, { "instance": "comp12-2idx", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "277", "bestResultDisplay": { "value": "277", "note": null }, "bestBound": "165", "bestBoundDisplay": { "value": "165", "note": "solver" }, "studyStatus": "Feasible; global optimum open; prior radius-10 local result retained", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Feasible; global optimum open; prior radius-10 local result retained", "summary": "details/comp12-2idx/summary.md", "archive": "details/comp12-2idx/comp12-2idx-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "40a13cfee343953091013efbca048149612ec6c72779729582d379c7fd6c190c", "archiveBytes": 116892, "archiveSha256": "44cd7131cccb854d34d25895106e9e78935f0734ce7fd16a358a84ff39043f67", "includedFiles": 41, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "277.0", "coptDual": "180.108268", "primalDelta": "0.0", "dualDelta": "-15.108268", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/comp12-2idx/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "core2586-950", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "944", "bestResultDisplay": { "value": "944", "note": "strict" }, "bestBound": "937", "bestBoundDisplay": { "value": "937", "note": "solver" }, "studyStatus": "Exact set-cover reduction `OPT = 87 + OPT(hard)`; 0.7415% numerical gap; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Exact set-cover reduction `OPT = 87 + OPT(hard)`; 0.7415% numerical gap; global optimum open", "summary": "details/core2586-950/summary.md", "archive": "details/core2586-950/core2586-950-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "d32979f4b2fdef9787c82ac11b1e65da032cc8dc3c540b00350595ebd33b9aab", "archiveBytes": 112665, "archiveSha256": "45c0f5295ebbf506ec99cc199d2cddbdb69eeb67fe2682d98ec181c3e012eb24", "includedFiles": 17, "excludedFiles": 0, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "944.0", "coptDual": "937.490655", "primalDelta": "0.0", "dualDelta": "-0.490655", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/core2586-950/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "core4284-1064", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "1062", "bestResultDisplay": { "value": "1062", "note": null }, "bestBound": "1055", "bestBoundDisplay": { "value": "1055", "note": "portable" }, "studyStatus": "Exact set-cover reduction and independently checked dual certificate; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Exact set-cover reduction and independently checked dual certificate; global optimum open", "summary": "details/core4284-1064/summary.md", "archive": "details/core4284-1064/core4284-1064-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "0a3b54a3dd484318b5fa3c78d1d8ecf9c401a2dfc95130a8c7f005008e3b95cb", "archiveBytes": 729529, "archiveSha256": "ec79f635b0213e72591dfa477c26b7fe90c9d9d04be2695288b5505f6e397a1f", "includedFiles": 29, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "1062.0", "coptDual": "1055.87389", "primalDelta": "0.0", "dualDelta": "-0.87389", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/core4284-1064/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "core4872-1529", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "1530", "bestResultDisplay": { "value": "1530", "note": null }, "bestBound": "932", "bestBoundDisplay": { "value": "932", "note": "portable" }, "studyStatus": "Independently replayed disjoint-row-packing certificate; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Independently replayed disjoint-row-packing certificate; global optimum open", "summary": "details/core4872-1529/summary.md", "archive": "details/core4872-1529/core4872-1529-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "f83c133ca010f10c6248086f9f43a59f38678bb2d95cbcf438722152b6670b86", "archiveBytes": 98348, "archiveSha256": "4dadfb97ba824951b7903ddac28ff93b69fdbc8dc065963249bf919890945f5c", "includedFiles": 16, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "1530.0", "coptDual": "1514.10482", "primalDelta": "0.0", "dualDelta": "-582.10482", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/core4872-1529/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "cvrpa-n64k9vrpi", "status": "concluded", "statusLabel": "Certified optimality / infeasibility", "bestResult": "1401", "bestResultDisplay": { "value": "1401", "note": "new strict incumbent" }, "bestBound": "1401", "bestBoundDisplay": { "value": "1401", "note": null }, "studyStatus": "Optimal, mixed database/computational evidence; exact MPS projection and rational 17+ bound, but no portable complete lower-bound trace", "globalConclusion": "OPT = 1401", "globalMethod": "exact compiled-MPS projection + CVRPLIB fixed-nine optimum + exact-route-count Gurobi/COPT exclusions + rational K>=17 dual", "evidenceGrade": "MX", "evidenceLevel": "Mixed computational evidence", "sourceEvidenceNote": "Exact original-MPS projection plus external results, numerical exclusions, and exact certificates for larger fleet sizes", "summary": "details/cvrpa-n64k9vrpi/summary.md", "archive": "details/cvrpa-n64k9vrpi/cvrpa-n64k9vrpi-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "0de5fe82b941d5b87f551f4ee72998faa572644d311bcd1c7bbd953dfac84d8c", "archiveBytes": 351415, "archiveSha256": "2d485141fb17c20e7d5aeac10a3c46f80353cfd237e2847548becb98b3b6e8bd", "includedFiles": 65, "excludedFiles": 1, "cohort": "original112", "primalImprovement": true, "dualImprovement": true, "primalCategory": "numeric_improvement", "miplibPrimal": "1617.0", "coptDual": "0", "primalDelta": "216.0", "dualDelta": "1401", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/cvrpa-n64k9vrpi/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "cvrpb-n45k5vrpi", "status": "concluded", "statusLabel": "Certified optimality / infeasibility", "bestResult": "751", "bestResultDisplay": { "value": "751", "note": "new strict incumbent" }, "bestBound": "751", "bestBoundDisplay": { "value": "751", "note": null }, "studyStatus": "Optimal, mixed database/computational evidence; no portable exact lower-bound trace", "globalConclusion": "OPT = 751", "globalMethod": "exact compiled-MPS projection + CVRPLIB five-route optimum + Gurobi exclusion for at least six routes", "evidenceGrade": "MX", "evidenceLevel": "Mixed computational evidence", "sourceEvidenceNote": "Exact original-MPS projection plus an external fixed-fleet result and historical numerical exclusions", "summary": "details/cvrpb-n45k5vrpi/summary.md", "archive": "details/cvrpb-n45k5vrpi/cvrpb-n45k5vrpi-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "ef221375d4007d8412b94f151d249e6add9420d5179938fa5e9974783a972fbc", "archiveBytes": 410499, "archiveSha256": "d0018d62206b8e379baffa9628d861eeb850104c1bfb409257c2268f00f1d057", "includedFiles": 57, "excludedFiles": 1, "cohort": "original112", "primalImprovement": true, "dualImprovement": true, "primalCategory": "numeric_improvement", "miplibPrimal": "775", "coptDual": "0", "primalDelta": "24", "dualDelta": "751", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/cvrpb-n45k5vrpi/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "cvrpp-n16k8vrpi", "status": "concluded", "statusLabel": "Certified optimality / infeasibility", "bestResult": "450", "bestResultDisplay": { "value": "450", "note": null }, "bestBound": "450", "bestBoundDisplay": { "value": "450", "note": null }, "studyStatus": "Optimal, exact dynamic program", "globalConclusion": "OPT = 450", "globalMethod": "capacity-feasible route DP + exact partition", "evidenceGrade": "PE", "evidenceLevel": "Portable exact certificate", "sourceEvidenceNote": "Optimal, exact dynamic program", "summary": "details/cvrpp-n16k8vrpi/summary.md", "archive": "details/cvrpp-n16k8vrpi/cvrpp-n16k8vrpi-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "35cab24397e9f9d906415b035ecf584cb9942463f48b5fce4a2826a44a4de0d0", "archiveBytes": 56481, "archiveSha256": "46490f9f2735ac69a2f2d7c2b4c108e205212a6612045c65d2cc4b0bc6d2d074", "includedFiles": 11, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "450", "coptDual": "282.375839", "primalDelta": "0", "dualDelta": "167.624161", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/cvrpp-n16k8vrpi/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "d20200", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "12237", "bestResultDisplay": { "value": "12237", "note": null }, "bestBound": "12232", "bestBoundDisplay": { "value": "12232", "note": "solver bound; independently checked exact bound: 12,230" }, "studyStatus": "Custom tree incomplete: 33 pending subtrees; no new bound", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Custom tree incomplete: 33 pending subtrees; no new bound", "summary": "details/d20200/summary.md", "archive": "details/d20200/d20200-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "4fa2e6515914e229ad2990b56f58afc0cee3a6f8f1fc1c7a31a4942c3889e42f", "archiveBytes": 3877, "archiveSha256": "b12be40598a70ee9be7eb632a129978020ef90c6fb59a5922288cd5b28b31e50", "includedFiles": 3, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "12237.0", "coptDual": "12232.0097", "primalDelta": "0.0", "dualDelta": "-0.0097", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/d20200/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "dano3mip", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "664.020833333333", "bestResultDisplay": { "value": "664.020833333333", "note": null }, "bestBound": "578.2171855753", "bestBoundDisplay": { "value": "578.2171855753", "note": null }, "studyStatus": "Feasible; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Feasible; global optimum open", "summary": "details/dano3mip/summary.md", "archive": "details/dano3mip/dano3mip-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "05d920c6d4f04735de780031f7db40767e7eb1f1f1415bac4426f9bb3786834a", "archiveBytes": 55319, "archiveSha256": "24534c8ef5be76e0286b9f55cecbea0268c103f3193ad1cd2ae4c96bcb36f099", "includedFiles": 10, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "664.0208333333334", "coptDual": "578.852969", "primalDelta": "4E-13", "dualDelta": "-0.6357834247", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/dano3mip/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "datt256", "status": "no-feasible", "statusLabel": "No feasible point found", "bestResult": "no feasible point", "bestResultDisplay": { "value": "no feasible point", "note": "no feasible point" }, "bestBound": "local infeasibility certificates", "bestBoundDisplay": { "value": "local infeasibility certificates", "note": "local infeasibility certificates" }, "studyStatus": "Global feasibility open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Global feasibility open", "summary": "details/datt256/summary.md", "archive": "details/datt256/datt256-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "1edafb1feb9a338a81212c37c3e1e06701aac29adc4f41fa333223e872bfcce3", "archiveBytes": 23636, "archiveSha256": "bb25e665bcc9026f6ba11c1873e9deb068c0106338031ff451b4c705001c8081", "includedFiles": 19, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": null, "coptDual": "256", "primalDelta": null, "dualDelta": null, "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/datt256/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "dc1l", "cohort": "subsequent20", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "1758647.6800999984", "bestBound": "1748926.03079", "studyStatus": "historically accepted numerical witness; not uniformly revalidated; exact structural quotient and rational certificate chain, audited restricted neighborhoods, and matched untouched-original control", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "1758647.6801", "coptDual": "1751049.95", "primalDelta": "1.6E-9", "dualDelta": "-2123.91921", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/skills-research/comparisons/per_instance_comparison.csv", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "summary": "details/dc1l/summary.md", "archive": "details/dc1l/dc1l-findings.tar.gz", "bundleKind": "result", "sourceEvidenceNote": "See independent-certified column in per_instance_comparison.csv", "bestResultDisplay": { "value": "1758647.6800999984", "note": null }, "bestBoundDisplay": { "value": "1748926.03079", "note": null }, "bundleSnapshot": "2026-09-21", "sourceBaseCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "includedFiles": 3, "excludedFiles": 0, "archiveBytes": 2061, "archiveSha256": "4548f8df35137f11a20447bad3b8ae5256dfd6346fa846b3fd15a8170fdc9e3e" }, { "instance": "dfn-bwin-DBE", "status": "concluded", "statusLabel": "Certified optimality / infeasibility", "bestResult": "73623.79", "bestResultDisplay": { "value": "73623.79", "note": null }, "bestBound": "73623.79", "bestBoundDisplay": { "value": "73623.79", "note": null }, "studyStatus": "Optimal, exact spanning-tree DP and cost exclusion", "globalConclusion": "OPT = 73623.79", "globalMethod": "exact spanning-tree subset DP + ten-edge cost exclusion", "evidenceGrade": "PE", "evidenceLevel": "Portable exact certificate", "sourceEvidenceNote": "Optimal, exact spanning-tree DP and cost exclusion", "summary": "details/dfn-bwin-DBE/summary.md", "archive": "details/dfn-bwin-DBE/dfn-bwin-DBE-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "03837fed0d6890335cf8cfba0a0a15ec0bf5741a903da5237c3b49b3e72a1351", "archiveBytes": 27221, "archiveSha256": "0b5cee42c76e918d1edea4dd038c62a5a7133d332c82755a2ea033b2f5f71b53", "includedFiles": 8, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "73623.78788664003", "coptDual": "56406.0914", "primalDelta": "-0.00211335997", "dualDelta": "17217.6986", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/dfn-bwin-DBE/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "dws012-01", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "82030.5522222395466198", "bestResultDisplay": { "value": "82030.5522222395466198", "note": "1e-9 feasible" }, "bestBound": "44641.72316928", "bestBoundDisplay": { "value": "44641.72316928", "note": "solver" }, "studyStatus": "Fixed-design recourse optimum and exact projection blueprint; 45.5792% numerical gap; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Fixed-design recourse optimum and exact projection blueprint; 45.5792% numerical gap; global optimum open", "summary": "details/dws012-01/summary.md", "archive": "details/dws012-01/dws012-01-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "69382aca064f27f722511a41e4fc33aff4cd82a871aa83ab24152350335980ef", "archiveBytes": 198371, "archiveSha256": "3597ddf8de56f2559c9bc55e5f40c03793cfc955bd6f084a8ae02999872e5b28", "includedFiles": 16, "excludedFiles": 0, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "82030.53014261134", "coptDual": "47506.9179", "primalDelta": "-0.0220796282066198", "dualDelta": "-2865.19473072", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/dws012-01/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "dws012-02", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "119443.31072434435", "bestResultDisplay": { "value": "119443.31072434435", "note": "new strict incumbent" }, "bestBound": "23459.58492171858", "bestBoundDisplay": { "value": "23459.58492171858", "note": null }, "studyStatus": "Sibling-design transplant improves MIPLIB v36 by 449.99998531942; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Sibling-design transplant improves MIPLIB v36 by 449.99998531942; global optimum open", "summary": "details/dws012-02/summary.md", "archive": "details/dws012-02/dws012-02-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "7c74740b732d6342e6d2f3488bc064a5efb5e17e1ad5d380d0ab313aba88c9a2", "archiveBytes": 454046, "archiveSha256": "7a1ad7698b79828d8dd75a394f3bb6434df504ff0d2c1221ceea161c7beec41a", "includedFiles": 28, "excludedFiles": 1, "cohort": "original112", "primalImprovement": true, "dualImprovement": false, "primalCategory": "numeric_improvement", "miplibPrimal": "119893.3107095763", "coptDual": "58131.4504", "primalDelta": "449.99998523195", "dualDelta": "-34671.86547828142", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/dws012-02/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "eva1aprime5x5opt", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "-17.94807560443689", "bestResultDisplay": { "value": "-17.94807560443689", "note": "strict" }, "bestBound": "-458.919072061", "bestBoundDisplay": { "value": "-458.919072061", "note": null }, "studyStatus": "Feasible; no `1e-6` improvement within bit radius 8; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Feasible; no `1e-6` improvement within bit radius 8; global optimum open", "summary": "details/eva1aprime5x5opt/summary.md", "archive": "details/eva1aprime5x5opt/eva1aprime5x5opt-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "d953331366aedddfa9dce6391de014b586d8f8e87e1a3f91057d499aa20d3c07", "archiveBytes": 175204, "archiveSha256": "2b9b8414855b9bf75d1160f0fc42b84dc989684f954a7c10b89e8847776f34b1", "includedFiles": 26, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "-17.94807560443689", "coptDual": "-52.0397187", "primalDelta": "0E-14", "dualDelta": "-406.879353361", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/eva1aprime5x5opt/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "eva1aprime6x6opt", "cohort": "subsequent20", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "-18.101002981361386", "bestBound": "-96.70380539695806", "studyStatus": "historically accepted numerical witness; not uniformly revalidated; material-choice structure recovery, strict fixed-pattern recourse, conflict cliques, symmetry-aware exact/local neighborhoods, redundant indicators, cardinality shell, and strict untouched-original control", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "-18.10146978964996", "coptDual": "-140.895641", "primalDelta": "-0.000466808288574", "dualDelta": "44.19183560304194", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/skills-research/comparisons/per_instance_comparison.csv", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "summary": "details/eva1aprime6x6opt/summary.md", "archive": "details/eva1aprime6x6opt/eva1aprime6x6opt-findings.tar.gz", "bundleKind": "result", "sourceEvidenceNote": "See independent-certified column in per_instance_comparison.csv", "bestResultDisplay": { "value": "-18.101002981361386", "note": null }, "bestBoundDisplay": { "value": "-96.70380539695806", "note": null }, "bundleSnapshot": "2026-09-21", "sourceBaseCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "includedFiles": 3, "excludedFiles": 0, "archiveBytes": 2167, "archiveSha256": "f3a460937d77f9680e921ef28c01fe24bbcd1bb8a73ba13fb1ed26a3a97883ec" }, { "instance": "ex1010-pi", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "233", "bestResultDisplay": { "value": "233", "note": null }, "bestBound": "224", "bestBoundDisplay": { "value": "224", "note": "solver" }, "studyStatus": "Exact kernelization; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Exact kernelization; global optimum open", "summary": "details/ex1010-pi/summary.md", "archive": "details/ex1010-pi/ex1010-pi-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "c4073b21653ff85fafce299d6838207dc8928ee8be0b8b52cc1ba030cf2ec33e", "archiveBytes": 1491977, "archiveSha256": "b89fd628daca7e4b3bd5eddb8dba9781cf6dfbab05bca566424b29c2114b151f", "includedFiles": 30, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "233.0", "coptDual": "224.057416", "primalDelta": "0.0", "dualDelta": "-0.057416", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/ex1010-pi/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "f2000", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "1810", "bestResultDisplay": { "value": "1810", "note": null }, "bestBound": "1332", "bestBoundDisplay": { "value": "1332", "note": "root" }, "studyStatus": "Feasible minimum-prime-implicant witness; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Feasible minimum-prime-implicant witness; global optimum open", "summary": "details/f2000/summary.md", "archive": "details/f2000/f2000-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "762e3644517fd1e15e72df60b6ce8f4bd2494239e3332192de90b3e253650271", "archiveBytes": 656624, "archiveSha256": "b544861af7aae7651e0b1704af3a336b16028e7eb1bc9f82d20d3a170c8219fa", "includedFiles": 16, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "1810.0", "coptDual": "1342.95881", "primalDelta": "0.0", "dualDelta": "-10.95881", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/f2000/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "fastxgemm-n3r21s3t6", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "2147", "bestResultDisplay": { "value": "2147", "note": "external-derived; strictly verified" }, "bestBound": "93", "bestBoundDisplay": { "value": "93", "note": null }, "studyStatus": "Project-derived improvement from attributed external construction; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Project-derived improvement from attributed external construction; global optimum open", "summary": "details/fastxgemm-n3r21s3t6/summary.md", "archive": "details/fastxgemm-n3r21s3t6/fastxgemm-n3r21s3t6-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "739ce2fb12e5022dfae5a5203d9693b62d9ecadef12dbc4524aecad21055e689", "archiveBytes": 4033157, "archiveSha256": "24e09d4f0a8fa40ac996b7aa5efaaba86016d2dc212b3e8c306910b8f2afa99a", "includedFiles": 118, "excludedFiles": 1, "cohort": "original112", "primalImprovement": true, "dualImprovement": true, "primalCategory": "external_derived_improvement", "miplibPrimal": "4110.99800117485", "coptDual": "84", "primalDelta": "1963.99800117485", "dualDelta": "9", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/fastxgemm-n3r21s3t6/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "fastxgemm-n3r22s4t6", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "1150", "bestResultDisplay": { "value": "1150", "note": "external-derived; strictly verified" }, "bestBound": "90", "bestBoundDisplay": { "value": "90", "note": null }, "studyStatus": "Project-derived improvement from attributed external construction; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Project-derived improvement from attributed external construction; global optimum open", "summary": "details/fastxgemm-n3r22s4t6/summary.md", "archive": "details/fastxgemm-n3r22s4t6/fastxgemm-n3r22s4t6-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "2e53ad481a0f8aeaf191fc78d8e9475e33ceb9829085e09ab353995fde64addc", "archiveBytes": 13871639, "archiveSha256": "8bd65f5687bc094a3a5ca7e890b6e172b7224f0a543750d63f069732851b114c", "includedFiles": 85, "excludedFiles": 1, "cohort": "original112", "primalImprovement": true, "dualImprovement": true, "primalCategory": "external_derived_improvement", "miplibPrimal": "3101.998198399999", "coptDual": "84", "primalDelta": "1951.998198399999", "dualDelta": "6", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/fastxgemm-n3r22s4t6/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "fastxgemm-n3r23s5t6", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "153", "bestResultDisplay": { "value": "153", "note": "BILR 2018; strictly verified" }, "bestBound": "90", "bestBoundDisplay": { "value": "90", "note": null }, "studyStatus": "Strict interval `[90,153]`; LB is our proof, UB is excluded from our primal count; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Strict interval `[90,153]`; LB is our proof, UB is excluded from our primal count; global optimum open", "summary": "details/fastxgemm-n3r23s5t6/summary.md", "archive": "details/fastxgemm-n3r23s5t6/fastxgemm-n3r23s5t6-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "5089e07a9c9aae4a48074dbd849586ce42093e924b1875656a9de21c35c757b1", "archiveBytes": 4469919, "archiveSha256": "497a2680992209df34a3fc9b0446cbf083a423427874877e3266bc25466b8a91", "includedFiles": 132, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": true, "primalCategory": "published_reproduction_not_project_update", "miplibPrimal": "3089.997998", "coptDual": "84", "primalDelta": "2936.997998", "dualDelta": "6", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/fastxgemm-n3r23s5t6/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "fhnw-binpack4-58", "status": "concluded", "statusLabel": "Certified optimality / infeasibility", "bestResult": "—", "bestResultDisplay": { "value": "—", "note": "infeasible" }, "bestBound": "geometric contradiction", "bestBoundDisplay": { "value": "geometric contradiction", "note": "geometric contradiction" }, "studyStatus": "Infeasible, exact certificate", "globalConclusion": "Infeasible", "globalMethod": "exact projection-area contradiction", "evidenceGrade": "PE", "evidenceLevel": "Portable exact certificate", "sourceEvidenceNote": "Infeasible, exact certificate", "summary": "details/fhnw-binpack4-58/summary.md", "archive": "details/fhnw-binpack4-58/fhnw-binpack4-58-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "880dd4f809bb4c840855fde5fc39fa9ac75c5b029b5b689e2fb91d22037105ee", "archiveBytes": 11893, "archiveSha256": "a133620cb5825c65fd22cdbd27236553bf75a311aab4cc79efbc078752ba0317", "includedFiles": 6, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": null, "coptDual": "0", "primalDelta": null, "dualDelta": null, "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/fhnw-binpack4-58/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "fhnw-binschedule0", "status": "concluded", "statusLabel": "Certified optimality / infeasibility", "bestResult": "15958", "bestResultDisplay": { "value": "15958", "note": null }, "bestBound": "15958", "bestBoundDisplay": { "value": "15958", "note": null }, "studyStatus": "Optimal, exact interval-order path-cover certificate", "globalConclusion": "OPT = 15958", "globalMethod": "endpoint interval-order path cover + even-load lattice", "evidenceGrade": "PE", "evidenceLevel": "Portable exact certificate", "sourceEvidenceNote": "Optimal, exact interval-order path-cover certificate", "summary": "details/fhnw-binschedule0/summary.md", "archive": "details/fhnw-binschedule0/fhnw-binschedule0-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "6a05e97a086982e2cf5730fd9f04b0d5f4bed8ba4092c47c1fb05ce8a5800f30", "archiveBytes": 42467, "archiveSha256": "f2221930f72b32c9134687ec444df32980d2d58ee26b64454347a1144e800814", "includedFiles": 10, "excludedFiles": 1, "cohort": "original112", "primalImprovement": true, "dualImprovement": true, "primalCategory": "numeric_improvement", "miplibPrimal": "16088.0", "coptDual": "15642", "primalDelta": "130.0", "dualDelta": "316", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/fhnw-binschedule0/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "fhnw-binschedule1", "status": "concluded", "statusLabel": "Certified optimality / infeasibility", "bestResult": "55158", "bestResultDisplay": { "value": "55158", "note": null }, "bestBound": "55158", "bestBoundDisplay": { "value": "55158", "note": null }, "studyStatus": "Optimal, exact interval-order path-cover certificate", "globalConclusion": "OPT = 55158", "globalMethod": "endpoint interval-order path cover + colored matching witness", "evidenceGrade": "PE", "evidenceLevel": "Portable exact certificate", "sourceEvidenceNote": "Optimal, exact interval-order path-cover certificate", "summary": "details/fhnw-binschedule1/summary.md", "archive": "details/fhnw-binschedule1/fhnw-binschedule1-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "0e338ff58b2284f24d1fc14cb3d01f8545399d2e7363f0b003aa3dd4ff161b0d", "archiveBytes": 120272, "archiveSha256": "9337e1b07a2828c3beb4dc311042167a22088cfeea1a8e17548281b374637b84", "includedFiles": 9, "excludedFiles": 1, "cohort": "original112", "primalImprovement": true, "dualImprovement": true, "primalCategory": "numeric_improvement", "miplibPrimal": "55198.0", "coptDual": "52153", "primalDelta": "40.0", "dualDelta": "3005", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/fhnw-binschedule1/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "fhnw-binschedule2", "status": "concluded", "statusLabel": "Certified optimality / infeasibility", "bestResult": "2428", "bestResultDisplay": { "value": "2428", "note": null }, "bestBound": "2428", "bestBoundDisplay": { "value": "2428", "note": null }, "studyStatus": "Optimal, exact endpoint clique/parity certificate", "globalConclusion": "OPT = 2428", "globalMethod": "endpoint interval-order clique + parity", "evidenceGrade": "PE", "evidenceLevel": "Portable exact certificate", "sourceEvidenceNote": "Optimal, exact endpoint clique/parity certificate", "summary": "details/fhnw-binschedule2/summary.md", "archive": "details/fhnw-binschedule2/fhnw-binschedule2-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "4d30405c77d22bbdf25cc329881807515332ca3ebd770ad60829140ac8eec85f", "archiveBytes": 67492, "archiveSha256": "695d02fe71a5e877e57ca4aef44f71f8438fd402f4e24212a541142c521fa193", "includedFiles": 8, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "2428", "coptDual": "2273.5", "primalDelta": "0", "dualDelta": "154.5", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/fhnw-binschedule2/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "fhnw-schedule-paira100", "status": "concluded", "statusLabel": "Certified optimality / infeasibility", "bestResult": "-15.113116512593402", "bestResultDisplay": { "value": "-15.113116512593402", "note": "strict" }, "bestBound": "-15.113116512593401992", "bestBoundDisplay": { "value": "-15.113116512593401992", "note": "Gurobi + audited valid cuts" }, "studyStatus": "Computational optimum; official lower headline is nonintegral, so no numerical primal improvement is claimed", "globalConclusion": "OPT = -15.113116512593402", "globalMethod": "portable exact branch-and-dual certificate with frozen or rebuilt strengthening, untouched-original-MPS audit, and paired-formulation cross-check where available", "evidenceGrade": "PE", "evidenceLevel": "Portable exact certificate", "sourceEvidenceNote": "Local exact branch-dual certificate plus an exact original-MPS feasible solution", "summary": "details/fhnw-schedule-paira100/summary.md", "archive": "details/fhnw-schedule-paira100/fhnw-schedule-paira100-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "2843e2c13cc2d03b0e9df8665f841c4673b13f69a858780d8c3005931fd8e7c8", "archiveBytes": 508081, "archiveSha256": "41885bcf6518a0f349648a517da4ca234ed5667bb2b942141fb72fe738d8684a", "includedFiles": 28, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "-15.1131226682367", "coptDual": "-23.8016842", "primalDelta": "-0.000006155643298", "dualDelta": "8.688567687406598008", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/fhnw-schedule-paira100/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "fhnw-schedule-paira200", "status": "concluded", "statusLabel": "Certified optimality / infeasibility", "bestResult": "-19.369961204645204", "bestResultDisplay": { "value": "-19.369961204645204", "note": "new strict incumbent" }, "bestBound": "-19.36996120464520581", "bestBoundDisplay": { "value": "-19.36996120464520581", "note": "Gurobi + audited valid cuts" }, "studyStatus": "Computational optimum; independent rerun and original-MPS audit", "globalConclusion": "OPT = -19.369961204645204", "globalMethod": "portable exact branch-and-dual certificate with frozen or rebuilt strengthening, untouched-original-MPS audit, and paired-formulation cross-check where available", "evidenceGrade": "PE", "evidenceLevel": "Portable exact certificate", "sourceEvidenceNote": "Local exact branch-dual certificate plus an exact original-MPS feasible solution", "summary": "details/fhnw-schedule-paira200/summary.md", "archive": "details/fhnw-schedule-paira200/fhnw-schedule-paira200-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "09462db7cc705326686ce557fb4491e95cf1d722e21878d9e382914304f3c160", "archiveBytes": 889084, "archiveSha256": "a62cdac5a8af22a6a94276de19d3e95d2b32410c39bf3bd2430daca5be73e650", "includedFiles": 24, "excludedFiles": 1, "cohort": "original112", "primalImprovement": true, "dualImprovement": true, "primalCategory": "numeric_improvement", "miplibPrimal": "-19.2298568218154", "coptDual": "-46.9081453", "primalDelta": "0.140104382829804", "dualDelta": "27.53818409535479419", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/fhnw-schedule-paira200/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "fhnw-schedule-paira400", "status": "concluded", "statusLabel": "Certified optimality / infeasibility", "bestResult": "-36.27696674236886", "bestResultDisplay": { "value": "-36.27696674236886", "note": "new strict incumbent" }, "bestBound": "-36.276966742368865136", "bestBoundDisplay": { "value": "-36.276966742368865136", "note": "safe suffix master" }, "studyStatus": "Computational optimum; two master runs and Pair-A/Pair-B full-row audits", "globalConclusion": "OPT = -36.27696674236886", "globalMethod": "portable exact branch-and-dual certificate with frozen or rebuilt strengthening, untouched-original-MPS audit, and paired-formulation cross-check where available", "evidenceGrade": "PE", "evidenceLevel": "Portable exact certificate", "sourceEvidenceNote": "Local exact branch-dual certificate plus an exact original-MPS feasible solution", "summary": "details/fhnw-schedule-paira400/summary.md", "archive": "details/fhnw-schedule-paira400/fhnw-schedule-paira400-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "5d689998ff8bb6e375fc800c21dd9646eedd0811526f47b40bdc72d1b0295360", "archiveBytes": 327996, "archiveSha256": "88814ef371b96d6971b9b21df58b0998631c0ecc47601af94be3f039f0d9f10a", "includedFiles": 12, "excludedFiles": 1, "cohort": "original112", "primalImprovement": true, "dualImprovement": true, "primalCategory": "numeric_improvement", "miplibPrimal": "-35.54680465280395", "coptDual": "-95.8844179", "primalDelta": "0.73016208956491", "dualDelta": "59.607451157631134864", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/fhnw-schedule-paira400/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "fhnw-schedule-pairb200", "status": "concluded", "statusLabel": "Certified optimality / infeasibility", "bestResult": "-19.3699612046452058100", "bestResultDisplay": { "value": "-19.3699612046452058100", "note": "new strict incumbent" }, "bestBound": "-19.36996120464520581", "bestBoundDisplay": { "value": "-19.36996120464520581", "note": "Gurobi + audited valid cuts" }, "studyStatus": "Computational optimum; independent rerun and Pair-A cross-check, no portable formal lower-bound proof", "globalConclusion": "OPT = -19.3699612046452058100", "globalMethod": "portable exact branch-and-dual certificate with frozen or rebuilt strengthening, untouched-original-MPS audit, and paired-formulation cross-check where available", "evidenceGrade": "PE", "evidenceLevel": "Portable exact certificate", "sourceEvidenceNote": "Local exact branch-dual certificate plus an exact original-MPS feasible solution", "summary": "details/fhnw-schedule-pairb200/summary.md", "archive": "details/fhnw-schedule-pairb200/fhnw-schedule-pairb200-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "f5d5841f8c250f510655fc1ba49f90f975c8ce453e06f8007c13641d1548ce19", "archiveBytes": 1337988, "archiveSha256": "a1e1e4ee569928c4f9af022fe6ece329ba80a222e623b4a5647f907dc9fd1f69", "includedFiles": 29, "excludedFiles": 2, "cohort": "original112", "primalImprovement": true, "dualImprovement": true, "primalCategory": "numeric_improvement", "miplibPrimal": "-19.24094384259708", "coptDual": "-51.5610835", "primalDelta": "0.1290173620481258100", "dualDelta": "32.19112229535479419", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/fhnw-schedule-pairb200/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "fhnw-schedule-pairb400", "status": "concluded", "statusLabel": "Certified optimality / infeasibility", "bestResult": "-36.27696674236886", "bestResultDisplay": { "value": "-36.27696674236886", "note": "new strict incumbent" }, "bestBound": "-36.276966742368865136", "bestBoundDisplay": { "value": "-36.276966742368865136", "note": "independent safe suffix master" }, "studyStatus": "Computational optimum; two safe runs, cross-formulation audit, invalid old cuts explicitly rejected", "globalConclusion": "OPT = -36.27696674236886", "globalMethod": "portable exact branch-and-dual certificate with frozen or rebuilt strengthening, untouched-original-MPS audit, and paired-formulation cross-check where available", "evidenceGrade": "PE", "evidenceLevel": "Portable exact certificate", "sourceEvidenceNote": "Local exact branch-dual certificate plus an exact original-MPS feasible solution", "summary": "details/fhnw-schedule-pairb400/summary.md", "archive": "details/fhnw-schedule-pairb400/fhnw-schedule-pairb400-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "42634b6c2f6fc2edf99f4526daa31df4abc6346fdff40a84535cd716fc86127e", "archiveBytes": 124724, "archiveSha256": "af6d315f1df4bed8c65287262103a3b5d21cc25d873863ab005358ead9e7c2fd", "includedFiles": 17, "excludedFiles": 1, "cohort": "original112", "primalImprovement": true, "dualImprovement": true, "primalCategory": "numeric_improvement", "miplibPrimal": "-35.4584", "coptDual": "-98.8384308", "primalDelta": "0.81856674236886", "dualDelta": "62.561464057631134864", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/fhnw-schedule-pairb400/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "genus-g31-8", "status": "numeric-optimal", "statusLabel": "Numerically optimal up to 1e-10 tolerance", "bestResult": "-23", "bestResultDisplay": { "value": "-23", "note": "candidate; native genus 3; literal-MPS residual 1e-15" }, "bestBound": "-23", "bestBoundDisplay": { "value": "-23", "note": "exact lower bound" }, "studyStatus": "P=D=-23; primal row residual 1e-15 < 1e-10 accepted policy; not literal-zero feasibility", "globalConclusion": "OPT = -23 (residual < 1e-10)", "globalMethod": "P=D=-23; primal row residual 1e-15 < 1e-10 accepted policy; not literal-zero feasibility", "evidenceGrade": "TC", "evidenceLevel": "Tolerance-accepted closure", "sourceEvidenceNote": "P=D=-23; primal row residual 1e-15 < 1e-10 accepted policy; not literal-zero feasibility", "summary": "details/genus-g31-8/summary.md", "archive": "details/genus-g31-8/genus-g31-8-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "bf9dbb85adad7cdce5a2c4ce801772b6b13978ccfd4147e3671d297fb5968935", "archiveBytes": 11163, "archiveSha256": "63dbda49492f6d92fe9210a6c140243e164f33a4f69ef4eb325076c34420e764", "includedFiles": 7, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "-23", "coptDual": "-27", "primalDelta": "0", "dualDelta": "4", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/genus-g31-8/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "genus-g61-25", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "-40", "bestResultDisplay": { "value": "-40", "note": "genus 10; MPS tolerance 1e-6" }, "bestBound": "-42", "bestBoundDisplay": { "value": "-42", "note": "exact; genus ≥9" }, "studyStatus": "Complete 44-face exclusion; 42-face target unresolved", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Complete 44-face exclusion; 42-face target unresolved", "summary": "details/genus-g61-25/summary.md", "archive": "details/genus-g61-25/genus-g61-25-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "a8958cd2d9281b3bd030106524b4646113fa2da22c52e27ba25fdce8dc29ad46", "archiveBytes": 25840, "archiveSha256": "a0ed0805b7a36d6cee992e168be452c8dc955c720be03726162b45dd0d3d7b19", "includedFiles": 23, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "-40.0", "coptDual": "-58", "primalDelta": "0.0", "dualDelta": "16", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/genus-g61-25/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "genus-sym-g31-8", "status": "numeric-optimal", "statusLabel": "Numerically optimal up to 1e-10 tolerance", "bestResult": "-23", "bestResultDisplay": { "value": "-23", "note": "candidate; native genus 3; literal-MPS residual 1e-15" }, "bestBound": "-23", "bestBoundDisplay": { "value": "-23", "note": "exact lower bound" }, "studyStatus": "P=D=-23; primal row residual 1e-15 < 1e-10 accepted policy; not literal-zero feasibility", "globalConclusion": "OPT = -23 (residual < 1e-10)", "globalMethod": "P=D=-23; primal row residual 1e-15 < 1e-10 accepted policy; not literal-zero feasibility", "evidenceGrade": "TC", "evidenceLevel": "Tolerance-accepted closure", "sourceEvidenceNote": "P=D=-23; primal row residual 1e-15 < 1e-10 accepted policy; not literal-zero feasibility", "summary": "details/genus-sym-g31-8/summary.md", "archive": "details/genus-sym-g31-8/genus-sym-g31-8-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "0bf569a0e3c0148fa07adc11cedca2b0e5671c509ab4265754047def48c6aa1e", "archiveBytes": 4960, "archiveSha256": "42afd354aa663a6e5e15a6341d4e87ecfaf964ddcd9618c705e5cf8629e84ea6", "includedFiles": 5, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "-23.0", "coptDual": "-27", "primalDelta": "0.0", "dualDelta": "4", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/genus-sym-g31-8/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "genus-sym-g62-2", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "-38", "bestResultDisplay": { "value": "-38", "note": "MPS tolerance 1e-6" }, "bestBound": "-40", "bestBoundDisplay": { "value": "-40", "note": "exact" }, "studyStatus": "Complete short-face catalogue and rational dual; optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Complete short-face catalogue and rational dual; optimum open", "summary": "details/genus-sym-g62-2/summary.md", "archive": "details/genus-sym-g62-2/genus-sym-g62-2-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "dcf1b97a2f705ccca209e54ee1003f449302cc7734005691f848bb03e1cedf0f", "archiveBytes": 5444, "archiveSha256": "99d503bfbeef942d2ae81980235358b48c3bbadae608d6fb9601f6528bca31ff", "includedFiles": 3, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "-38.0", "coptDual": "-54", "primalDelta": "0.0", "dualDelta": "14", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/genus-sym-g62-2/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "genus-sym-grafo5708-48", "status": "concluded", "statusLabel": "Certified optimality / infeasibility", "bestResult": "-21", "bestResultDisplay": { "value": "-21", "note": "genus 4" }, "bestBound": "-21", "bestBoundDisplay": { "value": "-21", "note": "exhaustive result" }, "studyStatus": "Optimal, specialized exact exhaustive computation; no standalone proof trace", "globalConclusion": "OPT = -21", "globalMethod": "exhaustive orientable-genus computation + rotation", "evidenceGrade": "EX", "evidenceLevel": "Exhaustive exact verification", "sourceEvidenceNote": "Optimal, specialized exact exhaustive computation; no standalone proof trace", "summary": "details/genus-sym-grafo5708-48/summary.md", "archive": "details/genus-sym-grafo5708-48/genus-sym-grafo5708-48-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "e31d8fd20461cdf01a2e4e067a58e02edc57ff8731c86278e0a72e1fa09efc07", "archiveBytes": 20886, "archiveSha256": "fd982d0fa7eac5c6720f9cca1f6176ce274e90758c42e2a21b3c689380696403", "includedFiles": 14, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "-21", "coptDual": "-27", "primalDelta": "0", "dualDelta": "6", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/genus-sym-grafo5708-48/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "ger50-17-ptp-pop-3t", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "5224.5144", "bestResultDisplay": { "value": "5224.5144", "note": "strict" }, "bestBound": "5183.93592586653", "bestBoundDisplay": { "value": "5183.93592586653", "note": "solver" }, "studyStatus": "Exact flow scaling; conflicting Gurobi 13 zero-gap output rejected; 0.7767% numerical gap; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Exact flow scaling; conflicting Gurobi 13 zero-gap output rejected; 0.7767% numerical gap; global optimum open", "summary": "details/ger50-17-ptp-pop-3t/summary.md", "archive": "details/ger50-17-ptp-pop-3t/ger50-17-ptp-pop-3t-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "e2f2afaa66f6efa30a78365774c4556b758147ae2b983ac4dd6839430ae3de42", "archiveBytes": 32171, "archiveSha256": "c0fd3754b5c9c532ead6ced3ae54aefa7b885db4b67c15e21fe0594bf53132f4", "includedFiles": 11, "excludedFiles": 0, "cohort": "original112", "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "5224.5144", "coptDual": "4123.52638", "primalDelta": "0.0000", "dualDelta": "1060.40954586653", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/ger50-17-ptp-pop-3t/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "ger50-17-trans-dfn-3t", "cohort": "subsequent20", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "3969.433399999999", "bestBound": "3934.3152", "studyStatus": "historically accepted numerical witness; not uniformly revalidated; audited rounded logical cutset strengthening", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "3969.4334", "coptDual": "3831.36744", "primalDelta": "1E-12", "dualDelta": "102.94776", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/skills-research/comparisons/per_instance_comparison.csv", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "summary": "details/ger50-17-trans-dfn-3t/summary.md", "archive": "details/ger50-17-trans-dfn-3t/ger50-17-trans-dfn-3t-findings.tar.gz", "bundleKind": "result", "sourceEvidenceNote": "See independent-certified column in per_instance_comparison.csv", "bestResultDisplay": { "value": "3969.433399999999", "note": null }, "bestBoundDisplay": { "value": "3934.3152", "note": null }, "bundleSnapshot": "2026-09-21", "sourceBaseCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "includedFiles": 3, "excludedFiles": 0, "archiveBytes": 2045, "archiveSha256": "36143e843bc6cfd8ca84a6e7b50c64db30058a0e317710691b6831bb587e61c4" }, { "instance": "gmut-76-40", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "-14169477.7859", "bestResultDisplay": { "value": "-14169477.7859", "note": "strict repaired" }, "bestBound": "-14171086.31587", "bestBoundDisplay": { "value": "-14171086.31587", "note": "solver" }, "studyStatus": "Exact-decimal primal audit; 0.0114% numerical gap; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Exact-decimal primal audit; 0.0114% numerical gap; global optimum open", "summary": "details/gmut-76-40/summary.md", "archive": "details/gmut-76-40/gmut-76-40-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "59e14a7e218d884ca62c0b90485e0f47a5248e8e2856b709ce67cca6a1e6a3f0", "archiveBytes": 8483, "archiveSha256": "e3eb62a6a6ab70840bc8abffe1834a4bf0d83e19b1eb85c4c4a80f7bfba08e16", "includedFiles": 9, "excludedFiles": 0, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "-14169477.79550346", "coptDual": "-14170137.1", "primalDelta": "-0.00960346", "dualDelta": "-949.21587", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/gmut-76-40/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "gmut-76-50", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "-14171397.8275", "bestResultDisplay": { "value": "-14171397.8275", "note": "strict" }, "bestBound": "no new certified global bound", "bestBoundDisplay": { "value": "no new certified global bound", "note": "no new certified global bound" }, "studyStatus": "Public lower-looking witness is nonintegral; no incumbent improvement claimed", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Public lower-looking witness is nonintegral; no incumbent improvement claimed", "summary": "details/gmut-76-50/summary.md", "archive": "details/gmut-76-50/gmut-76-50-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "6737bffe85c5446a1ce8fe1e8a0a270710405d74dfe83584a37cca98d3f47f48", "archiveBytes": 252812, "archiveSha256": "0fcfaec72ddb7aeb5102120bec3cde070f4b4f64e875402586cd5971ed09f6ec", "includedFiles": 24, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "-14171893.7789212", "coptDual": "-14173526.5", "primalDelta": "-495.9514212", "dualDelta": null, "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/gmut-76-50/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "graph40-20-1rand", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "-15", "bestResultDisplay": { "value": "-15", "note": "15 cuts" }, "bestBound": "-15 published, graph identity not certified", "bestBoundDisplay": { "value": "-15 published, graph identity not certified", "note": "published, graph identity not certified" }, "studyStatus": "Feasible; global optimality not locally certified", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Feasible; global optimality not locally certified", "summary": "details/graph40-20-1rand/summary.md", "archive": "details/graph40-20-1rand/graph40-20-1rand-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "114dc836d36b102aa916450034158c8851b93d0883d9857326a706853d85b06f", "archiveBytes": 3724, "archiveSha256": "d9fb881366ba6996a173eed243858857505861901ccccaab59e5ec9937892369", "includedFiles": 2, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "-15", "coptDual": "-134.42884", "primalDelta": "0", "dualDelta": null, "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/graph40-20-1rand/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "graph40-40-1rand", "status": "concluded", "statusLabel": "Certified optimality / infeasibility", "bestResult": "-9", "bestResultDisplay": { "value": "-9", "note": "9 cuts" }, "bestBound": "-9", "bestBoundDisplay": { "value": "-9", "note": null }, "studyStatus": "Optimal, original-MPS/CNF/LRAT certificate", "globalConclusion": "OPT = -9", "globalMethod": "original-MPS audit + ten-cut CNF/LRAT + witness", "evidenceGrade": "PE", "evidenceLevel": "Portable exact certificate", "sourceEvidenceNote": "Optimal, original-MPS/CNF/LRAT certificate", "summary": "details/graph40-40-1rand/summary.md", "archive": "details/graph40-40-1rand/graph40-40-1rand-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "1112244f6345b07c94aeca57afe9399be574dc852d8ca79fe7540a3794f6703f", "archiveBytes": 728229, "archiveSha256": "5fcb923d67e6b056d6e557a1bf2d222063242072a526d44d0d612515f8738a11", "includedFiles": 41, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "-9", "coptDual": "-68.9559386", "primalDelta": "0", "dualDelta": "59.9559386", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/graph40-40-1rand/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "graph40-80-1rand", "status": "concluded", "statusLabel": "Certified optimality / infeasibility", "bestResult": "-7", "bestResultDisplay": { "value": "-7", "note": null }, "bestBound": "-7", "bestBoundDisplay": { "value": "-7", "note": null }, "studyStatus": "Optimal, original-MPS/CNF/LRAT certificate", "globalConclusion": "OPT = -7", "globalMethod": "original-MPS audit + CNF/LRAT + witness", "evidenceGrade": "PE", "evidenceLevel": "Portable exact certificate", "sourceEvidenceNote": "Optimal, original-MPS/CNF/LRAT certificate", "summary": "details/graph40-80-1rand/summary.md", "archive": "details/graph40-80-1rand/graph40-80-1rand-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "df5f690e745d87beb1cf692843cea0c2d7f542b514e1caed0f2763ae91788eb0", "archiveBytes": 4751, "archiveSha256": "9e577608a6a547fc1e18cc88c60e8cfdd43c52fb452b69c52ee89b4ee8cf1882", "includedFiles": 3, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "-7", "coptDual": "-495.450445", "primalDelta": "0", "dualDelta": "488.450445", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/graph40-80-1rand/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "graphdraw-grafo2", "cohort": "subsequent20", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "68590.5", "bestBound": "53513.5", "studyStatus": "historically accepted numerical witness; not uniformly revalidated; objective-graph degree and disconnected-component restricted LNS with original-MPS replay", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "primalImprovement": true, "dualImprovement": true, "primalCategory": "numeric_improvement", "miplibPrimal": "68613.49999999868", "coptDual": "36314.1643", "primalDelta": "22.99999999868", "dualDelta": "17199.3357", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/skills-research/comparisons/per_instance_comparison.csv", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "summary": "details/graphdraw-grafo2/summary.md", "archive": "details/graphdraw-grafo2/graphdraw-grafo2-findings.tar.gz", "bundleKind": "result", "sourceEvidenceNote": "See independent-certified column in per_instance_comparison.csv", "bestResultDisplay": { "value": "68590.5", "note": null }, "bestBoundDisplay": { "value": "53513.5", "note": null }, "bundleSnapshot": "2026-09-21", "sourceBaseCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "includedFiles": 3, "excludedFiles": 0, "archiveBytes": 2051, "archiveSha256": "1e471503dcf7d455eddf2fc1ee060dbe6382adeb3073d1407bf26f2f637a7ba0" }, { "instance": "graphdraw-mainerd", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "38842", "bestResultDisplay": { "value": "38842", "note": "exact reconstruction" }, "bestBound": "31882", "bestBoundDisplay": { "value": "31882", "note": "exact global certificate" }, "studyStatus": "New global geometric proof; historical six-rectangle local exclusion remains separate; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Local exact geometric projection plus four-direction branch-dual certificates", "summary": "details/graphdraw-mainerd/summary.md", "archive": "details/graphdraw-mainerd/graphdraw-mainerd-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "186808fdbda8bbc31d535011345dd7ed9812e9074068cf524f97799d07632629", "archiveBytes": 153138, "archiveSha256": "a1fcc6c8a67322dba8a54b293fd2ca51ca3ef8710a2f116415e5ac494d348e7a", "includedFiles": 21, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "38841.9999999991", "coptDual": "31493.2257", "primalDelta": "-9E-10", "dualDelta": "388.7743", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/graphdraw-mainerd/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "graphdraw-opmanager", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "99445.5", "bestResultDisplay": { "value": "99445.5", "note": null }, "bestBound": "58950", "bestBoundDisplay": { "value": "58950", "note": "exact global certificate" }, "studyStatus": "New global geometric proof; historical four-rectangle local exclusion remains separate; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Local exact geometric projection plus four-direction branch-dual certificates", "summary": "details/graphdraw-opmanager/summary.md", "archive": "details/graphdraw-opmanager/graphdraw-opmanager-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "4f38b0f735ede81040bfbf939fbf8be4ae79a9b481515d4722a40c4e67e2e2dc", "archiveBytes": 18271, "archiveSha256": "f5c04048af583716be170254840b4fd1e0ee50e76287d221271df58c5f0e1add", "includedFiles": 12, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "99445.5", "coptDual": "56741.4457", "primalDelta": "0.0", "dualDelta": "2208.5543", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/graphdraw-opmanager/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "gsvm2rl11", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "18539.12716192643", "bestResultDisplay": { "value": "18539.12716192643", "note": "strict" }, "bestBound": "2096.755457820071", "bestBoundDisplay": { "value": "2096.755457820071", "note": null }, "studyStatus": "Feasible; sparse-exchange prototypes tested; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Feasible; sparse-exchange prototypes tested; global optimum open", "summary": "details/gsvm2rl11/summary.md", "archive": "details/gsvm2rl11/gsvm2rl11-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "f8f5ff6a9c04c97d0bcf6b9934678f243077a88e05f0a864971644bf9972a013", "archiveBytes": 82208, "archiveSha256": "2e6787e06d5e1d339aca81a64500c388e7bfd2c5951e8e95ce70cb8e7a607376", "includedFiles": 73, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "18121.6376441351", "coptDual": "3169.43538", "primalDelta": "-417.48951779133", "dualDelta": "-1072.679922179929", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/gsvm2rl11/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "gsvm2rl9", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "7438.181167767967", "bestResultDisplay": { "value": "7438.181167767967", "note": "strict" }, "bestBound": "2289.659530409", "bestBoundDisplay": { "value": "2289.659530409", "note": null }, "studyStatus": "Feasible; no official-target improvement within `z` radius 8; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Feasible; no official-target improvement within `z` radius 8; global optimum open", "summary": "details/gsvm2rl9/summary.md", "archive": "details/gsvm2rl9/gsvm2rl9-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "4f3628808adb923f494c9f71fa97921a60cb12767fe5ff6a76eefcdbf1da80d1", "archiveBytes": 365085, "archiveSha256": "8bea0407ac8acf78507889e413582a3eb443a9a2a1d4199a93d8673a55a0371c", "includedFiles": 50, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "7438.181021170049", "coptDual": "2889.25545", "primalDelta": "-0.000146597918", "dualDelta": "-599.595919591", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/gsvm2rl9/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "ivu06", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "142.864331576", "bestResultDisplay": { "value": "142.864331576", "note": null }, "bestBound": "135.900242315", "bestBoundDisplay": { "value": "135.900242315", "note": "portable" }, "studyStatus": "Exact rational dual checked against all columns; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Exact rational dual checked against all columns; global optimum open", "summary": "details/ivu06/summary.md", "archive": "details/ivu06/ivu06-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "e9fb1d9af3f2b29c3a391f11b325bb1b4b786b5b4d54d3993060d3aea8253765", "archiveBytes": 89579, "archiveSha256": "dd437e0242b294a7e95aab2333bbf8fb08dd015bf1fcf95b4cb8ced72002fb66", "includedFiles": 17, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "142.86", "coptDual": "135.944621", "primalDelta": "-0.004331576", "dualDelta": "-0.044378685", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/ivu06/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "liu", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "1082", "bestResultDisplay": { "value": "1082", "note": "new strict solution" }, "bestBound": "1074", "bestBoundDisplay": { "value": "1074", "note": "area + even-lattice certificate" }, "studyStatus": "Feasible; target-1,080 critical-path study closes two restricted neighborhoods, but global optimum remains open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Feasible; target-1,080 critical-path study closes two restricted neighborhoods, but global optimum remains open", "summary": "details/liu/summary.md", "archive": "details/liu/liu-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "b5004c4f0c109d846fd81907decc1d498361d84320dd4272cb3bc6c6db373dcb", "archiveBytes": 364188, "archiveSha256": "23c0088e1b15e41396afbe14fb186003bc5c3984ac162a8ad83612e9e2746fd3", "includedFiles": 75, "excludedFiles": 1, "cohort": "original112", "primalImprovement": true, "dualImprovement": true, "primalCategory": "numeric_improvement", "miplibPrimal": "1083.984782", "coptDual": "560", "primalDelta": "1.984782", "dualDelta": "514", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/liu/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "lr1dr02vc05v8a-t360", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "123046.81611861245", "bestResultDisplay": { "value": "123046.81611861245", "note": "strict normalized" }, "bestBound": "no new bound", "bestBoundDisplay": { "value": "no new bound", "note": "no new bound" }, "studyStatus": "Route RVND/ILS and capacity-preserving compound exchanges tested; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Route RVND/ILS and capacity-preserving compound exchanges tested; global optimum open", "summary": "details/lr1dr02vc05v8a-t360/summary.md", "archive": "details/lr1dr02vc05v8a-t360/lr1dr02vc05v8a-t360-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "776df52c3a6d95c54cbb3ce9b707815351566d5fcaf2fdd268131ae335aa2bc9", "archiveBytes": 3393, "archiveSha256": "24f45b8f2870a0d261da8b6a6c04ae17f8f70732c9c97e0d97286627a7194720", "includedFiles": 2, "excludedFiles": 0, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "123046.8149370308", "coptDual": "120969.134", "primalDelta": "-0.00118158165", "dualDelta": null, "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/lr1dr02vc05v8a-t360/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "milo-v12-6-r1-75-1", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "1153756.398205675", "bestResultDisplay": { "value": "1153756.398205675", "note": null }, "bestBound": "1125907.0416245167", "bestBoundDisplay": { "value": "1125907.0416245167", "note": "solver" }, "studyStatus": "2.4138% numerical gap; 5,236 fixed-topology tests; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "2.4138% numerical gap; 5,236 fixed-topology tests; global optimum open", "summary": "details/milo-v12-6-r1-75-1/summary.md", "archive": "details/milo-v12-6-r1-75-1/milo-v12-6-r1-75-1-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "b902878e70d4696c67c08613e6f6d431ea3dda46367cc7e68d1563fdb43d5d51", "archiveBytes": 58794, "archiveSha256": "ad996bd5b73f52c039ce17f8acd66cefe07a4007aaa93be973c8166fe6a2a161", "includedFiles": 15, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "1153756.39820567", "coptDual": "1135852.03", "primalDelta": "-5E-9", "dualDelta": "-9944.9883754833", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/milo-v12-6-r1-75-1/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "milo-v13-4-3d-4-0", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "358152.26219370891", "bestResultDisplay": { "value": "358152.26219370891", "note": null }, "bestBound": "221230.41433552347", "bestBoundDisplay": { "value": "221230.41433552347", "note": "solver" }, "studyStatus": "Same verified design; prior member-radius-7 result retained; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Same verified design; prior member-radius-7 result retained; global optimum open", "summary": "details/milo-v13-4-3d-4-0/summary.md", "archive": "details/milo-v13-4-3d-4-0/milo-v13-4-3d-4-0-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "42ee967b0d10f3c8aadd25e266a919243a19d50d9efce60fe3e6214ae91a952c", "archiveBytes": 69827, "archiveSha256": "a1bc495c6cb9315151f8ab8085cedfad1cd4397844c8d370def9a18c2e77b1c7", "includedFiles": 21, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "358152.2621937089", "coptDual": "253283.451", "primalDelta": "-1E-11", "dualDelta": "-32053.03666447653", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/milo-v13-4-3d-4-0/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "mining", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "-833589149.2736538586882046", "bestResultDisplay": { "value": "-833589149.2736538586882046", "note": null }, "bestBound": "-835361895.5863052144840282387439", "bestBoundDisplay": { "value": "-835361895.5863052144840282387439", "note": "strict" }, "studyStatus": "Exact certified interval; 0.2126642740% gap; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Exact certified interval; 0.2126642740% gap; global optimum open", "summary": "details/mining/summary.md", "archive": "details/mining/mining-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "fcc9fd581d1b5068cdd76bcc5840ab4e5267118ec88a82638691a62591361b51", "archiveBytes": 10063009, "archiveSha256": "c3e7e4eefc6ee7e4c5599df5a933670500a5ccd2278bfcbbd33de8745649ac6e", "includedFiles": 23, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "-833589149.2736579", "coptDual": "-933493233", "primalDelta": "-0.0000040413117954", "dualDelta": "98131337.4136947855159717612561", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/mining/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "minutedispatchstrategy", "status": "concluded", "statusLabel": "Certified optimality / infeasibility", "bestResult": "3109.9034777596576", "bestResultDisplay": { "value": "3109.9034777596576", "note": null }, "bestBound": "3109.9034777596576", "bestBoundDisplay": { "value": "3109.9034777596576", "note": "Gurobi" }, "studyStatus": "Repository computational closure; official page still `open`; strict primal audit, not yet incorporated into or confirmed by MIPLIB, and no portable exact lower-bound certificate", "globalConclusion": "OPT = 3109.9034777596576", "globalMethod": "original official MPS + public MIP start + zero-gap Gurobi 13.0.1; no user cuts", "evidenceGrade": "NS", "evidenceLevel": "Floating-point zero-gap verification", "sourceEvidenceNote": "Original model plus historical global numerical solver closure; historical discrepancy retained", "summary": "details/minutedispatchstrategy/summary.md", "archive": "details/minutedispatchstrategy/minutedispatchstrategy-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "3b4631788c1dfee3bfe807c494e4dc5c244cb8828eab236a040a8a884e84d783", "archiveBytes": 1095649, "archiveSha256": "c86b811d702ab7f0b2c4b6db018e26974385b7e0694a31bf7d7b70dfa9e0e6a9", "includedFiles": 31, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "3109.903477759654", "coptDual": "3109.78686", "primalDelta": "-3.6E-12", "dualDelta": "0.1166177596576", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/minutedispatchstrategy/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "n3700", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "1247295", "bestResultDisplay": { "value": "1247295", "note": "strict" }, "bestBound": "1063103.147061621", "bestBoundDisplay": { "value": "1063103.147061621", "note": null }, "studyStatus": "Feasible; fixed-charge/network repair tested; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Feasible; fixed-charge/network repair tested; global optimum open", "summary": "details/n3700/summary.md", "archive": "details/n3700/n3700-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "21fbcb5d6a20470bac4c035120124c8def81cd73622655c0d38af0437c5fa3f3", "archiveBytes": 188429, "archiveSha256": "3a30de612190592444a7fdaeed9b2b6b4f858384f9cb1f3ae7a2e43a10698621", "includedFiles": 56, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "1218974.9999999998", "coptDual": "1065546", "primalDelta": "-28320.0000000002", "dualDelta": "-2442.852938379", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/n3700/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "nag", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "930", "bestResultDisplay": { "value": "930", "note": "verified @ 1e-9" }, "bestBound": "550.5405405405405", "bestBoundDisplay": { "value": "550.5405405405405", "note": null }, "studyStatus": "Feasible under the stated tolerance; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Traceable original MPS and runner plus historical global numerical solver evidence", "summary": "details/nag/summary.md", "archive": "details/nag/nag-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "dca7ac0868439c8c36db5b944e52488316c3d80274ad675db7c54d4fb5978e45", "archiveBytes": 181171, "archiveSha256": "e02d44dab2b9b0aa5aa8536617ab40e5c912ca6a1789dff8cb082982593440a1", "includedFiles": 80, "excludedFiles": 1, "cohort": "original112", "primalImprovement": true, "dualImprovement": true, "primalCategory": "numeric_improvement", "miplibPrimal": "945", "coptDual": "465", "primalDelta": "15", "dualDelta": "85.5405405405405", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/nag/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "neos-2629914-sudost", "status": "concluded", "statusLabel": "Certified optimality / infeasibility", "bestResult": "48180", "bestResultDisplay": { "value": "48180", "note": null }, "bestBound": "48180", "bestBoundDisplay": { "value": "48180", "note": null }, "studyStatus": "Optimal, exact QAP/cut-enumeration certificate", "globalConclusion": "OPT = 48180", "globalMethod": "exact QAP reduction + cut-chain enumeration", "evidenceGrade": "PE", "evidenceLevel": "Portable exact certificate", "sourceEvidenceNote": "Optimal, exact QAP/cut-enumeration certificate", "summary": "details/neos-2629914-sudost/summary.md", "archive": "details/neos-2629914-sudost/neos-2629914-sudost-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "0e1925d6452f56c31a17c8d8ab3b9cd5cfafc68713bfa6fdc29a8d6f977063cc", "archiveBytes": 285233, "archiveSha256": "26851c112b5bc7961ceec6b25224d9f884f7b0de6ad8479d3b131406683de4e3", "includedFiles": 97, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "48180", "coptDual": "42387.0653", "primalDelta": "0", "dualDelta": "5792.9347", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/neos-2629914-sudost/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "neos-2978205-isar", "status": "concluded", "statusLabel": "Certified optimality / infeasibility", "bestResult": "-11.925808687", "bestResultDisplay": { "value": "-11.925808687", "note": null }, "bestBound": "-11.925808687", "bestBoundDisplay": { "value": "-11.925808687", "note": null }, "studyStatus": "Optimal, computational global conclusion; exact symmetry quotient and lift with no portable formal lower-bound trace", "globalConclusion": "OPT = -11.925808687", "globalMethod": "exact symmetry quotient and mapping + zero-gap solve + independently audited lifted solution", "evidenceGrade": "NS", "evidenceLevel": "Floating-point zero-gap verification", "sourceEvidenceNote": "Optimal, computational global conclusion; exact symmetry quotient and lift with no portable formal lower-bound trace", "summary": "details/neos-2978205-isar/summary.md", "archive": "details/neos-2978205-isar/neos-2978205-isar-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "e5fbb47be8846b0af630ad35c21e2be32932dd4112ea2045353ae830c632a633", "archiveBytes": 128580, "archiveSha256": "7ac57073c0b9c71a9ac9a3827563fca3dc4bf96ef6e67c9a171b4498db55deef", "includedFiles": 18, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "-11.92580869", "coptDual": "-11.9872276", "primalDelta": "-3E-9", "dualDelta": "0.061418913", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/neos-2978205-isar/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "neos-3009394-lami", "status": "concluded", "statusLabel": "Certified optimality / infeasibility", "bestResult": "5.5", "bestResultDisplay": { "value": "5.5", "note": null }, "bestBound": "5.5", "bestBoundDisplay": { "value": "5.5", "note": null }, "studyStatus": "Optimal, exact Hall/matching certificate", "globalConclusion": "OPT = 5.5", "globalMethod": "exact bottleneck matching + Hall deficiency", "evidenceGrade": "PE", "evidenceLevel": "Portable exact certificate", "sourceEvidenceNote": "Optimal, exact Hall/matching certificate", "summary": "details/neos-3009394-lami/summary.md", "archive": "details/neos-3009394-lami/neos-3009394-lami-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "006aa5717c7578c8fab4e581710b38993394759a3bbedc4f137434472ab31bd5", "archiveBytes": 39060, "archiveSha256": "9504f5520e54cb1195dfe562610f8d633f74d6e60b4090d6629f7ecdd7d73fbb", "includedFiles": 14, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "5.5", "coptDual": "1.92857143", "primalDelta": "0.0", "dualDelta": "3.57142857", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/neos-3009394-lami/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "neos-3355120-tarago", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "-11110906.689290019", "bestResultDisplay": { "value": "-11110906.689290019", "note": "verified @ 1e-9" }, "bestBound": "-11123832.676970437", "bestBoundDisplay": { "value": "-11123832.676970437", "note": null }, "studyStatus": "Feasible; incumbent-centered binary exchange attempted; 0.1163% gap remains", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Traceable original MPS and runner plus historical global numerical solver evidence", "summary": "details/neos-3355120-tarago/summary.md", "archive": "details/neos-3355120-tarago/neos-3355120-tarago-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "c81a31a6840a551a08b7b0d6ddf0304ccaf87b8a6ee05e3b63eea1bfd5f5f8f8", "archiveBytes": 211814, "archiveSha256": "b4485810c95f9ce6c5a2d10f07b90302e74958778a7bdf8d8cc316de671294f8", "includedFiles": 57, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "-11115971.493905", "coptDual": "-11712060.9", "primalDelta": "-5064.804614981", "dualDelta": "588228.223029563", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/neos-3355120-tarago/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "neos-3355323-arnon", "status": "no-feasible", "statusLabel": "No feasible point found", "bestResult": "no feasible witness", "bestResultDisplay": { "value": "no feasible witness", "note": "no feasible witness" }, "bestBound": "no infeasibility certificate", "bestBoundDisplay": { "value": "no infeasibility certificate", "note": "no infeasibility certificate" }, "studyStatus": "Exact order-CSP/CNF search remains unknown", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Exact order-CSP/CNF search remains unknown", "summary": "details/neos-3355323-arnon/summary.md", "archive": "details/neos-3355323-arnon/neos-3355323-arnon-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "72a30d0dc81d336e662409df0ab2982ec88731b062017250a9b5951d7b5ea104", "archiveBytes": 33717, "archiveSha256": "bc4426051028290118d5734eb12215c2c0059eca6f10fda00adce4d165eeb102", "includedFiles": 15, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": null, "coptDual": "0", "primalDelta": null, "dualDelta": null, "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/neos-3355323-arnon/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "neos-3594536-henty", "status": "concluded", "statusLabel": "Certified optimality / infeasibility", "bestResult": "401092", "bestResultDisplay": { "value": "401092", "note": null }, "bestBound": "401092", "bestBoundDisplay": { "value": "401092", "note": "Gurobi/COPT" }, "studyStatus": "Computational optimum; exact primal audit, no portable exact lower-bound certificate", "globalConclusion": "OPT = 401092", "globalMethod": "exact component-balance/parity reduction + zero-gap Gurobi/COPT", "evidenceGrade": "NS", "evidenceLevel": "Floating-point zero-gap verification", "sourceEvidenceNote": "Rigorous structural reduction plus historical numerical closure by two solvers", "summary": "details/neos-3594536-henty/summary.md", "archive": "details/neos-3594536-henty/neos-3594536-henty-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "852dc28839ef3674b391f65ebb5f7d09ff6de60c7124d362a0710f6f9bf7e5ac", "archiveBytes": 216674, "archiveSha256": "5b6c27423826b646b5a10142ad361da1eb28d9772dd5a1d5cb11ec01863d5551", "includedFiles": 20, "excludedFiles": 1, "cohort": "original112", "primalImprovement": true, "dualImprovement": true, "primalCategory": "numeric_improvement", "miplibPrimal": "401223.0", "coptDual": "397821.689", "primalDelta": "131.0", "dualDelta": "3270.311", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/neos-3594536-henty/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "neos-3603137-hoteo", "status": "no-feasible", "statusLabel": "No feasible point found", "bestResult": "no feasible point", "bestResultDisplay": { "value": "no feasible point", "note": "no feasible point" }, "bestBound": "CP and SAT UNKNOWN", "bestBoundDisplay": { "value": "CP and SAT UNKNOWN", "note": "CP and SAT status unknown" }, "studyStatus": "Global feasibility open; no UNSAT proof", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Global feasibility open; no UNSAT proof", "summary": "details/neos-3603137-hoteo/summary.md", "archive": "details/neos-3603137-hoteo/neos-3603137-hoteo-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "3dd35ffc44ecd9c31436992750e9cdb80b02bb3bd5f16759866889a615999857", "archiveBytes": 2570, "archiveSha256": "3fcf11a1c7583450b8835dfc532bd282476cfcbf2dd4dabb285659247a2b0b1f", "includedFiles": 1, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": null, "coptDual": "0", "primalDelta": null, "dualDelta": null, "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/neos-3603137-hoteo/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "neos-3634244-kauru", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "1398.0156859", "bestResultDisplay": { "value": "1398.0156859", "note": "strict" }, "bestBound": "no new certified global bound", "bestBoundDisplay": { "value": "no new certified global bound", "note": "no new certified global bound" }, "studyStatus": "Equitable-minimax-clustering recovery; no incumbent improvement claimed", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Equitable-minimax-clustering recovery; no incumbent improvement claimed", "summary": "details/neos-3634244-kauru/summary.md", "archive": "details/neos-3634244-kauru/neos-3634244-kauru-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "6268570aec428287598d8d29d57100a802b79ab326527a5d366995bb18403d83", "archiveBytes": 310001, "archiveSha256": "54b25e3eeb98c05300c52ae0d3b6ffe893bf2c96ce22311c809167401fc730f5", "includedFiles": 17, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "1398.014670518538", "coptDual": "239.044636", "primalDelta": "-0.001015381462", "dualDelta": null, "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/neos-3634244-kauru/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "neos-3682128-sandon", "cohort": "subsequent20", "status": "concluded", "statusLabel": "Certified optimality / infeasibility", "bestResult": "34666770.0", "bestBound": "34666770", "studyStatus": "exact closure witness; complete machine-configuration enumeration with exact rational duals and an exact original-MPS lift", "globalConclusion": "OPT = 34666770.0", "globalMethod": "exact closure witness; complete machine-configuration enumeration with exact rational duals and an exact original-MPS lift", "evidenceGrade": "PE", "evidenceLevel": "Portable exact certificate", "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "34666767.4743958", "coptDual": "21531270.9", "primalDelta": "-2.5256042", "dualDelta": "13135499.1", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/skills-research/comparisons/per_instance_comparison.csv", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "summary": "details/neos-3682128-sandon/summary.md", "archive": "details/neos-3682128-sandon/neos-3682128-sandon-findings.tar.gz", "bundleKind": "result", "sourceEvidenceNote": "See independent-certified column in per_instance_comparison.csv", "bestResultDisplay": { "value": "34666770.0", "note": null }, "bestBoundDisplay": { "value": "34666770", "note": null }, "bundleSnapshot": "2026-09-21", "sourceBaseCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "includedFiles": 3, "excludedFiles": 0, "archiveBytes": 1977, "archiveSha256": "9cdd65984a0bbb537e14d151a54e6e7fb5adc50d196d6ea83bd36711bcce76d7" }, { "instance": "neos-3691541-lonja", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "0.0918239856", "bestResultDisplay": { "value": "0.0918239856", "note": "strict" }, "bestBound": "no new certified global bound", "bestBoundDisplay": { "value": "no new certified global bound", "note": "no new certified global bound" }, "studyStatus": "Exact subset witnesses plus complete-hint CP-SAT; public lower-valued pattern fails zero-tolerance feasibility; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Exact subset witnesses plus complete-hint CP-SAT; public lower-valued pattern fails zero-tolerance feasibility; global optimum open", "summary": "details/neos-3691541-lonja/summary.md", "archive": "details/neos-3691541-lonja/neos-3691541-lonja-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "4fd7bf7d9094ad370bbedaa4bd2c968fe3cd57cd5b9e2d43d941b7fabd8d4421", "archiveBytes": 230897, "archiveSha256": "c41cc1699a7d2d08b9aac62b3f931efaec4a8ab3d82916cfdde1ae56f25b121f", "includedFiles": 70, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "-0.007441450579999998", "coptDual": "-0.019851233", "primalDelta": "-0.099265436179999998", "dualDelta": null, "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/neos-3691541-lonja/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "neos-4355351-swalm", "status": "concluded", "statusLabel": "Certified optimality / infeasibility", "bestResult": "33.45763", "bestResultDisplay": { "value": "33.45763", "note": null }, "bestBound": "33.45763", "bestBoundDisplay": { "value": "33.45763", "note": null }, "studyStatus": "Optimal, exact state-Steiner DP and zero-violation witness", "globalConclusion": "OPT = 33.45763", "globalMethod": "exact forbidden-turn state-Steiner subset DP + witness", "evidenceGrade": "PE", "evidenceLevel": "Portable exact certificate", "sourceEvidenceNote": "Optimal, exact state-Steiner DP and zero-violation witness", "summary": "details/neos-4355351-swalm/summary.md", "archive": "details/neos-4355351-swalm/neos-4355351-swalm-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "e7e502188eabd31038087f68c51930bf8e78e0a670324419b1a33520a8f04c0f", "archiveBytes": 212807, "archiveSha256": "4ed61bea7dfa9d4f5df067d91c0a6998ae03be0aa6d43f16943650f40125cfa1", "includedFiles": 27, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "33.45757454008309", "coptDual": "33.45763", "primalDelta": "-0.00005545991691", "dualDelta": "0.00000", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/neos-4355351-swalm/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "neos-4360552-sangro", "status": "concluded", "statusLabel": "Certified optimality / infeasibility", "bestResult": "-8", "bestResultDisplay": { "value": "-8", "note": null }, "bestBound": "-8", "bestBoundDisplay": { "value": "-8", "note": null }, "studyStatus": "Optimal, exact active-layer quotient and A=9 relaxed infeasibility", "globalConclusion": "OPT = -8", "globalMethod": "exact active-layer quotient + A=9 interval-chain infeasibility", "evidenceGrade": "EX", "evidenceLevel": "Exhaustive exact verification", "sourceEvidenceNote": "Optimal, exact active-layer quotient and A=9 relaxed infeasibility", "summary": "details/neos-4360552-sangro/summary.md", "archive": "details/neos-4360552-sangro/neos-4360552-sangro-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "2509bc198225fb3a51620948cb7c74a36aaa38d13b78b0124077fa2971187f06", "archiveBytes": 183453, "archiveSha256": "882f519f325f4ffff9e72d38562f813fcede43214552eb05fb07c121f0f2cddc", "includedFiles": 24, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "-8.0", "coptDual": "-12.0644768", "primalDelta": "0.0", "dualDelta": "4.0644768", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/neos-4360552-sangro/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "neos-4533806-waima", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "4870", "bestResultDisplay": { "value": "4870", "note": "exact audit" }, "bestBound": "3956", "bestBoundDisplay": { "value": "3956", "note": "solver" }, "studyStatus": "Exact aggregation and path-component LNS completed; no improvement; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Exact aggregation and path-component LNS completed; no improvement; global optimum open", "summary": "details/neos-4533806-waima/summary.md", "archive": "details/neos-4533806-waima/neos-4533806-waima-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "b677ae818209941afa11296a569589cb759c8aad16361dc8559b652475528bea", "archiveBytes": 3528870, "archiveSha256": "82abd7328be3b90e3d91e2639259fb0a7919150083b93c1b9bbe901f45cefb64", "includedFiles": 33, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "4870", "coptDual": "4249.09466", "primalDelta": "0", "dualDelta": "-293.09466", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/neos-4533806-waima/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "neos-5045105-creuse", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "20.571410408673", "bestResultDisplay": { "value": "20.571410408673", "note": "Gurobi-accepted" }, "bestBound": "19.932229270717", "bestBoundDisplay": { "value": "19.932229270717", "note": null }, "studyStatus": "Feasible under solver tolerances; combined observed gap 3.1071%; strict verification and global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Feasible under solver tolerances; combined observed gap 3.1071%; strict verification and global optimum open", "summary": "details/neos-5045105-creuse/summary.md", "archive": "details/neos-5045105-creuse/neos-5045105-creuse-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "255861c0cfc4e7e3d7a3dd1100fc660b95d30482b7ecd14fd6cb95fe650a83a9", "archiveBytes": 195884, "archiveSha256": "685e02be47d37a96cfa8c063b91d2a6dfb885cb296bd3307948ebdcb14f287e5", "includedFiles": 39, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "20.57124707548", "coptDual": "20.1974827", "primalDelta": "-0.000163333193", "dualDelta": "-0.265253429283", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/neos-5045105-creuse/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "neos-5221106-oparau", "cohort": "subsequent20", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "52.07", "bestBound": "42.54", "studyStatus": "historically accepted numerical witness; not uniformly revalidated; incumbent-capped exact mode-4 projection plus exact route exchange and assignment-radius search", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "primalImprovement": true, "dualImprovement": true, "primalCategory": "numeric_improvement", "miplibPrimal": "52.66999999999962", "coptDual": "0", "primalDelta": "0.59999999999962", "dualDelta": "42.54", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/skills-research/comparisons/per_instance_comparison.csv", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "summary": "details/neos-5221106-oparau/summary.md", "archive": "details/neos-5221106-oparau/neos-5221106-oparau-findings.tar.gz", "bundleKind": "result", "sourceEvidenceNote": "See independent-certified column in per_instance_comparison.csv", "bestResultDisplay": { "value": "52.07", "note": null }, "bestBoundDisplay": { "value": "42.54", "note": null }, "bundleSnapshot": "2026-09-21", "sourceBaseCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "includedFiles": 3, "excludedFiles": 0, "archiveBytes": 2040, "archiveSha256": "b5c9846349a66c5106901e31f21d74d7fa14619cc41765d983be4348f71411d9" }, { "instance": "neos-5266653-tugela", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "65257.573990387", "bestResultDisplay": { "value": "65257.573990387", "note": "new strict incumbent" }, "bestBound": "no new certified global bound", "bestBoundDisplay": { "value": "no new certified global bound", "note": "no new certified global bound" }, "studyStatus": "Three-vehicle-block LNS and two exact original-MPS audits; improves MIPLIB by 247.6265848893; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Three-vehicle-block LNS and two exact original-MPS audits; improves MIPLIB by 247.6265848893; global optimum open", "summary": "details/neos-5266653-tugela/summary.md", "archive": "details/neos-5266653-tugela/neos-5266653-tugela-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "a59ca8a64efaaf99c5cddd3ceebd2abefac8f99f5dc8dc062c34c5320b78735b", "archiveBytes": 123509, "archiveSha256": "9fdc7778b969c445dbf1a96919c0772a937f7e4c8d5c44def0b527aaf60c5f64", "includedFiles": 64, "excludedFiles": 1, "cohort": "original112", "primalImprovement": true, "dualImprovement": false, "primalCategory": "numeric_improvement", "miplibPrimal": "65505.2005752763", "coptDual": "40074.8618", "primalDelta": "247.6265848893", "dualDelta": null, "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/neos-5266653-tugela/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "nj1", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "382.0606208032", "bestResultDisplay": { "value": "382.0606208032", "note": "improved first strict incumbent" }, "bestBound": "no new nontrivial strict global lower bound", "bestBoundDisplay": { "value": "no new nontrivial strict global lower bound", "note": "no new nontrivial strict global lower bound" }, "studyStatus": "Tree/compound search, 21 pair, 39 anchor-fixed triple, and 67 anchor-fixed quad closures, plus a zero-tolerance audit; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Tree/compound search, 21 pair, 39 anchor-fixed triple, and 67 anchor-fixed quad closures, plus a zero-tolerance audit; global optimum open", "summary": "details/nj1/summary.md", "archive": "details/nj1/nj1-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "fe6728f2e5919ccba557d8107403b49bc36f84c625852293707001bc3d8f39c5", "archiveBytes": 2087919, "archiveSha256": "3dca962735a7d249bb581f4f53526fb3f017bbabd73603cb5f13fdcb9f8b0478", "includedFiles": 75, "excludedFiles": 1, "cohort": "original112", "primalImprovement": true, "dualImprovement": false, "primalCategory": "first_finite", "miplibPrimal": null, "coptDual": "78.882279", "primalDelta": null, "dualDelta": null, "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/nj1/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "nj2", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "382.0606208032", "bestResultDisplay": { "value": "382.0606208032", "note": "improved first strict incumbent" }, "bestBound": "no new nontrivial strict global lower bound", "bestBoundDisplay": { "value": "no new nontrivial strict global lower bound", "note": "no new nontrivial strict global lower bound" }, "studyStatus": "Exact lift, local-neighborhood closures, and zero-tolerance audit; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Exact lift, local-neighborhood closures, and zero-tolerance audit; global optimum open", "summary": "details/nj2/summary.md", "archive": "details/nj2/nj2-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "aa1431ead426ac5df198c3e04f359aa6774a0208a81156da4c9f07ab98a40a18", "archiveBytes": 890705, "archiveSha256": "cf63df9b07b4e922065b4ec2643fa4b02651edd92bbd74d445b76773049fd8a6", "includedFiles": 47, "excludedFiles": 1, "cohort": "original112", "primalImprovement": true, "dualImprovement": false, "primalCategory": "first_finite", "miplibPrimal": null, "coptDual": "47.1019816", "primalDelta": null, "dualDelta": null, "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/nj2/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "nj3", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "382.0606208032", "bestResultDisplay": { "value": "382.0606208032", "note": "first strict incumbent" }, "bestBound": "no new nontrivial strict global lower bound", "bestBoundDisplay": { "value": "no new nontrivial strict global lower bound", "note": "no new nontrivial strict global lower bound" }, "studyStatus": "Exact `nj2 -> nj3` projection, label anchoring, local-neighborhood closures, and zero-tolerance audit; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Exact `nj2 -> nj3` projection, label anchoring, local-neighborhood closures, and zero-tolerance audit; global optimum open", "summary": "details/nj3/summary.md", "archive": "details/nj3/nj3-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "676b8cd6fc57bc076745aea95c4863e82a993adcdc974270303812000d5c4098", "archiveBytes": 664524, "archiveSha256": "83d7783bc1670b0b35dda9fa6b2711892bdbad2224ff90732a35a17ae926720c", "includedFiles": 466, "excludedFiles": 1, "cohort": "original112", "primalImprovement": true, "dualImprovement": false, "primalCategory": "first_finite", "miplibPrimal": null, "coptDual": "26.6759647", "primalDelta": null, "dualDelta": null, "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/nj3/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "ns1456591", "cohort": "subsequent20", "status": "concluded", "statusLabel": "Certified optimality / infeasibility", "bestResult": "988.14128344", "bestBound": "988.14128344", "studyStatus": "exact closure witness; exact route quotient; Held-Karp/set-partition DP; rational complete-master dual; original-MPS lift", "globalConclusion": "OPT = 988.14128344", "globalMethod": "exact closure witness; exact route quotient; Held-Karp/set-partition DP; rational complete-master dual; original-MPS lift", "evidenceGrade": "PE", "evidenceLevel": "Portable exact certificate", "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "988.1405440676191", "coptDual": "459.574181", "primalDelta": "-0.0007393723809", "dualDelta": "528.56710244", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/skills-research/comparisons/per_instance_comparison.csv", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "summary": "details/ns1456591/summary.md", "archive": "details/ns1456591/ns1456591-findings.tar.gz", "bundleKind": "result", "sourceEvidenceNote": "See independent-certified column in per_instance_comparison.csv", "bestResultDisplay": { "value": "988.14128344", "note": null }, "bestBoundDisplay": { "value": "988.14128344", "note": null }, "bundleSnapshot": "2026-09-21", "sourceBaseCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "includedFiles": 3, "excludedFiles": 0, "archiveBytes": 1992, "archiveSha256": "bb1c98fc2c9f96ace60cc5a6b296f3536a59968957c7457c74982a77827cfbe5" }, { "instance": "ns1631475", "status": "concluded", "statusLabel": "Certified optimality / infeasibility", "bestResult": "11100", "bestResultDisplay": { "value": "11100", "note": null }, "bestBound": "11100", "bestBoundDisplay": { "value": "11100", "note": null }, "studyStatus": "Optimal, exact cyclic-cutwidth enumeration and audited witness", "globalConclusion": "OPT = 11100", "globalMethod": "original-MPS ring recovery + exact cyclic-cutwidth enumeration + witness", "evidenceGrade": "EX", "evidenceLevel": "Exhaustive exact verification", "sourceEvidenceNote": "Optimal, exact cyclic-cutwidth enumeration and audited witness", "summary": "details/ns1631475/summary.md", "archive": "details/ns1631475/ns1631475-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "f8958945309e05e68ae5be71e5a28edc40f5a6a31f77f52e0e982f99d50e5e27", "archiveBytes": 48851, "archiveSha256": "c427eaff85874323d1d564c8f6fde5be88b3862f099415378f19f10d07b4e655", "includedFiles": 16, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "11100", "coptDual": "1659", "primalDelta": "0", "dualDelta": "9441", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/ns1631475/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "ns1828997", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "8", "bestResultDisplay": { "value": "8", "note": null }, "bestBound": "no new lower-bound-8 certificate", "bestBoundDisplay": { "value": "no new lower-bound-8 certificate", "note": "no new lower-bound-8 certificate" }, "studyStatus": "Exact 375-choice projection and cutoff-7 CNF; exact search remains unknown", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Exact 375-choice projection and cutoff-7 CNF; exact search remains unknown", "summary": "details/ns1828997/summary.md", "archive": "details/ns1828997/ns1828997-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "0198f7cd61ea77510c81d0ab154554ee26c70d33a767378ea331a9df88833eb5", "archiveBytes": 55024, "archiveSha256": "cddc31e42ce7565358cf72d5162a0c7eee7c0908484f77a844a07397555b6d77", "includedFiles": 21, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "7.99999999999967", "coptDual": "0", "primalDelta": "-3.3E-13", "dualDelta": null, "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/ns1828997/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "ns1856153", "cohort": "subsequent20", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "34.01697312588408", "bestBound": "32.6971654879775", "studyStatus": "historically accepted numerical witness; not uniformly revalidated; exact connectivity projection; transpose/tree optimum-value equivalence; incumbent-cutoff interval big-M tightening", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "primalImprovement": true, "dualImprovement": true, "primalCategory": "numeric_improvement", "miplibPrimal": "34.16346179965939", "coptDual": "0", "primalDelta": "0.14648867377531", "dualDelta": "32.6971654879775", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/skills-research/comparisons/per_instance_comparison.csv", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "summary": "details/ns1856153/summary.md", "archive": "details/ns1856153/ns1856153-findings.tar.gz", "bundleKind": "result", "sourceEvidenceNote": "See independent-certified column in per_instance_comparison.csv", "bestResultDisplay": { "value": "34.01697312588408", "note": null }, "bestBoundDisplay": { "value": "32.6971654879775", "note": null }, "bundleSnapshot": "2026-09-21", "sourceBaseCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "includedFiles": 3, "excludedFiles": 0, "archiveBytes": 2082, "archiveSha256": "8d66d98bc85f039802282fd4e5afb2ddc68c3bfe6987357998773e7667e03efd" }, { "instance": "ns1905797", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "13.98258", "bestResultDisplay": { "value": "13.98258", "note": "new strict incumbent" }, "bestBound": "12.38858", "bestBoundDisplay": { "value": "12.38858", "note": "COPT, numerical" }, "studyStatus": "Serialized file passes zero-tolerance Fraction audit; 11.40% numerical gap; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Serialized file passes zero-tolerance Fraction audit; 11.40% numerical gap; global optimum open", "summary": "details/ns1905797/summary.md", "archive": "details/ns1905797/ns1905797-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "ec90588d30305bdbd4d86950e9d5ee723978f62a8ab17ba22fd9a21244e4edc3", "archiveBytes": 633906, "archiveSha256": "cfc63b4178c95f5c1617fa37bc45c19ed6b85b7bd834488c43c27afa59a81784", "includedFiles": 101, "excludedFiles": 2, "cohort": "original112", "primalImprovement": true, "dualImprovement": false, "primalCategory": "first_finite", "miplibPrimal": null, "coptDual": "12.38858", "primalDelta": null, "dualDelta": "0.00000", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/ns1905797/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "ns2122698", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "68750", "bestResultDisplay": { "value": "68750", "note": "strict repair" }, "bestBound": "62785.565316", "bestBoundDisplay": { "value": "62785.565316", "note": "strict" }, "studyStatus": "Exact primal/dual interval; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Exact primal/dual interval; global optimum open", "summary": "details/ns2122698/summary.md", "archive": "details/ns2122698/ns2122698-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "74da4970cfe94af5418323baeeadf3ceff317ed5b1ecb2831ba1c8870220d41e", "archiveBytes": 293175, "archiveSha256": "c4a17b8deda74b14d1563b5d31fc56c7d334d0272ec95afcb1af27f85daafe93", "includedFiles": 47, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "68749.99988531263", "coptDual": "65899.0548", "primalDelta": "-0.00011468737", "dualDelta": "-3113.489484", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/ns2122698/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "pb-gfrd-pnc", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "8844", "bestResultDisplay": { "value": "8844", "note": "strict" }, "bestBound": "8566", "bestBoundDisplay": { "value": "8566", "note": "solver" }, "studyStatus": "Exact identical-column quotient removes 9,944 variables; 3.1434% numerical gap; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Exact identical-column quotient removes 9,944 variables; 3.1434% numerical gap; global optimum open", "summary": "details/pb-gfrd-pnc/summary.md", "archive": "details/pb-gfrd-pnc/pb-gfrd-pnc-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "b51a4e706938dd1a1bd6a96387c2c7211992721ecd33551975b26c0b3c1238c2", "archiveBytes": 278927, "archiveSha256": "2b7ce8928a418d63cecb1f9ad3ef05a5ed1dba36dedd23098eb63946c0441c22", "includedFiles": 12, "excludedFiles": 0, "cohort": "original112", "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "8844.0", "coptDual": "8521.83408", "primalDelta": "0.0", "dualDelta": "44.16592", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/pb-gfrd-pnc/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "pb-grow22", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "-449536", "bestResultDisplay": { "value": "-449536", "note": null }, "bestBound": "-449546", "bestBoundDisplay": { "value": "-449546", "note": "solver" }, "studyStatus": "Exact symmetry quotient; numerical 10-unit interval without portable cutoff proof; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Exact symmetry quotient; numerical 10-unit interval without portable cutoff proof; global optimum open", "summary": "details/pb-grow22/summary.md", "archive": "details/pb-grow22/pb-grow22-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "882d9cc3e665385779cf06641a7108f340d5c7f8afd4ec21acc127cd811019cb", "archiveBytes": 180350, "archiveSha256": "b2abc4b321aad0938772ee117b43da058797eeb9fb09b011959def4db73d4bee", "includedFiles": 27, "excludedFiles": 2, "cohort": "original112", "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "-449536.0", "coptDual": "-449587.303", "primalDelta": "0.0", "dualDelta": "41.303", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/pb-grow22/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "polygonpack4-10", "cohort": "subsequent20", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "-53594508.707583256", "bestBound": "-76521127.37712", "studyStatus": "historically accepted numerical witness; not uniformly revalidated; projection-equivalent canonical slice links plus core local branching", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "-53594508.70758325", "coptDual": "-93676573.4", "primalDelta": "6E-9", "dualDelta": "17155446.02288", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/skills-research/comparisons/per_instance_comparison.csv", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "summary": "details/polygonpack4-10/summary.md", "archive": "details/polygonpack4-10/polygonpack4-10-findings.tar.gz", "bundleKind": "result", "sourceEvidenceNote": "See independent-certified column in per_instance_comparison.csv", "bestResultDisplay": { "value": "-53594508.707583256", "note": null }, "bestBoundDisplay": { "value": "-76521127.37712", "note": null }, "bundleSnapshot": "2026-09-21", "sourceBaseCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "includedFiles": 3, "excludedFiles": 0, "archiveBytes": 2075, "archiveSha256": "703b5cb21212721a1554694e6d615926205470d6034d9d6063ef21cb4b6d929b" }, { "instance": "polygonpack4-15", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "-63,613,612.411253203798895776945039... (strict repair)", "bestResultDisplay": { "value": "-63,613,612.411253203798895776945039... (strict repair)", "note": "rounded display; full precision in source bundle; strict repair" }, "bestBound": "no new global lower bound", "bestBoundDisplay": { "value": "no new global lower bound", "note": "no new global lower bound" }, "studyStatus": "Exact recovered geometry, radius/object neighborhoods and mask screening; no MIPLIB headline improvement; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Exact recovered geometry, radius/object neighborhoods and mask screening; no MIPLIB headline improvement; global optimum open", "summary": "details/polygonpack4-15/summary.md", "archive": "details/polygonpack4-15/polygonpack4-15-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "0a2f010d09a1a8fd9011fdee3e976a64e7d5ad86b022432c3c5c1a6cf6ee7976", "archiveBytes": 464199, "archiveSha256": "b15e8b969b0bbda24fae4c23c0277da3fe3b52404ddfd4e53985de1564939cd0", "includedFiles": 66, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "-63613643.56171419", "coptDual": "-114052544", "primalDelta": null, "dualDelta": null, "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/polygonpack4-15/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "polygonpack4-7", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "-51837707.95034043267785954996", "bestResultDisplay": { "value": "-51837707.95034043267785954996", "note": "strict repair" }, "bestBound": "no new global lower bound", "bestBoundDisplay": { "value": "no new global lower bound", "note": "no new global lower bound" }, "studyStatus": "Full submitted-MPS geometry audit; no strict incumbent improvement; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Full submitted-MPS geometry audit; no strict incumbent improvement; global optimum open", "summary": "details/polygonpack4-7/summary.md", "archive": "details/polygonpack4-7/polygonpack4-7-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "118a70b1bc0c2c6c85f9b57c375b39c8060dc4b75e204669c9bb6e975db52be9", "archiveBytes": 4198532, "archiveSha256": "a24117b5ed04b28c0851621d31df1b5d67f979957471c9f30e1d2b0ff5204db8", "includedFiles": 122, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "-51837758.96241999", "coptDual": "-75324457.9", "primalDelta": "-51.01207955732214045004", "dualDelta": null, "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/polygonpack4-7/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "polygonpack5-15", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "-55,494,687.647606651289167114364938... (strict repair)", "bestResultDisplay": { "value": "-55,494,687.647606651289167114364938... (strict repair)", "note": "rounded display; full precision in source bundle; strict repair" }, "bestBound": "no new global lower bound", "bestBoundDisplay": { "value": "no new global lower bound", "note": "no new global lower bound" }, "studyStatus": "Improves the only audited official literal-zero solution but not the MIPLIB tolerance headline; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Improves the only audited official literal-zero solution but not the MIPLIB tolerance headline; global optimum open", "summary": "details/polygonpack5-15/summary.md", "archive": "details/polygonpack5-15/polygonpack5-15-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "8ef27da1f430907eac6188b940efabcfa02860383ae149c3b4594548f548ceab", "archiveBytes": 633263, "archiveSha256": "23f583c98ee1115b3c1d1de9a6673d548dd5e1686a480365f896bc390cb4eadc", "includedFiles": 69, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "-55494687.6476085", "coptDual": "-66029891.1", "primalDelta": null, "dualDelta": null, "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/polygonpack5-15/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "pythago7825", "status": "concluded", "statusLabel": "Certified optimality / infeasibility", "bestResult": "—", "bestResultDisplay": { "value": "—", "note": "infeasible" }, "bestBound": "published UNSAT theorem", "bestBoundDisplay": { "value": "published UNSAT theorem", "note": "published UNSAT theorem" }, "studyStatus": "Infeasible, exact encoding/core crosswalk + published theorem; proof archive not replayed locally", "globalConclusion": "Infeasible", "globalMethod": "exact NAE-SAT crosswalk + published UNSAT theorem", "evidenceGrade": "LT", "evidenceLevel": "Published-theorem transfer", "sourceEvidenceNote": "Infeasible, exact encoding/core crosswalk + published theorem; proof archive not replayed locally", "summary": "details/pythago7825/summary.md", "archive": "details/pythago7825/pythago7825-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "5d5a2498ad546979018e8db84927a80950529ad3a6a25447fc1d4f35c7e88ef0", "archiveBytes": 35485509, "archiveSha256": "0c18d633672347f5cd109d59d33cfb6974f2ebf7e1bde9648506130b4d538dc9", "includedFiles": 116, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": null, "coptDual": "0", "primalDelta": null, "dualDelta": null, "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/pythago7825/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "r4l4-02-tree-bounds-50", "cohort": "subsequent20", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "499061405.0", "bestBound": "483755247.8932753", "studyStatus": "historically accepted numerical witness; not uniformly revalidated; five independently audited BFS fundamental-cycle inequalities plus Gurobi 13.0.1", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "primalImprovement": true, "dualImprovement": true, "primalCategory": "numeric_improvement", "miplibPrimal": "499132179.0015595", "coptDual": "478217938", "primalDelta": "70774.0015595", "dualDelta": "5537309.8932753", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/skills-research/comparisons/per_instance_comparison.csv", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "summary": "details/r4l4-02-tree-bounds-50/summary.md", "archive": "details/r4l4-02-tree-bounds-50/r4l4-02-tree-bounds-50-findings.tar.gz", "bundleKind": "result", "sourceEvidenceNote": "See independent-certified column in per_instance_comparison.csv", "bestResultDisplay": { "value": "499061405.0", "note": null }, "bestBoundDisplay": { "value": "483755247.8932753", "note": null }, "bundleSnapshot": "2026-09-21", "sourceBaseCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "includedFiles": 3, "excludedFiles": 0, "archiveBytes": 2063, "archiveSha256": "8cc06a7c5a2e73a557e0fbcde58f692ee13aae0aae0875157338a2e4b980ec25" }, { "instance": "ramos3", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "186", "bestResultDisplay": { "value": "186", "note": null }, "bestBound": "156", "bestBoundDisplay": { "value": "156", "note": "covering-code bound" }, "studyStatus": "Feasible; strict local optimality proved to bit radius 7; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Local exact combinatorial proof plus exhaustive finite checking", "summary": "details/ramos3/summary.md", "archive": "details/ramos3/ramos3-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "d14440ffc094cd4605826a3cc0edf517d9fc2291c3608df52dd2a5d390527976", "archiveBytes": 16782, "archiveSha256": "8f2853140b77086bd0aad6d2e3eb7c7f3d9d024b4dce8fd46bc6f8451342408f", "includedFiles": 15, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "186.0", "coptDual": "146.482178", "primalDelta": "0.0", "dualDelta": "9.517822", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/ramos3/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "rmine11", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "-2508.404143999999991662", "bestResultDisplay": { "value": "-2508.404143999999991662", "note": "strict" }, "bestBound": "-2521.353274311517894", "bestBoundDisplay": { "value": "-2521.353274311517894", "note": "portable exact" }, "studyStatus": "394 pair, 70 clique and 5 genuine triple-cover cuts plus flow=cut certificate; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "394 pair, 70 clique and 5 genuine triple-cover cuts plus flow=cut certificate; global optimum open", "summary": "details/rmine11/summary.md", "archive": "details/rmine11/rmine11-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "6cf745a71fa82e91d6e453e99b18c9a8f06494b93ea1eac3919e23ff234df8cf", "archiveBytes": 3107130, "archiveSha256": "8bb9908a57c3539811d800fd28526fbfda45e406e472e30c5046deb4af610a3b", "includedFiles": 32, "excludedFiles": 0, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "-2508.404144", "coptDual": "-2509.7041", "primalDelta": "-8.338E-15", "dualDelta": "-11.649174311517894", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/rmine11/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "rmine13", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "-3495.3706609999999806509", "bestResultDisplay": { "value": "-3495.3706609999999806509", "note": "strict repair" }, "bestBound": "-3504.689959073912780", "bestBoundDisplay": { "value": "-3504.689959073912780", "note": "portable exact" }, "studyStatus": "Rounded public tolerance vector and closure flow=cut certificate; structured neighborhoods tested; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Rounded public tolerance vector and closure flow=cut certificate; structured neighborhoods tested; global optimum open", "summary": "details/rmine13/summary.md", "archive": "details/rmine13/rmine13-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "31bb2726f3b682797eb0a67450834254303803eea1f8e7482bf43af0a1c0f810", "archiveBytes": 2082575, "archiveSha256": "f4a59227f1ef669e5a9f54b04d0d80a09cef794f0675202fe3e4e16c3ae12efd", "includedFiles": 99, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "-3495.3706624382535", "coptDual": "-3496.99083", "primalDelta": "-0.0000014382535193491", "dualDelta": "-7.699129073912780", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/rmine13/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "rmine15", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "-5018.823005000000004879", "bestResultDisplay": { "value": "-5018.823005000000004879", "note": "new strict incumbent" }, "bestBound": "-5042.036233392018593", "bestBoundDisplay": { "value": "-5042.036233392018593", "note": "portable exact" }, "studyStatus": "34-block exchange; 121 pair and 61 clique cuts; exact primal and flow=cut audits; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "34-block exchange; 121 pair and 61 clique cuts; exact primal and flow=cut audits; global optimum open", "summary": "details/rmine15/summary.md", "archive": "details/rmine15/rmine15-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "fa7772bc39eca71c86577276e7fbf1a7c3646ba8a32b1d4a0272d82ed0b17890", "archiveBytes": 7864757, "archiveSha256": "486c573b5499444dde256210d83152cdc8688f676aeaa846619c98a486b88057", "includedFiles": 55, "excludedFiles": 1, "cohort": "original112", "primalImprovement": true, "dualImprovement": false, "primalCategory": "numeric_improvement", "miplibPrimal": "-5018.819990999996", "coptDual": "-5026.70481", "primalDelta": "0.003014000004004879", "dualDelta": "-15.331423392018593", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/rmine15/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "rmine21", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "-10618.7507269999999491342", "bestResultDisplay": { "value": "-10618.7507269999999491342", "note": "strict repair" }, "bestBound": "-10679.232567260660741", "bestBoundDisplay": { "value": "-10679.232567260660741", "note": "portable exact" }, "studyStatus": "Exact 1,441,651-row primal replay and closure flow=cut certificate; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Exact 1,441,651-row primal replay and closure flow=cut certificate; global optimum open", "summary": "details/rmine21/summary.md", "archive": "details/rmine21/rmine21-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "1196c6134f2a39559789fa75c2ba490bdface3aba93bbc8f7270ea1ac369d415", "archiveBytes": 5994220, "archiveSha256": "6e978a4b83088e7c69369c49202b3e15bb7fe66ba9ff397779f5efa5638fcfbb", "includedFiles": 11, "excludedFiles": 0, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "-10618.75083837232", "coptDual": "-10674.8943", "primalDelta": "-0.0001113723200508658", "dualDelta": "-4.338267260660741", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/rmine21/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "rmine25", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "-15541.66927699999998289011", "bestResultDisplay": { "value": "-15541.66927699999998289011", "note": "strict repair" }, "bestBound": "-15667.918862520611901", "bestBoundDisplay": { "value": "-15667.918862520611901", "note": "portable exact" }, "studyStatus": "Exact 2,953,849-row primal replay and cross-host closure certificate verification; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Exact 2,953,849-row primal replay and cross-host closure certificate verification; global optimum open", "summary": "details/rmine25/summary.md", "archive": "details/rmine25/rmine25-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "e6cd0e5cfafd7ae96b2dc0920ca4e725a3148a6e8ca91537d161964e5a413c21", "archiveBytes": 12734763, "archiveSha256": "16b9766b4eea93cf0f4c7fafddae1da47af67d57a75e2a5f64e7226df1e6d214", "includedFiles": 11, "excludedFiles": 0, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "-15541.66928749976", "coptDual": "-15667.8428", "primalDelta": "-0.00001049976001710989", "dualDelta": "-0.076062520611901", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/rmine25/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "rocII-8-11", "cohort": "subsequent20", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "-8.739845027008393", "bestBound": "-11.82", "studyStatus": "historically accepted numerical witness; not uniformly revalidated; strict public-pattern repair, audited temporal restrictions, and final untouched-original control", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "-8.739845350261154", "coptDual": "-11.889881", "primalDelta": "-3.23252761E-7", "dualDelta": "0.069881", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/skills-research/comparisons/per_instance_comparison.csv", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "summary": "details/rocII-8-11/summary.md", "archive": "details/rocII-8-11/rocII-8-11-findings.tar.gz", "bundleKind": "result", "sourceEvidenceNote": "See independent-certified column in per_instance_comparison.csv", "bestResultDisplay": { "value": "-8.739845027008393", "note": null }, "bestBoundDisplay": { "value": "-11.82", "note": null }, "bundleSnapshot": "2026-09-21", "sourceBaseCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "includedFiles": 3, "excludedFiles": 0, "archiveBytes": 2063, "archiveSha256": "61c425f44d71dd6a4cf440adae1e90c40d837d20b6344369e250cf13a57d7264" }, { "instance": "s82", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "-33.7970576238223", "bestResultDisplay": { "value": "-33.7970576238223", "note": "strict public point" }, "bestBound": "exact structural bound max sum(A8)=36", "bestBoundDisplay": { "value": "exact structural bound max sum(A8)=36", "note": "exact structural bound: max sum(A8) = 36; not an objective bound" }, "studyStatus": "Full objective open; high-level acceptance count globally optimal and line 4 conditionally optimal", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Full objective open; high-level acceptance count globally optimal and line 4 conditionally optimal", "summary": "details/s82/summary.md", "archive": "details/s82/s82-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "ffcf0dc75f21c61d0d1f4553344e80c01a273a60090b41511a33ec6a717aa65b", "archiveBytes": 49478, "archiveSha256": "f9c39cf1252777ab5678f5b3de4d5ce0f6d8b2de4bf3118a47d0e46354ce0399", "includedFiles": 32, "excludedFiles": 0, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "-33.7970576238223", "coptDual": "-33.8093843", "primalDelta": "0E-13", "dualDelta": null, "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/s82/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "scpj4scip", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "128", "bestResultDisplay": { "value": "128", "note": null }, "bestBound": "107", "bestBoundDisplay": { "value": "107", "note": "strict" }, "studyStatus": "Exact branch/dual certificates improved the lower bound; global optimum open; experiments paused", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Exact branch/dual certificates improved the lower bound; global optimum open; experiments paused", "summary": "details/scpj4scip/summary.md", "archive": "details/scpj4scip/scpj4scip-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "93ef9937bf5d030a549888848042c00c664cd13f4c43b1166be6c681a4f13c1f", "archiveBytes": 3596590, "archiveSha256": "b2b5df4ad4d8eb9be8729944ef3a9f92d1dfd583f4cb789daf05b6d4d1bf1c82", "includedFiles": 35, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "128", "coptDual": "108.947237", "primalDelta": "0", "dualDelta": "-1.947237", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/scpj4scip/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "scpk4", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "318", "bestResultDisplay": { "value": "318", "note": null }, "bestBound": "283", "bestBoundDisplay": { "value": "283", "note": "strict" }, "studyStatus": "Exact domination and independently replayed target-282 branch/dual certificate; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Exact domination and independently replayed target-282 branch/dual certificate; global optimum open", "summary": "details/scpk4/summary.md", "archive": "details/scpk4/scpk4-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "47a6a6f2b82d8aa3626d1f1564e0467b3e8b3bdd42ef51adb52451556b532fec", "archiveBytes": 2537709, "archiveSha256": "9fb768dc9a564932b2b50bac0598b1a20eeeaf330fc1c49c944bc3130f2dcdd5", "includedFiles": 17, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "318.0", "coptDual": "287.057116", "primalDelta": "0.0", "dualDelta": "-4.057116", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/scpk4/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "scpl4", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "259", "bestResultDisplay": { "value": "259", "note": null }, "bestBound": "214", "bestBoundDisplay": { "value": "214", "note": "portable strict" }, "studyStatus": "Complete target-213 exact branch/dual replay; COPT terminal exclusion corroborates; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Complete target-213 exact branch/dual replay; COPT terminal exclusion corroborates; global optimum open", "summary": "details/scpl4/summary.md", "archive": "details/scpl4/scpl4-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "586ab132dae61d35b5d82ddb84fa92767ee74110113b0de7d60d9b4c7aeca996", "archiveBytes": 4742252, "archiveSha256": "d3bdb6fa499c1b2b6124ffb97d62e76594aa32251fe2b4bc3e635c7b613e3b8a", "includedFiles": 51, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "259.0", "coptDual": "214.35471", "primalDelta": "0.0", "dualDelta": "-0.35471", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/scpl4/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "scpm1", "cohort": "subsequent20", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "537.0", "bestBound": "416", "studyStatus": "historically accepted numerical witness; not uniformly revalidated; exact rational LP-dual replay plus deterministic cost-1 RWLS", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "540.0", "coptDual": "415.555435", "primalDelta": "3.0", "dualDelta": "0.444565", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/skills-research/comparisons/per_instance_comparison.csv", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "summary": "details/scpm1/summary.md", "archive": "details/scpm1/scpm1-findings.tar.gz", "bundleKind": "result", "sourceEvidenceNote": "See independent-certified column in per_instance_comparison.csv", "bestResultDisplay": { "value": "537.0", "note": null }, "bestBoundDisplay": { "value": "416", "note": null }, "bundleSnapshot": "2026-09-21", "sourceBaseCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "includedFiles": 3, "excludedFiles": 0, "archiveBytes": 2035, "archiveSha256": "6e3de5503f49fb40ecc0f72a77bbe7e874ce2271f2fc667f7f4141165734263b" }, { "instance": "sct1", "cohort": "subsequent20", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "-187.52765083903063", "bestBound": "-199.81870652161473", "studyStatus": "historically accepted numerical witness; not uniformly revalidated; structure-guided exact fixed-outside neighborhoods, local branching, exact LP dual certification, and an original-model global control", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "-187.527650839031", "coptDual": "-202.560756", "primalDelta": "-3.7E-13", "dualDelta": "2.74204947838527", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/skills-research/comparisons/per_instance_comparison.csv", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "summary": "details/sct1/summary.md", "archive": "details/sct1/sct1-findings.tar.gz", "bundleKind": "result", "sourceEvidenceNote": "See independent-certified column in per_instance_comparison.csv", "bestResultDisplay": { "value": "-187.52765083903063", "note": null }, "bestBoundDisplay": { "value": "-199.81870652161473", "note": null }, "bundleSnapshot": "2026-09-21", "sourceBaseCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "includedFiles": 3, "excludedFiles": 0, "archiveBytes": 2095, "archiveSha256": "0a5576152f56b13c11de7eb1c562acaf9bbe4aaa379dbff42b59413fac91ca91" }, { "instance": "seqsolve1", "cohort": "subsequent20", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "4277.0", "bestBound": "4275.0", "studyStatus": "historically accepted numerical witness; not uniformly revalidated; structure-audited activation/rounding/Hall strengthenings with untouched-MPS baseline and exact witness replay", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "4277.0", "coptDual": "4268.52039", "primalDelta": "0.0", "dualDelta": "6.47961", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/skills-research/comparisons/per_instance_comparison.csv", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "summary": "details/seqsolve1/summary.md", "archive": "details/seqsolve1/seqsolve1-findings.tar.gz", "bundleKind": "result", "sourceEvidenceNote": "See independent-certified column in per_instance_comparison.csv", "bestResultDisplay": { "value": "4277.0", "note": null }, "bestBoundDisplay": { "value": "4275.0", "note": null }, "bundleSnapshot": "2026-09-21", "sourceBaseCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "includedFiles": 3, "excludedFiles": 0, "archiveBytes": 2047, "archiveSha256": "a91c2c7472e652b19f1665ba0172d647f65971268b125a71c8583f50e89c5c24" }, { "instance": "set3-09", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "176497.152425682499961401493852... (strict repair)", "bestResultDisplay": { "value": "176497.152425682499961401493852... (strict repair)", "note": "rounded display; full precision in source bundle; strict repair" }, "bestBound": "no new certified global bound", "bestBoundDisplay": { "value": "no new certified global bound", "note": "no new certified global bound" }, "studyStatus": "BOM-aware Decimal reconstruction and period/item/Hamming neighborhoods; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "BOM-aware Decimal reconstruction and period/item/Hamming neighborhoods; global optimum open", "summary": "details/set3-09/summary.md", "archive": "details/set3-09/set3-09-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "84a4440791a384ace38b7ef3a7f5ca0b5ea445efd414dcd3878f7517e291e81d", "archiveBytes": 654686, "archiveSha256": "ec79ff4b23e4b256442604df6a4de86be54f86e8f88cc5436e16f0e2814be94d", "includedFiles": 124, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "176497.15", "coptDual": "134902.999", "primalDelta": null, "dualDelta": null, "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/set3-09/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "shipsched", "cohort": "subsequent20", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "111919.8337342348", "bestBound": "85777.6824670317", "studyStatus": "historically accepted numerical witness; not uniformly revalidated; precedence-pattern recourse, paper-motivated scheduling neighborhoods, independently verified directed-cycle inequalities, and matched global branch-and-cut controls", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "111919.8337342348", "coptDual": "67029.7019", "primalDelta": "0E-10", "dualDelta": "18747.9805670317", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/skills-research/comparisons/per_instance_comparison.csv", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "summary": "details/shipsched/summary.md", "archive": "details/shipsched/shipsched-findings.tar.gz", "bundleKind": "result", "sourceEvidenceNote": "See independent-certified column in per_instance_comparison.csv", "bestResultDisplay": { "value": "111919.8337342348", "note": null }, "bestBoundDisplay": { "value": "85777.6824670317", "note": null }, "bundleSnapshot": "2026-09-21", "sourceBaseCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "includedFiles": 3, "excludedFiles": 0, "archiveBytes": 2102, "archiveSha256": "43eaf7f8969d382fbb80f9a5f11fe3f08d2548cb94939a641c787aefc9636ff5" }, { "instance": "shs1042", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "11070.7016616034", "bestResultDisplay": { "value": "11070.7016616034", "note": "strict repair" }, "bestBound": "10905.7397762548", "bestBoundDisplay": { "value": "10905.7397762548", "note": "solver" }, "studyStatus": "1.4901% local reproducible gap; article partition and truck-radius-2 neighborhoods closed; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "1.4901% local reproducible gap; article partition and truck-radius-2 neighborhoods closed; global optimum open", "summary": "details/shs1042/summary.md", "archive": "details/shs1042/shs1042-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "b61e8164874ec31da0a29080840eda31d9711eeafd8353a3fe55f013c1f18c92", "archiveBytes": 511705, "archiveSha256": "b816f5fb0d53c1064659f9d0cffcc1b995115de177a9d321e566dde7e573fed5", "includedFiles": 40, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "11070.7015802402", "coptDual": "11218.5138", "primalDelta": "-0.0000813632", "dualDelta": "-312.7740237452", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/shs1042/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "siena1", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "10449008.9", "bestResultDisplay": { "value": "10449008.9", "note": "verified @ 1e-9" }, "bestBound": "10219502.195349596", "bestBoundDisplay": { "value": "10219502.195349596", "note": null }, "studyStatus": "Feasible; structure-specific decomposition attempts tested; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Traceable original MPS and runner plus historical global numerical solver evidence", "summary": "details/siena1/summary.md", "archive": "details/siena1/siena1-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "8fde93a32d9bdc0bddc1b00f388f2c43ea71f0cf056224cedc4eeaca268e22d1", "archiveBytes": 233120, "archiveSha256": "f8c7481e7417b0eb9e235f83c4401900a0fd8a893e7d64842a8252207f7ccd23", "includedFiles": 62, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "10341586.2", "coptDual": "10214130.1", "primalDelta": "-107422.7", "dualDelta": "5372.095349596", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/siena1/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "sing11", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "19108639.4603941927675439822", "bestResultDisplay": { "value": "19108639.4603941927675439822", "note": "strict repair" }, "bestBound": "18853382.0323116", "bestBoundDisplay": { "value": "18853382.0323116", "note": "solver; 1.3358% gap" }, "studyStatus": "1,200 s root-cut LB improves archived PDF-only LB by about 76,817.9; 74/74 blocks and 6 selected groups closed conditionally; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Original MPS plus historical global numerical solver evidence at the root node", "summary": "details/sing11/summary.md", "archive": "details/sing11/sing11-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "a94c6b37fbd0cc1fb338b2ccb41b69ed2c3458c96d8bb0e1baa9049480a8c895", "archiveBytes": 697659, "archiveSha256": "e99cd402fdfadf78a0c8e4647f957f3645eada22a3d13c8f2234ad6de123d614", "includedFiles": 141, "excludedFiles": 0, "cohort": "original112", "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "19108639.43924989", "coptDual": "18776564.1", "primalDelta": "-0.0211443027675439822", "dualDelta": "76817.9323116", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/sing11/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "sing17", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "36161699.3779386893546367410", "bestResultDisplay": { "value": "36161699.3779386893546367410", "note": "strict numerical polish" }, "bestBound": "35556219.47983733", "bestBoundDisplay": { "value": "35556219.47983733", "note": "locally reproducible solver LB; 1.6744% gap" }, "studyStatus": "Same integer pattern and only 0.000893823 lower; 50/50 blocks closed conditionally; archived PDF-only LB 35,599,182.4 is stronger; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Same integer pattern and only 0.000893823 lower; 50/50 blocks closed conditionally; archived PDF-only LB 35,599,182.4 is stronger; global optimum open", "summary": "details/sing17/summary.md", "archive": "details/sing17/sing17-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "4d2c2fdbd31e96eb50ecb6728de8e6a6118e3f063dc632253192ba81743cd149", "archiveBytes": 968520, "archiveSha256": "b0e0250bc0192cf40f1e8db4eb8725198380731a553ed857f00e84a9f0f4c7c3", "includedFiles": 98, "excludedFiles": 0, "cohort": "original112", "primalImprovement": true, "dualImprovement": false, "primalCategory": "numerical_polish", "miplibPrimal": "36161699.37883251", "coptDual": "35599182.4", "primalDelta": "0.0008938206453632590", "dualDelta": "-42962.92016267", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/sing17/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "sing5", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "18778435.60767737", "bestResultDisplay": { "value": "18778435.60767737", "note": "strict" }, "bestBound": "18462676.77864", "bestBoundDisplay": { "value": "18462676.77864", "note": "locally reproducible solver LB; 1.6815% gap" }, "studyStatus": "Imported run improves the prior local LB by 19,778.272826703; archived PDF-only LB 18,605,207.3 remains stronger; runtime metadata is inconsistent; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Imported run improves the prior local LB by 19,778.272826703; archived PDF-only LB 18,605,207.3 remains stronger; runtime metadata is inconsistent; global optimum open", "summary": "details/sing5/summary.md", "archive": "details/sing5/sing5-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "9015c095dcb3a3a96ff7e782f126e793781e11ef87e4775c34e2594a10dda0da", "archiveBytes": 350596, "archiveSha256": "700c988c5508ef8b34ff00ace50035feddf6db39e0ac19389dc9c88ed1098dae", "includedFiles": 111, "excludedFiles": 0, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "18778435.60767737", "coptDual": "18605207.3", "primalDelta": "0E-8", "dualDelta": "-142530.52136", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/sing5/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "sorrell7", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "-198", "bestResultDisplay": { "value": "-198", "note": "code size 198" }, "bestBound": "-210", "bestBoundDisplay": { "value": "-210", "note": "published coding-theory bound; study solver bound: -216" }, "studyStatus": "Feasible; any improvement must change at least 27 bits; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Local exact combinatorial proof plus checking against the complete model", "summary": "details/sorrell7/summary.md", "archive": "details/sorrell7/sorrell7-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "079caabde45111f8b2c93454d030bad11e4f44d664da4a649179475f13705831", "archiveBytes": 599502, "archiveSha256": "75281539d27c13269bfaab337d36ee0852634610fd3c0cc92438d3df85b6c34b", "includedFiles": 34, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "-198.0", "coptDual": "-223.02692", "primalDelta": "0.0", "dualDelta": "13.02692", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/sorrell7/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "stockholm", "cohort": "subsequent20", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "122.0", "bestBound": "106.0", "studyStatus": "historically accepted numerical witness; not uniformly revalidated; untouched-original audit plus exact-recourse monotone combinatorial Benders", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "120.9999950202855", "coptDual": "93.5364881", "primalDelta": "-1.0000049797145", "dualDelta": "12.4635119", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/skills-research/comparisons/per_instance_comparison.csv", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "summary": "details/stockholm/summary.md", "archive": "details/stockholm/stockholm-findings.tar.gz", "bundleKind": "result", "sourceEvidenceNote": "See independent-certified column in per_instance_comparison.csv", "bestResultDisplay": { "value": "122.0", "note": null }, "bestBoundDisplay": { "value": "106.0", "note": null }, "bundleSnapshot": "2026-09-21", "sourceBaseCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "includedFiles": 3, "excludedFiles": 0, "archiveBytes": 2044, "archiveSha256": "ca46ccb436d2d70f15b5178b2b00ca66512150cdea64e3f957f59a53ea8fe95a" }, { "instance": "supportcase22", "cohort": "subsequent20", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "110.0", "bestBound": "6.4", "studyStatus": "historically accepted numerical witness; not uniformly revalidated; DEC-master violated-original-row generation with independent subset audit and exact 1/5 objective lattice; exact alias/support quotient; scoped neighborhoods", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "110.0", "coptDual": "0.88353308", "primalDelta": "0.0", "dualDelta": "5.51646692", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/skills-research/comparisons/per_instance_comparison.csv", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "summary": "details/supportcase22/summary.md", "archive": "details/supportcase22/supportcase22-findings.tar.gz", "bundleKind": "result", "sourceEvidenceNote": "See independent-certified column in per_instance_comparison.csv", "bestResultDisplay": { "value": "110.0", "note": null }, "bestBoundDisplay": { "value": "6.4", "note": null }, "bundleSnapshot": "2026-09-21", "sourceBaseCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "includedFiles": 3, "excludedFiles": 0, "archiveBytes": 2021, "archiveSha256": "0158f84a8047d9c10c03118e7b42e1a6ecc6e09fc29af7083a69d27c035438a5" }, { "instance": "supportcase30", "status": "no-feasible", "statusLabel": "No feasible point found", "bestResult": "no feasible point; best partial 987/1,024", "bestResultDisplay": { "value": "no feasible point; best partial 987/1,024", "note": "no feasible point; best partial coverage: 987/1,024" }, "bestBound": "37 covering rows remain", "bestBoundDisplay": { "value": "37 covering rows remain", "note": "37 covering rows remain; not an objective bound" }, "studyStatus": "Global feasibility open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Global feasibility open", "summary": "details/supportcase30/summary.md", "archive": "details/supportcase30/supportcase30-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "ba8f805cb2c0e7d807443db46824f7f4fa92d3040d746ab4a33cf316aac96d96", "archiveBytes": 88908, "archiveSha256": "193be3af4fb0afba893b10d357560aac955c032253de84b18b64894c48ad6647", "includedFiles": 29, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": null, "coptDual": "0", "primalDelta": null, "dualDelta": null, "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/supportcase30/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "supportcase39", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "-1085083.856820570460", "bestResultDisplay": { "value": "-1085083.856820570460", "note": null }, "bestBound": "-1085325.230699", "bestBoundDisplay": { "value": "-1085325.230699", "note": "root" }, "studyStatus": "New strict incumbent from Gaussian-boundary block search; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "New strict incumbent from Gaussian-boundary block search; global optimum open", "summary": "details/supportcase39/summary.md", "archive": "details/supportcase39/supportcase39-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "9c279bcc3f7672d269cddfe3cef09a619c98823470ce00d8187632f918fb3ff3", "archiveBytes": 53141, "archiveSha256": "f8361a37cc90a8780ee8aaf8c771f9559ca27d40602953d07890baae72179d90", "includedFiles": 21, "excludedFiles": 1, "cohort": "original112", "primalImprovement": true, "dualImprovement": false, "primalCategory": "numeric_improvement", "miplibPrimal": "-1085080.906934894", "coptDual": "-1085222.66", "primalDelta": "2.949885676460", "dualDelta": "-102.570699", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/supportcase39/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "t1722", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "108953", "bestResultDisplay": { "value": "108953", "note": "strict" }, "bestBound": "no new bound", "bestBoundDisplay": { "value": "no new bound", "note": "no new bound" }, "studyStatus": "Exact connected exchanges through five blocks and association-guided repair completed; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Exact connected exchanges through five blocks and association-guided repair completed; global optimum open", "summary": "details/t1722/summary.md", "archive": "details/t1722/t1722-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "7c4489618fa3716da5afe4a26ed21480655c0eecf94156e7326dcbebda3b238a", "archiveBytes": 2855, "archiveSha256": "f1faa13248c45173b8c8aae88fb93bffc5a8167ab753f935186d6930446835a7", "includedFiles": 2, "excludedFiles": 0, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "108953.0", "coptDual": "103989.69", "primalDelta": "0.0", "dualDelta": null, "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/t1722/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "tokyometro", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "8263.1", "bestResultDisplay": { "value": "8263.1", "note": "strict" }, "bestBound": "7117.5", "bestBoundDisplay": { "value": "7117.5", "note": "solver" }, "studyStatus": "Translation and impossible-direction audit; 13.864% numerical gap; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Translation and impossible-direction audit; 13.864% numerical gap; global optimum open", "summary": "details/tokyometro/summary.md", "archive": "details/tokyometro/tokyometro-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "047dfcefe55b316a25fccf81843b9fcf30451e06d7c85011991016464ae3423e", "archiveBytes": 38159, "archiveSha256": "2d7adaf3abde8866e5ddb2b11b6bed328ddd44702d35e61f46ab69c2acc54c72", "includedFiles": 12, "excludedFiles": 0, "cohort": "original112", "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "8263.099999999999", "coptDual": "6817.12644", "primalDelta": "-1E-12", "dualDelta": "300.37356", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/tokyometro/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "xmas10-2", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "-497", "bestResultDisplay": { "value": "-497", "note": "497 cells" }, "bestBound": "-515", "bestBoundDisplay": { "value": "-515", "note": "objective equivalent of the official 511-cell upper bound; study solver bound: -515" }, "studyStatus": "Best known path reproduced; extensive cell-projection/LNS search; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Best known path reproduced; extensive cell-projection/LNS search; global optimum open", "summary": "details/xmas10-2/summary.md", "archive": "details/xmas10-2/xmas10-2-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "45ca852d6cb4c386262acd8cd5d04e259e69c8316396d72d5e27cb9431b3bb84", "archiveBytes": 46341, "archiveSha256": "1f28f822747fd2b763a9eecf71538805624d655230f7bfb5dd24fbf568b80cc8", "includedFiles": 13, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": true, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "-497", "coptDual": "-515.926191", "primalDelta": "0", "dualDelta": "0.926191", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/xmas10-2/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "z26", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "-1198", "bestResultDisplay": { "value": "-1198", "note": null }, "bestBound": "-1646", "bestBoundDisplay": { "value": "-1646", "note": "strict" }, "studyStatus": "Exact MPS-to-MIS interval; global optimum open", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "sourceEvidenceNote": "Exact MPS-to-MIS interval; global optimum open", "summary": "details/z26/summary.md", "archive": "details/z26/z26-findings.tar.gz", "sourceBaseCommit": "89a8abd0847941bdf774353a1983d5e6a00457a0", "sourceReadmeSha256": "317cb257add2f694388835fd046c3b84d6da586bd3adf197f5e36630eec1c0cf", "archiveBytes": 7696149, "archiveSha256": "8f75f425716d310fbcdd2481b1460bd3325a2764d29523a41fb1e0686711a1dc", "includedFiles": 40, "excludedFiles": 1, "cohort": "original112", "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "-1198.0", "coptDual": "-1273.9627", "primalDelta": "0.0", "dualDelta": "-372.0373", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/instances/z26/README.md", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "bundleKind": "historical", "bundleSnapshot": "upstream-b48994a" }, { "instance": "zeil", "cohort": "subsequent20", "status": "verified-open", "statusLabel": "Verified feasible; open", "bestResult": "1081.3584999996644", "bestBound": "833.8312541332446", "studyStatus": "historically accepted numerical witness; not uniformly revalidated; exact w projection with support cuts", "globalConclusion": null, "globalMethod": null, "evidenceGrade": null, "evidenceLevel": null, "primalImprovement": false, "dualImprovement": false, "primalCategory": "not_in_project_primal_table", "miplibPrimal": "1081.358500000008", "coptDual": "834.502247", "primalDelta": "3.436E-10", "dualDelta": "-0.6709928667554", "sourceUrl": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/b63b89634917ccde2f9e7dc7aefe1583a3eb55e8/skills-research/comparisons/per_instance_comparison.csv", "resultSourceCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "summary": "details/zeil/summary.md", "archive": "details/zeil/zeil-findings.tar.gz", "bundleKind": "result", "sourceEvidenceNote": "See independent-certified column in per_instance_comparison.csv", "bestResultDisplay": { "value": "1081.3584999996644", "note": null }, "bestBoundDisplay": { "value": "833.8312541332446", "note": null }, "bundleSnapshot": "2026-09-21", "sourceBaseCommit": "b63b89634917ccde2f9e7dc7aefe1583a3eb55e8", "includedFiles": 3, "excludedFiles": 0, "archiveBytes": 2031, "archiveSha256": "61335e822041d16fbded63fe2ccc49f95c59d38ccbd4e92a458e4db182bd13b9" } ]