{ "metrics": { "instances": 217, "optimal": 49, "infeasible": 2, "unbounded": 1, "open": 165, "resolved": 52, "first_finite": 5, "primal_improvements": 59, "dual_improvements": 136, "updated": "2026-10-07", "result_snapshot": "2026-10-06" }, "rows": [ { "instance": "a2864-99blp", "cohort": "original112", "conclusion": "optimal", "final_primal": "-257", "final_dual": "-257", "normalized_gap": "0", "v36_primal": "-257", "primal_gain": "0", "copt10h_dual": "-282.960474", "dual_gain": "25.960474", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "-257 published theorem", "evidence": "Optimal, exact geometry crosswalk + published theorem; theorem computation not replayed locally", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/a2864-99blp/README.md", "v36_source_line": "=best= a2864-99blp -257", "copt_source_line": "0 | 36000.0 1 stop ok 864e799 | -84 -282.960474 70.3 | a2864-99blp", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": "LT", "primal_display": "-257", "dual_display": "-257" }, { "instance": "allcolor58", "cohort": "original112", "conclusion": "optimal", "final_primal": "42", "final_dual": "42", "normalized_gap": "0", "v36_primal": "258.0", "primal_gain": "216", "copt10h_dual": "42", "dual_gain": "0", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "42", "evidence": "Optimal, exact parity certificate and validated witness", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/allcolor58/README.md", "v36_source_line": "=best= allcolor58 258.0", "copt_source_line": "1 | 36000.0 299645 stop ok 56c81ac0 | 6695 42 99.4 | allcolor58", "primal_improvement": true, "dual_improvement": false, "primal_comparison": "Attributed improvement", "dual_comparison": "No difference above 1e-7", "evidence_grade": "PE", "primal_display": "42", "dual_display": "42" }, { "instance": "assign1-10-4", "cohort": "original112", "conclusion": "optimal", "final_primal": "422", "final_dual": "422", "normalized_gap": "0", "v36_primal": "422", "primal_gain": "0", "copt10h_dual": "377.444386", "dual_gain": "44.555614", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "422", "evidence": "Optimal, exact certificate", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/assign1-10-4/README.md", "v36_source_line": "=best= assign1-10-4 422", "copt_source_line": "2 | 36000.0 18084150 stop ok 53719928 | 423 377.444386 10.8 | assign1-10-4", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": "PE", "primal_display": "422", "dual_display": "422" }, { "instance": "bab3", "cohort": "original112", "conclusion": "open", "final_primal": "-656214.9542", "final_dual": null, "normalized_gap": null, "v36_primal": "-656214.9542", "primal_gain": "0", "copt10h_dual": "-657093.783", "dual_gain": null, "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "no new bound", "evidence": "Exact fixed-unassigned 224-block categorical neighborhood closed; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/bab3/README.md", "v36_source_line": "=best= bab3 -656214.9542", "copt_source_line": "3 | 36000.0 199128 stop ok d535bff7 | -655588.732 -657093.783 0.2290 | bab3", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "No difference above 1e-7", "dual_comparison": "No final dual archived", "evidence_grade": null, "primal_display": "-656214.9542", "dual_display": "no new bound" }, { "instance": "bharat", "cohort": "parallel10_20260928", "conclusion": "open", "final_primal": "4012280.088217262", "final_dual": "3850713.469655116", "normalized_gap": "0.0402680308975970191717897527847509071332009782", "v36_primal": "4039608.50665507", "primal_gain": "27328.418437808", "copt10h_dual": "3783727.85", "dual_gain": "66985.619655116", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "Accepted global solver or structural bound", "evidence": "Five substantive primal improvements and two optima. Sutlej strict optimum -1048730.8; numerical-tolerance incumbent separate. Vouga large-M tolerance artifact excluded.", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/bharat/README.md", "v36_source_line": "=best= bharat 4039608.50665507", "copt_source_line": "4 | 36000.0 1 stop better 98a77ad3 | 4053361.39 3783727.85 6.7 | bharat", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "Attributed improvement", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "4012280.088217262", "dual_display": "3850713.469655116" }, { "instance": "bley_xs1", "cohort": "original112", "conclusion": "open", "final_primal": "3855895.86", "final_dual": "3532608.74061", "normalized_gap": "0.0838422849391995768267455231532108857317531392", "v36_primal": "3855895.859999982", "primal_gain": "-1.8E-8", "copt10h_dual": "3696540.8", "dual_gain": "-163932.05939", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "3,532,608.740610", "evidence": "Feasible; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/bley_xs1/README.md", "v36_source_line": "=best= bley_xs1 3855895.859999982", "copt_source_line": "5 | 36000.0 1164539 stop better 1b9036bf | 3861891.18 3696540.8 4.3 | bley_xs1", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "3855895.86", "dual_display": "3532608.74061" }, { "instance": "bley_xs1noM", "cohort": "original112", "conclusion": "open", "final_primal": "3855895.86", "final_dual": "3344924.0428", "normalized_gap": "0.132517016992258706903977432627031581708744592", "v36_primal": "3873690.77", "primal_gain": "17794.91", "copt10h_dual": "3713869.16", "dual_gain": "-368945.1172", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "3,344,924.0428 (solver, 720 s)", "evidence": "Equivalent Big-M strengthening improves same-budget numerical bound by 554.6058; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/bley_xs1noM/README.md", "v36_source_line": "=best= bley_xs1noM 3873690.77", "copt_source_line": "6 | 36000.0 1125595 stop ok bd3cb370 | 3893628.31 3713869.16 4.6 | bley_xs1noM", "primal_improvement": true, "dual_improvement": false, "primal_comparison": "Attributed improvement", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "3855895.86", "dual_display": "3344924.0428" }, { "instance": "bmocbd3", "cohort": "parallel10_20260928", "conclusion": "open", "final_primal": "-373587239.24169505", "final_dual": "-373603474.459638", "normalized_gap": "0.0000434557466748183597186782015191491201448018032", "v36_primal": "-373568021.469342", "primal_gain": "19217.77235305", "copt10h_dual": "-373603745", "dual_gain": "270.540362", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "Accepted global solver or structural bound", "evidence": "Five substantive primal improvements and two optima. Sutlej strict optimum -1048730.8; numerical-tolerance incumbent separate. Vouga large-M tolerance artifact excluded.", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/bmocbd3/README.md", "v36_source_line": "=best= bmocbd3 -373568021.469342", "copt_source_line": "7 | 36000.0 312251 stop ok 670b2af2 | -303488364 -373603745 18.8 | bmocbd3", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "Attributed improvement", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "-373587239.24169505", "dual_display": "-373603474.459638" }, { "instance": "bppc6-06", "cohort": "original112", "conclusion": "optimal", "final_primal": "208", "final_dual": "208", "normalized_gap": "0", "v36_primal": "208", "primal_gain": "0", "copt10h_dual": "201", "dual_gain": "7", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "208", "evidence": "Optimal, tight-profile CNF/LRAT certificate and exact witness", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/bppc6-06/README.md", "v36_source_line": "=best= bppc6-06 208", "copt_source_line": "8 | 36000.0 14286584 stop ok 4be20b9f | 212 201 5.2 | bppc6-06", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": "HP", "primal_display": "208", "dual_display": "208" }, { "instance": "cdc7-4-3-2", "cohort": "original112", "conclusion": "open", "final_primal": "-307", "final_dual": "-381", "normalized_gap": "0.194225721784776902887139107611548556430446194", "v36_primal": "-307.0", "primal_gain": "0", "copt10h_dual": "-381", "dual_gain": "0", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "-381", "evidence": "Feasible; all exchanges through 4→5 ruled out", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/cdc7-4-3-2/README.md", "v36_source_line": "=best= cdc7-4-3-2 -307.0", "copt_source_line": "9 | 36000.0 4192 stop ok 56e63e06 | -270 -381 29.1 | cdc7-4-3-2", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "No difference above 1e-7", "dual_comparison": "No difference above 1e-7", "evidence_grade": null, "primal_display": "-307", "dual_display": "-381" }, { "instance": "cdma", "cohort": "subsequent20", "conclusion": "open", "final_primal": "-24778478399999989.9324", "final_dual": "-27006692630251240", "normalized_gap": "0.0825060017810304252613895104695509136614197112", "v36_primal": "-2.48e+16", "primal_gain": "-21521600000010.0676", "copt10h_dual": null, "dual_gain": null, "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "dual skill Gurobi", "evidence": "historically accepted numerical witness; not uniformly revalidated; public-pattern repair plus OR-hull bounded-box Lagrangian certificate and bounded structural falsification", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/skills-research/comparisons/per_instance_comparison.csv", "v36_source_line": "=best= cdma -2.48e+16", "copt_source_line": "10 | 0.1 0 abort ok bebab67e | 1e+20 -1e+20 -- | cdma", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "Above v36 primal", "dual_comparison": "No finite historical COPT bound", "evidence_grade": null, "primal_display": "-24778478399999989.9324", "dual_display": "-27006692630251240" }, { "instance": "circ10-3", "cohort": "original112", "conclusion": "optimal", "final_primal": "242", "final_dual": "242", "normalized_gap": "0", "v36_primal": "256.0", "primal_gain": "14", "copt10h_dual": "141", "dual_gain": "101", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "242 published", "evidence": "Optimal, exact MPS crosswalk + published exhaustive result", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/circ10-3/README.md", "v36_source_line": "=best= circ10-3 256.0", "copt_source_line": "11 | 36000.0 273628 stop ok 5845f137 | 360 141 60.8 | circ10-3", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "Attributed improvement", "dual_comparison": "Improved", "evidence_grade": "LT", "primal_display": "242", "dual_display": "242" }, { "instance": "cmflsp40-36-2-10", "cohort": "original112", "conclusion": "open", "final_primal": "66452236.4536", "final_dual": "65928415.306808524", "normalized_gap": "0.00788267144563647538149498486332160239118697459", "v36_primal": "66452234.49456009", "primal_gain": "-1.95903991", "copt10h_dual": "64134678.7", "dual_gain": "1793736.606808524", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "65,928,415.3068 (solver)", "evidence": "985 exact item/period neighborhoods closed; 0.7883% global gap; no strict primal improvement", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/cmflsp40-36-2-10/README.md", "v36_source_line": "=best= cmflsp40-36-2-10 66452234.49456009", "copt_source_line": "12 | 36000.0 4333640 stop ok d3d2599e | 68154449.5 64134678.7 5.9 | cmflsp40-36-2-10", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "Above v36 primal", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "66452236.4536", "dual_display": "65928415.306808524" }, { "instance": "cmflsp60-36-2-6", "cohort": "subsequent20", "conclusion": "open", "final_primal": "73891244.22159792", "final_dual": "73054818.85442139", "normalized_gap": "0.0113196817293820641821503464189746501801454173", "v36_primal": "73891245.38458699", "primal_gain": "1.16298907", "copt10h_dual": "72075510.1", "dual_gain": "979308.75442139", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "dual skill Gurobi", "evidence": "historically accepted numerical witness; not uniformly revalidated; exact fixed-pattern LP recourse plus declared Y/Z neighborhoods and untouched-original confirmation", "notes": "Numerical difference shown, but frozen project attribution is not upgraded by this arithmetic audit.", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/skills-research/comparisons/per_instance_comparison.csv", "v36_source_line": "=best= cmflsp60-36-2-6 73891245.38458699", "copt_source_line": "13 | 36000.0 2300311 stop ok ffb30933 | 74492812.1 72075510.1 3.2 | cmflsp60-36-2-6", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "Numerically better; not project-attributed", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "73891244.22159792", "dual_display": "73054818.85442139" }, { "instance": "comp12-2idx", "cohort": "original112", "conclusion": "open", "final_primal": "277", "final_dual": "165", "normalized_gap": "0.404332129963898916967509025270758122743682310", "v36_primal": "277.0", "primal_gain": "0", "copt10h_dual": "180.108268", "dual_gain": "-15.108268", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "165 (solver)", "evidence": "Feasible; global optimum open; prior radius-10 local result retained", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/comp12-2idx/README.md", "v36_source_line": "=best= comp12-2idx 277.0", "copt_source_line": "14 | 36000.0 129884 stop ok af819628 | 293 180.108268 38.5 | comp12-2idx", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "277", "dual_display": "165" }, { "instance": "core2586-950", "cohort": "original112", "conclusion": "open", "final_primal": "944", "final_dual": "937", "normalized_gap": "0.00741525423728813559322033898305084745762711864", "v36_primal": "944.0", "primal_gain": "0", "copt10h_dual": "937.490655", "dual_gain": "-0.490655", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "937 (solver)", "evidence": "Exact set-cover reduction `OPT = 87 + OPT(hard)`; 0.7415% numerical gap; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/core2586-950/README.md", "v36_source_line": "=best= core2586-950 944.0", "copt_source_line": "15 | 36000.0 456987 stop better 85f166b3 | 946 937.490655 0.8995 | core2586-950", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "944", "dual_display": "937" }, { "instance": "core4284-1064", "cohort": "original112", "conclusion": "open", "final_primal": "1062", "final_dual": "1055", "normalized_gap": "0.00659133709981167608286252354048964218455743879", "v36_primal": "1062.0", "primal_gain": "0", "copt10h_dual": "1055.87389", "dual_gain": "-0.87389", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "1055 (portable)", "evidence": "Exact set-cover reduction and independently checked dual certificate; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/core4284-1064/README.md", "v36_source_line": "=best= core4284-1064 1062.0", "copt_source_line": "16 | 36000.0 270332 stop ok 7e350bc0 | 1063 1055.87389 0.6704 | core4284-1064", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "1062", "dual_display": "1055" }, { "instance": "core4872-1529", "cohort": "original112", "conclusion": "open", "final_primal": "1530", "final_dual": "932", "normalized_gap": "0.390849673202614379084967320261437908496732026", "v36_primal": "1530.0", "primal_gain": "0", "copt10h_dual": "1514.10482", "dual_gain": "-582.10482", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "932 (portable)", "evidence": "Independently replayed disjoint-row-packing certificate; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/core4872-1529/README.md", "v36_source_line": "=best= core4872-1529 1530.0", "copt_source_line": "17 | 36000.0 175292 stop ok cfcff16b | 1531 1514.10482 1.1 | core4872-1529", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "1530", "dual_display": "932" }, { "instance": "cvrpa-n64k9vrpi", "cohort": "original112", "conclusion": "optimal", "final_primal": "1401", "final_dual": "1401", "normalized_gap": "0", "v36_primal": "1617.0", "primal_gain": "216", "copt10h_dual": "0", "dual_gain": "1401", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "1,401", "evidence": "Optimal, mixed database/computational evidence; exact MPS projection and rational 17+ bound, but no portable complete lower-bound trace", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/cvrpa-n64k9vrpi/README.md", "v36_source_line": "=best= cvrpa-n64k9vrpi 1617.0", "copt_source_line": "18 | 36000.0 471867 stop ok 1625c7b6 | 3033 0 -- | cvrpa-n64k9vrpi", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "Attributed improvement", "dual_comparison": "Improved", "evidence_grade": "MX", "primal_display": "1401", "dual_display": "1401" }, { "instance": "cvrpb-n45k5vrpi", "cohort": "original112", "conclusion": "optimal", "final_primal": "751", "final_dual": "751", "normalized_gap": "0", "v36_primal": "775", "primal_gain": "24", "copt10h_dual": "0", "dual_gain": "751", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "751", "evidence": "Optimal, mixed database/computational evidence; no portable exact lower-bound trace", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/cvrpb-n45k5vrpi/README.md", "v36_source_line": "=best= cvrpb-n45k5vrpi 775", "copt_source_line": "19 | 36000.0 1648187 stop ok afc234e3 | 2017 0 -- | cvrpb-n45k5vrpi", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "Attributed improvement", "dual_comparison": "Improved", "evidence_grade": "MX", "primal_display": "751", "dual_display": "751" }, { "instance": "cvrpp-n16k8vrpi", "cohort": "original112", "conclusion": "optimal", "final_primal": "450", "final_dual": "450", "normalized_gap": "0", "v36_primal": "450", "primal_gain": "0", "copt10h_dual": "282.375839", "dual_gain": "167.624161", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "450", "evidence": "Optimal, exact dynamic program", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/cvrpp-n16k8vrpi/README.md", "v36_source_line": "=best= cvrpp-n16k8vrpi 450", "copt_source_line": "20 | 36000.0 11146552 stop ok 8dc63cdd | 450 282.375839 37.2 | cvrpp-n16k8vrpi", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": "PE", "primal_display": "450", "dual_display": "450" }, { "instance": "d20200", "cohort": "original112", "conclusion": "open", "final_primal": "12237", "final_dual": "12232", "normalized_gap": "0.000408596878319849636348778295333823649587317153", "v36_primal": "12237.0", "primal_gain": "0", "copt10h_dual": "12232.0097", "dual_gain": "-0.0097", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "12,232 solver; 12,230 independently exact", "evidence": "Custom tree incomplete: 33 pending subtrees; no new bound", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/d20200/README.md", "v36_source_line": "=best= d20200 12237.0", "copt_source_line": "21 | 36000.0 14907930 stop ok cfec79d1 | 12250 12232.0097 0.1469 | d20200", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "12237", "dual_display": "12232" }, { "instance": "dano3mip", "cohort": "original112", "conclusion": "open", "final_primal": "664.020833333333", "final_dual": "578.2171855753", "normalized_gap": "0.129218306792130833856019473350275835230808948", "v36_primal": "664.0208333333334", "primal_gain": "4E-13", "copt10h_dual": "578.852969", "dual_gain": "-0.6357834247", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "578.2171855753", "evidence": "Feasible; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/dano3mip/README.md", "v36_source_line": "=best= dano3mip 664.0208333333334", "copt_source_line": "22 | 36000.0 185180 stop ok 67970364 | 704.980392 578.852969 17.9 | dano3mip", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "664.020833333333", "dual_display": "578.2171855753" }, { "instance": "datt256", "cohort": "original112", "conclusion": "open", "final_primal": null, "final_dual": null, "normalized_gap": null, "v36_primal": null, "primal_gain": null, "copt10h_dual": "256", "dual_gain": null, "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "local infeasibility certificates", "evidence": "Global feasibility open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/datt256/README.md", "v36_source_line": "=unkn= datt256 ", "copt_source_line": "23 | 36000.0 464 stop ok 54e63b35 | 1e+20 256 -- | datt256", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "No finite primal archived", "dual_comparison": "No final dual archived", "evidence_grade": null, "primal_display": "no feasible point", "dual_display": "local infeasibility certificates" }, { "instance": "dc1l", "cohort": "subsequent20", "conclusion": "open", "final_primal": "1758647.6800999984", "final_dual": "1748926.03079", "normalized_gap": "0.00552791182679956548316656940120497365702637186", "v36_primal": "1758647.6801", "primal_gain": "1.6E-9", "copt10h_dual": "1751049.95", "dual_gain": "-2123.91921", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "dual skill Gurobi", "evidence": "historically accepted numerical witness; not uniformly revalidated; exact structural quotient and rational certificate chain, audited restricted neighborhoods, and matched untouched-original control", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/skills-research/comparisons/per_instance_comparison.csv", "v36_source_line": "=best= dc1l 1758647.6801", "copt_source_line": "24 | 36000.0 974875 stop ok 7a697fc1 | 1760000.09 1751049.95 0.5085 | dc1l", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "1758647.6800999984", "dual_display": "1748926.03079" }, { "instance": "dfn-bwin-DBE", "cohort": "original112", "conclusion": "optimal", "final_primal": "73623.79", "final_dual": "73623.79", "normalized_gap": "0", "v36_primal": "73623.78788664003", "primal_gain": "-0.00211335997", "copt10h_dual": "56406.0914", "dual_gain": "17217.6986", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "73,623.79", "evidence": "Optimal, exact spanning-tree DP and cost exclusion", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/dfn-bwin-DBE/README.md", "v36_source_line": "=best= dfn-bwin-DBE 73623.78788664003", "copt_source_line": "25 | 36000.0 5529424 stop ok aa95adfb | 81869.81 56406.0914 31.1 | dfn-bwin-DBE", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "Above v36 primal", "dual_comparison": "Improved", "evidence_grade": "PE", "primal_display": "73623.79", "dual_display": "73623.79" }, { "instance": "dlr1", "cohort": "parallel10_20260928", "conclusion": "open", "final_primal": "2708064.1318774545", "final_dual": "2707908.7433635984", "normalized_gap": "0.0000573799239194427067086423292337908076384948447", "v36_primal": "2708064.1369803", "primal_gain": "0.0051028455", "copt10h_dual": null, "dual_gain": null, "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "Accepted global solver or structural bound", "evidence": "Five substantive primal improvements and two optima. Sutlej strict optimum -1048730.8; numerical-tolerance incumbent separate. Vouga large-M tolerance artifact excluded.", "notes": "Numerical difference shown, but frozen project attribution is not upgraded by this arithmetic audit.", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/dlr1/README.md", "v36_source_line": "=best= dlr1 2708064.1369803", "copt_source_line": "26 | 36000.0 1 stop ok 8afdaacd | 4390789.85 -1e+20 -- | dlr1", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "Numerically better; not project-attributed", "dual_comparison": "No finite historical COPT bound", "evidence_grade": null, "primal_display": "2708064.1318774545", "dual_display": "2707908.7433635984" }, { "instance": "dlr2", "cohort": "parallel15_20261003", "conclusion": "open", "final_primal": "18265839.45029593", "final_dual": "11601762.345761254", "normalized_gap": "0.364838261207136002356627099491044926623813891", "v36_primal": "18311711.89666227", "primal_gain": "45872.44636634", "copt10h_dual": null, "dual_gain": null, "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "numerical_global_with_exact_source_audit", "evidence": "The final original-validated primal improves the frozen 18311711.896662273 baseline by 45872.44636634365. The dual is the completed full-original LP optimum 11601762.345761254. Research ended within its original clock, but the initial evidence seal missed the deadline. A later artifact-only repair made zero optimization calls: late_delivery=true and within_original_hard_deadline=false. The published sparse SOL deletes only exactly zero entries from the dense archived SOL, preserving the represented point.", "notes": "", "source_model_sha256": "fe0b3b3aa7efcd61de33702a82374ac90cbaf22c82c559e708e102c2d135e093", "selected_solution_sha256": "cf0ee0133296ce3ab34f571eb5257b1d8e209d0efcc9474ebf8e92a1550dc12c", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/dlr2/README.md", "v36_source_line": "=best= dlr2 18311711.89666227", "copt_source_line": "27 | 36000.0 1 stop better 5a6ed9c3 | 18311764.3 -1e+20 -- | dlr2", "primal_improvement": true, "dual_improvement": false, "primal_comparison": "Attributed improvement", "dual_comparison": "No finite historical COPT bound", "evidence_grade": null, "primal_display": "18265839.45029593", "dual_display": "11601762.345761254" }, { "instance": "ds-big", "cohort": "parallel15_20261003", "conclusion": "open", "final_primal": "194.49841415", "final_dual": "178.14457882305123", "normalized_gap": "0.0840821011236444058173828560236618258308817167", "v36_primal": "194.58674798", "primal_gain": "0.08833383", "copt10h_dual": "87.2719112", "dual_gain": "90.87266762305123", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "numerical_global_with_exact_source_audit", "evidence": "The global numerical lower bound is the minimum over a source-audited exhaustive dummy-count/parity partition, including syndrome-class trees. The conditional class bound alone is insufficient. Separate exact source/price certificates prove 118.008983109. The exact feasible primal remains 194.49841415; solver tolerance polishing is recorded separately.", "notes": "Numerical difference shown, but frozen project attribution is not upgraded by this arithmetic audit.", "source_model_sha256": "1114f15fea99c5719b3d80ff766da83b28b49ff1fe3b8912cf6d012bd39bacb9", "selected_solution_sha256": "2589b121423eaa2ee8eb8ddd63e8d20494a1a520c46b4269cc8ab908a2aae73a", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/ds-big/README.md", "v36_source_line": "=best= ds-big 194.58674798", "copt_source_line": "28 | 36000.0 7837 stop ok a4213efb | 316.543831 87.2719112 72.4 | ds-big", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "Numerically better; not project-attributed", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "194.49841415", "dual_display": "178.14457882305123" }, { "instance": "dws012-01", "cohort": "original112", "conclusion": "open", "final_primal": "82030.5522222395466198", "final_dual": "44641.72316928", "normalized_gap": "0.455791507433287156895775377163141984187586337", "v36_primal": "82030.53014261134", "primal_gain": "-0.0220796282066198", "copt10h_dual": "47506.9179", "dual_gain": "-2865.19473072", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "44,641.72316928 (solver)", "evidence": "Fixed-design recourse optimum and exact projection blueprint; 45.5792% numerical gap; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/dws012-01/README.md", "v36_source_line": "=best= dws012-01 82030.53014261134", "copt_source_line": "29 | 36000.0 8843512 stop ok 43c2277 | 1e+20 47506.9179 -- | dws012-01", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "Above v36 primal", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "82030.5522222395466198", "dual_display": "44641.72316928" }, { "instance": "dws012-02", "cohort": "original112", "conclusion": "open", "final_primal": "119443.31072434435", "final_dual": "23459.58492171858", "normalized_gap": "0.803592308523166526595650123488005301214953498", "v36_primal": "119893.3107095763", "primal_gain": "449.99998523195", "copt10h_dual": "58131.4504", "dual_gain": "-34671.86547828142", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "23459.58492171858", "evidence": "Sibling-design transplant improves MIPLIB v36 by 449.99998531942; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/dws012-02/README.md", "v36_source_line": "=best= dws012-02 119893.3107095763", "copt_source_line": "30 | 36000.0 1151802 stop ok 989c3d8e | 1e+20 58131.4504 -- | dws012-02", "primal_improvement": true, "dual_improvement": false, "primal_comparison": "Attributed improvement", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "119443.31072434435", "dual_display": "23459.58492171858" }, { "instance": "dws012-03", "cohort": "parallel10_20260927", "conclusion": "open", "final_primal": "140473.62938903295", "final_dual": "114206.30519394217", "normalized_gap": "0.186991140681252457120669580705410600895852367", "v36_primal": "140473.5764898607", "primal_gain": "-0.05289917225", "copt10h_dual": "63290.0397", "dual_gain": "50916.26549394217", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "Validated global bound from solver or structural relaxation", "evidence": "Numerical optimality accepted; experiment baseline and frozen v36 compared separately.", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/dws012-03/README.md", "v36_source_line": "=best= dws012-03 140473.5764898607", "copt_source_line": "31 | 36000.0 660757 stop ok fc8a83c0 | 1e+20 63290.0397 -- | dws012-03", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "Above v36 primal", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "140473.62938903295", "dual_display": "114206.30519394217" }, { "instance": "eva1aprime5x5opt", "cohort": "original112", "conclusion": "open", "final_primal": "-17.94807560443689", "final_dual": "-458.919072061", "normalized_gap": "0.960890543241464557965180104705092782923149771", "v36_primal": "-17.94807560443689", "primal_gain": "0", "copt10h_dual": "-52.0397187", "dual_gain": "-406.879353361", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "-458.919072061", "evidence": "Feasible; no `1e-6` improvement within bit radius 8; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/eva1aprime5x5opt/README.md", "v36_source_line": "=best= eva1aprime5x5opt -17.94807560443689", "copt_source_line": "32 | 36000.0 187004 stop ok eb4d8d0f | -10.0445 -52.0397187 80.7 | eva1aprime5x5opt", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "-17.94807560443689", "dual_display": "-458.919072061" }, { "instance": "eva1aprime6x6opt", "cohort": "subsequent20", "conclusion": "open", "final_primal": "-18.101002981361386", "final_dual": "-96.70380539695806", "normalized_gap": "0.812820158347866051530633019502592333427922328", "v36_primal": "-18.10146978964996", "primal_gain": "-0.000466808288574", "copt10h_dual": "-140.895641", "dual_gain": "44.19183560304194", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "dual skill Gurobi", "evidence": "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", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/skills-research/comparisons/per_instance_comparison.csv", "v36_source_line": "=best= eva1aprime6x6opt -18.10146978964996", "copt_source_line": "33 | 36000.0 9725 stop ok 97bda2ae | 1.71485284 -140.895641 101.2 | eva1aprime6x6opt", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "Above v36 primal", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "-18.101002981361386", "dual_display": "-96.70380539695806" }, { "instance": "ex1010-pi", "cohort": "original112", "conclusion": "open", "final_primal": "233", "final_dual": "224", "normalized_gap": "0.0386266094420600858369098712446351931330472103", "v36_primal": "233.0", "primal_gain": "0", "copt10h_dual": "224.057416", "dual_gain": "-0.057416", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "224 solver", "evidence": "Exact kernelization; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/ex1010-pi/README.md", "v36_source_line": "=best= ex1010-pi 233.0", "copt_source_line": "34 | 36000.0 463515 stop ok 8185cd66 | 236 224.057416 5.1 | ex1010-pi", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "233", "dual_display": "224" }, { "instance": "f2000", "cohort": "original112", "conclusion": "open", "final_primal": "1810", "final_dual": "1332", "normalized_gap": "0.264088397790055248618784530386740331491712707", "v36_primal": "1810.0", "primal_gain": "0", "copt10h_dual": "1342.95881", "dual_gain": "-10.95881", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "1,332 root", "evidence": "Feasible minimum-prime-implicant witness; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/f2000/README.md", "v36_source_line": "=best= f2000 1810.0", "copt_source_line": "35 | 36000.0 41660 stop ok 6f6c4194 | 1e+20 1342.95881 -- | f2000", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "1810", "dual_display": "1332" }, { "instance": "fastxgemm-n3r21s3t6", "cohort": "original112", "conclusion": "open", "final_primal": "2147", "final_dual": "93", "normalized_gap": "0.956683744760130414531904983698183511877037727", "v36_primal": "4110.99800117485", "primal_gain": "1963.99800117485", "copt10h_dual": "84", "dual_gain": "9", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "93", "evidence": "Project-derived improvement from attributed external construction; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/fastxgemm-n3r21s3t6/README.md", "v36_source_line": "=best= fastxgemm-n3r21s3t6 4110.99800117485", "copt_source_line": "36 | 36000.0 74398 stop ok e0f9a37c | 27102 84 99.7 | fastxgemm-n3r21s3t6", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "External-derived improvement", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "2147", "dual_display": "93" }, { "instance": "fastxgemm-n3r22s4t6", "cohort": "original112", "conclusion": "open", "final_primal": "1150", "final_dual": "90", "normalized_gap": "0.921739130434782608695652173913043478260869565", "v36_primal": "3101.998198399999", "primal_gain": "1951.998198399999", "copt10h_dual": "84", "dual_gain": "6", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "90", "evidence": "Project-derived improvement from attributed external construction; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/fastxgemm-n3r22s4t6/README.md", "v36_source_line": "=best= fastxgemm-n3r22s4t6 3101.998198399999", "copt_source_line": "37 | 36000.0 47831 stop ok c6c59303 | 7084 84 98.8 | fastxgemm-n3r22s4t6", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "External-derived improvement", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "1150", "dual_display": "90" }, { "instance": "fastxgemm-n3r23s5t6", "cohort": "original112", "conclusion": "open", "final_primal": "153", "final_dual": "90", "normalized_gap": "0.411764705882352941176470588235294117647058824", "v36_primal": "3089.997998", "primal_gain": "2936.997998", "copt10h_dual": "84", "dual_gain": "6", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "90", "evidence": "Strict interval `[90,153]`; LB is our proof, UB is excluded from our primal count; global optimum open", "notes": "Numerical difference shown, but frozen project attribution is not upgraded by this arithmetic audit.", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/fastxgemm-n3r23s5t6/README.md", "v36_source_line": "=best= fastxgemm-n3r23s5t6 3089.997998", "copt_source_line": "38 | 36000.0 58004 stop ok 27482422 | 27108 84 99.7 | fastxgemm-n3r23s5t6", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "Numerically better; not project-attributed", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "153", "dual_display": "90" }, { "instance": "fhnw-binpack4-58", "cohort": "original112", "conclusion": "infeasible", "final_primal": null, "final_dual": null, "normalized_gap": null, "v36_primal": null, "primal_gain": null, "copt10h_dual": "0", "dual_gain": null, "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "geometric contradiction", "evidence": "Infeasible, exact certificate", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/fhnw-binpack4-58/README.md", "v36_source_line": "=unkn= fhnw-binpack4-58 ", "copt_source_line": "39 | 36000.0 69078009 stop ok b60d94e2 | 1e+20 0 -- | fhnw-binpack4-58", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "Infeasibility certificate", "dual_comparison": "Infeasibility certificate", "evidence_grade": "PE", "primal_display": "—", "dual_display": "geometric contradiction" }, { "instance": "fhnw-binschedule0", "cohort": "original112", "conclusion": "optimal", "final_primal": "15958", "final_dual": "15958", "normalized_gap": "0", "v36_primal": "16088.0", "primal_gain": "130", "copt10h_dual": "15642", "dual_gain": "316", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "15,958", "evidence": "Optimal, exact interval-order path-cover certificate", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/fhnw-binschedule0/README.md", "v36_source_line": "=best= fhnw-binschedule0 16088.0", "copt_source_line": "40 | 36000.0 544 stop ok 1ea2b33f | 16982 15642 7.9 | fhnw-binschedule0", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "Attributed improvement", "dual_comparison": "Improved", "evidence_grade": "PE", "primal_display": "15958", "dual_display": "15958" }, { "instance": "fhnw-binschedule1", "cohort": "original112", "conclusion": "optimal", "final_primal": "55158", "final_dual": "55158", "normalized_gap": "0", "v36_primal": "55198.0", "primal_gain": "40", "copt10h_dual": "52153", "dual_gain": "3005", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "55,158", "evidence": "Optimal, exact interval-order path-cover certificate", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/fhnw-binschedule1/README.md", "v36_source_line": "=best= fhnw-binschedule1 55198.0", "copt_source_line": "41 | 36000.0 1 stop ok f7d77b1b | 1e+20 52153 -- | fhnw-binschedule1", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "Attributed improvement", "dual_comparison": "Improved", "evidence_grade": "PE", "primal_display": "55158", "dual_display": "55158" }, { "instance": "fhnw-binschedule2", "cohort": "original112", "conclusion": "optimal", "final_primal": "2428", "final_dual": "2428", "normalized_gap": "0", "v36_primal": "2428", "primal_gain": "0", "copt10h_dual": "2273.5", "dual_gain": "154.5", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "2,428", "evidence": "Optimal, exact endpoint clique/parity certificate", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/fhnw-binschedule2/README.md", "v36_source_line": "=best= fhnw-binschedule2 2428", "copt_source_line": "42 | 36000.0 280156 stop ok 23a68bf2 | 2450 2273.5 7.2 | fhnw-binschedule2", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": "PE", "primal_display": "2428", "dual_display": "2428" }, { "instance": "fhnw-schedule-paira100", "cohort": "original112", "conclusion": "optimal", "final_primal": "-15.113116512593402", "final_dual": "-15.113116512593401992", "normalized_gap": null, "v36_primal": "-15.1131226682367", "primal_gain": "-0.000006155643298", "copt10h_dual": "-23.8016842", "dual_gain": "8.688567687406598008", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "-15.113116512593402 (Gurobi + audited valid cuts)", "evidence": "Computational optimum; official lower headline is nonintegral, so no numerical primal improvement is claimed", "notes": "Reported numerical lower bound marginally exceeds primal; retain numerical qualification and do not clamp source values.", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/fhnw-schedule-paira100/README.md", "v36_source_line": "=best= fhnw-schedule-paira100 -15.1131226682367", "copt_source_line": "43 | 36000.0 155099 stop ok eefb9a70 | -11.8907863 -23.8016842 50.0 | fhnw-schedule-paira100", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "Above v36 primal", "dual_comparison": "Improved", "evidence_grade": "PE", "primal_display": "-15.113116512593402", "dual_display": "-15.113116512593401992" }, { "instance": "fhnw-schedule-paira200", "cohort": "original112", "conclusion": "optimal", "final_primal": "-19.369961204645204", "final_dual": "-19.36996120464520581", "normalized_gap": "9.34436564367477919476872911516173702546882438E-17", "v36_primal": "-19.2298568218154", "primal_gain": "0.140104382829804", "copt10h_dual": "-46.9081453", "dual_gain": "27.53818409535479419", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "-19.369961204645204 (Gurobi + audited valid cuts)", "evidence": "Computational optimum; independent rerun and original-MPS audit", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/fhnw-schedule-paira200/README.md", "v36_source_line": "=best= fhnw-schedule-paira200 -19.2298568218154", "copt_source_line": "44 | 36000.0 4670 stop ok a66b9b3f | -14.0242124 -46.9081453 70.1 | fhnw-schedule-paira200", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "Attributed improvement", "dual_comparison": "Improved", "evidence_grade": "PE", "primal_display": "-19.369961204645204", "dual_display": "-19.36996120464520581" }, { "instance": "fhnw-schedule-paira400", "cohort": "original112", "conclusion": "optimal", "final_primal": "-36.27696674236886", "final_dual": "-36.276966742368865136", "normalized_gap": "1.41577437729972187407784852273457751844566032E-16", "v36_primal": "-35.54680465280395", "primal_gain": "0.73016208956491", "copt10h_dual": "-95.8844179", "dual_gain": "59.607451157631134864", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "-36.27696674236886 (safe suffix master)", "evidence": "Computational optimum; two master runs and Pair-A/Pair-B full-row audits", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/fhnw-schedule-paira400/README.md", "v36_source_line": "=best= fhnw-schedule-paira400 -35.54680465280395", "copt_source_line": "45 | 36000.0 1 stop ok 531b676f | -1.31708288 -95.8844179 98.6 | fhnw-schedule-paira400", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "Attributed improvement", "dual_comparison": "Improved", "evidence_grade": "PE", "primal_display": "-36.27696674236886", "dual_display": "-36.276966742368865136" }, { "instance": "fhnw-schedule-pairb200", "cohort": "original112", "conclusion": "optimal", "final_primal": "-19.36996120464520581", "final_dual": "-19.36996120464520581", "normalized_gap": "0", "v36_primal": "-19.24094384259708", "primal_gain": "0.12901736204812581", "copt10h_dual": "-51.5610835", "dual_gain": "32.19112229535479419", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "-19.3699612046452058100 (Gurobi + audited valid cuts)", "evidence": "Computational optimum; independent rerun and Pair-A cross-check, no portable formal lower-bound proof", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/fhnw-schedule-pairb200/README.md", "v36_source_line": "=best= fhnw-schedule-pairb200 -19.24094384259708", "copt_source_line": "46 | 36000.0 499406 stop ok 6db4f773 | -14.017227 -51.5610835 72.8 | fhnw-schedule-pairb200", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "Attributed improvement", "dual_comparison": "Improved", "evidence_grade": "PE", "primal_display": "-19.36996120464520581", "dual_display": "-19.36996120464520581" }, { "instance": "fhnw-schedule-pairb400", "cohort": "original112", "conclusion": "optimal", "final_primal": "-36.27696674236886", "final_dual": "-36.276966742368865136", "normalized_gap": "1.41577437729972187407784852273457751844566032E-16", "v36_primal": "-35.4584", "primal_gain": "0.81856674236886", "copt10h_dual": "-98.8384308", "dual_gain": "62.561464057631134864", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "-36.27696674236886 (independent safe suffix master)", "evidence": "Computational optimum; two safe runs, cross-formulation audit, invalid old cuts explicitly rejected", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/fhnw-schedule-pairb400/README.md", "v36_source_line": "=best= fhnw-schedule-pairb400 -35.4584", "copt_source_line": "47 | 36000.0 33359 stop ok 1ea2ce17 | -22.6123308 -98.8384308 77.1 | fhnw-schedule-pairb400", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "Attributed improvement", "dual_comparison": "Improved", "evidence_grade": "PE", "primal_display": "-36.27696674236886", "dual_display": "-36.276966742368865136" }, { "instance": "gasprod1-1", "cohort": "fresh_next10_20261004", "conclusion": "optimal", "final_primal": "291.5265300348231", "final_dual": "291.52653003486193", "normalized_gap": null, "v36_primal": "291.1753206178254", "primal_gain": "-0.3512094169977", "copt10h_dual": "253.271446", "dual_gain": "38.25508403486193", "first_finite": false, "validation_grade": "See original-decimal Fraction check in instance package", "dual_validation_grade": "Numerical global bound with structural audits; no independent exact lower-bound certificate is claimed", "evidence": "Solver numerical global optimality; not an exact arithmetic or Lean proof", "notes": "All4 original public vectors fail1e-9; fixed rounded integers/full original continuous repair converge to about291.5265336024; repair is not claimed as a new primal record Reported numerical lower bound marginally exceeds primal; retain numerical qualification and do not clamp source values.", "source_model_sha256": "a21f954df344e7f741364f2d36df23b0821b71f202553fa940833306fcaad74a", "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/gasprod1-1/README.md", "v36_source_line": "=best= gasprod1-1 291.1753206178254", "copt_source_line": "48 | 36000.0 79557837 stop ok 19cd0ea5 | 291.526207 253.271446 13.1 | gasprod1-1", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "Above v36 primal", "dual_comparison": "Improved", "evidence_grade": "IV", "primal_display": "291.5265300348231", "dual_display": "291.52653003486193" }, { "instance": "genus-g31-8", "cohort": "original112", "conclusion": "optimal_with_tolerance", "final_primal": "-23", "final_dual": "-23", "normalized_gap": "0", "v36_primal": "-23", "primal_gain": "0", "copt10h_dual": "-27", "dual_gain": "4", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "-23 exact lower bound", "evidence": "P=D=-23; primal row residual 1e-15 < 1e-10 accepted policy; not literal-zero feasibility", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/genus-g31-8/README.md", "v36_source_line": "=best= genus-g31-8 -23", "copt_source_line": "49 | 36000.0 385083 stop ok 7bdd68bf | -21 -27 22.2 | genus-g31-8", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": "TC", "primal_display": "-23", "dual_display": "-23" }, { "instance": "genus-g61-25", "cohort": "original112", "conclusion": "open", "final_primal": "-40", "final_dual": "-42", "normalized_gap": "0.0476190476190476190476190476190476190476190476", "v36_primal": "-40.0", "primal_gain": "0", "copt10h_dual": "-58", "dual_gain": "16", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "-42 (exact; genus ≥9)", "evidence": "Complete 44-face exclusion; 42-face target unresolved", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/genus-g61-25/README.md", "v36_source_line": "=best= genus-g61-25 -40.0", "copt_source_line": "50 | 36000.0 23261 stop ok bceecade | -26 -58 55.2 | genus-g61-25", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "-40", "dual_display": "-42" }, { "instance": "genus-sym-g31-8", "cohort": "original112", "conclusion": "optimal_with_tolerance", "final_primal": "-23", "final_dual": "-23", "normalized_gap": "0", "v36_primal": "-23.0", "primal_gain": "0", "copt10h_dual": "-27", "dual_gain": "4", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "-23 exact lower bound", "evidence": "P=D=-23; primal row residual 1e-15 < 1e-10 accepted policy; not literal-zero feasibility", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/genus-sym-g31-8/README.md", "v36_source_line": "=best= genus-sym-g31-8 -23.0", "copt_source_line": "51 | 36000.0 310651 stop ok f52b6c3b | -21 -27 22.2 | genus-sym-g31-8", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": "TC", "primal_display": "-23", "dual_display": "-23" }, { "instance": "genus-sym-g62-2", "cohort": "original112", "conclusion": "open", "final_primal": "-38", "final_dual": "-40", "normalized_gap": "0.05", "v36_primal": "-38.0", "primal_gain": "0", "copt10h_dual": "-54", "dual_gain": "14", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "-40 (exact)", "evidence": "Complete short-face catalogue and rational dual; optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/genus-sym-g62-2/README.md", "v36_source_line": "=best= genus-sym-g62-2 -38.0", "copt_source_line": "52 | 36000.0 40316 stop ok 7eec8a2e | -26 -54 51.9 | genus-sym-g62-2", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "-38", "dual_display": "-40" }, { "instance": "genus-sym-grafo5708-48", "cohort": "original112", "conclusion": "optimal", "final_primal": "-21", "final_dual": "-21", "normalized_gap": "0", "v36_primal": "-21", "primal_gain": "0", "copt10h_dual": "-27", "dual_gain": "6", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "-21 exhaustive result", "evidence": "Optimal, specialized exact exhaustive computation; no standalone proof trace", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/genus-sym-grafo5708-48/README.md", "v36_source_line": "=best= genus-sym-grafo5708-48 -21", "copt_source_line": "53 | 36000.0 552347 stop ok d24b0dc6 | -21 -27 22.2 | genus-sym-grafo5708-48", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": "EX", "primal_display": "-21", "dual_display": "-21" }, { "instance": "ger50-17-ptp-pop-3t", "cohort": "original112", "conclusion": "open", "final_primal": "5224.5144", "final_dual": "5183.93592586653", "normalized_gap": "0.00776693698719061813668271255985053845387046880", "v36_primal": "5224.5144", "primal_gain": "0", "copt10h_dual": "4123.52638", "dual_gain": "1060.40954586653", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "5,183.93592586653 (solver)", "evidence": "Exact flow scaling; conflicting Gurobi 13 zero-gap output rejected; 0.7767% numerical gap; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/ger50-17-ptp-pop-3t/README.md", "v36_source_line": "=best= ger50-17-ptp-pop-3t 5224.5144", "copt_source_line": "54 | 36000.0 1282844 stop ok 7844600f | 5341.3766 4123.52638 22.8 | ger50-17-ptp-pop-3t", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "5224.5144", "dual_display": "5183.93592586653" }, { "instance": "ger50-17-trans-dfn-3t", "cohort": "subsequent20", "conclusion": "open", "final_primal": "3969.433399999999", "final_dual": "3934.3152", "normalized_gap": "0.00884715687634386531013642308342175740659185349", "v36_primal": "3969.4334", "primal_gain": "1E-12", "copt10h_dual": "3831.36744", "dual_gain": "102.94776", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "dual skill Gurobi", "evidence": "historically accepted numerical witness; not uniformly revalidated; audited rounded logical cutset strengthening", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/skills-research/comparisons/per_instance_comparison.csv", "v36_source_line": "=best= ger50-17-trans-dfn-3t 3969.4334", "copt_source_line": "55 | 36000.0 268285 stop ok e5aa5752 | 4352.9664 3831.36744 12.0 | ger50-17-trans-dfn-3t", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "3969.433399999999", "dual_display": "3934.3152" }, { "instance": "ger50-17-trans-pop-3t", "cohort": "parallel8_20260926", "conclusion": "optimal", "final_primal": "4038.441", "final_dual": "4038.441", "normalized_gap": "0", "v36_primal": "4038.441", "primal_gain": "0", "copt10h_dual": "3884.84515", "dual_gain": "153.59585", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "Valid global solver bound or stronger independently exact bound", "evidence": "Global solver numerical optimality accepted; exact certificate supplementary. Experiment initial primal improvement: 0", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/ger50-17-trans-pop-3t/README.md", "v36_source_line": "=best= ger50-17-trans-pop-3t 4038.441", "copt_source_line": "56 | 36000.0 263357 stop ok cf0afe49 | 4394.0664 3884.84515 11.6 | ger50-17-trans-pop-3t", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": "IV", "primal_display": "4038.441", "dual_display": "4038.441" }, { "instance": "gmut-76-40", "cohort": "original112", "conclusion": "open", "final_primal": "-14169477.7859", "final_dual": "-14171086.31587", "normalized_gap": "0.000113507880352025655140732073088608739901878891", "v36_primal": "-14169477.79550346", "primal_gain": "-0.00960346", "copt10h_dual": "-14170137.1", "dual_gain": "-949.21587", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "-14,171,086.31587 (solver)", "evidence": "Exact-decimal primal audit; 0.0114% numerical gap; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/gmut-76-40/README.md", "v36_source_line": "=best= gmut-76-40 -14169477.79550346", "copt_source_line": "57 | 23392.8 16551674 stop ok e865a00 | -14146616.2 -14170137.1 0.1660 | gmut-76-40", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "Above v36 primal", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "-14169477.7859", "dual_display": "-14171086.31587" }, { "instance": "gmut-76-50", "cohort": "original112", "conclusion": "open", "final_primal": "-14171397.8275", "final_dual": null, "normalized_gap": null, "v36_primal": "-14171893.7789212", "primal_gain": "-495.9514212", "copt10h_dual": "-14173526.5", "dual_gain": null, "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "no new certified global bound", "evidence": "Public lower-looking witness is nonintegral; no incumbent improvement claimed", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/gmut-76-50/README.md", "v36_source_line": "=best= gmut-76-50 -14171893.7789212", "copt_source_line": "58 | 25767.9 11887737 stop ok e613a9ff | -14157633.9 -14173526.5 0.1121 | gmut-76-50", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "Above v36 primal", "dual_comparison": "No final dual archived", "evidence_grade": null, "primal_display": "-14171397.8275", "dual_display": "no new certified global bound" }, { "instance": "graph40-20-1rand", "cohort": "original112", "conclusion": "open", "final_primal": "-15", "final_dual": null, "normalized_gap": null, "v36_primal": "-15", "primal_gain": "0", "copt10h_dual": "-134.42884", "dual_gain": null, "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "-15 published, graph identity not certified", "evidence": "Feasible; global optimality not locally certified", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/graph40-20-1rand/README.md", "v36_source_line": "=best= graph40-20-1rand -15", "copt_source_line": "59 | 36000.0 1 stop ok 27a68c66 | -15 -134.42884 88.8 | graph40-20-1rand", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "No difference above 1e-7", "dual_comparison": "No final dual archived", "evidence_grade": null, "primal_display": "-15", "dual_display": "-15 published, graph identity not certified" }, { "instance": "graph40-40-1rand", "cohort": "original112", "conclusion": "optimal", "final_primal": "-9", "final_dual": "-9", "normalized_gap": "0", "v36_primal": "-9", "primal_gain": "0", "copt10h_dual": "-68.9559386", "dual_gain": "59.9559386", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "-9", "evidence": "Optimal, original-MPS/CNF/LRAT certificate", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/graph40-40-1rand/README.md", "v36_source_line": "=best= graph40-40-1rand -9", "copt_source_line": "60 | 36000.0 383 stop ok aeff411d | -9 -68.9559386 86.9 | graph40-40-1rand", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": "PE", "primal_display": "-9", "dual_display": "-9" }, { "instance": "graph40-80-1rand", "cohort": "original112", "conclusion": "optimal", "final_primal": "-7", "final_dual": "-7", "normalized_gap": "0", "v36_primal": "-7", "primal_gain": "0", "copt10h_dual": "-495.450445", "dual_gain": "488.450445", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "-7", "evidence": "Optimal, original-MPS/CNF/LRAT certificate", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/graph40-80-1rand/README.md", "v36_source_line": "=best= graph40-80-1rand -7", "copt_source_line": "61 | 36000.0 1 stop ok 9fd3d290 | -7 -495.450445 98.6 | graph40-80-1rand", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": "PE", "primal_display": "-7", "dual_display": "-7" }, { "instance": "graphdraw-grafo2", "cohort": "subsequent20", "conclusion": "open", "final_primal": "68590.5", "final_dual": "53513.5", "normalized_gap": "0.219811781514932825974442524839445695832513249", "v36_primal": "68613.49999999868", "primal_gain": "22.99999999868", "copt10h_dual": "36314.1643", "dual_gain": "17199.3357", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "dual skill COPT terminal", "evidence": "historically accepted numerical witness; not uniformly revalidated; objective-graph degree and disconnected-component restricted LNS with original-MPS replay", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/skills-research/comparisons/per_instance_comparison.csv", "v36_source_line": "=best= graphdraw-grafo2 68613.49999999868", "copt_source_line": "62 | 36000.0 4222 stop ok 2e8f8787 | 109951.5 36314.1643 67.0 | graphdraw-grafo2", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "Attributed improvement", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "68590.5", "dual_display": "53513.5" }, { "instance": "graphdraw-mainerd", "cohort": "original112", "conclusion": "open", "final_primal": "38842", "final_dual": "31882", "normalized_gap": "0.179187477472838679779619998970186911075639771", "v36_primal": "38841.9999999991", "primal_gain": "-9E-10", "copt10h_dual": "31493.2257", "dual_gain": "388.7743", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "31,882 (exact global certificate)", "evidence": "New global geometric proof; historical six-rectangle local exclusion remains separate; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/graphdraw-mainerd/README.md", "v36_source_line": "=best= graphdraw-mainerd 38841.9999999991", "copt_source_line": "63 | 36000.0 2286043 stop ok b459f6a7 | 49944 31493.2257 36.9 | graphdraw-mainerd", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "38842", "dual_display": "31882" }, { "instance": "graphdraw-opmanager", "cohort": "original112", "conclusion": "open", "final_primal": "99445.5", "final_dual": "58950", "normalized_gap": "0.407212996063170279198153762613692927281777456", "v36_primal": "99445.5", "primal_gain": "0", "copt10h_dual": "56741.4457", "dual_gain": "2208.5543", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "58,950 (exact global certificate)", "evidence": "New global geometric proof; historical four-rectangle local exclusion remains separate; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/graphdraw-opmanager/README.md", "v36_source_line": "=best= graphdraw-opmanager 99445.5", "copt_source_line": "64 | 36000.0 114236 stop ok 5e9cba7a | 143015.5 56741.4457 60.3 | graphdraw-opmanager", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "99445.5", "dual_display": "58950" }, { "instance": "gsvm2rl11", "cohort": "original112", "conclusion": "open", "final_primal": "18539.12716192643", "final_dual": "2096.755457820071", "normalized_gap": "0.886901069316458918610529345191735442713382041", "v36_primal": "18121.6376441351", "primal_gain": "-417.48951779133", "copt10h_dual": "3169.43538", "dual_gain": "-1072.679922179929", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "2,096.755457820071", "evidence": "Feasible; sparse-exchange prototypes tested; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/gsvm2rl11/README.md", "v36_source_line": "=best= gsvm2rl11 18121.6376441351", "copt_source_line": "65 | 36000.0 13072026 stop ok 862f45e3 | 19576.5741 3169.43538 83.8 | gsvm2rl11", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "Above v36 primal", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "18539.12716192643", "dual_display": "2096.755457820071" }, { "instance": "gsvm2rl12", "cohort": "fresh_r01_r10_20261006", "conclusion": "open", "final_primal": "21.903856358719684055196879295780590021238", "final_dual": "12.099305681214467", "normalized_gap": "0.447617557243619038730297278626027774204410194", "v36_primal": "21.90385635871968", "primal_gain": "-4.055196879295780590021238E-15", "copt10h_dual": "3.11194162", "dual_gain": "8.987364061214467", "first_finite": false, "validation_grade": "Exact rational original-MPS feasibility, zero residual", "dual_validation_grade": "numerical_solver", "evidence": "Original strict rational witness, separately graded numerical and independent exact dual evidence, verified core final-result packages; full trial archives retained locally.", "notes": "", "source_model_sha256": "65b57e777eca3865e0220139fbac6f054cf344c5e1e6eeb48b07d56c47b31bf4", "selected_solution_sha256": "7b9f85bdfe5227b4a4e06e5a39d1897f1693ed8a6ccfd0b36598f214481fc27f", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/gsvm2rl12/README.md", "v36_source_line": "=best= gsvm2rl12 21.90385635871968", "copt_source_line": "66 | 26992.4 18300986 stop ok 6608d372 | 45.2286243 3.11194162 93.1 | gsvm2rl12", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "21.903856358719684055196879295780590021238", "dual_display": "12.099305681214467" }, { "instance": "gsvm2rl9", "cohort": "original112", "conclusion": "open", "final_primal": "7438.181167767967", "final_dual": "2289.659530409", "normalized_gap": "0.692174810109381083807733092448274679162809351", "v36_primal": "7438.181021170049", "primal_gain": "-0.000146597918", "copt10h_dual": "2889.25545", "dual_gain": "-599.595919591", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "2,289.659530409", "evidence": "Feasible; no official-target improvement within `z` radius 8; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/gsvm2rl9/README.md", "v36_source_line": "=best= gsvm2rl9 7438.181021170049", "copt_source_line": "67 | 36000.0 48780185 stop ok 85b7913 | 7742.17009 2889.25545 62.7 | gsvm2rl9", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "Above v36 primal", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "7438.181167767967", "dual_display": "2289.659530409" }, { "instance": "hgms30", "cohort": "fresh_r01_r10_20261006", "conclusion": "open", "final_primal": "-44338.7448126592095856289605428148148148148148", "final_dual": "-44339.653641111276", "normalized_gap": "0.0000204969677801848653022668146582198545216028273", "v36_primal": "-44338.74480308597", "primal_gain": "0.00000957323958562896054281481481481481481481481481", "copt10h_dual": "-46112.9057", "dual_gain": "1773.252058888724", "first_finite": false, "validation_grade": "Exact rational original-MPS feasibility, zero residual", "dual_validation_grade": "numerical_solver", "evidence": "Original strict rational witness, separately graded numerical and independent exact dual evidence, verified core final-result packages; full trial archives retained locally.", "notes": "", "source_model_sha256": "34b759020e24a86b0b7fccc3051fd1ec40973c91a341cce1cafdac6672439f6d", "selected_solution_sha256": "bf05b9d30c16ac14059328d6573208d939dd7b72bae6306df664f6182b9193e6", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/hgms30/README.md", "v36_source_line": "=best= hgms30 -44338.74480308597", "copt_source_line": "68 | 36000.0 63740 stop ok 5489fc1e | -44320.6389 -46112.9057 3.9 | hgms30", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No counted improvement", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "-44338.7448126592095856289605428148148148148148", "dual_display": "-44339.653641111276" }, { "instance": "hgms62", "cohort": "fresh_r01_r10_20261006", "conclusion": "open", "final_primal": "-44837.2453466837391764121335059500411111111111", "final_dual": "-44844.32868377851", "normalized_gap": "0.000157953910843871576855185445003651287418227496", "v36_primal": "-44837.24534313961", "primal_gain": "0.00000354412917641213350595004111111111111111111111", "copt10h_dual": "-46639.631", "dual_gain": "1795.30231622149", "first_finite": false, "validation_grade": "Exact rational original-MPS feasibility, zero residual", "dual_validation_grade": "numerical_solver", "evidence": "Original strict rational witness, separately graded numerical and independent exact dual evidence, verified core final-result packages; full trial archives retained locally.", "notes": "", "source_model_sha256": "0201cd27f6f2e44cb1427f2f9458fdafb9dbd0d3b842067e780f115ec28b9dd2", "selected_solution_sha256": "40b0eee87c82ad02afedc98972c7b64423e9154b9c404d10c264adc65c5e0958", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/hgms62/README.md", "v36_source_line": "=best= hgms62 -44837.24534313961", "copt_source_line": "69 | 36000.0 17423 stop ok 55391f8c | -44795.4486 -46639.631 4.0 | hgms62", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No counted improvement", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "-44837.2453466837391764121335059500411111111111", "dual_display": "-44844.32868377851" }, { "instance": "ivu06", "cohort": "original112", "conclusion": "open", "final_primal": "142.864331576", "final_dual": "135.900242315", "normalized_gap": "0.0487461718693254861723919035095069571881031148", "v36_primal": "142.86", "primal_gain": "-0.004331576", "copt10h_dual": "135.944621", "dual_gain": "-0.044378685", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "135.900242315 (portable)", "evidence": "Exact rational dual checked against all columns; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/ivu06/README.md", "v36_source_line": "=best= ivu06 142.86", "copt_source_line": "71 | 36000.0 2334 stop ok 2b7565f8 | 198.433669 135.944621 31.5 | ivu06", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "Above v36 primal", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "142.864331576", "dual_display": "135.900242315" }, { "instance": "ivu06-big", "cohort": "parallel15_20261003", "conclusion": "open", "final_primal": "140.412332083", "final_dual": "135.44891253182323", "normalized_gap": "0.0353488862234893473847466913879474960561181893", "v36_primal": "140.74", "primal_gain": "0.327667917", "copt10h_dual": "135.430283", "dual_gain": "0.01862953182323", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "numerical_global_with_exact_source_audit", "evidence": "The selected 111-duty original 0/1 partition improves the frozen primal 140.74366634 to 140.412332083, with zero original row/domain residuals. Completed original-model COPT gives numerical dual 135.44891253182323. Separate exact raw-source branch-and-price replay proves 67723688451/500000000 by exhaustive region coverage and the minimum over the surviving frontier. Restricted column-pool bounds are excluded.", "notes": "", "source_model_sha256": "804aef2f1868dbef52cdaf98acf1823c5b19bdc295be046fc043bf472a3c9894", "selected_solution_sha256": "1bff111ab4dc9d94a24cfa09277b6bfe7c2097b40dfc5a275059f61405cd0aab", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/ivu06-big/README.md", "v36_source_line": "=best= ivu06-big 140.74", "copt_source_line": "70 | 1087.5 0 stop ok d74b11b4 | 191.640335 135.430283 29.3 | ivu06-big", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "Attributed improvement", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "140.412332083", "dual_display": "135.44891253182323" }, { "instance": "ivu59", "cohort": "parallel15_20261003", "conclusion": "open", "final_primal": "911.94105059", "final_dual": "885", "normalized_gap": "0.0295425352028729315675667526701814946531828106", "v36_primal": "927.8947518206729", "primal_gain": "15.9537012306729", "copt10h_dual": "884.788371", "dual_gain": "0.211629", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "numerical_global_with_exact_source_audit", "evidence": "Validated original partition exchanges improve frozen primal 912.70015745 to 911.94105059. Exact reduced-cost exclusion preserves every solution in the cap-885 region; completed COPT INFEASIBLE in that region, together with the outside-cap cover, proves numerical global lower bound 885. Display the floating excess 885.0000000000076 as 885. The independent exact parity-price certificate is 884462983177/1000000000. Advisory reduced costs used for primal proposals are not asserted dual-feasible.", "notes": "", "source_model_sha256": "b0c8915ad29aaab53aa809b62ca2bdf8398f03aad27b07c58d98f3217e67c48e", "selected_solution_sha256": "fe664d45c274bbcdb69cc4afb1358c1b4161dc8c32e85c70d573544e091c9f53", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/ivu59/README.md", "v36_source_line": "=best= ivu59 927.8947518206729", "copt_source_line": "72 | 2475.7 0 stop ok ebaa0ae6 | 1510.60395 884.788371 41.4 | ivu59", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "Attributed improvement", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "911.94105059", "dual_display": "885" }, { "instance": "kottenpark09", "cohort": "parallel15_20261003", "conclusion": "open", "final_primal": "1715", "final_dual": "230", "normalized_gap": "0.865889212827988338192419825072886297376093294", "v36_primal": "1715.0", "primal_gain": "0", "copt10h_dual": "183.5", "dual_gain": "46.5", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "numerical_global_with_exact_source_audit", "evidence": "Two raw-source auditors prove integrality-preserving relaxation of 2734670 assignment columns: 1780414 unique binary-margin intersections and 954256 forced zeros. All original rows/domains/objective are retained. An equivalent global model adds 7920 source-proved gated-day cuts. Completed clean COPT API bound 229.199999999994 rounds to 230 using the exact 5Z objective lattice. F=0,z<=1710 pilots are conditional and cannot supply a standalone global bound. The primal 1715 is unchanged.", "notes": "", "source_model_sha256": "d184489b964e4bba3ea0e550257e173fd1548a2a824ad6c96953f106e1b6f4c6", "selected_solution_sha256": "a5aa2768d227ad8a4b9cf89dac03bb540c1066d4892a2f3f8ed4a5bb3a943c0e", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/kottenpark09/README.md", "v36_source_line": "=best= kottenpark09 1715.0", "copt_source_line": "73 | 36000.0 1 stop ok 27335ea8 | 1e+20 183.5 -- | kottenpark09", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "1715", "dual_display": "230" }, { "instance": "liu", "cohort": "original112", "conclusion": "open", "final_primal": "1082", "final_dual": "1074", "normalized_gap": "0.00739371534195933456561922365988909426987060998", "v36_primal": "1083.984782", "primal_gain": "1.984782", "copt10h_dual": "560", "dual_gain": "514", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "1,074 (area + even-lattice certificate)", "evidence": "Feasible; target-1,080 critical-path study closes two restricted neighborhoods, but global optimum remains open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/liu/README.md", "v36_source_line": "=best= liu 1083.984782", "copt_source_line": "74 | 36000.0 175645240 stop ok 2252444d | 1110 560 49.5 | liu", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "Attributed improvement", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "1082", "dual_display": "1074" }, { "instance": "lr1dr02vc05v8a-t360", "cohort": "original112", "conclusion": "open", "final_primal": "123046.81611861245", "final_dual": null, "normalized_gap": null, "v36_primal": "123046.8149370308", "primal_gain": "-0.00118158165", "copt10h_dual": "120969.134", "dual_gain": null, "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "no new bound", "evidence": "Route RVND/ILS and capacity-preserving compound exchanges tested; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/lr1dr02vc05v8a-t360/README.md", "v36_source_line": "=best= lr1dr02vc05v8a-t360 123046.8149370308", "copt_source_line": "75 | 36000.0 134076 stop ok 18f1ef42 | 406264.885 120969.134 70.2 | lr1dr02vc05v8a-t360", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "Above v36 primal", "dual_comparison": "No final dual archived", "evidence_grade": null, "primal_display": "123046.81611861245", "dual_display": "no new bound" }, { "instance": "lr1dr04vc05v17a-t360", "cohort": "parallel10_20260927", "conclusion": "open", "final_primal": "251302.15103616536", "final_dual": "247852.13666420686", "normalized_gap": "0.0137285509007123540872414317615110354285408375", "v36_primal": "252463.0", "primal_gain": "1160.84896383464", "copt10h_dual": "247825.753", "dual_gain": "26.38366420686", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "Validated global bound from solver or structural relaxation", "evidence": "Numerical optimality accepted; experiment baseline and frozen v36 compared separately.", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/lr1dr04vc05v17a-t360/README.md", "v36_source_line": "=best= lr1dr04vc05v17a-t360 252463.0", "copt_source_line": "76 | 36000.0 38100 stop ok 866c05d5 | 1030112.21 247825.753 75.9 | lr1dr04vc05v17a-t360", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "Attributed improvement", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "251302.15103616536", "dual_display": "247852.13666420686" }, { "instance": "lr1dr12vc10v70b-t360", "cohort": "fresh_next10_20261005", "conclusion": "open", "final_primal": "999429.32494537874570974", "final_dual": "985808.9916935659", "normalized_gap": "0.0136281104745022667785573974263926799561840064", "v36_primal": "1000790.979722782", "primal_gain": "1361.65477740325429026", "copt10h_dual": "984474.155", "dual_gain": "1334.8366935659", "first_finite": false, "validation_grade": "Exact rational original-MPS feasibility, zero residual", "dual_validation_grade": "See separately reported numerical and independent exact bounds", "evidence": "Not established; numerical global bound and independently exact count-split bound are separate", "notes": "", "source_model_sha256": "97bde503739b9169b1f207d1bb4fff249016915bb0bb24683248d10710cf1701", "selected_solution_sha256": "c6a507bbf0514d5cdfe26dc6f4ed6ab819baf15b359e6f1cf8ab0a68dde1f982", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/lr1dr12vc10v70b-t360/README.md", "v36_source_line": "=best= lr1dr12vc10v70b-t360 1000790.979722782", "copt_source_line": "77 | 36000.0 1 stop ok 91f066e5 | 10146375 984474.155 90.3 | lr1dr12vc10v70b-t360", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "Attributed improvement", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "999429.32494537874570974", "dual_display": "985808.9916935659" }, { "instance": "lr2-22dr3-333vc4v17a-t60", "cohort": "parallel10_20260928", "conclusion": "open", "final_primal": "-27640.919481503304", "final_dual": "-30627.15922614767", "normalized_gap": "0.0975029947307319925959401745349896172060478935", "v36_primal": "-27262.58917622233", "primal_gain": "378.330305280974", "copt10h_dual": "-71836.9293", "dual_gain": "41209.77007385233", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "Accepted global solver or structural bound", "evidence": "Five substantive primal improvements and two optima. Sutlej strict optimum -1048730.8; numerical-tolerance incumbent separate. Vouga large-M tolerance artifact excluded.", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/lr2-22dr3-333vc4v17a-t60/README.md", "v36_source_line": "=best= lr2-22dr3-333vc4v17a-t60 -27262.58917622233", "copt_source_line": "78 | 36000.0 11069 stop ok ae0ccc0d | 1e+20 -71836.9293 -- | lr2-22dr3-333vc4v17a-t60", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "Attributed improvement", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "-27640.919481503304", "dual_display": "-30627.15922614767" }, { "instance": "milo-v12-6-r1-75-1", "cohort": "original112", "conclusion": "open", "final_primal": "1153756.398205675", "final_dual": "1125907.0416245167", "normalized_gap": "0.0241379866880649095112816438191202541071433709", "v36_primal": "1153756.39820567", "primal_gain": "-5E-9", "copt10h_dual": "1135852.03", "dual_gain": "-9944.9883754833", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "1,125,907.0416245167 (solver)", "evidence": "2.4138% numerical gap; 5,236 fixed-topology tests; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/milo-v12-6-r1-75-1/README.md", "v36_source_line": "=best= milo-v12-6-r1-75-1 1153756.39820567", "copt_source_line": "79 | 36000.0 2496159 stop ok 17c7950 | 1153880.23 1135852.03 1.6 | milo-v12-6-r1-75-1", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "1153756.398205675", "dual_display": "1125907.0416245167" }, { "instance": "milo-v13-4-3d-4-0", "cohort": "original112", "conclusion": "open", "final_primal": "358152.26219370891", "final_dual": "221230.41433552347", "normalized_gap": "0.382300664581954797123559506040266619242520761", "v36_primal": "358152.2621937089", "primal_gain": "-1E-11", "copt10h_dual": "253283.451", "dual_gain": "-32053.03666447653", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "221,230.41433552347 (solver)", "evidence": "Same verified design; prior member-radius-7 result retained; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/milo-v13-4-3d-4-0/README.md", "v36_source_line": "=best= milo-v13-4-3d-4-0 358152.2621937089", "copt_source_line": "80 | 36000.0 16552843 stop ok 7c306ec | 372996.505 253283.451 32.1 | milo-v13-4-3d-4-0", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "358152.26219370891", "dual_display": "221230.41433552347" }, { "instance": "mining", "cohort": "original112", "conclusion": "open", "final_primal": "-833589149.2736538586882046", "final_dual": "-835361895.5863052144840282387439", "normalized_gap": "0.00212212972846593639540200154691997643190612613", "v36_primal": "-833589149.2736579", "primal_gain": "-0.0000040413117954", "copt10h_dual": "-933493233", "dual_gain": "98131337.4136947855159717612561", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "-835,361,895.5863052144840282387439 (strict)", "evidence": "Exact certified interval; 0.2126642740% gap; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/mining/README.md", "v36_source_line": "=best= mining -833589149.2736579", "copt_source_line": "81 | 36000.0 574 stop ok ad0b670d | 321480421 -933493233 134.4 | mining", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "Above v36 primal", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "-833589149.2736538586882046", "dual_display": "-835361895.5863052144840282387439" }, { "instance": "minutedispatchstrategy", "cohort": "original112", "conclusion": "optimal", "final_primal": "3109.9034777596576", "final_dual": "3109.9034777596576", "normalized_gap": "0", "v36_primal": "3109.903477759654", "primal_gain": "-3.6E-12", "copt10h_dual": "3109.78686", "dual_gain": "0.1166177596576", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "3,109.9034777596576 (Gurobi)", "evidence": "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", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/minutedispatchstrategy/README.md", "v36_source_line": "=best= minutedispatchstrategy 3109.903477759654", "copt_source_line": "82 | 36000.0 6990465 stop ok 83160615 | 3109.90308 3109.78686 0.0037 | minutedispatchstrategy", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": "NS", "primal_display": "3109.9034777596576", "dual_display": "3109.9034777596576" }, { "instance": "momentum3", "cohort": "parallel10_20261004", "conclusion": "open", "final_primal": "173202.18557350038", "final_dual": "107995.45322036758", "normalized_gap": "0.376477537724035000215508783813008078332857164", "v36_primal": "173202.1762194289", "primal_gain": "-0.00935407148", "copt10h_dual": "96179.1231", "dual_gain": "11816.33012036758", "first_finite": false, "validation_grade": "tolerance_1e-9", "dual_validation_grade": "numerical", "evidence": "UMTS station/user and power-repair neighborhoods produce no material primal improvement. Original-row scaling and audited power/conflict/clique inequalities strengthen the numerical global bound. The final integer decisions equal the repaired baseline decisions.", "notes": "", "source_model_sha256": "b018dcc2ef25b23783995cbdc90f4b7ecd4052a37ec51d6931d2e4a1c9310b24", "selected_solution_sha256": "58edb4d840c79e7b977d98f52922ecb6bcd5ced0f7e0cbdf10577fd75721c27c", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/momentum3/README.md", "v36_source_line": "=best= momentum3 173202.1762194289", "copt_source_line": "83 | 36000.0 1463 stop ok 84d52564 | 479667.005 96179.1231 79.9 | momentum3", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "Above v36 primal", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "173202.18557350038", "dual_display": "107995.45322036758" }, { "instance": "n3700", "cohort": "original112", "conclusion": "open", "final_primal": "1247295", "final_dual": "1063103.147061621", "normalized_gap": "0.147673046824030401789472418313229829350714947", "v36_primal": "1218974.9999999998", "primal_gain": "-28320.0000000002", "copt10h_dual": "1065546", "dual_gain": "-2442.852938379", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "1,063,103.147061621", "evidence": "Feasible; fixed-charge/network repair tested; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/n3700/README.md", "v36_source_line": "=best= n3700 1218974.9999999998", "copt_source_line": "84 | 36000.0 354747 stop ok 9bb61f17 | 1273714 1065546 16.3 | n3700", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "Above v36 primal", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "1247295", "dual_display": "1063103.147061621" }, { "instance": "n3705", "cohort": "parallel10_20261004", "conclusion": "open", "final_primal": "1208356", "final_dual": "1129725", "normalized_gap": "0.0650727103601918639871031384790574963007590478", "v36_primal": "1212657.0", "primal_gain": "4301", "copt10h_dual": "1064197.11", "dual_gain": "65527.89", "first_finite": false, "validation_grade": "exact", "dual_validation_grade": "exact", "evidence": "Joint fixed-charge transportation neighborhoods improve the primal by4301. Complete integer star pricing gives an exact Lagrangian bound1129724.250837; the proved integer-optimum property strengthens it to1129725.", "notes": "", "source_model_sha256": "d0522a6d1d7f4328973618bc2194a57593afea6d6b6a7090c2252062b3b96002", "selected_solution_sha256": "df6ce21ea8d7168012d39234f2d71236c5a3c50aae329e143cc2aa082bf6c08b", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/n3705/README.md", "v36_source_line": "=best= n3705 1212657.0", "copt_source_line": "85 | 36000.0 307611 stop ok 1f701d8b | 1270797 1064197.11 16.3 | n3705", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "Attributed improvement", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "1208356", "dual_display": "1129725" }, { "instance": "n3707", "cohort": "parallel10_20261004", "conclusion": "open", "final_primal": "1185209", "final_dual": "1102426", "normalized_gap": "0.0698467527668115918795756697763854307552507617", "v36_primal": "1186691.0", "primal_gain": "1482", "copt10h_dual": "1035948.62", "dual_gain": "66477.38", "first_finite": false, "validation_grade": "exact", "dual_validation_grade": "exact", "evidence": "Joint component rewiring and flow repair improve the primal by1482. Complete exact transportation star pricing gives1102425.083897, strengthened to1102426 using the proved integer-optimum property.", "notes": "", "source_model_sha256": "d75663bc3ea05e6dcde009e3bb044c9a76352629b6112abd00212a0d97d7298e", "selected_solution_sha256": "047bde9194c630045e416840f795630d31c8bc308cfc838e070aaf69fb83bd05", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/n3707/README.md", "v36_source_line": "=best= n3707 1186691.0", "copt_source_line": "86 | 36000.0 344155 stop ok a764d6ac | 1266798 1035948.62 18.2 | n3707", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "Attributed improvement", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "1185209", "dual_display": "1102426" }, { "instance": "n3709", "cohort": "fresh_next10_20261004", "conclusion": "open", "final_primal": "1205801", "final_dual": "1146484", "normalized_gap": "0.0491930260465864599548350017954869833413639564", "v36_primal": "1205801.0", "primal_gain": "0", "copt10h_dual": "1054892.55", "dual_gain": "91591.45", "first_finite": false, "validation_grade": "See original-decimal Fraction check in instance package", "dual_validation_grade": "Exact integer/rational certificate or complete DP replay", "evidence": "Exact all-quantity source/sink star DP certificate and original source mapping", "notes": "", "source_model_sha256": "8bb478b78790deb2fb6d5a0a0ccd7dbe5d86d6faa5820bb061c2dd4ac60d1508", "selected_solution_sha256": "ae6c20ecb30417431d8e9c881c5625bb400b2f0d23c1839cc54781e4bc89d9de", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/n3709/README.md", "v36_source_line": "=best= n3709 1205801.0", "copt_source_line": "87 | 36000.0 322459 stop ok 1846462c | 1278968 1054892.55 17.5 | n3709", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "1205801", "dual_display": "1146484" }, { "instance": "n370b", "cohort": "parallel10_20261004", "conclusion": "open", "final_primal": "1212433", "final_dual": "1166799", "normalized_gap": "0.0376383684706701318753283686603713359831017467", "v36_primal": "1220708.0", "primal_gain": "8275", "copt10h_dual": "1074178.91", "dual_gain": "92620.09", "first_finite": false, "validation_grade": "exact", "dual_validation_grade": "exact", "evidence": "Balanced blocks and joint flow/activation moves improve the primal by4333. Quantity-dependent cost splitting and two independent star DPs certify1166798.995818, hence the integer bound1166799.", "notes": "", "source_model_sha256": "b5124efcd78f926f03592ba2889867775ceca7efbfc9a7ae97abc92245323a28", "selected_solution_sha256": "bcb7e4440fca83d923bece4258ce49594b270b108e109f616d257b4cf3d36abd", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/n370b/README.md", "v36_source_line": "=best= n370b 1220708.0", "copt_source_line": "88 | 36000.0 356475 stop ok 29abdaa4 | 1272503 1074178.91 15.6 | n370b", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "Attributed improvement", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "1212433", "dual_display": "1166799" }, { "instance": "nag", "cohort": "original112", "conclusion": "open", "final_primal": "930", "final_dual": "550.5405405405405", "normalized_gap": "0.408020924149956451612903225806451612903225806", "v36_primal": "945", "primal_gain": "15", "copt10h_dual": "465", "dual_gain": "85.5405405405405", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "550.540540540541", "evidence": "Feasible under the stated tolerance; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/nag/README.md", "v36_source_line": "=best= nag 945", "copt_source_line": "89 | 36000.0 46535417 stop better c8577ef4 | 930 465 50.0 | nag", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "Attributed improvement", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "930", "dual_display": "550.5405405405405" }, { "instance": "nb10tb", "cohort": "parallel8_20260926", "conclusion": "open", "final_primal": "13796451833.34", "final_dual": "13794494287.470173", "normalized_gap": "0.000141887631216634002609092748978606785626812378", "v36_primal": "13796452423.08137", "primal_gain": "589.74137", "copt10h_dual": "13330171300", "dual_gain": "464322987.470173", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "Valid global solver bound or stronger independently exact bound", "evidence": "Global solver numerical optimality accepted; exact certificate supplementary. Experiment initial primal improvement: 1809.2635440826416", "notes": "Use the archived exact primal value rather than the rounded or numerical catalogue display; the original display is retained separately.", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/nb10tb/README.md", "v36_source_line": "=best= nb10tb 13796452423.08137", "copt_source_line": "90 | 36000.0 615 stop ok 2272458c | 1.4161795e+10 1.33301713e+10 5.9 | nb10tb", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "Attributed improvement", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "13796451833.34", "dual_display": "13794494287.470173" }, { "instance": "neos-1420546", "cohort": "fresh_r01_r10_20261006", "conclusion": "open", "final_primal": "22936.28497777", "final_dual": "22629.32917678247", "normalized_gap": "0.0133829781625504568221704890376471155336138951", "v36_primal": "22948.10319799665", "primal_gain": "11.81822022665", "copt10h_dual": "22223.7073", "dual_gain": "405.62187678247", "first_finite": false, "validation_grade": "Exact rational original-MPS feasibility, zero residual", "dual_validation_grade": "independent_exact", "evidence": "Original strict rational witness, separately graded numerical and independent exact dual evidence, verified core final-result packages; full trial archives retained locally.", "notes": "", "source_model_sha256": "f81bfa65471b63fcfb3da05466c1d1cd0d00409fb1d5526390aac53924dcb27d", "selected_solution_sha256": "99ecc05ba1f102d92ca5d711d78d2ac3fed63523e113e528c0d10668e36b05e2", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/neos-1420546/README.md", "v36_source_line": "=best= neos-1420546 22948.10319799665", "copt_source_line": "91 | 36000.0 923869 stop ok 55cbee60 | 23475.3705 22223.7073 5.3 | neos-1420546", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "Attributed improvement", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "22936.28497777", "dual_display": "22629.32917678247" }, { "instance": "neos-1420790", "cohort": "fresh_r01_r10_20261006", "conclusion": "open", "final_primal": "3119.806001594", "final_dual": "3067.067291069953", "normalized_gap": "0.0169044839637789184845905174666510402115254096", "v36_primal": "3119.805057682128", "primal_gain": "-0.000943911872", "copt10h_dual": "3003.05309", "dual_gain": "64.014201069953", "first_finite": false, "validation_grade": "Exact rational original-MPS feasibility, zero residual", "dual_validation_grade": "numerical_solver", "evidence": "Original strict rational witness, separately graded numerical and independent exact dual evidence, verified core final-result packages; full trial archives retained locally.", "notes": "", "source_model_sha256": "51881f45cd271b2ce013ec4d502d5ae09a327d85ea0425bd643841e7fe39114c", "selected_solution_sha256": "c87af0db7d6ac19c53767d71f1547acdbf3c1c94d7cafba14887ec8d56f400f6", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/neos-1420790/README.md", "v36_source_line": "=best= neos-1420790 3119.805057682128", "copt_source_line": "92 | 36000.0 8243164 stop ok 3634e3f9 | 3142.39267 3003.05309 4.4 | neos-1420790", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "Above v36 primal", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "3119.806001594", "dual_display": "3067.067291069953" }, { "instance": "neos-1423785", "cohort": "fresh_next10_20261004", "conclusion": "open", "final_primal": "21893.333343320162", "final_dual": "20707.76431845254", "normalized_gap": "0.0541520565313709511026286854245281471854448902", "v36_primal": "21893.26", "primal_gain": "-0.073343320162", "copt10h_dual": "20327.177", "dual_gain": "380.58731845254", "first_finite": false, "validation_grade": "See original-decimal Fraction check in instance package", "dual_validation_grade": "Numerical global bound with structural audits; no independent exact lower-bound certificate is claimed", "evidence": "7462 exact copy eliminations; 960 complementary pairs; four-link joint neighborhoods, near-point recourse and periodic search; 99 audited local-cost valid inequalities added individually to complete model", "notes": "", "source_model_sha256": "1edafd04a6563c5c9e23705f999bb8517db7233d004474702310009d32321584", "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/neos-1423785/README.md", "v36_source_line": "=best= neos-1423785 21893.26", "copt_source_line": "93 | 36000.0 808539 stop ok 9bd8d19f | 22411.3333 20327.177 9.3 | neos-1423785", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "Above v36 primal", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "21893.333343320162", "dual_display": "20707.76431845254" }, { "instance": "neos-2629914-sudost", "cohort": "original112", "conclusion": "optimal", "final_primal": "48180", "final_dual": "48180", "normalized_gap": "0", "v36_primal": "48180", "primal_gain": "0", "copt10h_dual": "42387.0653", "dual_gain": "5792.9347", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "48,180", "evidence": "Optimal, exact QAP/cut-enumeration certificate", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/neos-2629914-sudost/README.md", "v36_source_line": "=best= neos-2629914-sudost 48180", "copt_source_line": "94 | 36000.0 359771 stop ok 57b9f3c3 | 48364 42387.0653 12.4 | neos-2629914-sudost", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": "PE", "primal_display": "48180", "dual_display": "48180" }, { "instance": "neos-2974461-ibar", "cohort": "parallel15_20261003", "conclusion": "open", "final_primal": "468906174.771", "final_dual": "443920829.19063455", "normalized_gap": "0.0532843176837403746060212275617374011157730325", "v36_primal": "468906174.771", "primal_gain": "0", "copt10h_dual": "429197921", "dual_gain": "14722908.19063455", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "numerical_global_with_exact_source_audit", "evidence": "The lower bound is numerical COPT on a full source-audited global model, with structural signatures and exported row/domain/objective checks. The original feasible incumbent is unchanged. Reduced or fixed primal neighborhoods are excluded from global aggregation.", "notes": "", "source_model_sha256": "ee834b84c20caa6b256cf830154dc5c546f6dd516abbdf512989dc087bcdbd22", "selected_solution_sha256": "33acd09613898fc2c5bda023e5d3a20730a29e6fcf40a6c23bd7c341f3a38e3e", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/neos-2974461-ibar/README.md", "v36_source_line": "=best= neos-2974461-ibar 468906174.771", "copt_source_line": "95 | 36000.0 1 stop ok 9fd04b59 | 631433709 429197921 32.0 | neos-2974461-ibar", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "468906174.771", "dual_display": "443920829.19063455" }, { "instance": "neos-2978205-isar", "cohort": "original112", "conclusion": "optimal", "final_primal": "-11.925808687", "final_dual": "-11.925808687", "normalized_gap": "0", "v36_primal": "-11.92580869", "primal_gain": "-3E-9", "copt10h_dual": "-11.9872276", "dual_gain": "0.061418913", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "-11.925808687", "evidence": "Optimal, computational global conclusion; exact symmetry quotient and lift with no portable formal lower-bound trace", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/neos-2978205-isar/README.md", "v36_source_line": "=best= neos-2978205-isar -11.92580869", "copt_source_line": "96 | 36000.0 1554468 stop ok 5f1a69d6 | -11.9258087 -11.9872276 0.5124 | neos-2978205-isar", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": "NS", "primal_display": "-11.925808687", "dual_display": "-11.925808687" }, { "instance": "neos-2991472-kalu", "cohort": "parallel10_20261004", "conclusion": "optimal", "final_primal": "12", "final_dual": "12", "normalized_gap": "0", "v36_primal": "12", "primal_gain": "0", "copt10h_dual": "0", "dual_gain": "12", "first_finite": false, "validation_grade": "exact", "dual_validation_grade": "exact", "evidence": "All13392 dense mode rows are audited. An equivalent item-pattern model closes under both COPT and Gurobi. A solver-independent proof then excludes all four possible improving omission sets using141 finite infeasibility states and6564 independently checked branches.", "notes": "", "source_model_sha256": "cea111dd129e29478744e8df9efdc9146847b4495abf9a60dbd74038b60a5a9b", "selected_solution_sha256": "f2cdf51848e8e518ba45177519d5fa2d91baa8c6af69804b44dff835c4ac1160", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/neos-2991472-kalu/README.md", "v36_source_line": "=best= neos-2991472-kalu 12", "copt_source_line": "97 | 36000.0 1714578 stop ok fd84250d | 12 0 -- | neos-2991472-kalu", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": "IV", "primal_display": "12", "dual_display": "12" }, { "instance": "neos-3009394-lami", "cohort": "original112", "conclusion": "optimal", "final_primal": "5.5", "final_dual": "5.5", "normalized_gap": "0", "v36_primal": "5.5", "primal_gain": "0", "copt10h_dual": "1.92857143", "dual_gain": "3.57142857", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "5.5", "evidence": "Optimal, exact Hall/matching certificate", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/neos-3009394-lami/README.md", "v36_source_line": "=best= neos-3009394-lami 5.5", "copt_source_line": "98 | 36000.0 245860428 stop ok 5ea711fa | 5.5 1.92857143 64.9 | neos-3009394-lami", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": "PE", "primal_display": "5.5", "dual_display": "5.5" }, { "instance": "neos-3208254-reiu", "cohort": "parallel10_20261004", "conclusion": "optimal", "final_primal": "-34902", "final_dual": "-34902", "normalized_gap": "0", "v36_primal": "-34897.00052514407", "primal_gain": "4.99947485593", "copt10h_dual": "-38606.2553", "dual_gain": "3704.2553", "first_finite": false, "validation_grade": "exact", "dual_validation_grade": "exact", "evidence": "The original model implies a rooted binary tree with exact ancestry. A Huffman lower bound plus a tail/cherry correction gives -34902, attained by an independently checked original witness.", "notes": "", "source_model_sha256": "915ac138ce9e201252f5e65d9547d372fb0cd74ee911b4f1a3e39f79be5240e5", "selected_solution_sha256": "7abc32209a2f0f90b83e959ba4ddc196a7793b4287b235bdc1c7f6f441344abc", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/neos-3208254-reiu/README.md", "v36_source_line": "=best= neos-3208254-reiu -34897.00052514407", "copt_source_line": "99 | 1535.3 0 stop ok 2913eedc | 1e+20 -38606.2553 -- | neos-3208254-reiu", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "Attributed improvement", "dual_comparison": "Improved", "evidence_grade": "IV", "primal_display": "-34902", "dual_display": "-34902" }, { "instance": "neos-3355120-tarago", "cohort": "original112", "conclusion": "open", "final_primal": "-11110906.689290019", "final_dual": "-11123832.676970437", "normalized_gap": "0.00116200846019362975861388033323021388200005957", "v36_primal": "-11115971.493905", "primal_gain": "-5064.804614981", "copt10h_dual": "-11712060.9", "dual_gain": "588228.223029563", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "-11,123,832.676970437", "evidence": "Feasible; incumbent-centered binary exchange attempted; 0.1163% gap remains", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/neos-3355120-tarago/README.md", "v36_source_line": "=best= neos-3355120-tarago -11115971.493905", "copt_source_line": "100 | 36000.0 208348 stop ok c363796f | -9056920.56 -11712060.9 22.7 | neos-3355120-tarago", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "Above v36 primal", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "-11110906.689290019", "dual_display": "-11123832.676970437" }, { "instance": "neos-3355323-arnon", "cohort": "original112", "conclusion": "open", "final_primal": null, "final_dual": null, "normalized_gap": null, "v36_primal": null, "primal_gain": null, "copt10h_dual": "0", "dual_gain": null, "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "no infeasibility certificate", "evidence": "Exact order-CSP/CNF search remains unknown", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/neos-3355323-arnon/README.md", "v36_source_line": "=unkn= neos-3355323-arnon ", "copt_source_line": "101 | 36000.0 53396532 stop ok 69891086 | 1e+20 0 -- | neos-3355323-arnon", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "No finite primal archived", "dual_comparison": "No final dual archived", "evidence_grade": null, "primal_display": "no feasible witness", "dual_display": "no infeasibility certificate" }, { "instance": "neos-3594536-henty", "cohort": "original112", "conclusion": "optimal", "final_primal": "401092", "final_dual": "401092", "normalized_gap": "0", "v36_primal": "401223.0", "primal_gain": "131", "copt10h_dual": "397821.689", "dual_gain": "3270.311", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "401,092 (Gurobi/COPT)", "evidence": "Computational optimum; exact primal audit, no portable exact lower-bound certificate", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/neos-3594536-henty/README.md", "v36_source_line": "=best= neos-3594536-henty 401223.0", "copt_source_line": "102 | 18161.9 5503533 stop ok eea03e26 | 401804 397821.689 0.9911 | neos-3594536-henty", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "Attributed improvement", "dual_comparison": "Improved", "evidence_grade": "NS", "primal_display": "401092", "dual_display": "401092" }, { "instance": "neos-3603137-hoteo", "cohort": "original112", "conclusion": "open", "final_primal": null, "final_dual": null, "normalized_gap": null, "v36_primal": null, "primal_gain": null, "copt10h_dual": "0", "dual_gain": null, "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "CP and SAT UNKNOWN", "evidence": "Global feasibility open; no UNSAT proof", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/neos-3603137-hoteo/README.md", "v36_source_line": "=unkn= neos-3603137-hoteo ", "copt_source_line": "103 | 36000.0 91624030 stop ok d136b271 | 1e+20 0 -- | neos-3603137-hoteo", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "No finite primal archived", "dual_comparison": "No final dual archived", "evidence_grade": null, "primal_display": "no feasible point", "dual_display": "CP and SAT UNKNOWN" }, { "instance": "neos-3615091-sutlej", "cohort": "parallel10_20260928", "conclusion": "optimal", "final_primal": "-1048730.8", "final_dual": "-1048730.8", "normalized_gap": "0", "v36_primal": "-1048730.937912077", "primal_gain": "-0.137912077", "copt10h_dual": "-1404604.89", "dual_gain": "355874.09", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "Accepted global solver or structural bound", "evidence": "Five substantive primal improvements and two optima. Sutlej strict optimum -1048730.8; numerical-tolerance incumbent separate. Vouga large-M tolerance artifact excluded.", "notes": "Use strict original-model optimum -1048730.8. The catalogue display -1048730.9379120774 is a tolerance incumbent, retained separately.", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/neos-3615091-sutlej/README.md", "v36_source_line": "=best= neos-3615091-sutlej -1048730.937912077", "copt_source_line": "104 | 36000.0 8825 stop ok b5cf5d22 | -637757.4 -1404604.89 54.6 | neos-3615091-sutlej", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "Above v36 primal", "dual_comparison": "Improved", "evidence_grade": "IV", "primal_display": "-1048730.8", "dual_display": "-1048730.8" }, { "instance": "neos-3634244-kauru", "cohort": "original112", "conclusion": "open", "final_primal": "1398.0156859", "final_dual": null, "normalized_gap": null, "v36_primal": "1398.014670518538", "primal_gain": "-0.001015381462", "copt10h_dual": "239.044636", "dual_gain": null, "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "no new certified global bound", "evidence": "Equitable-minimax-clustering recovery; no incumbent improvement claimed", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/neos-3634244-kauru/README.md", "v36_source_line": "=best= neos-3634244-kauru 1398.014670518538", "copt_source_line": "105 | 36000.0 136667 stop ok b9e50e1b | 1398.01569 239.044636 82.9 | neos-3634244-kauru", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "Above v36 primal", "dual_comparison": "No final dual archived", "evidence_grade": null, "primal_display": "1398.0156859", "dual_display": "no new certified global bound" }, { "instance": "neos-3682128-sandon", "cohort": "subsequent20", "conclusion": "optimal", "final_primal": "34666770", "final_dual": "34666770", "normalized_gap": "0", "v36_primal": "34666767.4743958", "primal_gain": "-2.5256042", "copt10h_dual": "21531270.9", "dual_gain": "13135499.1", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "dual skill Gurobi; general skill Gurobi", "evidence": "exact closure witness; complete machine-configuration enumeration with exact rational duals and an exact original-MPS lift", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/skills-research/comparisons/per_instance_comparison.csv", "v36_source_line": "=best= neos-3682128-sandon 34666767.4743958", "copt_source_line": "106 | 36000.0 2246715 stop ok d3e90886 | 34666770 21531270.9 37.9 | neos-3682128-sandon", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "Above v36 primal", "dual_comparison": "Improved", "evidence_grade": "PE", "primal_display": "34666770", "dual_display": "34666770" }, { "instance": "neos-3691541-lonja", "cohort": "original112", "conclusion": "open", "final_primal": "0.0918239856", "final_dual": null, "normalized_gap": null, "v36_primal": "-0.007441450579999998", "primal_gain": "-0.099265436179999998", "copt10h_dual": "-0.019851233", "dual_gain": null, "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "no new certified global bound", "evidence": "Exact subset witnesses plus complete-hint CP-SAT; public lower-valued pattern fails zero-tolerance feasibility; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/neos-3691541-lonja/README.md", "v36_source_line": "=best= neos-3691541-lonja -0.007441450579999998", "copt_source_line": "107 | 36000.0 38085271 stop ok 54f7e470 | 1e+20 -0.019851233 -- | neos-3691541-lonja", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "Above v36 primal", "dual_comparison": "No final dual archived", "evidence_grade": null, "primal_display": "0.0918239856", "dual_display": "no new certified global bound" }, { "instance": "neos-3695882-vesdre", "cohort": "fresh_next10_20261004", "conclusion": "open", "final_primal": "518.5", "final_dual": "517.4", "normalized_gap": "0.00212150433944069431051108968177434908389585342", "v36_primal": "518.3505480226543", "primal_gain": "-0.1494519773457", "copt10h_dual": "-7522.4774", "dual_gain": "8039.8774", "first_finite": false, "validation_grade": "See original-decimal Fraction check in instance package", "dual_validation_grade": "Exact integer/rational certificate or complete DP replay", "evidence": "Complete exact integer DP with source mapping and valid optimum-lattice rounding", "notes": "", "source_model_sha256": "76edcc47cf037cdc0f2e9d4b255e91e334eb93b6ca5e7747ba2aa60d21fadc7d", "selected_solution_sha256": "d48fa8288f4fab59f793079b769a5f66f5e7601c3c98be33707e43cb8768714d", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/neos-3695882-vesdre/README.md", "v36_source_line": "=best= neos-3695882-vesdre 518.3505480226543", "copt_source_line": "108 | 36000.0 505664 stop ok 683a27a0 | 583.8 -7522.4774 107.8 | neos-3695882-vesdre", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "Above v36 primal", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "518.5", "dual_display": "517.4" }, { "instance": "neos-3754224-navua", "cohort": "fresh_r01_r10_20261006", "conclusion": "open", "final_primal": "166345.747187400683521027956891053406115318333", "final_dual": "56490.87734419854", "normalized_gap": "0.660400832005897789531506055730262855882133564", "v36_primal": "157909.0677610051", "primal_gain": "-8436.67942639558352102795689105340611531833266", "copt10h_dual": "56251.4076", "dual_gain": "239.46974419854", "first_finite": false, "validation_grade": "Exact rational original-MPS feasibility, zero residual", "dual_validation_grade": "numerical_solver", "evidence": "Original strict rational witness, separately graded numerical and independent exact dual evidence, verified core final-result packages; full trial archives retained locally.", "notes": "Improves repaired campaign start, but does not beat v36 headline 157909.0677610051.", "source_model_sha256": "5513e8219fdb4af32386ecb0d0c5d297154204545c9fb3970506cdde7c07ec5f", "selected_solution_sha256": "7e5d576709a78b73843fb8be17f50b6fbc016071e816c66144ea5c5ce34322e0", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/neos-3754224-navua/README.md", "v36_source_line": "=best= neos-3754224-navua 157909.0677610051", "copt_source_line": "109 | 36000.0 58 stop ok 96166fd | 1e+20 56251.4076 -- | neos-3754224-navua", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "Above v36 primal", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "166345.747187400683521027956891053406115318333", "dual_display": "56490.87734419854" }, { "instance": "neos-4230265-orari", "cohort": "parallel8_20260926", "conclusion": "open", "final_primal": "72572", "final_dual": "31528.00000001231", "normalized_gap": "0.565562475885847020889599294493744143746899631", "v36_primal": "73755.00000000189", "primal_gain": "1183.00000000189", "copt10h_dual": "21013.257", "dual_gain": "10514.74300001231", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "Valid global solver bound or stronger independently exact bound", "evidence": "Global solver numerical optimality accepted; exact certificate supplementary. Experiment initial primal improvement: 18738.199999999997", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/neos-4230265-orari/README.md", "v36_source_line": "=best= neos-4230265-orari 73755.00000000189", "copt_source_line": "110 | 36000.0 17245 stop ok d6b3013e | 952898 21013.257 97.8 | neos-4230265-orari", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "Attributed improvement", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "72572", "dual_display": "31528.00000001231" }, { "instance": "neos-4232544-orira", "cohort": "parallel10_20260927", "conclusion": "open", "final_primal": "5547858.8", "final_dual": "5099038.414253532", "normalized_gap": "0.0808997492413592069069962631348872830000648178", "v36_primal": "5538597.399999999", "primal_gain": "-9261.400000001", "copt10h_dual": "5070682.61", "dual_gain": "28355.804253532", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "Validated global bound from solver or structural relaxation", "evidence": "Numerical optimality accepted; experiment baseline and frozen v36 compared separately.", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/neos-4232544-orira/README.md", "v36_source_line": "=best= neos-4232544-orira 5538597.399999999", "copt_source_line": "111 | 36000.0 150010 stop better e327aee2 | 17443899 5070682.61 70.9 | neos-4232544-orira", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "Above v36 primal", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "5547858.8", "dual_display": "5099038.414253532" }, { "instance": "neos-4264598-oueme", "cohort": "parallel8_20260926", "conclusion": "open", "final_primal": "6207553.6", "final_dual": "5468401.531838727", "normalized_gap": "0.119073006177711135671869188531855770041196261", "v36_primal": "5997393.477697832", "primal_gain": "-210160.122302168", "copt10h_dual": "5388920.94", "dual_gain": "79480.591838727", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "Valid global solver bound or stronger independently exact bound", "evidence": "Global solver numerical optimality accepted; exact certificate supplementary. Experiment initial primal improvement: 89455.0", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/neos-4264598-oueme/README.md", "v36_source_line": "=best= neos-4264598-oueme 5997393.477697832", "copt_source_line": "112 | 36000.0 60476 stop ok cd3280b4 | 6426944.8 5388920.94 16.2 | neos-4264598-oueme", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "Above v36 primal", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "6207553.6", "dual_display": "5468401.531838727" }, { "instance": "neos-4285819-pedja", "cohort": "parallel15_20261003", "conclusion": "open", "final_primal": "88.49933630640803", "final_dual": "62.376611386884534", "normalized_gap": "0.295174246607677786307992939321114343826351607", "v36_primal": "88.49933630640803", "primal_gain": "0", "copt10h_dual": "63.3949254", "dual_gain": "-1.018314013115466", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "numerical_global_with_exact_source_audit", "evidence": "Exact interval propagation on both binary-gated branches justifies tightening 617068 big-M rows. The independent export audit verifies the complete matrix, bounds, types and objective. Full tight-M COPT tree gives global numerical bound 62.376611386884534, compared with initial 62.35413501686672. Primal is unchanged; local transplant bounds are excluded.", "notes": "", "source_model_sha256": "b11153eab3dac1345a205fddb182b81dbef6f52e00cc645db4837f575951a266", "selected_solution_sha256": "d7d8c51d4793ced187c216197cfd6f65c1358ac59cbd5ff2a1fd923fc2ba9cf7", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/neos-4285819-pedja/README.md", "v36_source_line": "=best= neos-4285819-pedja 88.49933630640803", "copt_source_line": "113 | 36000.0 1 stop ok 40483fd3 | 1e+20 63.3949254 -- | neos-4285819-pedja", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "88.49933630640803", "dual_display": "62.376611386884534" }, { "instance": "neos-4290317-perth", "cohort": "fresh_next10_20261004", "conclusion": "optimal", "final_primal": "3017171.1907786024", "final_dual": "3017171.1907786024", "normalized_gap": "0", "v36_primal": "3017215.871431054", "primal_gain": "44.6806524516", "copt10h_dual": "3017032.16", "dual_gain": "139.0307786024", "first_finite": false, "validation_grade": "See original-decimal Fraction check in instance package", "dual_validation_grade": "Numerical global bound with structural audits; no independent exact lower-bound certificate is claimed", "evidence": "Solver numerical optimality, not exact arithmetic optimality", "notes": "", "source_model_sha256": "8e2853609cdaaf9c53e7f9344245a6813192dbbcc52f23bf8fca13d35f73fe24", "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/neos-4290317-perth/README.md", "v36_source_line": "=best= neos-4290317-perth 3017215.871431054", "copt_source_line": "114 | 19123.6 10175674 stop ok fc45f7a0 | 3021459.35 3017032.16 0.1465 | neos-4290317-perth", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "Attributed improvement", "dual_comparison": "Improved", "evidence_grade": "IV", "primal_display": "3017171.1907786024", "dual_display": "3017171.1907786024" }, { "instance": "neos-4292145-piako", "cohort": "parallel8_20260926", "conclusion": "open", "final_primal": "27660", "final_dual": "27570.100000000024", "normalized_gap": "0.00325018076644887924801156905278380332610267534", "v36_primal": "19229.99836942454", "primal_gain": "-8430.00163057546", "copt10h_dual": "15702.1569", "dual_gain": "11867.943100000024", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "Valid global solver bound or stronger independently exact bound", "evidence": "Global solver numerical optimality accepted; exact certificate supplementary. Experiment initial primal improvement: 462.5", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/neos-4292145-piako/README.md", "v36_source_line": "=best= neos-4292145-piako 19229.99836942454", "copt_source_line": "115 | 36000.0 15613 stop ok 258ef61e | 1e+20 15702.1569 -- | neos-4292145-piako", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "Above v36 primal", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "27660", "dual_display": "27570.100000000024" }, { "instance": "neos-4355351-swalm", "cohort": "original112", "conclusion": "optimal", "final_primal": "33.45763", "final_dual": "33.45763", "normalized_gap": "0", "v36_primal": "33.45757454008309", "primal_gain": "-0.00005545991691", "copt10h_dual": "33.45763", "dual_gain": "0", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "33.45763", "evidence": "Optimal, exact state-Steiner DP and zero-violation witness", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/neos-4355351-swalm/README.md", "v36_source_line": "=best= neos-4355351-swalm 33.45757454008309", "copt_source_line": "116 | 12820.9 9257 ok ok 7312c0cc | 33.45763 33.45763 0.0000 | neos-4355351-swalm", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "Above v36 primal", "dual_comparison": "No difference above 1e-7", "evidence_grade": "PE", "primal_display": "33.45763", "dual_display": "33.45763" }, { "instance": "neos-4358725-tagus", "cohort": "parallel10_20261004", "conclusion": "optimal", "final_primal": "32225.700099", "final_dual": "32225.700099", "normalized_gap": "0", "v36_primal": "4206.140099965", "primal_gain": "-28019.559999035", "copt10h_dual": "2378.09139", "dual_gain": "29847.608709", "first_finite": false, "validation_grade": "exact", "dual_validation_grade": "exact", "evidence": "An exact rational source audit and service/procurement/inventory dynamic program give the matching lower bound 32225.700099. The official headline conflicts with this hashed model; its explanation remains unresolved.", "notes": "Official headline 4206.140099965 has no downloaded witness and conflicts with the certified optimum of the hashed downloaded model; reason unresolved; no public-record improvement claimed.", "source_model_sha256": "35774eb0a2ba25e77b554589799c4985d571fc1c5a1cfc12fe388cedf99a0559", "selected_solution_sha256": "597d1de891c4f98c7758410e2a5dd78c3859554cc92099e02acab52529ef808f", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/neos-4358725-tagus/README.md", "v36_source_line": "=best= neos-4358725-tagus 4206.140099965", "copt_source_line": "117 | 36000.0 213820 stop ok a4f2f449 | 64139.8588 2378.09139 96.3 | neos-4358725-tagus", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "Excluded: model/public-record conflict", "dual_comparison": "Excluded: model/public-record conflict", "evidence_grade": "IV", "primal_display": "32225.700099", "dual_display": "32225.700099" }, { "instance": "neos-4360552-sangro", "cohort": "original112", "conclusion": "optimal", "final_primal": "-8", "final_dual": "-8", "normalized_gap": "0", "v36_primal": "-8.0", "primal_gain": "0", "copt10h_dual": "-12.0644768", "dual_gain": "4.0644768", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "-8", "evidence": "Optimal, exact active-layer quotient and A=9 relaxed infeasibility", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/neos-4360552-sangro/README.md", "v36_source_line": "=best= neos-4360552-sangro -8.0", "copt_source_line": "118 | 36000.0 17597 stop ok 4fe8814d | -6 -12.0644768 50.3 | neos-4360552-sangro", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": "EX", "primal_display": "-8", "dual_display": "-8" }, { "instance": "neos-4531126-vouga", "cohort": "parallel10_20260928", "conclusion": "open", "final_primal": "525030.8846193", "final_dual": "524657.381878", "normalized_gap": "0.000711391943296491810787425262357228370249869854", "v36_primal": "13216.63396836053", "primal_gain": "-511814.25065093947", "copt10h_dual": "412238.281", "dual_gain": "112419.100878", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "Accepted global solver or structural bound", "evidence": "Five substantive primal improvements and two optima. Sutlej strict optimum -1048730.8; numerical-tolerance incumbent separate. Vouga large-M tolerance artifact excluded.", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/neos-4531126-vouga/README.md", "v36_source_line": "=best= neos-4531126-vouga 13216.63396836053", "copt_source_line": "119 | 36000.0 2392 stop ok e4a14f2 | 1e+20 412238.281 -- | neos-4531126-vouga", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "Above v36 primal", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "525030.8846193", "dual_display": "524657.381878" }, { "instance": "neos-4533806-waima", "cohort": "original112", "conclusion": "open", "final_primal": "4870", "final_dual": "3956", "normalized_gap": "0.187679671457905544147843942505133470225872690", "v36_primal": "4870", "primal_gain": "0", "copt10h_dual": "4249.09466", "dual_gain": "-293.09466", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "3,956 (solver)", "evidence": "Exact aggregation and path-component LNS completed; no improvement; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/neos-4533806-waima/README.md", "v36_source_line": "=best= neos-4533806-waima 4870", "copt_source_line": "120 | 36000.0 113582 stop ok fca35055 | 4936 4249.09466 13.9 | neos-4533806-waima", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "4870", "dual_display": "3956" }, { "instance": "neos-4535459-waipa", "cohort": "parallel15_20261003", "conclusion": "open", "final_primal": "23331046", "final_dual": "15474160.819061", "normalized_gap": "0.336756662386204201903335152654535934651193950", "v36_primal": "26040609.0", "primal_gain": "2709563", "copt10h_dual": "0", "dual_gain": "15474160.819061", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "exact_original_global_lower_bound", "evidence": "Source-audited 800-job/200-machine flowshop single-job insertion descent improves primal from 26040609 to 23331046. Reconstruct the full original variable vector and verify all original rows/domains. Job head/tail inequalities plus nested-prefix assignment potentials prove the exact dual 15474160819061/1000000; the independent certificate checker verifies all 640000 potential inequalities. Relaxation optima are not original-model optimality results.", "notes": "", "source_model_sha256": "ee0f4b75e65056cfb4a037871d815412299a6ecc13b5cae88618396345d3a591", "selected_solution_sha256": "9487b741164e730bc52133ca519eb27ce5766658dc277441a65ecbefa77e4d72", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/neos-4535459-waipa/README.md", "v36_source_line": "=best= neos-4535459-waipa 26040609.0", "copt_source_line": "121 | 663.6 0 stop ok 70786c0a | 1e+20 0 -- | neos-4535459-waipa", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "Attributed improvement", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "23331046", "dual_display": "15474160.819061" }, { "instance": "neos-4545615-waita", "cohort": "fresh_next10_20261005", "conclusion": "open", "final_primal": "6311", "final_dual": "6021", "normalized_gap": "0.0459515132308667406116304864522262715892885438", "v36_primal": "6311.0", "primal_gain": "0", "copt10h_dual": "3753.09803", "dual_gain": "2267.90197", "first_finite": false, "validation_grade": "Exact rational original-MPS feasibility, zero residual", "dual_validation_grade": "See separately reported numerical and independent exact bounds", "evidence": "Exact original witness and independent DP lower certificate; unequal bounds leave the problem open", "notes": "", "source_model_sha256": "18e18a6dc005a89592c2e3d165ce657fe7e5c0d78de19f2d0d0fe3f7079e1861", "selected_solution_sha256": "69eb000cd9ccb9200626015c73c9baad55dff20689f94e5a5db9ca6d9b3b0fd3", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/neos-4545615-waita/README.md", "v36_source_line": "=best= neos-4545615-waita 6311.0", "copt_source_line": "122 | 36000.0 7910 stop ok fd3aaed1 | 1e+20 3753.09803 -- | neos-4545615-waita", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "6311", "dual_display": "6021" }, { "instance": "neos-4555749-wards", "cohort": "parallel10_20260927", "conclusion": "optimal", "final_primal": "3759", "final_dual": "3759", "normalized_gap": "0", "v36_primal": "3759", "primal_gain": "0", "copt10h_dual": "3187.97075", "dual_gain": "571.02925", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "Validated global bound from solver or structural relaxation", "evidence": "Numerical optimality accepted; experiment baseline and frozen v36 compared separately.", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/neos-4555749-wards/README.md", "v36_source_line": "=best= neos-4555749-wards 3759", "copt_source_line": "123 | 36000.0 58559 stop ok 512f4592 | 3796 3187.97075 16.0 | neos-4555749-wards", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": "IV", "primal_display": "3759", "dual_display": "3759" }, { "instance": "neos-4562542-watut", "cohort": "parallel10_20260928", "conclusion": "optimal", "final_primal": "5684", "final_dual": "5684", "normalized_gap": "0", "v36_primal": "5684", "primal_gain": "0", "copt10h_dual": "4706.80045", "dual_gain": "977.19955", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "Accepted global solver or structural bound", "evidence": "Five substantive primal improvements and two optima. Sutlej strict optimum -1048730.8; numerical-tolerance incumbent separate. Vouga large-M tolerance artifact excluded.", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/neos-4562542-watut/README.md", "v36_source_line": "=best= neos-4562542-watut 5684", "copt_source_line": "124 | 36000.0 42743 stop ok 13b4a1ce | 5882 4706.80045 20.0 | neos-4562542-watut", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": "IV", "primal_display": "5684", "dual_display": "5684" }, { "instance": "neos-4647032-veleka", "cohort": "parallel8_20260926", "conclusion": "optimal", "final_primal": "27214.4801", "final_dual": "27214.4801", "normalized_gap": "0", "v36_primal": "27214.4801", "primal_gain": "0", "copt10h_dual": "27213.9842", "dual_gain": "0.4959", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "Valid global solver bound or stronger independently exact bound", "evidence": "Global solver numerical optimality accepted; exact certificate supplementary. Experiment initial primal improvement: 0", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/neos-4647032-veleka/README.md", "v36_source_line": "=best= neos-4647032-veleka 27214.4801", "copt_source_line": "125 | 4403.9 9908956 stop ok ffd03bf7 | 27214.9404 27213.9842 0.0035 | neos-4647032-veleka", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": "IV", "primal_display": "27214.4801", "dual_display": "27214.4801" }, { "instance": "neos-5041822-cockle", "cohort": "parallel10_20260928", "conclusion": "open", "final_primal": "5724245.653988138", "final_dual": "5701917.817099073", "normalized_gap": "0.00390057279835797707268244402357302451838619559", "v36_primal": "5724245.704467608", "primal_gain": "0.05047947", "copt10h_dual": "5697141.9", "dual_gain": "4775.917099073", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "Accepted global solver or structural bound", "evidence": "Five substantive primal improvements and two optima. Sutlej strict optimum -1048730.8; numerical-tolerance incumbent separate. Vouga large-M tolerance artifact excluded.", "notes": "Numerical difference shown, but frozen project attribution is not upgraded by this arithmetic audit.", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/neos-5041822-cockle/README.md", "v36_source_line": "=best= neos-5041822-cockle 5724245.704467608", "copt_source_line": "126 | 36000.0 116014 stop ok 337ef2f2 | 5738997.18 5697141.9 0.7293 | neos-5041822-cockle", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "Numerically better; not project-attributed", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "5724245.653988138", "dual_display": "5701917.817099073" }, { "instance": "neos-5044663-wairoa", "cohort": "fresh_next10_20261005", "conclusion": "open", "final_primal": "4654500", "final_dual": "4654300", "normalized_gap": "0.0000429691696207970780964657857986894403265656891", "v36_primal": "4654484.555290672", "primal_gain": "-15.444709328", "copt10h_dual": "4654134.39", "dual_gain": "165.61", "first_finite": false, "validation_grade": "Exact rational original-MPS feasibility, zero residual", "dual_validation_grade": "See separately reported numerical and independent exact bounds", "evidence": "Public headline4654484.555290672 fails strict original feasibility. Its canonical strict repair is4654500, which was not improved. Numerical4654300 uses an audited objective100 lattice and cutoff transfer; independent exact certificate proves4654200.", "notes": "", "source_model_sha256": "f6e8f986ee3233edf9b63ce6cb4e9f535f805765734be1773de6669071a5fb1d", "selected_solution_sha256": "c48dda890f48b2dc59277f71fd70502406851a181381fe75735da858384857dd", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/neos-5044663-wairoa/README.md", "v36_source_line": "=best= neos-5044663-wairoa 4654484.555290672", "copt_source_line": "127 | 36000.0 23197 stop ok bf9fb247 | 4680200 4654134.39 0.5569 | neos-5044663-wairoa", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "Above v36 primal", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "4654500", "dual_display": "4654300" }, { "instance": "neos-5045105-creuse", "cohort": "original112", "conclusion": "open", "final_primal": "20.571410408673", "final_dual": "19.932229270717", "normalized_gap": "0.0310713327505496818562563220877013332315496626", "v36_primal": "20.57124707548", "primal_gain": "-0.000163333193", "copt10h_dual": "20.1974827", "dual_gain": "-0.265253429283", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "19.932229270717", "evidence": "Feasible under solver tolerances; combined observed gap 3.1071%; strict verification and global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/neos-5045105-creuse/README.md", "v36_source_line": "=best= neos-5045105-creuse 20.57124707548", "copt_source_line": "128 | 12388.9 51674345 stop ok 83d25248 | 20.5714299 20.1974827 1.8 | neos-5045105-creuse", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "Above v36 primal", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "20.571410408673", "dual_display": "19.932229270717" }, { "instance": "neos-5151569-mologa", "cohort": "parallel2_20260926", "conclusion": "open", "final_primal": "686721918.741876557859", "final_dual": "686532411.3768101", "normalized_gap": "0.000275959394762946903792303305716513318128468621", "v36_primal": "686748326.4866663", "primal_gain": "26407.744789742141", "copt10h_dual": "686479073", "dual_gain": "53338.3768101", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "Numerical global solver bound on source-audited formulations", "evidence": "Concurrent primal/dual, up to 8 cores per role, 2-2.5 hours; latest public seed also improved; no optimality proof", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/neos-5151569-mologa/README.md", "v36_source_line": "=best= neos-5151569-mologa 686748326.4866663", "copt_source_line": "129 | 36000.0 877783 stop ok a899c903 | 687477160 686479073 0.1452 | neos-5151569-mologa", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "Attributed improvement", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "686721918.741876557859", "dual_display": "686532411.3768101" }, { "instance": "neos-5189128-totara", "cohort": "parallel10_20260927", "conclusion": "open", "final_primal": "2901877.800154694", "final_dual": "2494433.172719", "normalized_gap": "0.140407231281060092800671237777239607933624116", "v36_primal": "6459876.138513831", "primal_gain": "3557998.338359137", "copt10h_dual": "501198.807", "dual_gain": "1993234.365719", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "Validated global bound from solver or structural relaxation", "evidence": "Numerical optimality accepted; experiment baseline and frozen v36 compared separately.", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/neos-5189128-totara/README.md", "v36_source_line": "=best= neos-5189128-totara 6459876.138513831", "copt_source_line": "130 | 36000.0 131546 stop ok b37c0463 | 1e+20 501198.807 -- | neos-5189128-totara", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "Attributed improvement", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "2901877.800154694", "dual_display": "2494433.172719" }, { "instance": "neos-5221106-oparau", "cohort": "subsequent20", "conclusion": "open", "final_primal": "52.07", "final_dual": "42.54", "normalized_gap": "0.183022853850585749951987708853466487420779720", "v36_primal": "52.66999999999962", "primal_gain": "0.59999999999962", "copt10h_dual": "0", "dual_gain": "42.54", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "general skill Gurobi", "evidence": "historically accepted numerical witness; not uniformly revalidated; incumbent-capped exact mode-4 projection plus exact route exchange and assignment-radius search", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/skills-research/comparisons/per_instance_comparison.csv", "v36_source_line": "=best= neos-5221106-oparau 52.66999999999962", "copt_source_line": "131 | 36000.0 9323762 stop ok a5647de6 | 1e+20 0 -- | neos-5221106-oparau", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "Attributed improvement", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "52.07", "dual_display": "42.54" }, { "instance": "neos-5266653-tugela", "cohort": "original112", "conclusion": "open", "final_primal": "65257.573990387", "final_dual": null, "normalized_gap": null, "v36_primal": "65505.2005752763", "primal_gain": "247.6265848893", "copt10h_dual": "40074.8618", "dual_gain": null, "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "no new certified global bound", "evidence": "Three-vehicle-block LNS and two exact original-MPS audits; improves MIPLIB by 247.6265848893; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/neos-5266653-tugela/README.md", "v36_source_line": "=best= neos-5266653-tugela 65505.2005752763", "copt_source_line": "132 | 36000.0 1335060 stop ok c7776d72 | 86978.0071 40074.8618 53.9 | neos-5266653-tugela", "primal_improvement": true, "dual_improvement": false, "primal_comparison": "Attributed improvement", "dual_comparison": "No final dual archived", "evidence_grade": null, "primal_display": "65257.573990387", "dual_display": "no new certified global bound" }, { "instance": "neos-848198", "cohort": "fresh_r01_r10_20261006", "conclusion": "open", "final_primal": "51797", "final_dual": "49843", "normalized_gap": "0.0377241925208023630712203409463868563816437245", "v36_primal": "51797.0", "primal_gain": "0", "copt10h_dual": "50021.1801", "dual_gain": "-178.1801", "first_finite": false, "validation_grade": "Exact rational original-MPS feasibility, zero residual", "dual_validation_grade": "numerical_solver", "evidence": "Original strict rational witness, separately graded numerical and independent exact dual evidence, verified core final-result packages; full trial archives retained locally.", "notes": "", "source_model_sha256": "fefaa6361a0b04426fb11b29de5a87a22536efa94334142f338b6e574e8cae0f", "selected_solution_sha256": "83073961bed7c53aa4d56291d3cf3d127a08e12688bc86e70ba0dda536f66b81", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/neos-848198/README.md", "v36_source_line": "=best= neos-848198 51797.0", "copt_source_line": "133 | 36000.0 137020 stop ok 3bed17b4 | 54104 50021.1801 7.5 | neos-848198", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "51797", "dual_display": "49843" }, { "instance": "nj1", "cohort": "original112", "conclusion": "open", "final_primal": "382.0606208032", "final_dual": null, "normalized_gap": null, "v36_primal": null, "primal_gain": null, "copt10h_dual": "78.882279", "dual_gain": null, "first_finite": true, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "no new nontrivial strict global lower bound", "evidence": "Tree/compound search, 21 pair, 39 anchor-fixed triple, and 67 anchor-fixed quad closures, plus a zero-tolerance audit; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/nj1/README.md", "v36_source_line": "=unkn= nj1 ", "copt_source_line": "134 | 36000.0 894 stop ok 5ac4e572 | 1e+20 78.882279 -- | nj1", "primal_improvement": true, "dual_improvement": false, "primal_comparison": "First finite solution", "dual_comparison": "No final dual archived", "evidence_grade": null, "primal_display": "382.0606208032", "dual_display": "no new nontrivial strict global lower bound" }, { "instance": "nj2", "cohort": "original112", "conclusion": "open", "final_primal": "382.0606208032", "final_dual": null, "normalized_gap": null, "v36_primal": null, "primal_gain": null, "copt10h_dual": "47.1019816", "dual_gain": null, "first_finite": true, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "no new nontrivial strict global lower bound", "evidence": "Exact lift, local-neighborhood closures, and zero-tolerance audit; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/nj2/README.md", "v36_source_line": "=unkn= nj2 ", "copt_source_line": "135 | 36000.0 319 stop ok facc962e | 1e+20 47.1019816 -- | nj2", "primal_improvement": true, "dual_improvement": false, "primal_comparison": "First finite solution", "dual_comparison": "No final dual archived", "evidence_grade": null, "primal_display": "382.0606208032", "dual_display": "no new nontrivial strict global lower bound" }, { "instance": "nj3", "cohort": "original112", "conclusion": "open", "final_primal": "382.0606208032", "final_dual": null, "normalized_gap": null, "v36_primal": null, "primal_gain": null, "copt10h_dual": "26.6759647", "dual_gain": null, "first_finite": true, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "no new nontrivial strict global lower bound", "evidence": "Exact `nj2 -> nj3` projection, label anchoring, local-neighborhood closures, and zero-tolerance audit; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/nj3/README.md", "v36_source_line": "=unkn= nj3 ", "copt_source_line": "136 | 36000.0 351 stop ok 20def11f | 1e+20 26.6759647 -- | nj3", "primal_improvement": true, "dual_improvement": false, "primal_comparison": "First finite solution", "dual_comparison": "No final dual archived", "evidence_grade": null, "primal_display": "382.0606208032", "dual_display": "no new nontrivial strict global lower bound" }, { "instance": "ns1456591", "cohort": "subsequent20", "conclusion": "optimal", "final_primal": "988.14128344", "final_dual": "988.14128344", "normalized_gap": "0", "v36_primal": "988.1405440676191", "primal_gain": "-0.0007393723809", "copt10h_dual": "459.574181", "dual_gain": "528.56710244", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "dual skill Gurobi; general skill Gurobi", "evidence": "exact closure witness; exact route quotient; Held-Karp/set-partition DP; rational complete-master dual; original-MPS lift", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/skills-research/comparisons/per_instance_comparison.csv", "v36_source_line": "=best= ns1456591 988.1405440676191", "copt_source_line": "137 | 36000.0 14365855 stop ok 929a7bd | 1307.35364 459.574181 64.8 | ns1456591", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "Above v36 primal", "dual_comparison": "Improved", "evidence_grade": "PE", "primal_display": "988.14128344", "dual_display": "988.14128344" }, { "instance": "ns1631475", "cohort": "original112", "conclusion": "optimal", "final_primal": "11100", "final_dual": "11100", "normalized_gap": "0", "v36_primal": "11100", "primal_gain": "0", "copt10h_dual": "1659", "dual_gain": "9441", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "11,100", "evidence": "Optimal, exact cyclic-cutwidth enumeration and audited witness", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/ns1631475/README.md", "v36_source_line": "=best= ns1631475 11100", "copt_source_line": "138 | 36000.0 47996 stop ok 8be8d2ce | 12150 1659 86.3 | ns1631475", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": "EX", "primal_display": "11100", "dual_display": "11100" }, { "instance": "ns1679495", "cohort": "parallel10_20261004", "conclusion": "open", "final_primal": "2642035.19871373", "final_dual": "2626815.66620823", "normalized_gap": "0.00576053358899593825983764542784341714465884185", "v36_primal": "2642035.198713481", "primal_gain": "-2.49E-7", "copt10h_dual": "2556399.7", "dual_gain": "70415.96620823", "first_finite": false, "validation_grade": "exact", "dual_validation_grade": "numerical", "evidence": "The original uncapacitated commodity-flow structure permits a487-arc shortest-path reduction. Exact station pricing and4163 independently checked conditional exclusions preserve an optimum. The strongest numerical dual is2626815.66620823; a separate exact certificate gives2612880.60890689.", "notes": "", "source_model_sha256": "c7074c8761412f05e53da92de1afb1564816cd4363ad9c35fea88aa230d3b20a", "selected_solution_sha256": "958de5a37bc495cc59f5d24545ac400c2840aa182df0bb89f2f9476be7eb56fb", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/ns1679495/README.md", "v36_source_line": "=best= ns1679495 2642035.198713481", "copt_source_line": "139 | 36000.0 369851 stop ok fe7cfdc0 | 7553657.86 2556399.7 66.2 | ns1679495", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "Above v36 primal", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "2642035.19871373", "dual_display": "2626815.66620823" }, { "instance": "ns1690781", "cohort": "fresh_next10_20261004", "conclusion": "open", "final_primal": "-928.1888286539681", "final_dual": "-932.7213054566289", "normalized_gap": "0.00485941167650486142965334031983430230365373112", "v36_primal": "-928.0853470314722", "primal_gain": "0.1034816224959", "copt10h_dual": "-1022.68453", "dual_gain": "89.9632245433711", "first_finite": false, "validation_grade": "See original-decimal Fraction check in instance package", "dual_validation_grade": "Numerical global bound with exact structural audits; exact certificate bound separately disclosed", "evidence": "68 projects across40 periods; direct gates compact redundant cumulative constraints; whole-group all-period neighborhood improved original feasible point; pricing group schedules in parallel", "notes": "", "source_model_sha256": "d11c31844cad9fa278433d7d1fd0efa1e986a066071e33760c33388476becd03", "selected_solution_sha256": "82a02021dfafb80cce109eac228f243d8b6b774319cd499e29d748de55892b0e", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/ns1690781/README.md", "v36_source_line": "=best= ns1690781 -928.0853470314722", "copt_source_line": "140 | 36000.0 6245958 stop ok 684c5418 | -852.756115 -1022.68453 16.6 | ns1690781", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "Attributed improvement", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "-928.1888286539681", "dual_display": "-932.7213054566289" }, { "instance": "ns1828997", "cohort": "original112", "conclusion": "open", "final_primal": "8", "final_dual": null, "normalized_gap": null, "v36_primal": "7.99999999999967", "primal_gain": "-3.3E-13", "copt10h_dual": "0", "dual_gain": null, "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "no new lower-bound-8 certificate", "evidence": "Exact 375-choice projection and cutoff-7 CNF; exact search remains unknown", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/ns1828997/README.md", "v36_source_line": "=best= ns1828997 7.99999999999967", "copt_source_line": "141 | 36000.0 33712793 stop better 20032d3e | 8 0 -- | ns1828997", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "No difference above 1e-7", "dual_comparison": "No final dual archived", "evidence_grade": null, "primal_display": "8", "dual_display": "no new lower-bound-8 certificate" }, { "instance": "ns1849932", "cohort": "parallel10_20260928", "conclusion": "open", "final_primal": "624", "final_dual": "548", "normalized_gap": "0.121794871794871794871794871794871794871794872", "v36_primal": "632.0", "primal_gain": "8", "copt10h_dual": "546", "dual_gain": "2", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "Accepted global solver or structural bound", "evidence": "Five substantive primal improvements and two optima. Sutlej strict optimum -1048730.8; numerical-tolerance incumbent separate. Vouga large-M tolerance artifact excluded.", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/ns1849932/README.md", "v36_source_line": "=best= ns1849932 632.0", "copt_source_line": "142 | 36000.0 135484 stop ok f370ea79 | 2353 546 76.8 | ns1849932", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "Attributed improvement", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "624", "dual_display": "548" }, { "instance": "ns1856153", "cohort": "subsequent20", "conclusion": "open", "final_primal": "34.01697312588408", "final_dual": "32.6971654879775", "normalized_gap": "0.0387985031185010532698004590267387233967378698", "v36_primal": "34.16346179965939", "primal_gain": "0.14648867377531", "copt10h_dual": "0", "dual_gain": "32.6971654879775", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "dual skill Gurobi", "evidence": "historically accepted numerical witness; not uniformly revalidated; exact connectivity projection; transpose/tree optimum-value equivalence; incumbent-cutoff interval big-M tightening", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/skills-research/comparisons/per_instance_comparison.csv", "v36_source_line": "=best= ns1856153 34.16346179965939", "copt_source_line": "143 | 36000.0 55836 stop ok 3fe1c0af | 49.1310069 0 -- | ns1856153", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "Attributed improvement", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "34.01697312588408", "dual_display": "32.6971654879775" }, { "instance": "ns1904248", "cohort": "fresh_next10_20261005", "conclusion": "open", "final_primal": "35.26253512665094", "final_dual": "23.69999969999989", "normalized_gap": "0.327898586562831792641850178951246457370589551", "v36_primal": "37.01762611059417", "primal_gain": "1.75509098394323", "copt10h_dual": "0", "dual_gain": "23.69999969999989", "first_finite": false, "validation_grade": "Exact rational original-MPS feasibility, zero residual", "dual_validation_grade": "See separately reported numerical and independent exact bounds", "evidence": "Primal improvement is measured against the strictly repaired public baseline, not the infeasible public serialization. Raw objectives of weakened derived models are not original primal improvements.", "notes": "", "source_model_sha256": "2d7e82995ec2854bef98ffc6e495120e0cba2ef2551086d92667d9ad4978d19c", "selected_solution_sha256": "73624e2114e6250c85dc76be933cb5579419e8b89f4d659ef411348531e11042", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/ns1904248/README.md", "v36_source_line": "=best= ns1904248 37.01762611059417", "copt_source_line": "144 | 36000.0 8413 stop ok c4696a43 | 72.6815177 0 -- | ns1904248", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "Attributed improvement", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "35.26253512665094", "dual_display": "23.69999969999989" }, { "instance": "ns1905797", "cohort": "original112", "conclusion": "open", "final_primal": "13.98258", "final_dual": "12.38858", "normalized_gap": "0.113998990172056945141740651582182973385455331", "v36_primal": null, "primal_gain": null, "copt10h_dual": "12.38858", "dual_gain": "0", "first_finite": true, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "12.38858 (COPT, numerical)", "evidence": "Serialized file passes zero-tolerance Fraction audit; 11.40% numerical gap; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/ns1905797/README.md", "v36_source_line": "=unkn= ns1905797 ", "copt_source_line": "145 | 36000.0 2989752 stop ok 49974bb7 | 1e+20 12.38858 -- | ns1905797", "primal_improvement": true, "dual_improvement": false, "primal_comparison": "First finite solution", "dual_comparison": "No difference above 1e-7", "evidence_grade": null, "primal_display": "13.98258", "dual_display": "12.38858" }, { "instance": "ns2122698", "cohort": "original112", "conclusion": "open", "final_primal": "68750", "final_dual": "62785.565316", "normalized_gap": "0.0867554135854545454545454545454545454545454545", "v36_primal": "68749.99988531263", "primal_gain": "-0.00011468737", "copt10h_dual": "65899.0548", "dual_gain": "-3113.489484", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "62,785.565316 (strict)", "evidence": "Exact primal/dual interval; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/ns2122698/README.md", "v36_source_line": "=best= ns2122698 68749.99988531263", "copt_source_line": "146 | 36000.0 28765 stop ok 991afe1f | 78440 65899.0548 16.0 | ns2122698", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "Above v36 primal", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "68750", "dual_display": "62785.565316" }, { "instance": "ns2124243", "cohort": "parallel8_20260926", "conclusion": "optimal", "final_primal": "77460", "final_dual": "77460", "normalized_gap": "0", "v36_primal": "77459.99169057666", "primal_gain": "-0.00830942334", "copt10h_dual": "75440.7297", "dual_gain": "2019.2703", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "Valid global solver bound or stronger independently exact bound", "evidence": "Global solver numerical optimality accepted; exact certificate supplementary. Experiment initial primal improvement: 0", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/ns2124243/README.md", "v36_source_line": "=best= ns2124243 77459.99169057666", "copt_source_line": "147 | 36000.0 258364 stop ok 5baf879a | 79120 75440.7297 4.7 | ns2124243", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "Above v36 primal", "dual_comparison": "Improved", "evidence_grade": "IV", "primal_display": "77460", "dual_display": "77460" }, { "instance": "ns930473", "cohort": "parallel10_20261004", "conclusion": "optimal", "final_primal": "821466", "final_dual": "821466", "normalized_gap": "0", "v36_primal": "821466", "primal_gain": "0", "copt10h_dual": "1899.50067", "dual_gain": "819566.49933", "first_finite": false, "validation_grade": "exact", "dual_validation_grade": "exact", "evidence": "The source arc graph forces increasing pickups followed by increasing deliveries, with at most15 requests per vehicle. Complete exact pricing covers2760 subproblems. Two independent Python integer DPs reproduce the certificate821466, matching the original feasible witness.", "notes": "", "source_model_sha256": "4e467d17ab84c85251a1ed0faaf08c2137d737ec0170c0b2423cfea2a6debcab", "selected_solution_sha256": "a1b8d15d077705dd0dad8e5d188a5abe4cc6dfaabcf27cb2287f7b18bc489ccc", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/ns930473/README.md", "v36_source_line": "=best= ns930473 821466", "copt_source_line": "148 | 36000.0 544 stop ok 97c60235 | 1e+20 1899.50067 -- | ns930473", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": "IV", "primal_display": "821466", "dual_display": "821466" }, { "instance": "nsr8k", "cohort": "parallel10_20260927", "conclusion": "open", "final_primal": "17974887.99753601", "final_dual": "17512125.696420353", "normalized_gap": "0.0257449337753365839816688476481740650576862796", "v36_primal": "17974887.99753601", "primal_gain": "0", "copt10h_dual": "17525904.2", "dual_gain": "-13778.503579647", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "Validated global bound from solver or structural relaxation", "evidence": "Numerical optimality accepted; experiment baseline and frozen v36 compared separately.", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/nsr8k/README.md", "v36_source_line": "=best= nsr8k 17974887.99753601", "copt_source_line": "149 | 36000.0 14621 stop ok ae0c3c31 | 18183660 17525904.2 3.6 | nsr8k", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "17974887.99753601", "dual_display": "17512125.696420353" }, { "instance": "nucorsav", "cohort": "parallel10_20260927", "conclusion": "optimal", "final_primal": "73.61064226007815", "final_dual": "73.61064224600001", "normalized_gap": "1.91251421910702585702146250950634991382402426E-10", "v36_primal": null, "primal_gain": null, "copt10h_dual": "29.0461", "dual_gain": "44.56454224600001", "first_finite": true, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "Validated global bound from solver or structural relaxation", "evidence": "Numerical optimality accepted; experiment baseline and frozen v36 compared separately.", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/nucorsav/README.md", "v36_source_line": "=unkn= nucorsav ", "copt_source_line": "150 | 6977.9 0 stop ok 240ea497 | 1e+20 29.0461 -- | nucorsav", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "First finite solution", "dual_comparison": "Improved", "evidence_grade": "IV", "primal_display": "73.61064226007815", "dual_display": "73.61064224600001" }, { "instance": "pb-gfrd-pnc", "cohort": "original112", "conclusion": "open", "final_primal": "8844", "final_dual": "8566", "normalized_gap": "0.0314337403889642695612844866576209859791949344", "v36_primal": "8844.0", "primal_gain": "0", "copt10h_dual": "8521.83408", "dual_gain": "44.16592", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "8,566 (solver)", "evidence": "Exact identical-column quotient removes 9,944 variables; 3.1434% numerical gap; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/pb-gfrd-pnc/README.md", "v36_source_line": "=best= pb-gfrd-pnc 8844.0", "copt_source_line": "151 | 36000.0 968691 stop ok 699a93c5 | 1e+20 8521.83408 -- | pb-gfrd-pnc", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "8844", "dual_display": "8566" }, { "instance": "pb-grow22", "cohort": "original112", "conclusion": "open", "final_primal": "-449536", "final_dual": "-449546", "normalized_gap": "0.0000222446646171915666027503303332695652947640508", "v36_primal": "-449536.0", "primal_gain": "0", "copt10h_dual": "-449587.303", "dual_gain": "41.303", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "-449546 (solver)", "evidence": "Exact symmetry quotient; numerical 10-unit interval without portable cutoff proof; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/pb-grow22/README.md", "v36_source_line": "=best= pb-grow22 -449536.0", "copt_source_line": "152 | 36000.0 1108699 stop ok f7cecf47 | -6898 -449587.303 98.5 | pb-grow22", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "-449536", "dual_display": "-449546" }, { "instance": "pizza27i", "cohort": "fresh_next10_20261005", "conclusion": "optimal", "final_primal": "701882", "final_dual": "701882", "normalized_gap": "0", "v36_primal": "701882", "primal_gain": "0", "copt10h_dual": "652380.8", "dual_gain": "49501.2", "first_finite": false, "validation_grade": "Exact rational original-MPS feasibility, zero residual", "dual_validation_grade": "See separately reported numerical and independent exact bounds", "evidence": "Exact integer certificate and complete original witness", "notes": "", "source_model_sha256": "ce38eec5dc17432b26bc025353a6b5027863a72ecd5f572e122e0c3859122bef", "selected_solution_sha256": "33104c219c26ca59ecda3e96bf3e530f2ee968bbd030bf34536582047866ec52", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/pizza27i/README.md", "v36_source_line": "=best= pizza27i 701882", "copt_source_line": "153 | 36000.0 417893 stop ok bf4a3c6b | 744091 652380.8 12.3 | pizza27i", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": "IV", "primal_display": "701882", "dual_display": "701882" }, { "instance": "pizza78i", "cohort": "parallel15_20261003", "conclusion": "optimal", "final_primal": "564039", "final_dual": "564039", "normalized_gap": "0", "v36_primal": "564039", "primal_gain": "0", "copt10h_dual": "508093", "dual_gain": "55946", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "exact_original_global_optimal", "evidence": "Exact original-model optimum: a source-derived voucher projection proves a lower bound of 564039 and an independently checked original integer witness attains it. This conclusion comes from the finite combinatorial proof, not the earlier COPT bound 495580.380952381. Read reports/PROOF.md for the implication chain and Lean obligations.", "notes": "", "source_model_sha256": "76b4436000fe2a70c04d64542b70c24db6a56c7a73a2d86e489c7757da10dd4b", "selected_solution_sha256": "b10662ce874b9473ec792cf3806f2fa159f3083d5c9e4492c13da512e4e36028", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/pizza78i/README.md", "v36_source_line": "=best= pizza78i 564039", "copt_source_line": "154 | 36000.0 276988 stop ok 3050d51 | 645404 508093 21.3 | pizza78i", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": "IV", "primal_display": "564039", "dual_display": "564039" }, { "instance": "polygonpack3-15", "cohort": "parallel10_20260927", "conclusion": "open", "final_primal": "-55657792.80846341", "final_dual": "-58365098.476", "normalized_gap": "0.0463856951881927636002640572328741529252962654", "v36_primal": "-55055635.46642546", "primal_gain": "602157.34203795", "copt10h_dual": "-114051303", "dual_gain": "55686204.524", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "Validated global bound from solver or structural relaxation", "evidence": "Numerical optimality accepted; experiment baseline and frozen v36 compared separately.", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/polygonpack3-15/README.md", "v36_source_line": "=best= polygonpack3-15 -55055635.46642546", "copt_source_line": "155 | 36000.0 1812942 stop ok ca094bef | -45526496.9 -114051303 60.1 | polygonpack3-15", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "Attributed improvement", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "-55657792.80846341", "dual_display": "-58365098.476" }, { "instance": "polygonpack4-10", "cohort": "subsequent20", "conclusion": "open", "final_primal": "-53594508.707583256", "final_dual": "-76521127.37712", "normalized_gap": "0.299611616495758239252274117880966189438506710", "v36_primal": "-53594508.70758325", "primal_gain": "6E-9", "copt10h_dual": "-93676573.4", "dual_gain": "17155446.02288", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "dual skill Gurobi; dual skill COPT terminal", "evidence": "historically accepted numerical witness; not uniformly revalidated; projection-equivalent canonical slice links plus core local branching", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/skills-research/comparisons/per_instance_comparison.csv", "v36_source_line": "=best= polygonpack4-10 -53594508.70758325", "copt_source_line": "156 | 36000.0 4384348 stop ok 5b22e33 | -51836818.8 -93676573.4 44.7 | polygonpack4-10", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "-53594508.707583256", "dual_display": "-76521127.37712" }, { "instance": "polygonpack4-15", "cohort": "original112", "conclusion": "open", "final_primal": null, "final_dual": null, "normalized_gap": null, "v36_primal": "-63613643.56171419", "primal_gain": null, "copt10h_dual": "-114052544", "dual_gain": null, "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "no new global lower bound", "evidence": "Exact recovered geometry, radius/object neighborhoods and mask screening; no MIPLIB headline improvement; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/polygonpack4-15/README.md", "v36_source_line": "=best= polygonpack4-15 -63613643.56171419", "copt_source_line": "157 | 36000.0 1526659 stop ok a234ed97 | -52513639.5 -114052544 54.0 | polygonpack4-15", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "No finite primal archived", "dual_comparison": "No final dual archived", "evidence_grade": null, "primal_display": "-63,613,612.411253203798895776945039... (strict repair)", "dual_display": "no new global lower bound" }, { "instance": "polygonpack4-7", "cohort": "original112", "conclusion": "open", "final_primal": "-51837707.95034043267785954996", "final_dual": null, "normalized_gap": null, "v36_primal": "-51837758.96241999", "primal_gain": "-51.01207955732214045004", "copt10h_dual": "-75324457.9", "dual_gain": null, "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "no new global lower bound", "evidence": "Full submitted-MPS geometry audit; no strict incumbent improvement; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/polygonpack4-7/README.md", "v36_source_line": "=best= polygonpack4-7 -51837758.96241999", "copt_source_line": "158 | 36000.0 13851107 stop ok da8b4921 | -51837666.7 -75324457.9 31.2 | polygonpack4-7", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "Above v36 primal", "dual_comparison": "No final dual archived", "evidence_grade": null, "primal_display": "-51837707.95034043267785954996", "dual_display": "no new global lower bound" }, { "instance": "polygonpack5-15", "cohort": "original112", "conclusion": "open", "final_primal": null, "final_dual": null, "normalized_gap": null, "v36_primal": "-55494687.6476085", "primal_gain": null, "copt10h_dual": "-66029891.1", "dual_gain": null, "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "no new global lower bound", "evidence": "Improves the only audited official literal-zero solution but not the MIPLIB tolerance headline; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/polygonpack5-15/README.md", "v36_source_line": "=best= polygonpack5-15 -55494687.6476085", "copt_source_line": "159 | 36000.0 1774885 stop ok 1461a177 | -47660916.5 -66029891.1 27.8 | polygonpack5-15", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "No finite primal archived", "dual_comparison": "No final dual archived", "evidence_grade": null, "primal_display": "-55,494,687.647606651289167114364938... (strict repair)", "dual_display": "no new global lower bound" }, { "instance": "proteindesign121hz512p19", "cohort": "fresh_next10_20261005", "conclusion": "optimal", "final_primal": "3382", "final_dual": "3382", "normalized_gap": "0", "v36_primal": "3382.0", "primal_gain": "0", "copt10h_dual": "3392", "dual_gain": "-10", "first_finite": false, "validation_grade": "Exact rational original-MPS feasibility, zero residual", "dual_validation_grade": "See separately reported numerical and independent exact bounds", "evidence": "Exact original-source audit, integer reparameterization, complete cutoff exclusion and full strict original witness", "notes": "Historical COPT lower bound exceeds the archived feasible primal. Kept as a baseline inconsistency, not a valid superiority comparison.", "source_model_sha256": "edec4a628aa744c36c63a3f42c21491ecd6ede6eeaab93a27020d78f04de0e8f", "selected_solution_sha256": "e448968cb12dac73e0eead7f56716fda667eaf520f646098377a1cdcbdbf415e", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/proteindesign121hz512p19/README.md", "v36_source_line": "=best= proteindesign121hz512p19 3382.0", "copt_source_line": "160 | 358.8 1 ok fail 3fa5b03d | 3392 3392 0.0000 | proteindesign121hz512p19", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Historical bound exceeds feasible primal", "evidence_grade": "IV", "primal_display": "3382", "dual_display": "3382" }, { "instance": "pythago7825", "cohort": "original112", "conclusion": "infeasible", "final_primal": null, "final_dual": null, "normalized_gap": null, "v36_primal": null, "primal_gain": null, "copt10h_dual": "0", "dual_gain": null, "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "published UNSAT theorem", "evidence": "Infeasible, exact encoding/core crosswalk + published theorem; proof archive not replayed locally", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/pythago7825/README.md", "v36_source_line": "=unkn= pythago7825 ", "copt_source_line": "161 | 36000.0 809851 stop ok bf34bfa3 | 1e+20 0 -- | pythago7825", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "Infeasibility certificate", "dual_comparison": "Infeasibility certificate", "evidence_grade": "LT", "primal_display": "—", "dual_display": "published UNSAT theorem" }, { "instance": "r4l4-02-tree-bounds-50", "cohort": "subsequent20", "conclusion": "open", "final_primal": "499061405", "final_dual": "483755247.8932753", "normalized_gap": "0.0306698874194142502364012701002194309135165441", "v36_primal": "499132179.0015595", "primal_gain": "70774.0015595", "copt10h_dual": "478217938", "dual_gain": "5537309.8932753", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "dual skill Gurobi", "evidence": "historically accepted numerical witness; not uniformly revalidated; five independently audited BFS fundamental-cycle inequalities plus Gurobi 13.0.1", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/skills-research/comparisons/per_instance_comparison.csv", "v36_source_line": "=best= r4l4-02-tree-bounds-50 499132179.0015595", "copt_source_line": "162 | 36000.0 2373819 stop ok 2c127925 | 512613056 478217938 6.7 | r4l4-02-tree-bounds-50", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "Attributed improvement", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "499061405", "dual_display": "483755247.8932753" }, { "instance": "ramos3", "cohort": "original112", "conclusion": "open", "final_primal": "186", "final_dual": "156", "normalized_gap": "0.161290322580645161290322580645161290322580645", "v36_primal": "186.0", "primal_gain": "0", "copt10h_dual": "146.482178", "dual_gain": "9.517822", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "156 (covering-code bound)", "evidence": "Feasible; strict local optimality proved to bit radius 7; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/ramos3/README.md", "v36_source_line": "=best= ramos3 186.0", "copt_source_line": "163 | 36000.0 13251 stop ok 1e98c669 | 218 146.482178 32.8 | ramos3", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "186", "dual_display": "156" }, { "instance": "rfds-4-days", "cohort": "parallel15_20261003", "conclusion": "open", "final_primal": "-1129915.8646", "final_dual": "-1146278.6542107703", "normalized_gap": "0.0142747049774178348692325467654232313293061775", "v36_primal": "-1129915.8646", "primal_gain": "0", "copt10h_dual": "-1157062.2", "dual_gain": "10783.5457892297", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "qualified_numerical_original_global", "evidence": "QUALIFIED numerical global dual: the strongest full-original run also produced an incumbent with original-row violation 1142141.00397197; that candidate is rejected. Preserve the raw solver dual with this numerical qualification. Independent full-original runs gave -1147434.3976039088 and LP -1158940.9781666666. No optimality or primal improvement is claimed. The retained primal passes the complete original-model checker.", "notes": "QUALIFIED numerical global dual: the strongest full-original run also produced an incumbent with original-row violation 1142141.00397197; that candidate is rejected. Preserve the raw solver dual with this numerical qualification. Independent full-original runs gave -1147434.3976039088 and LP -1158940.9781666666. No optimality or primal improvement is claimed. The retained primal passes the complete original-model checker.", "source_model_sha256": "b3537489e6d03f4b359b6dd236214cb04db487c3d3f41cb8f52ac783556fcaf9", "selected_solution_sha256": "c77bd4a151d84c666db7e546a2a25e5538c816ba74b60c54cde59b159b520da9", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/rfds-4-days/README.md", "v36_source_line": "=best= rfds-4-days -1129915.8646", "copt_source_line": "164 | 36000.0 1 stop ok 4c7438fe | 1e+20 -1157062.2 -- | rfds-4-days", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Excluded: qualified numerical bound", "evidence_grade": null, "primal_display": "-1129915.8646", "dual_display": "-1146278.6542107703" }, { "instance": "rmine11", "cohort": "original112", "conclusion": "open", "final_primal": "-2508.404143999999991662", "final_dual": "-2521.353274311517894", "normalized_gap": "0.00513578578751674493252215799129048396659464631", "v36_primal": "-2508.404144", "primal_gain": "-8.338E-15", "copt10h_dual": "-2509.7041", "dual_gain": "-11.649174311517894", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "-2521.353274311517894 (portable exact)", "evidence": "394 pair, 70 clique and 5 genuine triple-cover cuts plus flow=cut certificate; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/rmine11/README.md", "v36_source_line": "=best= rmine11 -2508.404144", "copt_source_line": "165 | 36000.0 3259593 stop ok f536d221 | -2507.70594 -2509.7041 0.0796 | rmine11", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "-2508.404143999999991662", "dual_display": "-2521.353274311517894" }, { "instance": "rmine13", "cohort": "original112", "conclusion": "open", "final_primal": "-3495.3706609999999806509", "final_dual": "-3504.68995907391278", "normalized_gap": "0.00265909343843224060801599547568785313198213445", "v36_primal": "-3495.3706624382535", "primal_gain": "-0.0000014382535193491", "copt10h_dual": "-3496.99083", "dual_gain": "-7.69912907391278", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "-3504.689959073912780 (portable exact)", "evidence": "Rounded public tolerance vector and closure flow=cut certificate; structured neighborhoods tested; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/rmine13/README.md", "v36_source_line": "=best= rmine13 -3495.3706624382535", "copt_source_line": "166 | 36000.0 981339 stop ok 941eb436 | -3490.32323 -3496.99083 0.1907 | rmine13", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "Above v36 primal", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "-3495.3706609999999806509", "dual_display": "-3504.68995907391278" }, { "instance": "rmine15", "cohort": "original112", "conclusion": "open", "final_primal": "-5018.823005000000004879", "final_dual": "-5042.036233392018593", "normalized_gap": "0.00460393922564137161437700441395098323524644651", "v36_primal": "-5018.819990999996", "primal_gain": "0.003014000004004879", "copt10h_dual": "-5026.70481", "dual_gain": "-15.331423392018593", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "-5042.036233392018593 (portable exact)", "evidence": "34-block exchange; 121 pair and 61 clique cuts; exact primal and flow=cut audits; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/rmine15/README.md", "v36_source_line": "=best= rmine15 -5018.819990999996", "copt_source_line": "167 | 36000.0 114844 stop ok 22128acb | -5000.12053 -5026.70481 0.5289 | rmine15", "primal_improvement": true, "dual_improvement": false, "primal_comparison": "Attributed improvement", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "-5018.823005000000004879", "dual_display": "-5042.036233392018593" }, { "instance": "rmine21", "cohort": "original112", "conclusion": "open", "final_primal": "-10618.7507269999999491342", "final_dual": "-10679.232567260660741", "normalized_gap": "0.00566350061951830321981809875305616878732192545", "v36_primal": "-10618.75083837232", "primal_gain": "-0.0001113723200508658", "copt10h_dual": "-10674.8943", "dual_gain": "-4.338267260660741", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "-10679.232567260660741 (portable exact)", "evidence": "Exact 1,441,651-row primal replay and closure flow=cut certificate; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/rmine21/README.md", "v36_source_line": "=best= rmine21 -10618.75083837232", "copt_source_line": "168 | 36000.0 191 stop ok bd7795d6 | -2288.18412 -10674.8943 78.6 | rmine21", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "Above v36 primal", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "-10618.7507269999999491342", "dual_display": "-10679.232567260660741" }, { "instance": "rmine25", "cohort": "original112", "conclusion": "open", "final_primal": "-15541.66927699999998289011", "final_dual": "-15667.918862520611901", "normalized_gap": "0.00805784013999554439591102941853585802335954951", "v36_primal": "-15541.66928749976", "primal_gain": "-0.00001049976001710989", "copt10h_dual": "-15667.8428", "dual_gain": "-0.076062520611901", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "-15667.918862520611901 (portable exact)", "evidence": "Exact 2,953,849-row primal replay and cross-host closure certificate verification; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/rmine25/README.md", "v36_source_line": "=best= rmine25 -15541.66928749976", "copt_source_line": "169 | 24484.9 0 stop ok 11d36db3 | -2102.38838 -15667.8428 86.6 | rmine25", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "Above v36 primal", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "-15541.66927699999998289011", "dual_display": "-15667.918862520611901" }, { "instance": "rocII-10-11", "cohort": "parallel10_20260927", "conclusion": "open", "final_primal": "-11.794324502134275", "final_dual": "-11.84939220836703", "normalized_gap": "0.00464730217925193523825919782648667363798214115", "v36_primal": "-11.79399274280434", "primal_gain": "0.000331759329935", "copt10h_dual": "-11.8947324", "dual_gain": "0.04534019163297", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "Validated global bound from solver or structural relaxation", "evidence": "Numerical optimality accepted; experiment baseline and frozen v36 compared separately.", "notes": "Numerical difference shown, but frozen project attribution is not upgraded by this arithmetic audit.", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/rocII-10-11/README.md", "v36_source_line": "=best= rocII-10-11 -11.79399274280434", "copt_source_line": "170 | 36000.0 8882523 stop ok 6e92c9a5 | -3.72713474 -11.8947324 68.7 | rocII-10-11", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "Numerically better; not project-attributed", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "-11.794324502134275", "dual_display": "-11.84939220836703" }, { "instance": "rocII-8-11", "cohort": "subsequent20", "conclusion": "open", "final_primal": "-8.739845027008393", "final_dual": "-11.82", "normalized_gap": "0.260588407190491285956006768189509306260575296", "v36_primal": "-8.739845350261154", "primal_gain": "-3.23252761E-7", "copt10h_dual": "-11.889881", "dual_gain": "0.069881", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "dual skill Gurobi", "evidence": "historically accepted numerical witness; not uniformly revalidated; strict public-pattern repair, audited temporal restrictions, and final untouched-original control", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/skills-research/comparisons/per_instance_comparison.csv", "v36_source_line": "=best= rocII-8-11 -8.739845350261154", "copt_source_line": "171 | 36000.0 5489573 stop ok 2640afb6 | -4.72446527 -11.889881 60.3 | rocII-8-11", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "Above v36 primal", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "-8.739845027008393", "dual_display": "-11.82" }, { "instance": "rwth-timetable", "cohort": "fresh_next10_20261005", "conclusion": "open", "final_primal": "772258", "final_dual": "755608.6597750485", "normalized_gap": "0.0215592978317498815162808284278052153554900046", "v36_primal": "772998.0", "primal_gain": "740", "copt10h_dual": "754720.911", "dual_gain": "887.7487750485", "first_finite": false, "validation_grade": "Exact rational original-MPS feasibility, zero residual", "dual_validation_grade": "See separately reported numerical and independent exact bounds", "evidence": "Not established; numerical global tree bound and independent exact lower certificate are separate", "notes": "", "source_model_sha256": "32f8ac5c9a9e57042a0519e2874dca6243e281019e69579c1c4f0efd70299f5d", "selected_solution_sha256": "4f59d3b0b9d2814d7cf09e2a38a86b90e2bda05611d47fbf396a548ed7d05b50", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/rwth-timetable/README.md", "v36_source_line": "=best= rwth-timetable 772998.0", "copt_source_line": "172 | 36000.0 1 stop ok b48b7203 | 1336396 754720.911 43.5 | rwth-timetable", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "Attributed improvement", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "772258", "dual_display": "755608.6597750485" }, { "instance": "s82", "cohort": "original112", "conclusion": "open", "final_primal": "-33.7970576238223", "final_dual": null, "normalized_gap": null, "v36_primal": "-33.7970576238223", "primal_gain": "0", "copt10h_dual": "-33.8093843", "dual_gain": null, "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "exact structural bound max sum(A8)=36", "evidence": "Full objective open; high-level acceptance count globally optimal and line 4 conditionally optimal", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/s82/README.md", "v36_source_line": "=best= s82 -33.7970576238223", "copt_source_line": "173 | 36000.0 2110 stop ok ade6f621 | -33.772274 -33.8093843 0.1098 | s82", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "No difference above 1e-7", "dual_comparison": "No final dual archived", "evidence_grade": null, "primal_display": "-33.7970576238223", "dual_display": "exact structural bound max sum(A8)=36" }, { "instance": "scpj4scip", "cohort": "original112", "conclusion": "open", "final_primal": "128", "final_dual": "107", "normalized_gap": "0.1640625", "v36_primal": "128", "primal_gain": "0", "copt10h_dual": "108.947237", "dual_gain": "-1.947237", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "107 (strict)", "evidence": "Exact branch/dual certificates improved the lower bound; global optimum open; experiments paused", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/scpj4scip/README.md", "v36_source_line": "=best= scpj4scip 128", "copt_source_line": "174 | 36000.0 1226364 stop ok b426712b | 132 108.947237 17.5 | scpj4scip", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "128", "dual_display": "107" }, { "instance": "scpk4", "cohort": "original112", "conclusion": "open", "final_primal": "318", "final_dual": "283", "normalized_gap": "0.110062893081761006289308176100628930817610063", "v36_primal": "318.0", "primal_gain": "0", "copt10h_dual": "287.057116", "dual_gain": "-4.057116", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "283 (strict)", "evidence": "Exact domination and independently replayed target-282 branch/dual certificate; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/scpk4/README.md", "v36_source_line": "=best= scpk4 318.0", "copt_source_line": "175 | 36000.0 562396 stop ok 592c0ee4 | 326 287.057116 11.9 | scpk4", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "318", "dual_display": "283" }, { "instance": "scpl4", "cohort": "original112", "conclusion": "open", "final_primal": "259", "final_dual": "214", "normalized_gap": "0.173745173745173745173745173745173745173745174", "v36_primal": "259.0", "primal_gain": "0", "copt10h_dual": "214.35471", "dual_gain": "-0.35471", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "214 (portable strict)", "evidence": "Complete target-213 exact branch/dual replay; COPT terminal exclusion corroborates; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/scpl4/README.md", "v36_source_line": "=best= scpl4 259.0", "copt_source_line": "176 | 36000.0 64893 stop ok afa8a9d8 | 280 214.35471 23.4 | scpl4", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "259", "dual_display": "214" }, { "instance": "scpm1", "cohort": "subsequent20", "conclusion": "open", "final_primal": "537", "final_dual": "416", "normalized_gap": "0.225325884543761638733705772811918063314711359", "v36_primal": "540.0", "primal_gain": "3", "copt10h_dual": "415.555435", "dual_gain": "0.444565", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "dual skill Gurobi; dual skill COPT terminal", "evidence": "historically accepted numerical witness; not uniformly revalidated; exact rational LP-dual replay plus deterministic cost-1 RWLS", "notes": "Numerical difference shown, but frozen project attribution is not upgraded by this arithmetic audit.", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/skills-research/comparisons/per_instance_comparison.csv", "v36_source_line": "=best= scpm1 540.0", "copt_source_line": "177 | 36000.0 1118 stop ok 7d7d27f | 630 415.555435 34.0 | scpm1", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "Numerically better; not project-attributed", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "537", "dual_display": "416" }, { "instance": "scpn2", "cohort": "parallel15_20261003", "conclusion": "open", "final_primal": "485", "final_dual": "352", "normalized_gap": "0.274226804123711340206185567010309278350515464", "v36_primal": "485.0", "primal_gain": "0", "copt10h_dual": "350.409358", "dual_gain": "1.590642", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "numerical_global_with_exact_source_audit", "evidence": "Completed full-original COPT lower bound 351.0207653022212 gives 352 on the exact integer objective lattice. A separate complete-source rational price certificate proves 351 exactly. Restricted covering/repair masters do not give global bounds. Original validated primal remains 485.", "notes": "", "source_model_sha256": "4dd5529879b2bde7051913d61968c9e731e226d3cf6e84eedb4ef0de735fbc69", "selected_solution_sha256": "cdf9dad8fda4206ab093c20173033ff93bdc74ca123646b0c22d83923e8ee06f", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/scpn2/README.md", "v36_source_line": "=best= scpn2 485.0", "copt_source_line": "178 | 418.7 0 stop ok 729de84 | 617 350.409358 43.2 | scpn2", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "485", "dual_display": "352" }, { "instance": "sct1", "cohort": "subsequent20", "conclusion": "open", "final_primal": "-187.52765083903063", "final_dual": "-199.81870652161473", "normalized_gap": "0.0615110361614444519555036843409043679750080062", "v36_primal": "-187.527650839031", "primal_gain": "-3.7E-13", "copt10h_dual": "-202.560756", "dual_gain": "2.74204947838527", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "dual skill Gurobi", "evidence": "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", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/skills-research/comparisons/per_instance_comparison.csv", "v36_source_line": "=best= sct1 -187.527650839031", "copt_source_line": "179 | 36000.0 520251 stop ok 1d1866b2 | -170.822429 -202.560756 15.7 | sct1", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "-187.52765083903063", "dual_display": "-199.81870652161473" }, { "instance": "sct5", "cohort": "parallel10_20260927", "conclusion": "open", "final_primal": "-228.12919207179488", "final_dual": "-228.1478805738048", "normalized_gap": "0.0000819139847493536313539012040423123387985975451", "v36_primal": "-228.1291920717949", "primal_gain": "-2E-14", "copt10h_dual": "-228.154186", "dual_gain": "0.0063054261952", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "Validated global bound from solver or structural relaxation", "evidence": "Numerical optimality accepted; experiment baseline and frozen v36 compared separately.", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/sct5/README.md", "v36_source_line": "=best= sct5 -228.1291920717949", "copt_source_line": "180 | 36000.0 1039371 stop ok fe8bddc6 | -228.106717 -228.154186 0.0208 | sct5", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "-228.12919207179488", "dual_display": "-228.1478805738048" }, { "instance": "seqsolve1", "cohort": "subsequent20", "conclusion": "open", "final_primal": "4277", "final_dual": "4275", "normalized_gap": "0.000467617488894084638765489829319616553659106851", "v36_primal": "4277.0", "primal_gain": "0", "copt10h_dual": "4268.52039", "dual_gain": "6.47961", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "dual skill Gurobi", "evidence": "historically accepted numerical witness; not uniformly revalidated; structure-audited activation/rounding/Hall strengthenings with untouched-MPS baseline and exact witness replay", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/skills-research/comparisons/per_instance_comparison.csv", "v36_source_line": "=best= seqsolve1 4277.0", "copt_source_line": "181 | 36000.0 40998 stop ok b5a46ce1 | 4371 4268.52039 2.3 | seqsolve1", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "4277", "dual_display": "4275" }, { "instance": "seqsolve2short4288", "cohort": "parallel15_20261003", "conclusion": "open", "final_primal": "83.99999983543596", "final_dual": "17", "normalized_gap": "0.797619047222563961808284579923535904070475708", "v36_primal": "83.9999999999994", "primal_gain": "1.6456344E-7", "copt10h_dual": "33.1143818", "dual_gain": "-16.1143818", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "numerical_global_with_exact_source_audit", "evidence": "The full source-audited global numerical bound 16.876334243370593 rounds upward to 17 on the proved integer objective lattice. The primal difference from 84 is numerical polishing, not a discrete improvement. Valid structural/site-gap cuts and complete exported-model audits are recorded; restricted primal neighborhoods never supply global bounds.", "notes": "Numerical difference shown, but frozen project attribution is not upgraded by this arithmetic audit.", "source_model_sha256": "ef0ee902bafaaa385e248146961f4ead0bb2fd1abd8e8097c10bf1c489b59f36", "selected_solution_sha256": "4c42a1ea4fab43c9473de9e5e10aeeb4970925565f2918d7ba4882a6ce13634b", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/seqsolve2short4288/README.md", "v36_source_line": "=best= seqsolve2short4288 83.9999999999994", "copt_source_line": "182 | 36000.0 8158 stop ok 15868769 | 1e+20 33.1143818 -- | seqsolve2short4288", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "Numerically better; not project-attributed", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "83.99999983543596", "dual_display": "17" }, { "instance": "seqsolve3short4288excess384", "cohort": "parallel15_20261003", "conclusion": "open", "final_primal": "-40035", "final_dual": "-41168", "normalized_gap": "0.0275213758258841818888457054022541780023319083", "v36_primal": "-40015.0", "primal_gain": "20", "copt10h_dual": "-42615.0595", "dual_gain": "1447.0595", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "numerical_global_with_exact_source_audit", "evidence": "The accepted global numerical lower bound -41168.198039877134 rounds to -41168 on the audited integer objective lattice. The original incumbent -40035 is unchanged. Linked/network extensions and unsuccessful routes remain attributed separately from the accepted complete global run.", "notes": "Numerical difference shown, but frozen project attribution is not upgraded by this arithmetic audit.", "source_model_sha256": "f21e0e0fd71f39f9297de1b7ed93e16e7ec8536896e6b0afb4bb4c93f76fd8ba", "selected_solution_sha256": "5445962d4ce6e2432b9456b3121fd7552163054e5bff1936ba6ee03e8de5e115", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/seqsolve3short4288excess384/README.md", "v36_source_line": "=best= seqsolve3short4288excess384 -40015.0", "copt_source_line": "183 | 36000.0 2074 stop ok c4eaee0 | 1e+20 -42615.0595 -- | seqsolve3short4288excess384", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "Numerically better; not project-attributed", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "-40035", "dual_display": "-41168" }, { "instance": "set3-09", "cohort": "original112", "conclusion": "open", "final_primal": null, "final_dual": null, "normalized_gap": null, "v36_primal": "176497.15", "primal_gain": null, "copt10h_dual": "134902.999", "dual_gain": null, "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "no new certified global bound", "evidence": "BOM-aware Decimal reconstruction and period/item/Hamming neighborhoods; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/set3-09/README.md", "v36_source_line": "=best= set3-09 176497.15", "copt_source_line": "184 | 36000.0 3216730 stop ok abf530de | 182379.429 134902.999 26.0 | set3-09", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "No finite primal archived", "dual_comparison": "No final dual archived", "evidence_grade": null, "primal_display": "176497.152425682499961401493852... (strict repair)", "dual_display": "no new certified global bound" }, { "instance": "set3-16", "cohort": "fresh_next10_20261004", "conclusion": "open", "final_primal": "134040.40975228781", "final_dual": "101848.66004485569", "normalized_gap": "0.240164512828062801605295970395669339006695208", "v36_primal": "134040.4097522878", "primal_gain": "-1E-11", "copt10h_dual": "104243.075", "dual_gain": "-2394.41495514431", "first_finite": false, "validation_grade": "See original-decimal Fraction check in instance package", "dual_validation_grade": "Numerical global bound with structural audits; no independent exact lower-bound certificate is claimed", "evidence": "Numerical global solver bound with structural/domain audit; not exact arithmetic optimality", "notes": "", "source_model_sha256": "09a942aeb38a5f2eebe91e78fc878a3ac2d3351d327568f6e4382edad67ab869", "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/set3-16/README.md", "v36_source_line": "=best= set3-16 134040.4097522878", "copt_source_line": "185 | 36000.0 4620889 stop ok cde51de1 | 134040.41 104243.075 22.2 | set3-16", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "134040.40975228781", "dual_display": "101848.66004485569" }, { "instance": "shipsched", "cohort": "subsequent20", "conclusion": "open", "final_primal": "111919.8337342348", "final_dual": "85777.6824670317", "normalized_gap": "0.233579253962084478655357672231151297383503721", "v36_primal": "111919.8337342348", "primal_gain": "0", "copt10h_dual": "67029.7019", "dual_gain": "18747.9805670317", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "dual skill Gurobi", "evidence": "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", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/skills-research/comparisons/per_instance_comparison.csv", "v36_source_line": "=best= shipsched 111919.8337342348", "copt_source_line": "186 | 36000.0 2796250 stop ok ff00f02f | 130497.996 67029.7019 48.6 | shipsched", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "111919.8337342348", "dual_display": "85777.6824670317" }, { "instance": "shs1014", "cohort": "parallel15_20261003", "conclusion": "open", "final_primal": "22671.197441887947", "final_dual": "22555.8775122676", "normalized_gap": "0.00508662720246433165168487335317373065970245084", "v36_primal": "22671.19742691877", "primal_gain": "-0.000014969177", "copt10h_dual": "23116.6794", "dual_gain": "-560.8018877324", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "numerical_global_with_exact_source_audit", "evidence": "The accepted global numerical bound is 22555.8775122676 from an audited network projection. Conflicting larger continuation dual values are quarantined. The displayed primal is a numerical point; the separate exact feasible witness has objective 22671.197441887947. This is numerical polishing only.", "notes": "Use the archived exact primal value rather than the rounded or numerical catalogue display; the original display is retained separately. Historical COPT lower bound exceeds the archived feasible primal. Kept as a baseline inconsistency, not a valid superiority comparison.", "source_model_sha256": "5e952fcc3e11528f903d86d8a0a3eb54be694743c5e5a096fbaaf6edb4bd02a2", "selected_solution_sha256": "b2e0be3062543e18015ed81303376e0e5a0a3244e92cf72416b5b057798f27fa", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/shs1014/README.md", "v36_source_line": "=best= shs1014 22671.19742691877", "copt_source_line": "187 | 36000.0 12846 stop fail d30b9b08 | 23122.4633 23116.6794 0.0250 | shs1014", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "Above v36 primal", "dual_comparison": "Historical bound exceeds feasible primal", "evidence_grade": null, "primal_display": "22671.197441887947", "dual_display": "22555.8775122676" }, { "instance": "shs1042", "cohort": "original112", "conclusion": "open", "final_primal": "11070.7016616034", "final_dual": "10905.7397762548", "normalized_gap": "0.0149007615227080483871055662804407046974781700", "v36_primal": "11070.7015802402", "primal_gain": "-0.0000813632", "copt10h_dual": "11218.5138", "dual_gain": "-312.7740237452", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "10,905.7397762548 (solver)", "evidence": "1.4901% local reproducible gap; article partition and truck-radius-2 neighborhoods closed; global optimum open", "notes": "Historical COPT lower bound exceeds the archived feasible primal. Kept as a baseline inconsistency, not a valid superiority comparison.", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/shs1042/README.md", "v36_source_line": "=best= shs1042 11070.7015802402", "copt_source_line": "188 | 32085.1 17298 ok fail 6f81d6b7 | 11218.5138 11218.5138 0.0000 | shs1042", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "Above v36 primal", "dual_comparison": "Historical bound exceeds feasible primal", "evidence_grade": null, "primal_display": "11070.7016616034", "dual_display": "10905.7397762548" }, { "instance": "siena1", "cohort": "original112", "conclusion": "open", "final_primal": "10449008.9", "final_dual": "10219502.195349596", "normalized_gap": "0.0219644472357951575675277681120551060110590967", "v36_primal": "10341586.2", "primal_gain": "-107422.7", "copt10h_dual": "10214130.1", "dual_gain": "5372.095349596", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "10,219,502.195349596", "evidence": "Feasible; structure-specific decomposition attempts tested; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/siena1/README.md", "v36_source_line": "=best= siena1 10341586.2", "copt_source_line": "189 | 36000.0 285500 stop ok def48294 | 18068475.2 10214130.1 43.5 | siena1", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "Above v36 primal", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "10449008.9", "dual_display": "10219502.195349596" }, { "instance": "sing11", "cohort": "original112", "conclusion": "open", "final_primal": "19108639.4603941927675439822", "final_dual": "18853382.0323116", "normalized_gap": "0.0133582209561102396484186469993801324648805790", "v36_primal": "19108639.43924989", "primal_gain": "-0.0211443027675439822", "copt10h_dual": "18776564.1", "dual_gain": "76817.9323116", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "18,853,382.0323116 (solver; 1.3358% gap)", "evidence": "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", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/sing11/README.md", "v36_source_line": "=best= sing11 19108639.43924989", "copt_source_line": "190 | 36000.0 192500 stop ok afb60fc6 | 19315463.9 18776564.1 2.8 | sing11", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "Above v36 primal", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "19108639.4603941927675439822", "dual_display": "18853382.0323116" }, { "instance": "sing17", "cohort": "original112", "conclusion": "open", "final_primal": "36161699.377938689354636741", "final_dual": "35556219.47983733", "normalized_gap": "0.0167436793214078557793847707638148585208691008", "v36_primal": "36161699.37883251", "primal_gain": "0.000893820645363259", "copt10h_dual": "35599182.4", "dual_gain": "-42962.92016267", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "35,556,219.47983733 (locally reproducible solver LB; 1.6744% gap)", "evidence": "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", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/sing17/README.md", "v36_source_line": "=best= sing17 36161699.37883251", "copt_source_line": "191 | 36000.0 48732 stop ok 2bd392f8 | 39229290.5 35599182.4 9.3 | sing17", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "No counted improvement", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "36161699.377938689354636741", "dual_display": "35556219.47983733" }, { "instance": "sing5", "cohort": "original112", "conclusion": "open", "final_primal": "18778435.60767737", "final_dual": "18462676.77864", "normalized_gap": "0.0168149698747149765091698842473222000333263097", "v36_primal": "18778435.60767737", "primal_gain": "0", "copt10h_dual": "18605207.3", "dual_gain": "-142530.52136", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "18,462,676.77864 (locally reproducible solver LB; 1.6815% gap)", "evidence": "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", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/sing5/README.md", "v36_source_line": "=best= sing5 18778435.60767737", "copt_source_line": "192 | 36000.0 158599 stop ok e6796079 | 18812559.3 18605207.3 1.1 | sing5", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "18778435.60767737", "dual_display": "18462676.77864" }, { "instance": "snp-04-052-052", "cohort": "parallel10_20261004", "conclusion": "open", "final_primal": "881740229.202574", "final_dual": "880540652.1100941", "normalized_gap": "0.00136046542139148000439825948963141499370945197", "v36_primal": "881796490.7470638", "primal_gain": "56261.5444898", "copt10h_dual": "843534432", "dual_gain": "37006220.1100941", "first_finite": false, "validation_grade": "tolerance_1e-9", "dual_validation_grade": "numerical", "evidence": "Joint procurement/production/inventory neighborhoods improve the strict baseline by17997.815490. Inventory-prefix, resource-grid and piecewise-capacity cuts, with independently justified initial-chain integrality, strengthen the numerical global bound.", "notes": "", "source_model_sha256": "b14fae320fb6f7912cb767088d611966a3367f49b7e6c151b973c5a8a8514d31", "selected_solution_sha256": "ec7e9932d2fe05d1fce587bd809cdf65256abd95e7b6e73b8331abeacf5c4475", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/snp-04-052-052/README.md", "v36_source_line": "=best= snp-04-052-052 881796490.7470638", "copt_source_line": "193 | 36000.0 883419 stop ok b8b2d66 | 4.70676615e+09 843534432 82.1 | snp-04-052-052", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "Attributed improvement", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "881740229.202574", "dual_display": "880540652.1100941" }, { "instance": "snp-06-004-052", "cohort": "fresh_r01_r10_20261006", "conclusion": "open", "final_primal": "1869531794.24497734141876132645546088912270632", "final_dual": "1869530183.5742903", "normalized_gap": "8.61536932401782803856713451185008940852943677E-7", "v36_primal": "1869531794.272782", "primal_gain": "0.0278046585812386735445391108772936801193614046", "copt10h_dual": "1869529780", "dual_gain": "403.5742903", "first_finite": false, "validation_grade": "Exact rational original-MPS feasibility, zero residual", "dual_validation_grade": "numerical_solver", "evidence": "Original strict rational witness, separately graded numerical and independent exact dual evidence, verified core final-result packages; full trial archives retained locally.", "notes": "Use the archived exact primal value rather than the rounded or numerical catalogue display; the original display is retained separately.", "source_model_sha256": "643207b21f1343ae8845dbcf34e5de3249926b5b643d3d2542afbd0fbc67acfb", "selected_solution_sha256": "4783aea3956cfcd7eb29801029b9d942c86988b7cc062f2a98c312fefc6d7c95", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/snp-06-004-052/README.md", "v36_source_line": "=best= snp-06-004-052 1869531794.272782", "copt_source_line": "194 | 12611.2 558843 stop ok 5b7998de | 1.86955522e+09 1.86952978e+09 0.0014 | snp-06-004-052", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No counted improvement", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "1869531794.24497734141876132645546088912270632", "dual_display": "1869530183.5742903" }, { "instance": "snp-10-004-052", "cohort": "fresh_r01_r10_20261006", "conclusion": "open", "final_primal": "5906642753.44879653706486474742953574151232792", "final_dual": "5906641320.228776", "normalized_gap": "2.42645455356213994587770095558880477166846681E-7", "v36_primal": "5906642759.088037", "primal_gain": "5.63924046293513525257046425848767208245552992", "copt10h_dual": "5906557160", "dual_gain": "84160.228776", "first_finite": false, "validation_grade": "Exact rational original-MPS feasibility, zero residual", "dual_validation_grade": "numerical_solver", "evidence": "Original strict rational witness, separately graded numerical and independent exact dual evidence, verified core final-result packages; full trial archives retained locally.", "notes": "Use the archived exact primal value rather than the rounded or numerical catalogue display; the original display is retained separately.", "source_model_sha256": "1f26af8a955ec18afa7d7c74cb4601d01a1fd1249d00862e26eedc0cd689160d", "selected_solution_sha256": "f432a91cccdfa312e1064b1d12bb267854622b853b4f19cbe2fbee0cf51f34c2", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/snp-10-004-052/README.md", "v36_source_line": "=best= snp-10-004-052 5906642759.088037", "copt_source_line": "195 | 18148.5 1218940 stop ok d709d456 | 5.90743282e+09 5.90655716e+09 0.0148 | snp-10-004-052", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "Attributed improvement", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "5906642753.44879653706486474742953574151232792", "dual_display": "5906641320.228776" }, { "instance": "snp-10-052-052", "cohort": "parallel2_20260926", "conclusion": "open", "final_primal": "6059234264.4986582121085450028589365556815", "final_dual": "6055563163.869654", "normalized_gap": "0.000605868739968244060929739506540016387342879687", "v36_primal": "6059860690.259938", "primal_gain": "626425.7612797878914549971410634443185", "copt10h_dual": "6011665050", "dual_gain": "43898113.869654", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "Numerical global solver bound on source-audited formulations", "evidence": "Concurrent primal/dual, up to 8 cores per role, 2-2.5 hours; latest public seed also improved; no optimality proof", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/snp-10-052-052/README.md", "v36_source_line": "=best= snp-10-052-052 6059860690.259938", "copt_source_line": "196 | 36000.0 465147 stop ok 2ef0d8b5 | 1.81925619e+10 6.01166505e+09 67.0 | snp-10-052-052", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "Attributed improvement", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "6059234264.4986582121085450028589365556815", "dual_display": "6055563163.869654" }, { "instance": "sorrell7", "cohort": "original112", "conclusion": "open", "final_primal": "-198", "final_dual": "-210", "normalized_gap": "0.0571428571428571428571428571428571428571428571", "v36_primal": "-198.0", "primal_gain": "0", "copt10h_dual": "-223.02692", "dual_gain": "13.02692", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "-210 published; -216 study solver", "evidence": "Feasible; any improvement must change at least 27 bits; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/sorrell7/README.md", "v36_source_line": "=best= sorrell7 -198.0", "copt_source_line": "197 | 36000.0 24957 stop ok 792fea53 | -194 -223.02692 13.0 | sorrell7", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "-198", "dual_display": "-210" }, { "instance": "splan1", "cohort": "parallel10_20260928", "conclusion": "open", "final_primal": "-194385.9533424612", "final_dual": "-201513.19679922966", "normalized_gap": "0.0353686188794346289774486058477659352929721772", "v36_primal": "-194377.6306530872", "primal_gain": "8.322689374", "copt10h_dual": "-201881.851", "dual_gain": "368.65420077034", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "Accepted global solver or structural bound", "evidence": "Five substantive primal improvements and two optima. Sutlej strict optimum -1048730.8; numerical-tolerance incumbent separate. Vouga large-M tolerance artifact excluded.", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/splan1/README.md", "v36_source_line": "=best= splan1 -194377.6306530872", "copt_source_line": "198 | 36000.0 1 stop ok 696ef7de | 3062987.62 -201881.851 106.6 | splan1", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "Attributed improvement", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "-194385.9533424612", "dual_display": "-201513.19679922966" }, { "instance": "stockholm", "cohort": "subsequent20", "conclusion": "open", "final_primal": "122", "final_dual": "106", "normalized_gap": "0.131147540983606557377049180327868852459016393", "v36_primal": "120.9999950202855", "primal_gain": "-1.0000049797145", "copt10h_dual": "93.5364881", "dual_gain": "12.4635119", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "dual skill Gurobi", "evidence": "historically accepted numerical witness; not uniformly revalidated; untouched-original audit plus exact-recourse monotone combinatorial Benders", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/skills-research/comparisons/per_instance_comparison.csv", "v36_source_line": "=best= stockholm 120.9999950202855", "copt_source_line": "199 | 36000.0 459573 stop ok 3f10d68f | 137 93.5364881 31.7 | stockholm", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "Above v36 primal", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "122", "dual_display": "106" }, { "instance": "supportcase22", "cohort": "subsequent20", "conclusion": "open", "final_primal": "110", "final_dual": "6.4", "normalized_gap": "0.941818181818181818181818181818181818181818182", "v36_primal": "110.0", "primal_gain": "0", "copt10h_dual": "0.88353308", "dual_gain": "5.51646692", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "dual skill Gurobi; dual skill COPT terminal", "evidence": "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", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/skills-research/comparisons/per_instance_comparison.csv", "v36_source_line": "=best= supportcase22 110.0", "copt_source_line": "200 | 36000.0 765 stop ok c8e22663 | 1e+20 0.88353308 -- | supportcase22", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "110", "dual_display": "6.4" }, { "instance": "supportcase23", "cohort": "fresh_next10_20261005", "conclusion": "open", "final_primal": "-12160.659354160929084790008020999953", "final_dual": "-12345.87023419769", "normalized_gap": "0.0150018489197895776050029376489973213220936662", "v36_primal": "-12160.6593571676", "primal_gain": "-0.000003006670915209991979000047", "copt10h_dual": "-12633.1586", "dual_gain": "287.28836580231", "first_finite": false, "validation_grade": "Exact rational original-MPS feasibility, zero residual", "dual_validation_grade": "See separately reported numerical and independent exact bounds", "evidence": "Public starting material required exact repair/canonicalization. No substantive primal improvement. Numerical dual is separate from the weaker independently replayed rational branch certificate.", "notes": "", "source_model_sha256": "f953d885be28a3e986b64c7f54953fb846fb5647ccea66abf718b4c4432c1f18", "selected_solution_sha256": "c8ad276a124e8eaf4392f2866ea1a3bd186da48cbd181a987b9906e986ccd95e", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/supportcase23/README.md", "v36_source_line": "=best= supportcase23 -12160.6593571676", "copt_source_line": "201 | 36000.0 533048 stop ok 38d104b0 | -12160.6594 -12633.1586 3.7 | supportcase23", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "Above v36 primal", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "-12160.659354160929084790008020999953", "dual_display": "-12345.87023419769" }, { "instance": "supportcase30", "cohort": "original112", "conclusion": "open", "final_primal": null, "final_dual": null, "normalized_gap": null, "v36_primal": null, "primal_gain": null, "copt10h_dual": "0", "dual_gain": null, "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "37 covering rows remain", "evidence": "Global feasibility open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/supportcase30/README.md", "v36_source_line": "=unkn= supportcase30 ", "copt_source_line": "202 | 36000.0 1698587 stop ok 35083209 | 1e+20 0 -- | supportcase30", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "No finite primal archived", "dual_comparison": "No final dual archived", "evidence_grade": null, "primal_display": "no feasible point; best partial 987/1,024", "dual_display": "37 covering rows remain" }, { "instance": "supportcase31", "cohort": "fresh_next10_20261005", "conclusion": "optimal", "final_primal": "-3720097.298", "final_dual": "-3720097.298", "normalized_gap": "0", "v36_primal": "-3720096.597", "primal_gain": "0.701", "copt10h_dual": "-3721177.76", "dual_gain": "1080.462", "first_finite": false, "validation_grade": "Exact rational original-MPS feasibility, zero residual", "dual_validation_grade": "See separately reported numerical and independent exact bounds", "evidence": "Primal frozen archive records earlier numerical closure; the later dual archive supplies the independently exact global proof. Both actual early-closure durations are retained.", "notes": "", "source_model_sha256": "82bbd5a6f4e48f04df6bf400062cdbbd8453e0bd1ba6360de8d80abb8dae5f22", "selected_solution_sha256": "cdeff359072b51cdbfd6c8af2c645da5d52a1da3657d58521f24d12e88a066a9", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/supportcase31/README.md", "v36_source_line": "=best= supportcase31 -3720096.597", "copt_source_line": "203 | 36000.0 7421 stop ok 9343b1bc | -3719617.69 -3721177.76 0.0419 | supportcase31", "primal_improvement": true, "dual_improvement": true, "primal_comparison": "Attributed improvement", "dual_comparison": "Improved", "evidence_grade": "IV", "primal_display": "-3720097.298", "dual_display": "-3720097.298" }, { "instance": "supportcase35", "cohort": "fresh_next10_20261004", "conclusion": "unbounded", "final_primal": null, "final_dual": null, "normalized_gap": null, "v36_primal": "-164208.643099287", "primal_gain": null, "copt10h_dual": null, "dual_gain": null, "first_finite": false, "validation_grade": "See original-decimal Fraction check in instance package", "dual_validation_grade": "Exact unboundedness", "evidence": "See instance evidence and portable replay", "notes": "", "source_model_sha256": "da6e61781865b84b8c605e6d23f49f440a06f22aca5e38a78bf6cb9166cf5fc2", "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/supportcase35/README.md", "v36_source_line": "=best= supportcase35 -164208.643099287", "copt_source_line": "204 | 41.7 543 ok better 119889cf | -1e+20 -1e+20 0.0000 | supportcase35", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "Unboundedness certificate", "dual_comparison": "Unboundedness certificate", "evidence_grade": "IV", "primal_display": "instances/supportcase35/README.md", "dual_display": "instances/supportcase35/README.md" }, { "instance": "supportcase38", "cohort": "fresh_next10_20261004", "conclusion": "open", "final_primal": "32564.500162611843", "final_dual": "32476.03269588074", "normalized_gap": "0.00271668431234436140952557971223165494174948017", "v36_primal": "32873.9683458331", "primal_gain": "309.468183221257", "copt10h_dual": "32476.0327", "dual_gain": "-0.00000411926", "first_finite": false, "validation_grade": "See original-decimal Fraction check in instance package", "dual_validation_grade": "Numerical global bound with structural audits; no independent exact lower-bound certificate is claimed", "evidence": "167 audited 15-node monotone binary chains; joint threshold/continuous neighborhoods; fixed-integer crossover and original-model warm global search; adaptive continuous-variable LP pricing", "notes": "The bound difference is within half of the historical table last displayed digit; do not interpret it as a robust difference.", "source_model_sha256": "6eaa55e3893355ca83ddec5ed657ed5b3c6591019295d53ad74b330467c98734", "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/supportcase38/README.md", "v36_source_line": "=best= supportcase38 32873.9683458331", "copt_source_line": "205 | 1006.6 0 stop ok 157bad68 | 8868662.5 32476.0327 99.6 | supportcase38", "primal_improvement": true, "dual_improvement": false, "primal_comparison": "Attributed improvement", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "32564.500162611843", "dual_display": "32476.03269588074" }, { "instance": "supportcase39", "cohort": "original112", "conclusion": "open", "final_primal": "-1085083.85682057046", "final_dual": "-1085325.230699", "normalized_gap": "0.000222397739960476160466321384451775208679345941", "v36_primal": "-1085080.906934894", "primal_gain": "2.94988567646", "copt10h_dual": "-1085222.66", "dual_gain": "-102.570699", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "-1,085,325.230699 root", "evidence": "New strict incumbent from Gaussian-boundary block search; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/supportcase39/README.md", "v36_source_line": "=best= supportcase39 -1085080.906934894", "copt_source_line": "206 | 20875.8 39061815 stop ok 48bef472 | -1085031.14 -1085222.66 0.0176 | supportcase39", "primal_improvement": true, "dual_improvement": false, "primal_comparison": "Attributed improvement", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "-1085083.85682057046", "dual_display": "-1085325.230699" }, { "instance": "supportcase41", "cohort": "fresh_r01_r10_20261006", "conclusion": "open", "final_primal": "32.0007683248472060879745287082085960948652024", "final_dual": "31.81114546990636", "normalized_gap": "0.00592557194302151116531641394493574633807409953", "v36_primal": "32.00076832127569", "primal_gain": "-3.57151608797452870820859609486520236249703127E-9", "copt10h_dual": "28", "dual_gain": "3.81114546990636", "first_finite": false, "validation_grade": "Exact rational original-MPS feasibility, zero residual", "dual_validation_grade": "numerical_solver", "evidence": "Original strict rational witness, separately graded numerical and independent exact dual evidence, verified core final-result packages; full trial archives retained locally.", "notes": "", "source_model_sha256": "9e8fbc3ffe0a29433e1ac3b0e26c4019af0861a2b5c57a5809386f1956a78cf2", "selected_solution_sha256": "f5b3437de2e0952e0a86fa16f693e91fa1dbe2498c90f1e961a1399b3bfce33f", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/supportcase41/README.md", "v36_source_line": "=best= supportcase41 32.00076832127569", "copt_source_line": "207 | 36000.0 840091 stop ok 8f6a74d9 | 35.1759259 28 20.4 | supportcase41", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "32.0007683248472060879745287082085960948652024", "dual_display": "31.81114546990636" }, { "instance": "t1717", "cohort": "fresh_next10_20261005", "conclusion": "open", "final_primal": "158260", "final_dual": "137323.70814993372", "normalized_gap": "0.132290483066259825603437381524074308100593959", "v36_primal": "158260", "primal_gain": "0", "copt10h_dual": "137668.992", "dual_gain": "-345.28385006628", "first_finite": false, "validation_grade": "Exact rational original-MPS feasibility, zero residual", "dual_validation_grade": "See separately reported numerical and independent exact bounds", "evidence": "No primal gain after separately recorded public-solution integer canonicalization. Cheapest-support equivalence, valid subset/clique cuts and pair branching were audited. Numerical global bound is stronger than the independently exact135070 certificate.", "notes": "", "source_model_sha256": "741e23adb12610f23649c0ff420f8bc38b10443928d80dddca557f5d43b14a4a", "selected_solution_sha256": "0e33439482109b5f628ef2ad63004c56014f3886f73028567d1486714004e893", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/t1717/README.md", "v36_source_line": "=best= t1717 158260", "copt_source_line": "208 | 36000.0 1206683 stop ok 58784da2 | 293517 137668.992 53.1 | t1717", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "158260", "dual_display": "137323.70814993372" }, { "instance": "t1722", "cohort": "original112", "conclusion": "open", "final_primal": "108953", "final_dual": null, "normalized_gap": null, "v36_primal": "108953.0", "primal_gain": "0", "copt10h_dual": "103989.69", "dual_gain": null, "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "no new bound", "evidence": "Exact connected exchanges through five blocks and association-guided repair completed; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/t1722/README.md", "v36_source_line": "=best= t1722 108953.0", "copt_source_line": "209 | 36000.0 5767642 stop ok 27dc39b7 | 119779 103989.69 13.2 | t1722", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "No difference above 1e-7", "dual_comparison": "No final dual archived", "evidence_grade": null, "primal_display": "108953", "dual_display": "no new bound" }, { "instance": "tokyometro", "cohort": "original112", "conclusion": "open", "final_primal": "8263.1", "final_dual": "7117.5", "normalized_gap": "0.138640461812152824000677711754668344810059179", "v36_primal": "8263.099999999999", "primal_gain": "-1E-12", "copt10h_dual": "6817.12644", "dual_gain": "300.37356", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "7,117.5 (solver)", "evidence": "Translation and impossible-direction audit; 13.864% numerical gap; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/tokyometro/README.md", "v36_source_line": "=best= tokyometro 8263.099999999999", "copt_source_line": "210 | 36000.0 4316525 stop ok e6a241e4 | 10230.8 6817.12644 33.4 | tokyometro", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "8263.1", "dual_display": "7117.5" }, { "instance": "tpl-tub-ws1617", "cohort": "parallel15_20261003", "conclusion": "open", "final_primal": "121065", "final_dual": "120885", "normalized_gap": "0.00148680460909428819229339610952793953661256350", "v36_primal": "121066.0", "primal_gain": "1", "copt10h_dual": "120987.401", "dual_gain": "-102.401", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "numerical_global_with_exact_source_audit", "evidence": "The completed full-original COPT API lower bound 120884.16551379114 rounds to 120885 through an independently audited optimum-equivalent integer-objective projection. The source proof covers the necessary continuous-variable rounding without deleting costs or constraints. Frozen public baseline is 121065, not the historical headline 121066.", "notes": "Numerical difference shown, but frozen project attribution is not upgraded by this arithmetic audit.", "source_model_sha256": "b1364d3147834de324008686b08508b915e702096141c469b952f9b659691c97", "selected_solution_sha256": "8dd90e723fe9f16dcd721c52e4d1f6ff5b08655d84f2c2aba89888d884a9fc25", "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/tpl-tub-ws1617/README.md", "v36_source_line": "=best= tpl-tub-ws1617 121066.0", "copt_source_line": "211 | 36000.0 255 stop ok 5abfd92a | 561224 120987.401 78.4 | tpl-tub-ws1617", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "Numerically better; not project-attributed", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "121065", "dual_display": "120885" }, { "instance": "uccase10", "cohort": "parallel8_20260926", "conclusion": "open", "final_primal": "39133.58411", "final_dual": "39122.06011237759", "normalized_gap": "0.000294478461007235352867350743662819592427053061", "v36_primal": "39133.58410997513", "primal_gain": "-2.487E-8", "copt10h_dual": "39113.5635", "dual_gain": "8.49661237759", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "Valid global solver bound or stronger independently exact bound", "evidence": "Global solver numerical optimality accepted; exact certificate supplementary. Experiment initial primal improvement: 0", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/uccase10/README.md", "v36_source_line": "=best= uccase10 39133.58410997513", "copt_source_line": "212 | 36000.0 667131 stop ok 4ea476f8 | 39142.7662 39113.5635 0.0746 | uccase10", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "39133.58411", "dual_display": "39122.06011237759" }, { "instance": "xmas10", "cohort": "fresh_next10_20261004", "conclusion": "open", "final_primal": "-497", "final_dual": "-507", "normalized_gap": "0.0197238658777120315581854043392504930966469428", "v36_primal": "-497.0", "primal_gain": "0", "copt10h_dual": "-516.336258", "dual_gain": "9.336258", "first_finite": false, "validation_grade": "See original-decimal Fraction check in instance package", "dual_validation_grade": "Exact integer/rational certificate or complete DP replay", "evidence": "See instance evidence and portable replay", "notes": "The independently replayed exact forest-strip bound -507 improves the publicly reported family bound -511 by 4. The best completed solver-only numerical result remains -511. Model validity and fingerprint checks pass. Keep evidence grades separate.", "source_model_sha256": "84d3f349b4da1bce21265ebc5cc702d9d8f9e0fceae5ae6343ba3823ab171f00", "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/xmas10/README.md", "v36_source_line": "=best= xmas10 -497.0", "copt_source_line": "214 | 36000.0 2568122 stop ok 2444c154 | -453 -516.336258 12.3 | xmas10", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "-497", "dual_display": "-507" }, { "instance": "xmas10-2", "cohort": "original112", "conclusion": "open", "final_primal": "-497", "final_dual": "-515", "normalized_gap": "0.0349514563106796116504854368932038834951456311", "v36_primal": "-497", "primal_gain": "0", "copt10h_dual": "-515.926191", "dual_gain": "0.926191", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "511 cells official; 515 study solver", "evidence": "Best known path reproduced; extensive cell-projection/LNS search; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/xmas10-2/README.md", "v36_source_line": "=best= xmas10-2 -497", "copt_source_line": "213 | 36000.0 2584602 stop ok c959979a | -467 -515.926191 9.5 | xmas10-2", "primal_improvement": false, "dual_improvement": true, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Improved", "evidence_grade": null, "primal_display": "-497", "dual_display": "-515" }, { "instance": "z26", "cohort": "original112", "conclusion": "open", "final_primal": "-1198", "final_dual": "-1646", "normalized_gap": "0.272174969623329283110571081409477521263669502", "v36_primal": "-1198.0", "primal_gain": "0", "copt10h_dual": "-1273.9627", "dual_gain": "-372.0373", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "-1,646 (strict)", "evidence": "Exact MPS-to-MIS interval; global optimum open", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/instances/z26/README.md", "v36_source_line": "=best= z26 -1198.0", "copt_source_line": "215 | 36000.0 544 stop ok 348f3593 | -1131 -1273.9627 11.2 | z26", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "-1198", "dual_display": "-1646" }, { "instance": "zeil", "cohort": "subsequent20", "conclusion": "open", "final_primal": "1081.3584999996644", "final_dual": "833.8312541332446", "normalized_gap": "0.228903962808353215117760190851594101604648038", "v36_primal": "1081.358500000008", "primal_gain": "3.436E-10", "copt10h_dual": "834.502247", "dual_gain": "-0.6709928667554", "first_finite": false, "validation_grade": "Historical evidence grade; see instance report", "dual_validation_grade": "general skill Gurobi", "evidence": "historically accepted numerical witness; not uniformly revalidated; exact w projection with support cuts", "notes": "", "source_model_sha256": null, "selected_solution_sha256": null, "instance_evidence_url": "https://github.com/Huangyc98/MIPLIB_openproblem/blob/organize/complete-results-20260921/skills-research/comparisons/per_instance_comparison.csv", "v36_source_line": "=best= zeil 1081.358500000008", "copt_source_line": "216 | 36000.0 862 stop ok 4e5ce3a5 | 1363.5585 834.502247 38.8 | zeil", "primal_improvement": false, "dual_improvement": false, "primal_comparison": "No difference above 1e-7", "dual_comparison": "Below historical COPT bound", "evidence_grade": null, "primal_display": "1081.3584999996644", "dual_display": "833.8312541332446" } ], "provenance": { "result_snapshot": "2026-10-06", "sources": [ { "role": "final_catalogue", "filename": "catalogue.json", "sha256": "7d9a8de4f815e38777a5cd8f33d3fbd5bc755010f02054ffac0bc1423c8243f5" }, { "role": "frozen_v36", "filename": "miplib2017-v36.solu", "sha256": "9236602294c1a5aca5248b6f7d03689a7533ea3cb3f3d92cff962e752e20af84" }, { "role": "historical_COPT10h", "filename": "source_extraction.json", "sha256": "35b7ac7662c35c017c39dcdcaede2bb95685bf4224ec4b7d3e5ec785e98648b4" } ], "primal_baseline": "MIPLIB 2017 v36", "dual_baseline": "Historical COPT 10-hour results", "comparison_tolerance": "1e-7", "notes": "Project-attributed primal improvements and accepted dual comparisons are recorded per instance. Categories overlap. Evidence qualifications are retained in each result." } }