{ "meta": { "updated": "2026-11-13", "sources": { "PESPlib": "https://timpasslib.aalto.fi/pesplib.html", "TimPassLib": "https://timpasslib.aalto.fi/solutions.html", "DISPLIB": "https://displib.github.io/", "MIPLIB 2017": "https://miplib.zib.de/downloads/miplib2017-v37.solu", "Stärk et al.": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "Fuchs et al.": "https://doi.org/10.1016/j.jrtpm.2026.100600" } }, "instances": [ { "instance": "R1L1", "library": "PESPlib", "set": "railway", "n1": 3664, "n2": 6386, "size_kind": "ev_act", "best_known": 29824049, "best_bound": 20230655, "gap": 0.321666, "status": "open", "record": "Ramos, 2026-08-02", "source": "https://timpasslib.aalto.fi/pesplib.html", "llm4rail": "pending", "upper_evidence": "library_reported", "bound_record": "PESPlib", "bound_source": "https://timpasslib.aalto.fi/pesplib.html", "bound_evidence": "publisher_unverified", "family": "R1L1" }, { "instance": "R1L2", "library": "PESPlib", "set": "railway", "n1": 3668, "n2": 6544, "size_kind": "ev_act", "best_known": 30055723, "best_bound": 19414800, "gap": 0.35404, "status": "open", "record": "Ramos, 2026-08-13", "source": "https://timpasslib.aalto.fi/pesplib.html", "llm4rail": "pending", "upper_evidence": "library_reported", "bound_record": "PESPlib", "bound_source": "https://timpasslib.aalto.fi/pesplib.html", "bound_evidence": "publisher_unverified", "family": "R1L2" }, { "instance": "R1L3", "library": "PESPlib", "set": "railway", "n1": 4184, "n2": 7032, "size_kind": "ev_act", "best_known": 28339653, "best_bound": 18786300, "gap": 0.337102, "status": "open", "record": "Ramos, 2026-08-13", "source": "https://timpasslib.aalto.fi/pesplib.html", "llm4rail": "pending", "upper_evidence": "library_reported", "bound_record": "PESPlib", "bound_source": "https://timpasslib.aalto.fi/pesplib.html", "bound_evidence": "publisher_unverified", "family": "R1L3" }, { "instance": "R1L4", "library": "PESPlib", "set": "railway", "n1": 4760, "n2": 8529, "size_kind": "ev_act", "best_known": 25877852, "best_bound": 16822200, "gap": 0.349938, "status": "open", "record": "Ramos, 2026-08-13", "source": "https://timpasslib.aalto.fi/pesplib.html", "llm4rail": "pending", "upper_evidence": "library_reported", "bound_record": "PESPlib", "bound_source": "https://timpasslib.aalto.fi/pesplib.html", "bound_evidence": "publisher_unverified", "family": "R1L4" }, { "instance": "R2L1", "library": "PESPlib", "set": "railway", "n1": 4156, "n2": 7362, "size_kind": "ev_act", "best_known": 39943601, "best_bound": 25082000, "gap": 0.372065, "status": "open", "record": "Ramos, 2026-08-13", "source": "https://timpasslib.aalto.fi/pesplib.html", "llm4rail": "pending", "upper_evidence": "library_reported", "bound_record": "PESPlib", "bound_source": "https://timpasslib.aalto.fi/pesplib.html", "bound_evidence": "publisher_unverified", "family": "R2L1" }, { "instance": "R2L2", "library": "PESPlib", "set": "railway", "n1": 4204, "n2": 7564, "size_kind": "ev_act", "best_known": 38783647, "best_bound": 24867400, "gap": 0.358817, "status": "open", "record": "Ramos, 2026-08-13", "source": "https://timpasslib.aalto.fi/pesplib.html", "llm4rail": "pending", "upper_evidence": "library_reported", "bound_record": "PESPlib", "bound_source": "https://timpasslib.aalto.fi/pesplib.html", "bound_evidence": "publisher_unverified", "family": "R2L2" }, { "instance": "R2L3", "library": "PESPlib", "set": "railway", "n1": 5048, "n2": 8287, "size_kind": "ev_act", "best_known": 36765606, "best_bound": 23152300, "gap": 0.370273, "status": "open", "record": "Ramos, 2026-08-13", "source": "https://timpasslib.aalto.fi/pesplib.html", "llm4rail": "pending", "upper_evidence": "library_reported", "bound_record": "PESPlib", "bound_source": "https://timpasslib.aalto.fi/pesplib.html", "bound_evidence": "publisher_unverified", "family": "R2L3" }, { "instance": "R2L4", "library": "PESPlib", "set": "railway", "n1": 7660, "n2": 13174, "size_kind": "ev_act", "best_known": 31497313, "best_bound": 18941500, "gap": 0.398631, "status": "open", "record": "Ramos, 2026-08-02", "source": "https://timpasslib.aalto.fi/pesplib.html", "llm4rail": "pending", "upper_evidence": "library_reported", "bound_record": "PESPlib", "bound_source": "https://timpasslib.aalto.fi/pesplib.html", "bound_evidence": "publisher_unverified", "family": "R2L4" }, { "instance": "R3L1", "library": "PESPlib", "set": "railway", "n1": 4516, "n2": 9146, "size_kind": "ev_act", "best_known": 42089847, "best_bound": 25077800, "gap": 0.404184, "status": "open", "record": "Ramos, 2026-08-13", "source": "https://timpasslib.aalto.fi/pesplib.html", "llm4rail": "pending", "upper_evidence": "library_reported", "bound_record": "PESPlib", "bound_source": "https://timpasslib.aalto.fi/pesplib.html", "bound_evidence": "publisher_unverified", "family": "R3L1" }, { "instance": "R3L2", "library": "PESPlib", "set": "railway", "n1": 4452, "n2": 9252, "size_kind": "ev_act", "best_known": 43281389, "best_bound": 25272600, "gap": 0.416086, "status": "open", "record": "Ramos, 2026-08-13", "source": "https://timpasslib.aalto.fi/pesplib.html", "llm4rail": "pending", "upper_evidence": "library_reported", "bound_record": "PESPlib", "bound_source": "https://timpasslib.aalto.fi/pesplib.html", "bound_evidence": "publisher_unverified", "family": "R3L2" }, { "instance": "R3L3", "library": "PESPlib", "set": "railway", "n1": 5724, "n2": 11170, "size_kind": "ev_act", "best_known": 37654146, "best_bound": 21642500, "gap": 0.425229, "status": "open", "record": "Ramos, 2026-08-13", "source": "https://timpasslib.aalto.fi/pesplib.html", "llm4rail": "pending", "upper_evidence": "library_reported", "bound_record": "PESPlib", "bound_source": "https://timpasslib.aalto.fi/pesplib.html", "bound_evidence": "publisher_unverified", "family": "R3L3" }, { "instance": "R3L4", "library": "PESPlib", "set": "railway", "n1": 8180, "n2": 15658, "size_kind": "ev_act", "best_known": 31553558, "best_bound": 16479500, "gap": 0.477729, "status": "open", "record": "Ramos, 2026-08-13", "source": "https://timpasslib.aalto.fi/pesplib.html", "llm4rail": "pending", "upper_evidence": "library_reported", "bound_record": "PESPlib", "bound_source": "https://timpasslib.aalto.fi/pesplib.html", "bound_evidence": "publisher_unverified", "family": "R3L4" }, { "instance": "R4L1", "library": "PESPlib", "set": "railway", "n1": 4932, "n2": 10263, "size_kind": "ev_act", "best_known": 46345944, "best_bound": 27243900, "gap": 0.412162, "status": "open", "record": "Ramos, 2026-08-13", "source": "https://timpasslib.aalto.fi/pesplib.html", "llm4rail": "pending", "upper_evidence": "library_reported", "bound_record": "PESPlib", "bound_source": "https://timpasslib.aalto.fi/pesplib.html", "bound_evidence": "publisher_unverified", "family": "R4L1" }, { "instance": "R4L2", "library": "PESPlib", "set": "railway", "n1": 5048, "n2": 10755, "size_kind": "ev_act", "best_known": 46062018, "best_bound": 26368200, "gap": 0.42755, "status": "open", "record": "Ramos, 2026-08-13", "source": "https://timpasslib.aalto.fi/pesplib.html", "llm4rail": "pending", "upper_evidence": "library_reported", "bound_record": "PESPlib", "bound_source": "https://timpasslib.aalto.fi/pesplib.html", "bound_evidence": "publisher_unverified", "family": "R4L2" }, { "instance": "R4L3", "library": "PESPlib", "set": "railway", "n1": 6368, "n2": 13239, "size_kind": "ev_act", "best_known": 43245224, "best_bound": 22701400, "gap": 0.475054, "status": "open", "record": "Ramos, 2026-08-13", "source": "https://timpasslib.aalto.fi/pesplib.html", "llm4rail": "pending", "upper_evidence": "library_reported", "bound_record": "PESPlib", "bound_source": "https://timpasslib.aalto.fi/pesplib.html", "bound_evidence": "publisher_unverified", "family": "R4L3" }, { "instance": "R4L4", "library": "PESPlib", "set": "railway", "n1": 8384, "n2": 17755, "size_kind": "ev_act", "best_known": 35799285, "best_bound": 17961400, "gap": 0.498275, "status": "open", "record": "Ramos, 2026-08-13", "source": "https://timpasslib.aalto.fi/pesplib.html", "llm4rail": "pending", "upper_evidence": "library_reported", "bound_record": "PESPlib", "bound_source": "https://timpasslib.aalto.fi/pesplib.html", "bound_evidence": "publisher_unverified", "family": "R4L4" }, { "instance": "R1L1v", "library": "PESPlib", "set": "railway-variant", "n1": 3664, "n2": 6495, "size_kind": "ev_act", "best_known": 42391128, "best_bound": 29620775, "gap": 0.301251, "status": "open", "record": "Ramos, 2026-08-13", "source": "https://timpasslib.aalto.fi/pesplib.html", "llm4rail": "pending", "upper_evidence": "library_reported", "bound_record": "PESPlib", "bound_source": "https://timpasslib.aalto.fi/pesplib.html", "bound_evidence": "publisher_unverified", "family": "R1L1" }, { "instance": "R4L4v", "library": "PESPlib", "set": "railway-variant", "n1": 8384, "n2": 18020, "size_kind": "ev_act", "best_known": 60097211, "best_bound": 32296041, "gap": 0.462603, "status": "open", "record": "Ramos, 2026-08-02", "source": "https://timpasslib.aalto.fi/pesplib.html", "llm4rail": "pending", "upper_evidence": "library_reported", "bound_record": "PESPlib", "bound_source": "https://timpasslib.aalto.fi/pesplib.html", "bound_evidence": "publisher_unverified", "family": "R4L4" }, { "instance": "Hamburg", "library": "TimPassLib", "set": "tpl-network", "n1": 508, "n2": 823, "size_kind": "ev_act", "best_known": 140850920, "best_bound": 139892927, "gap": 0.006801, "status": "open", "record": "B. Ramos, 2026-08-31", "source": "https://timpasslib.aalto.fi/solutions.html#Hamburg", "llm4rail": "pending", "upper_evidence": "library_reported", "bound_record": "TimPassLib", "bound_source": "https://timpasslib.aalto.fi/solutions.html#Hamburg", "bound_evidence": "routing_relaxation", "family": null }, { "instance": "Schweiz_Fernverkehr", "library": "TimPassLib", "set": "tpl-network", "n1": 2234, "n2": 18467, "size_kind": "ev_act", "best_known": 61855004, "best_bound": 60084289, "gap": 0.028627, "status": "open", "record": "B. Ramos, 2026-08-31", "source": "https://timpasslib.aalto.fi/solutions.html#Schweiz_Fernverkehr", "llm4rail": "pending", "upper_evidence": "library_reported", "bound_record": "TimPassLib", "bound_source": "https://timpasslib.aalto.fi/solutions.html#Schweiz_Fernverkehr", "bound_evidence": "routing_relaxation", "family": null }, { "instance": "regional", "library": "TimPassLib", "set": "tpl-network", "n1": 412, "n2": 1520, "size_kind": "ev_act", "best_known": 1827124, "best_bound": 1804642, "gap": 0.012305, "status": "open", "record": "F. Löbel, N. Lindner, 2025-09-01", "source": "https://timpasslib.aalto.fi/solutions.html#regional", "llm4rail": "pending", "upper_evidence": "library_reported", "bound_record": "TimPassLib", "bound_source": "https://timpasslib.aalto.fi/solutions.html#regional", "bound_evidence": "routing_relaxation", "family": null }, { "instance": "long-distance", "library": "TimPassLib", "set": "tpl-network", "n1": 2800, "n2": 14958, "size_kind": "ev_act", "best_known": 66981422, "best_bound": 64906980, "gap": 0.03097, "status": "open", "record": "B. Ramos, 2026-08-31", "source": "https://timpasslib.aalto.fi/solutions.html#long-distance", "llm4rail": "pending", "upper_evidence": "library_reported", "bound_record": "TimPassLib", "bound_source": "https://timpasslib.aalto.fi/solutions.html#long-distance", "bound_evidence": "routing_relaxation", "family": null }, { "instance": "metro", "library": "TimPassLib", "set": "tpl-network", "n1": 964, "n2": 3240, "size_kind": "ev_act", "best_known": 11990908, "best_bound": 11978129, "gap": 0.001066, "status": "open", "record": "B. Ramos, 2026-08-31", "source": "https://timpasslib.aalto.fi/solutions.html#metro", "llm4rail": "pending", "upper_evidence": "library_reported", "bound_record": "TimPassLib", "bound_source": "https://timpasslib.aalto.fi/solutions.html#metro", "bound_evidence": "routing_relaxation", "family": null }, { "instance": "R1L1", "library": "TimPassLib", "set": "tpl-pesplib", "n1": 3664, "n2": 6381, "size_kind": "ev_act", "best_known": 538536289, "best_bound": 522575407, "gap": 0.029638, "status": "open", "record": "B. Ramos, 2026-08-31", "source": "https://timpasslib.aalto.fi/solutions.html#R1L1", "llm4rail": "pending", "upper_evidence": "library_reported", "bound_record": "TimPassLib", "bound_source": "https://timpasslib.aalto.fi/solutions.html#R1L1", "bound_evidence": "routing_relaxation", "family": "R1L1" }, { "instance": "R1L2", "library": "TimPassLib", "set": "tpl-pesplib", "n1": 3668, "n2": 6543, "size_kind": "ev_act", "best_known": 537742639, "best_bound": 522212362, "gap": 0.028881, "status": "open", "record": "B. Ramos, 2026-08-31", "source": "https://timpasslib.aalto.fi/solutions.html#R1L2", "llm4rail": "pending", "upper_evidence": "library_reported", "bound_record": "TimPassLib", "bound_source": "https://timpasslib.aalto.fi/solutions.html#R1L2", "bound_evidence": "routing_relaxation", "family": "R1L2" }, { "instance": "R1L3", "library": "TimPassLib", "set": "tpl-pesplib", "n1": 4184, "n2": 7025, "size_kind": "ev_act", "best_known": 537105340, "best_bound": 522199838, "gap": 0.027752, "status": "open", "record": "B. Ramos, 2026-08-31", "source": "https://timpasslib.aalto.fi/solutions.html#R1L3", "llm4rail": "pending", "upper_evidence": "library_reported", "bound_record": "TimPassLib", "bound_source": "https://timpasslib.aalto.fi/solutions.html#R1L3", "bound_evidence": "routing_relaxation", "family": "R1L3" }, { "instance": "R1L4", "library": "TimPassLib", "set": "tpl-pesplib", "n1": 4760, "n2": 8528, "size_kind": "ev_act", "best_known": 532591640, "best_bound": 520799059, "gap": 0.022142, "status": "open", "record": "B. Ramos, 2026-08-31", "source": "https://timpasslib.aalto.fi/solutions.html#R1L4", "llm4rail": "pending", "upper_evidence": "library_reported", "bound_record": "TimPassLib", "bound_source": "https://timpasslib.aalto.fi/solutions.html#R1L4", "bound_evidence": "routing_relaxation", "family": "R1L4" }, { "instance": "R2L1", "library": "TimPassLib", "set": "tpl-pesplib", "n1": 4156, "n2": 7356, "size_kind": "ev_act", "best_known": 670939152, "best_bound": 650575045, "gap": 0.030352, "status": "open", "record": "B. Ramos, 2026-08-31", "source": "https://timpasslib.aalto.fi/solutions.html#R2L1", "llm4rail": "pending", "upper_evidence": "library_reported", "bound_record": "TimPassLib", "bound_source": "https://timpasslib.aalto.fi/solutions.html#R2L1", "bound_evidence": "routing_relaxation", "family": "R2L1" }, { "instance": "R2L2", "library": "TimPassLib", "set": "tpl-pesplib", "n1": 4204, "n2": 7561, "size_kind": "ev_act", "best_known": 669302510, "best_bound": 650293220, "gap": 0.028402, "status": "open", "record": "B. Ramos, 2026-08-31", "source": "https://timpasslib.aalto.fi/solutions.html#R2L2", "llm4rail": "pending", "upper_evidence": "library_reported", "bound_record": "TimPassLib", "bound_source": "https://timpasslib.aalto.fi/solutions.html#R2L2", "bound_evidence": "routing_relaxation", "family": "R2L2" }, { "instance": "R2L3", "library": "TimPassLib", "set": "tpl-pesplib", "n1": 5048, "n2": 8285, "size_kind": "ev_act", "best_known": 667292632, "best_bound": 649767761, "gap": 0.026263, "status": "open", "record": "B. Ramos, 2026-08-31", "source": "https://timpasslib.aalto.fi/solutions.html#R2L3", "llm4rail": "pending", "upper_evidence": "library_reported", "bound_record": "TimPassLib", "bound_source": "https://timpasslib.aalto.fi/solutions.html#R2L3", "bound_evidence": "routing_relaxation", "family": "R2L3" }, { "instance": "R2L4", "library": "TimPassLib", "set": "tpl-pesplib", "n1": 7660, "n2": 13168, "size_kind": "ev_act", "best_known": 659596899, "best_bound": 647184195, "gap": 0.018819, "status": "open", "record": "B. Ramos, 2026-08-31", "source": "https://timpasslib.aalto.fi/solutions.html#R2L4", "llm4rail": "pending", "upper_evidence": "library_reported", "bound_record": "TimPassLib", "bound_source": "https://timpasslib.aalto.fi/solutions.html#R2L4", "bound_evidence": "routing_relaxation", "family": "R2L4" }, { "instance": "R3L1", "library": "TimPassLib", "set": "tpl-pesplib", "n1": 4516, "n2": 9140, "size_kind": "ev_act", "best_known": 686543137, "best_bound": 665804283, "gap": 0.030208, "status": "open", "record": "B. Ramos, 2026-08-31", "source": "https://timpasslib.aalto.fi/solutions.html#R3L1", "llm4rail": "pending", "upper_evidence": "library_reported", "bound_record": "TimPassLib", "bound_source": "https://timpasslib.aalto.fi/solutions.html#R3L1", "bound_evidence": "routing_relaxation", "family": "R3L1" }, { "instance": "R3L2", "library": "TimPassLib", "set": "tpl-pesplib", "n1": 4452, "n2": 9249, "size_kind": "ev_act", "best_known": 685694233, "best_bound": 665719574, "gap": 0.029131, "status": "open", "record": "B. Ramos, 2026-08-31", "source": "https://timpasslib.aalto.fi/solutions.html#R3L2", "llm4rail": "pending", "upper_evidence": "library_reported", "bound_record": "TimPassLib", "bound_source": "https://timpasslib.aalto.fi/solutions.html#R3L2", "bound_evidence": "routing_relaxation", "family": "R3L2" }, { "instance": "R3L3", "library": "TimPassLib", "set": "tpl-pesplib", "n1": 5724, "n2": 11165, "size_kind": "ev_act", "best_known": 683258276, "best_bound": 665595680, "gap": 0.025851, "status": "open", "record": "B. Ramos, 2026-08-31", "source": "https://timpasslib.aalto.fi/solutions.html#R3L3", "llm4rail": "pending", "upper_evidence": "library_reported", "bound_record": "TimPassLib", "bound_source": "https://timpasslib.aalto.fi/solutions.html#R3L3", "bound_evidence": "routing_relaxation", "family": "R3L3" }, { "instance": "R3L4", "library": "TimPassLib", "set": "tpl-pesplib", "n1": 8180, "n2": 15655, "size_kind": "ev_act", "best_known": 672473277, "best_bound": 662251432, "gap": 0.0152, "status": "open", "record": "B. Ramos, 2026-08-31", "source": "https://timpasslib.aalto.fi/solutions.html#R3L4", "llm4rail": "pending", "upper_evidence": "library_reported", "bound_record": "TimPassLib", "bound_source": "https://timpasslib.aalto.fi/solutions.html#R3L4", "bound_evidence": "routing_relaxation", "family": "R3L4" }, { "instance": "R4L1", "library": "TimPassLib", "set": "tpl-pesplib", "n1": 4932, "n2": 10262, "size_kind": "ev_act", "best_known": 745524467, "best_bound": 723276168, "gap": 0.029842, "status": "open", "record": "B. Ramos, 2026-08-31", "source": "https://timpasslib.aalto.fi/solutions.html#R4L1", "llm4rail": "pending", "upper_evidence": "library_reported", "bound_record": "TimPassLib", "bound_source": "https://timpasslib.aalto.fi/solutions.html#R4L1", "bound_evidence": "routing_relaxation", "family": "R4L1" }, { "instance": "R4L2", "library": "TimPassLib", "set": "tpl-pesplib", "n1": 5048, "n2": 10733, "size_kind": "ev_act", "best_known": 747493422, "best_bound": 724254447, "gap": 0.031089, "status": "open", "record": "B. Ramos, 2026-08-31", "source": "https://timpasslib.aalto.fi/solutions.html#R4L2", "llm4rail": "pending", "upper_evidence": "library_reported", "bound_record": "TimPassLib", "bound_source": "https://timpasslib.aalto.fi/solutions.html#R4L2", "bound_evidence": "routing_relaxation", "family": "R4L2" }, { "instance": "R4L3", "library": "TimPassLib", "set": "tpl-pesplib", "n1": 6368, "n2": 13236, "size_kind": "ev_act", "best_known": 742094966, "best_bound": 722434044, "gap": 0.026494, "status": "open", "record": "B. Ramos, 2026-08-31", "source": "https://timpasslib.aalto.fi/solutions.html#R4L3", "llm4rail": "pending", "upper_evidence": "library_reported", "bound_record": "TimPassLib", "bound_source": "https://timpasslib.aalto.fi/solutions.html#R4L3", "bound_evidence": "routing_relaxation", "family": "R4L3" }, { "instance": "R4L4", "library": "TimPassLib", "set": "tpl-pesplib", "n1": 8384, "n2": 17753, "size_kind": "ev_act", "best_known": 731939240, "best_bound": 720103154, "gap": 0.016171, "status": "open", "record": "B. Ramos, 2026-08-31", "source": "https://timpasslib.aalto.fi/solutions.html#R4L4", "llm4rail": "pending", "upper_evidence": "library_reported", "bound_record": "TimPassLib", "bound_source": "https://timpasslib.aalto.fi/solutions.html#R4L4", "bound_evidence": "routing_relaxation", "family": "R4L4" }, { "instance": "smi_close_0", "library": "DISPLIB", "set": "dl-smi", "n1": 6, "n2": 443, "size_kind": "tr_op", "best_known": 679, "best_bound": 679, "gap": 0.0, "status": "optimal", "record": "delayed-train, DISPLIB 2025", "source": "https://displib.github.io/solutions/smi_close_0_delayed-train.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "smi_close_1", "library": "DISPLIB", "set": "dl-smi", "n1": 6, "n2": 1954, "size_kind": "tr_op", "best_known": 4316, "best_bound": 4316, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/smi_close_1_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "smi_close_2", "library": "DISPLIB", "set": "dl-smi", "n1": 5, "n2": 1854, "size_kind": "tr_op", "best_known": 1331, "best_bound": 1331, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/smi_close_2_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "smi_close_3", "library": "DISPLIB", "set": "dl-smi", "n1": 13, "n2": 1437, "size_kind": "tr_op", "best_known": 1860, "best_bound": 1860, "gap": 0.0, "status": "optimal", "record": "delayed-train, DISPLIB 2025", "source": "https://displib.github.io/solutions/smi_close_3_delayed-train.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "smi_close_4", "library": "DISPLIB", "set": "dl-smi", "n1": 5, "n2": 113, "size_kind": "tr_op", "best_known": 24225, "best_bound": 24225, "gap": 0.0, "status": "optimal", "record": "delayed-train, DISPLIB 2025", "source": "https://displib.github.io/solutions/smi_close_4_delayed-train.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "smi_close_5", "library": "DISPLIB", "set": "dl-smi", "n1": 9, "n2": 1718, "size_kind": "tr_op", "best_known": 314, "best_bound": 314, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/smi_close_5_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "smi_close_6", "library": "DISPLIB", "set": "dl-smi", "n1": 7, "n2": 948, "size_kind": "tr_op", "best_known": 21034, "best_bound": 21034, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/smi_close_6_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "smi_close_7", "library": "DISPLIB", "set": "dl-smi", "n1": 6, "n2": 1416, "size_kind": "tr_op", "best_known": 582, "best_bound": 582, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/smi_close_7_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "smi_close_8", "library": "DISPLIB", "set": "dl-smi", "n1": 9, "n2": 1975, "size_kind": "tr_op", "best_known": 3413, "best_bound": 3413, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/smi_close_8_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "smi_headway_0", "library": "DISPLIB", "set": "dl-smi", "n1": 6, "n2": 443, "size_kind": "tr_op", "best_known": 1483, "best_bound": 1483, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/smi_headway_0_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "smi_headway_1", "library": "DISPLIB", "set": "dl-smi", "n1": 6, "n2": 1954, "size_kind": "tr_op", "best_known": 5040, "best_bound": 5040, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/smi_headway_1_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "smi_headway_2", "library": "DISPLIB", "set": "dl-smi", "n1": 5, "n2": 1854, "size_kind": "tr_op", "best_known": 2888, "best_bound": 2888, "gap": 0.0, "status": "optimal", "record": "trainees, DISPLIB 2025", "source": "https://displib.github.io/solutions/smi_headway_2_trainees.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "smi_headway_3", "library": "DISPLIB", "set": "dl-smi", "n1": 13, "n2": 1437, "size_kind": "tr_op", "best_known": 3552, "best_bound": 3552, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/smi_headway_3_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "smi_headway_4", "library": "DISPLIB", "set": "dl-smi", "n1": 5, "n2": 113, "size_kind": "tr_op", "best_known": 24797, "best_bound": 24797, "gap": 0.0, "status": "optimal", "record": "delayed-train, DISPLIB 2025", "source": "https://displib.github.io/solutions/smi_headway_4_delayed-train.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "smi_headway_5", "library": "DISPLIB", "set": "dl-smi", "n1": 9, "n2": 1718, "size_kind": "tr_op", "best_known": 869, "best_bound": 869, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/smi_headway_5_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "smi_headway_6", "library": "DISPLIB", "set": "dl-smi", "n1": 7, "n2": 948, "size_kind": "tr_op", "best_known": 22236, "best_bound": 22236, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/smi_headway_6_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "smi_headway_7", "library": "DISPLIB", "set": "dl-smi", "n1": 6, "n2": 1416, "size_kind": "tr_op", "best_known": 1150, "best_bound": 1150, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/smi_headway_7_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "smi_headway_8", "library": "DISPLIB", "set": "dl-smi", "n1": 9, "n2": 1975, "size_kind": "tr_op", "best_known": 5159, "best_bound": 5159, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/smi_headway_8_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "smi_headway_9", "library": "DISPLIB", "set": "dl-smi", "n1": 6, "n2": 1756, "size_kind": "tr_op", "best_known": 16006, "best_bound": 16006, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/smi_headway_9_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "smi_headway_10", "library": "DISPLIB", "set": "dl-smi", "n1": 8, "n2": 1099, "size_kind": "tr_op", "best_known": 9007, "best_bound": 9007, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/smi_headway_10_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "smi_headway_11", "library": "DISPLIB", "set": "dl-smi", "n1": 8, "n2": 2245, "size_kind": "tr_op", "best_known": 5579, "best_bound": 5579, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/smi_headway_11_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor1_critical_0", "library": "DISPLIB", "set": "dl-nor1", "n1": 12, "n2": 559, "size_kind": "tr_op", "best_known": 4133, "best_bound": 4133, "gap": 0.0, "status": "optimal", "record": "wub, DISPLIB 2025", "source": "https://displib.github.io/solutions/nor1_critical_0_wub.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor1_critical_1", "library": "DISPLIB", "set": "dl-nor1", "n1": 8, "n2": 420, "size_kind": "tr_op", "best_known": 2416, "best_bound": 2416, "gap": 0.0, "status": "optimal", "record": "wub, DISPLIB 2025", "source": "https://displib.github.io/solutions/nor1_critical_1_wub.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor1_critical_2", "library": "DISPLIB", "set": "dl-nor1", "n1": 9, "n2": 457, "size_kind": "tr_op", "best_known": 3775, "best_bound": 3775, "gap": 0.0, "status": "optimal", "record": "wub, DISPLIB 2025", "source": "https://displib.github.io/solutions/nor1_critical_2_wub.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor1_critical_3", "library": "DISPLIB", "set": "dl-nor1", "n1": 16, "n2": 796, "size_kind": "tr_op", "best_known": 8016, "best_bound": 8016, "gap": 0.0, "status": "optimal", "record": "wub, DISPLIB 2025", "source": "https://displib.github.io/solutions/nor1_critical_3_wub.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor1_critical_4", "library": "DISPLIB", "set": "dl-nor1", "n1": 4, "n2": 148, "size_kind": "tr_op", "best_known": 1506, "best_bound": 1506, "gap": 0.0, "status": "optimal", "record": "wub, DISPLIB 2025", "source": "https://displib.github.io/solutions/nor1_critical_4_wub.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor1_critical_5", "library": "DISPLIB", "set": "dl-nor1", "n1": 6, "n2": 288, "size_kind": "tr_op", "best_known": 2677, "best_bound": 2677, "gap": 0.0, "status": "optimal", "record": "wub, DISPLIB 2025", "source": "https://displib.github.io/solutions/nor1_critical_5_wub.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor1_critical_6", "library": "DISPLIB", "set": "dl-nor1", "n1": 12, "n2": 549, "size_kind": "tr_op", "best_known": 4491, "best_bound": 4491, "gap": 0.0, "status": "optimal", "record": "wub, DISPLIB 2025", "source": "https://displib.github.io/solutions/nor1_critical_6_wub.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor1_critical_7", "library": "DISPLIB", "set": "dl-nor1", "n1": 10, "n2": 455, "size_kind": "tr_op", "best_known": 4137, "best_bound": 4137, "gap": 0.0, "status": "optimal", "record": "wub, DISPLIB 2025", "source": "https://displib.github.io/solutions/nor1_critical_7_wub.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor1_critical_8", "library": "DISPLIB", "set": "dl-nor1", "n1": 10, "n2": 471, "size_kind": "tr_op", "best_known": 3836, "best_bound": 3836, "gap": 0.0, "status": "optimal", "record": "wub, DISPLIB 2025", "source": "https://displib.github.io/solutions/nor1_critical_8_wub.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor1_critical_9", "library": "DISPLIB", "set": "dl-nor1", "n1": 12, "n2": 494, "size_kind": "tr_op", "best_known": 5488, "best_bound": 5488, "gap": 0.0, "status": "optimal", "record": "wub, DISPLIB 2025", "source": "https://displib.github.io/solutions/nor1_critical_9_wub.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor1_full_0", "library": "DISPLIB", "set": "dl-nor1", "n1": 119, "n2": 6430, "size_kind": "tr_op", "best_known": 3299, "best_bound": 3299, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/nor1_full_0_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor1_full_1", "library": "DISPLIB", "set": "dl-nor1", "n1": 148, "n2": 7864, "size_kind": "tr_op", "best_known": 2486, "best_bound": 2486, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/nor1_full_1_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor1_full_2", "library": "DISPLIB", "set": "dl-nor1", "n1": 40, "n2": 2194, "size_kind": "tr_op", "best_known": 6046, "best_bound": 6046, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/nor1_full_2_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor1_full_3", "library": "DISPLIB", "set": "dl-nor1", "n1": 56, "n2": 3152, "size_kind": "tr_op", "best_known": 2658, "best_bound": 2658, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/nor1_full_3_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor1_full_4", "library": "DISPLIB", "set": "dl-nor1", "n1": 89, "n2": 4927, "size_kind": "tr_op", "best_known": 5358, "best_bound": 5358, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/nor1_full_4_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor1_full_5", "library": "DISPLIB", "set": "dl-nor1", "n1": 129, "n2": 6863, "size_kind": "tr_op", "best_known": 3732, "best_bound": 3732, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/nor1_full_5_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor1_full_6", "library": "DISPLIB", "set": "dl-nor1", "n1": 147, "n2": 7730, "size_kind": "tr_op", "best_known": 5262, "best_bound": 5262, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/nor1_full_6_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor1_full_7", "library": "DISPLIB", "set": "dl-nor1", "n1": 146, "n2": 7693, "size_kind": "tr_op", "best_known": 1012, "best_bound": 1012, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/nor1_full_7_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor1_full_8", "library": "DISPLIB", "set": "dl-nor1", "n1": 155, "n2": 8217, "size_kind": "tr_op", "best_known": 5370, "best_bound": 5370, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/nor1_full_8_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor1_full_9", "library": "DISPLIB", "set": "dl-nor1", "n1": 151, "n2": 7968, "size_kind": "tr_op", "best_known": 6076, "best_bound": 6076, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/nor1_full_9_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor2_1", "library": "DISPLIB", "set": "dl-nor2", "n1": 23, "n2": 1750, "size_kind": "tr_op", "best_known": 4937, "best_bound": 4937, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/nor2_1_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor2_2", "library": "DISPLIB", "set": "dl-nor2", "n1": 23, "n2": 1726, "size_kind": "tr_op", "best_known": 4619, "best_bound": 4619, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/nor2_2_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor2_3", "library": "DISPLIB", "set": "dl-nor2", "n1": 23, "n2": 1560, "size_kind": "tr_op", "best_known": 5500, "best_bound": 5500, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/nor2_3_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor2_4", "library": "DISPLIB", "set": "dl-nor2", "n1": 23, "n2": 1448, "size_kind": "tr_op", "best_known": 6186, "best_bound": 6186, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/nor2_4_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor2_5", "library": "DISPLIB", "set": "dl-nor2", "n1": 23, "n2": 1448, "size_kind": "tr_op", "best_known": 5416, "best_bound": 5416, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/nor2_5_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor3_1", "library": "DISPLIB", "set": "dl-nor3", "n1": 21, "n2": 1314, "size_kind": "tr_op", "best_known": 3667, "best_bound": 3667, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/nor3_1_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor3_2", "library": "DISPLIB", "set": "dl-nor3", "n1": 22, "n2": 1325, "size_kind": "tr_op", "best_known": 5740, "best_bound": 5740, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/nor3_2_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor3_3", "library": "DISPLIB", "set": "dl-nor3", "n1": 22, "n2": 1237, "size_kind": "tr_op", "best_known": 5562, "best_bound": 5562, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/nor3_3_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor3_4", "library": "DISPLIB", "set": "dl-nor3", "n1": 21, "n2": 1266, "size_kind": "tr_op", "best_known": 4605, "best_bound": 4605, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/nor3_4_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor3_5", "library": "DISPLIB", "set": "dl-nor3", "n1": 22, "n2": 1307, "size_kind": "tr_op", "best_known": 2923, "best_bound": 2923, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/nor3_5_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor4_large_1", "library": "DISPLIB", "set": "dl-nor4", "n1": 365, "n2": 38125, "size_kind": "tr_op", "best_known": 9551, "best_bound": 9551, "gap": 0.0, "status": "optimal", "record": "v777v, DISPLIB 2025", "source": "https://displib.github.io/solutions/nor4_large_1_v777v.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor4_large_2", "library": "DISPLIB", "set": "dl-nor4", "n1": 347, "n2": 36314, "size_kind": "tr_op", "best_known": 8439, "best_bound": 8439, "gap": 0.0, "status": "optimal", "record": "v777v, DISPLIB 2025", "source": "https://displib.github.io/solutions/nor4_large_2_v777v.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor4_large_3", "library": "DISPLIB", "set": "dl-nor4", "n1": 171, "n2": 17221, "size_kind": "tr_op", "best_known": 11985, "best_bound": 11985, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/nor4_large_3_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor4_large_4", "library": "DISPLIB", "set": "dl-nor4", "n1": 257, "n2": 26556, "size_kind": "tr_op", "best_known": 13260, "best_bound": 13260, "gap": 0.0, "status": "optimal", "record": "Stärk et al., T5", "source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor4_large_5", "library": "DISPLIB", "set": "dl-nor4", "n1": 204, "n2": 20911, "size_kind": "tr_op", "best_known": 8043, "best_bound": 8043, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/nor4_large_5_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor4_small_1", "library": "DISPLIB", "set": "dl-nor4", "n1": 165, "n2": 17642, "size_kind": "tr_op", "best_known": 8972, "best_bound": 8972, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/nor4_small_1_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor4_small_2", "library": "DISPLIB", "set": "dl-nor4", "n1": 168, "n2": 17907, "size_kind": "tr_op", "best_known": 11217, "best_bound": 11217, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/nor4_small_2_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor4_small_3", "library": "DISPLIB", "set": "dl-nor4", "n1": 161, "n2": 16794, "size_kind": "tr_op", "best_known": 7924, "best_bound": 7924, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/nor4_small_3_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor4_small_4", "library": "DISPLIB", "set": "dl-nor4", "n1": 157, "n2": 16034, "size_kind": "tr_op", "best_known": 8189, "best_bound": 8189, "gap": 0.0, "status": "optimal", "record": "v777v, DISPLIB 2025", "source": "https://displib.github.io/solutions/nor4_small_4_v777v.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor4_small_5", "library": "DISPLIB", "set": "dl-nor4", "n1": 167, "n2": 17815, "size_kind": "tr_op", "best_known": 12144, "best_bound": 12144, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/nor4_small_5_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T5", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor5_large_1", "library": "DISPLIB", "set": "dl-nor5", "n1": 346, "n2": 34064, "size_kind": "tr_op", "best_known": 72713, "best_bound": 72423, "gap": 0.003988, "status": "open", "record": "Stärk et al., T6", "source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Fuchs et al., B.13 (CD-LBBD)", "bound_source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor5_large_2", "library": "DISPLIB", "set": "dl-nor5", "n1": 461, "n2": 46539, "size_kind": "tr_op", "best_known": 76410, "best_bound": 75959, "gap": 0.005902, "status": "open", "record": "Stärk et al., T6", "source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Fuchs et al., B.13 (CD-LBBD)", "bound_source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor5_large_3", "library": "DISPLIB", "set": "dl-nor5", "n1": 457, "n2": 46151, "size_kind": "tr_op", "best_known": 69910, "best_bound": 69679, "gap": 0.003304, "status": "open", "record": "Stärk et al., T6", "source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Fuchs et al., B.13 (CD-LBBD)", "bound_source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor5_large_4", "library": "DISPLIB", "set": "dl-nor5", "n1": 505, "n2": 50934, "size_kind": "tr_op", "best_known": 69519, "best_bound": 69346, "gap": 0.002489, "status": "open", "record": "v777v, DISPLIB 2025", "source": "https://displib.github.io/solutions/nor5_large_4_v777v.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Fuchs et al., B.13 (CD-LBBD)", "bound_source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor5_large_5", "library": "DISPLIB", "set": "dl-nor5", "n1": 396, "n2": 39393, "size_kind": "tr_op", "best_known": 67277, "best_bound": 67173, "gap": 0.001546, "status": "open", "record": "Stärk et al., T6", "source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Fuchs et al., B.13 (CD-LBBD)", "bound_source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor5_small_1", "library": "DISPLIB", "set": "dl-nor5", "n1": 286, "n2": 28248, "size_kind": "tr_op", "best_known": 57443, "best_bound": 57443, "gap": 0.0, "status": "optimal", "record": "Stärk et al., T6", "source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Fuchs et al., B.13 (CD-LBBD)", "bound_source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor5_small_2", "library": "DISPLIB", "set": "dl-nor5", "n1": 271, "n2": 27029, "size_kind": "tr_op", "best_known": 66751, "best_bound": 66657, "gap": 0.001408, "status": "open", "record": "v777v, DISPLIB 2025", "source": "https://displib.github.io/solutions/nor5_small_2_v777v.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Fuchs et al., B.13 (CD-LBBD)", "bound_source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor5_small_3", "library": "DISPLIB", "set": "dl-nor5", "n1": 275, "n2": 27148, "size_kind": "tr_op", "best_known": 57446, "best_bound": 57446, "gap": 0.0, "status": "optimal", "record": "v777v, DISPLIB 2025", "source": "https://displib.github.io/solutions/nor5_small_3_v777v.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T6", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor5_small_4", "library": "DISPLIB", "set": "dl-nor5", "n1": 269, "n2": 26705, "size_kind": "tr_op", "best_known": 57361, "best_bound": 57361, "gap": 0.0, "status": "optimal", "record": "Stärk et al., T6", "source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Stärk et al., T6", "bound_source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "bound_evidence": "paper_reported", "family": null }, { "instance": "nor5_small_5", "library": "DISPLIB", "set": "dl-nor5", "n1": 261, "n2": 25594, "size_kind": "tr_op", "best_known": 62744, "best_bound": 62744, "gap": 0.0, "status": "optimal", "record": "v777v, DISPLIB 2025", "source": "https://displib.github.io/solutions/nor5_small_5_v777v.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Fuchs et al., B.13 (CD-LBBD)", "bound_source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "bound_evidence": "paper_reported", "family": null }, { "instance": "swi_1", "library": "DISPLIB", "set": "dl-swi", "n1": 4, "n2": 326, "size_kind": "tr_op", "best_known": 0, "best_bound": 0, "gap": 0.0, "status": "optimal", "record": "delayed-train, DISPLIB 2025", "source": "https://displib.github.io/solutions/swi_1_delayed-train.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "DISPLIB §2.1", "bound_source": "https://arxiv.org/html/2509.12254v1#S2.SS1", "bound_evidence": "nonnegative_objective", "family": null }, { "instance": "swi_2", "library": "DISPLIB", "set": "dl-swi", "n1": 58, "n2": 4473, "size_kind": "tr_op", "best_known": 0, "best_bound": 0, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/swi_2_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "DISPLIB §2.1", "bound_source": "https://arxiv.org/html/2509.12254v1#S2.SS1", "bound_evidence": "nonnegative_objective", "family": null }, { "instance": "swi_3", "library": "DISPLIB", "set": "dl-swi", "n1": 143, "n2": 8917, "size_kind": "tr_op", "best_known": 0, "best_bound": 0, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/swi_3_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "DISPLIB §2.1", "bound_source": "https://arxiv.org/html/2509.12254v1#S2.SS1", "bound_evidence": "nonnegative_objective", "family": null }, { "instance": "swi_4", "library": "DISPLIB", "set": "dl-swi", "n1": 148, "n2": 9619, "size_kind": "tr_op", "best_known": 0, "best_bound": 0, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/swi_4_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "DISPLIB §2.1", "bound_source": "https://arxiv.org/html/2509.12254v1#S2.SS1", "bound_evidence": "nonnegative_objective", "family": null }, { "instance": "swi_5", "library": "DISPLIB", "set": "dl-swi", "n1": 149, "n2": 9625, "size_kind": "tr_op", "best_known": 0, "best_bound": 0, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/swi_5_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "DISPLIB §2.1", "bound_source": "https://arxiv.org/html/2509.12254v1#S2.SS1", "bound_evidence": "nonnegative_objective", "family": null }, { "instance": "swi_6", "library": "DISPLIB", "set": "dl-swi", "n1": 365, "n2": 39472, "size_kind": "tr_op", "best_known": 0, "best_bound": 0, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/swi_6_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "DISPLIB §2.1", "bound_source": "https://arxiv.org/html/2509.12254v1#S2.SS1", "bound_evidence": "nonnegative_objective", "family": null }, { "instance": "swi_7", "library": "DISPLIB", "set": "dl-swi", "n1": 467, "n2": 52741, "size_kind": "tr_op", "best_known": 0, "best_bound": 0, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/swi_7_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "DISPLIB §2.1", "bound_source": "https://arxiv.org/html/2509.12254v1#S2.SS1", "bound_evidence": "nonnegative_objective", "family": null }, { "instance": "swi_8", "library": "DISPLIB", "set": "dl-swi", "n1": 133, "n2": 22435, "size_kind": "tr_op", "best_known": 0, "best_bound": 0, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/swi_8_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "DISPLIB §2.1", "bound_source": "https://arxiv.org/html/2509.12254v1#S2.SS1", "bound_evidence": "nonnegative_objective", "family": null }, { "instance": "swi_9", "library": "DISPLIB", "set": "dl-swi", "n1": 287, "n2": 35387, "size_kind": "tr_op", "best_known": 0, "best_bound": 0, "gap": 0.0, "status": "optimal", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/swi_9_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "DISPLIB §2.1", "bound_source": "https://arxiv.org/html/2509.12254v1#S2.SS1", "bound_evidence": "nonnegative_objective", "family": null }, { "instance": "wab_large_1", "library": "DISPLIB", "set": "dl-wab", "n1": 48, "n2": 6054, "size_kind": "tr_op", "best_known": 129289, "best_bound": 46270, "gap": 0.64212, "status": "open", "record": "Fuchs et al., B.15 (SC-MIP)", "source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "llm4rail": "pending", "upper_evidence": "paper_reported", "bound_record": "Fuchs et al., B.15 (SC-MIP)", "bound_source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "bound_evidence": "paper_reported", "family": null }, { "instance": "wab_large_2", "library": "DISPLIB", "set": "dl-wab", "n1": 48, "n2": 6041, "size_kind": "tr_op", "best_known": 144017, "best_bound": 47616, "gap": 0.669372, "status": "open", "record": "openbus, DISPLIB 2025", "source": "https://displib.github.io/solutions/wab_large_2_openbus.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Fuchs et al., B.15 (SC-MIP)", "bound_source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "bound_evidence": "paper_reported", "family": null }, { "instance": "wab_large_3", "library": "DISPLIB", "set": "dl-wab", "n1": 47, "n2": 5924, "size_kind": "tr_op", "best_known": 121948, "best_bound": 45092, "gap": 0.630236, "status": "open", "record": "Stärk et al., T7", "source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Fuchs et al., B.15 (SC-MIP)", "bound_source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "bound_evidence": "paper_reported", "family": null }, { "instance": "wab_large_4", "library": "DISPLIB", "set": "dl-wab", "n1": 47, "n2": 5911, "size_kind": "tr_op", "best_known": 133630, "best_bound": 44660, "gap": 0.665794, "status": "open", "record": "CSLS, DISPLIB 2025", "source": "https://displib.github.io/solutions/wab_large_4_CSLS.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Fuchs et al., B.15 (SC-MIP)", "bound_source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "bound_evidence": "paper_reported", "family": null }, { "instance": "wab_large_5", "library": "DISPLIB", "set": "dl-wab", "n1": 46, "n2": 5888, "size_kind": "tr_op", "best_known": 129493, "best_bound": 44924, "gap": 0.653078, "status": "open", "record": "Stärk et al., T7", "source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Fuchs et al., B.15 (CD-LBBD)", "bound_source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "bound_evidence": "paper_reported", "family": null }, { "instance": "wab_large_6", "library": "DISPLIB", "set": "dl-wab", "n1": 46, "n2": 5880, "size_kind": "tr_op", "best_known": 127624, "best_bound": 45716, "gap": 0.641792, "status": "open", "record": "Stärk et al., T7", "source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Fuchs et al., B.15 (CD-LBBD)", "bound_source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "bound_evidence": "paper_reported", "family": null }, { "instance": "wab_large_7", "library": "DISPLIB", "set": "dl-wab", "n1": 46, "n2": 5862, "size_kind": "tr_op", "best_known": 125082, "best_bound": 45199, "gap": 0.638645, "status": "open", "record": "Fuchs et al., B.15 (SC-MIP)", "source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "llm4rail": "pending", "upper_evidence": "paper_reported", "bound_record": "Fuchs et al., B.15 (CD-LBBD)", "bound_source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "bound_evidence": "paper_reported", "family": null }, { "instance": "wab_large_8", "library": "DISPLIB", "set": "dl-wab", "n1": 45, "n2": 5753, "size_kind": "tr_op", "best_known": 100352, "best_bound": 44523, "gap": 0.556332, "status": "open", "record": "Stärk et al., T7", "source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Fuchs et al., B.15 (CD-LBBD)", "bound_source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "bound_evidence": "paper_reported", "family": null }, { "instance": "wab_large_9", "library": "DISPLIB", "set": "dl-wab", "n1": 45, "n2": 5742, "size_kind": "tr_op", "best_known": 112732, "best_bound": 45107, "gap": 0.599874, "status": "open", "record": "Fuchs et al., B.11 (SC-MIP)", "source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "llm4rail": "pending", "upper_evidence": "paper_reported", "bound_record": "Fuchs et al., B.15 (CD-LBBD)", "bound_source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "bound_evidence": "paper_reported", "family": null }, { "instance": "wab_large_10", "library": "DISPLIB", "set": "dl-wab", "n1": 45, "n2": 5738, "size_kind": "tr_op", "best_known": 119841, "best_bound": 46248, "gap": 0.614089, "status": "open", "record": "Fuchs et al., B.15 (SC-MIP)", "source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "llm4rail": "pending", "upper_evidence": "paper_reported", "bound_record": "Fuchs et al., B.15 (SC-MIP)", "bound_source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "bound_evidence": "paper_reported", "family": null }, { "instance": "wab_large_11", "library": "DISPLIB", "set": "dl-wab", "n1": 45, "n2": 5730, "size_kind": "tr_op", "best_known": 117077, "best_bound": 46382, "gap": 0.603833, "status": "open", "record": "Fuchs et al., B.15 (SC-MIP)", "source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "llm4rail": "pending", "upper_evidence": "paper_reported", "bound_record": "Fuchs et al., B.15 (CD-LBBD)", "bound_source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "bound_evidence": "paper_reported", "family": null }, { "instance": "wab_large_12", "library": "DISPLIB", "set": "dl-wab", "n1": 45, "n2": 5723, "size_kind": "tr_op", "best_known": 111613, "best_bound": 45609, "gap": 0.591365, "status": "open", "record": "Fuchs et al., B.15 (SC-MIP)", "source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "llm4rail": "pending", "upper_evidence": "paper_reported", "bound_record": "Fuchs et al., B.15 (SC-MIP)", "bound_source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "bound_evidence": "paper_reported", "family": null }, { "instance": "wab_large_13", "library": "DISPLIB", "set": "dl-wab", "n1": 44, "n2": 5594, "size_kind": "tr_op", "best_known": 91603, "best_bound": 42018, "gap": 0.541303, "status": "open", "record": "Stärk et al., T7", "source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Fuchs et al., B.15 (CD-LBBD)", "bound_source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "bound_evidence": "paper_reported", "family": null }, { "instance": "wab_large_14", "library": "DISPLIB", "set": "dl-wab", "n1": 44, "n2": 5588, "size_kind": "tr_op", "best_known": 113559, "best_bound": 40785, "gap": 0.640847, "status": "open", "record": "Fuchs et al., B.11 (SC-MIP)", "source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "llm4rail": "pending", "upper_evidence": "paper_reported", "bound_record": "Fuchs et al., B.15 (CD-LBBD)", "bound_source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "bound_evidence": "paper_reported", "family": null }, { "instance": "wab_large_15", "library": "DISPLIB", "set": "dl-wab", "n1": 46, "n2": 5719, "size_kind": "tr_op", "best_known": 111023, "best_bound": 47882, "gap": 0.56872, "status": "open", "record": "Fuchs et al., B.15 (SC-MIP)", "source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "llm4rail": "pending", "upper_evidence": "paper_reported", "bound_record": "Fuchs et al., B.15 (SC-MIP)", "bound_source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "bound_evidence": "paper_reported", "family": null }, { "instance": "wab_large_16", "library": "DISPLIB", "set": "dl-wab", "n1": 46, "n2": 5692, "size_kind": "tr_op", "best_known": 107823, "best_bound": 44214, "gap": 0.589939, "status": "open", "record": "Stärk et al., T7", "source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Fuchs et al., B.15 (CD-LBBD)", "bound_source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "bound_evidence": "paper_reported", "family": null }, { "instance": "wab_small_1", "library": "DISPLIB", "set": "dl-wab", "n1": 30, "n2": 3347, "size_kind": "tr_op", "best_known": 17055, "best_bound": 9894, "gap": 0.419877, "status": "open", "record": "v777v, DISPLIB 2025", "source": "https://displib.github.io/solutions/wab_small_1_v777v.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Fuchs et al., B.15 (CD-LBBD)", "bound_source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "bound_evidence": "paper_reported", "family": null }, { "instance": "wab_small_2", "library": "DISPLIB", "set": "dl-wab", "n1": 30, "n2": 3334, "size_kind": "tr_op", "best_known": 16156, "best_bound": 9560, "gap": 0.408269, "status": "open", "record": "Stärk et al., T7", "source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Fuchs et al., B.15 (CD-LBBD)", "bound_source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "bound_evidence": "paper_reported", "family": null }, { "instance": "wab_small_3", "library": "DISPLIB", "set": "dl-wab", "n1": 30, "n2": 3367, "size_kind": "tr_op", "best_known": 18767, "best_bound": 11440, "gap": 0.390419, "status": "open", "record": "v777v, DISPLIB 2025", "source": "https://displib.github.io/solutions/wab_small_3_v777v.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Fuchs et al., B.15 (CD-LBBD)", "bound_source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "bound_evidence": "paper_reported", "family": null }, { "instance": "wab_small_4", "library": "DISPLIB", "set": "dl-wab", "n1": 30, "n2": 3354, "size_kind": "tr_op", "best_known": 20165, "best_bound": 11615, "gap": 0.424002, "status": "open", "record": "L, DISPLIB 2025", "source": "https://displib.github.io/solutions/wab_small_4_L.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Fuchs et al., B.15 (CD-LBBD)", "bound_source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "bound_evidence": "paper_reported", "family": null }, { "instance": "wab_small_5", "library": "DISPLIB", "set": "dl-wab", "n1": 30, "n2": 3481, "size_kind": "tr_op", "best_known": 24915, "best_bound": 12862, "gap": 0.483765, "status": "open", "record": "Fuchs et al., B.15 (SC-MIP)", "source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "llm4rail": "pending", "upper_evidence": "paper_reported", "bound_record": "Fuchs et al., B.15 (CD-LBBD)", "bound_source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "bound_evidence": "paper_reported", "family": null }, { "instance": "wab_small_6", "library": "DISPLIB", "set": "dl-wab", "n1": 30, "n2": 3473, "size_kind": "tr_op", "best_known": 21632, "best_bound": 12605, "gap": 0.417298, "status": "open", "record": "Fuchs et al., B.15 (SC-MIP)", "source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "llm4rail": "pending", "upper_evidence": "paper_reported", "bound_record": "Fuchs et al., B.15 (CD-LBBD)", "bound_source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "bound_evidence": "paper_reported", "family": null }, { "instance": "wab_small_7", "library": "DISPLIB", "set": "dl-wab", "n1": 30, "n2": 3455, "size_kind": "tr_op", "best_known": 21274, "best_bound": 12558, "gap": 0.409702, "status": "open", "record": "Stärk et al., T7", "source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Fuchs et al., B.15 (CD-LBBD)", "bound_source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "bound_evidence": "paper_reported", "family": null }, { "instance": "wab_small_8", "library": "DISPLIB", "set": "dl-wab", "n1": 30, "n2": 3489, "size_kind": "tr_op", "best_known": 20138, "best_bound": 11485, "gap": 0.429685, "status": "open", "record": "v777v, DISPLIB 2025", "source": "https://displib.github.io/solutions/wab_small_8_v777v.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Fuchs et al., B.15 (CD-LBBD)", "bound_source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "bound_evidence": "paper_reported", "family": null }, { "instance": "wab_small_9", "library": "DISPLIB", "set": "dl-wab", "n1": 30, "n2": 3478, "size_kind": "tr_op", "best_known": 20601, "best_bound": 10427, "gap": 0.49386, "status": "open", "record": "Stärk et al., T7", "source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Fuchs et al., B.15 (CD-LBBD)", "bound_source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "bound_evidence": "paper_reported", "family": null }, { "instance": "wab_small_10", "library": "DISPLIB", "set": "dl-wab", "n1": 30, "n2": 3474, "size_kind": "tr_op", "best_known": 24877, "best_bound": 12942, "gap": 0.47976, "status": "open", "record": "Fuchs et al., B.15 (SC-MIP)", "source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "llm4rail": "pending", "upper_evidence": "paper_reported", "bound_record": "Fuchs et al., B.15 (CD-LBBD)", "bound_source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "bound_evidence": "paper_reported", "family": null }, { "instance": "wab_small_11", "library": "DISPLIB", "set": "dl-wab", "n1": 30, "n2": 3466, "size_kind": "tr_op", "best_known": 23579, "best_bound": 12598, "gap": 0.465711, "status": "open", "record": "Fuchs et al., B.15 (SC-MIP)", "source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "llm4rail": "pending", "upper_evidence": "paper_reported", "bound_record": "Fuchs et al., B.15 (CD-LBBD)", "bound_source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "bound_evidence": "paper_reported", "family": null }, { "instance": "wab_small_12", "library": "DISPLIB", "set": "dl-wab", "n1": 30, "n2": 3459, "size_kind": "tr_op", "best_known": 22557, "best_bound": 12162, "gap": 0.460833, "status": "open", "record": "Fuchs et al., B.15 (SC-MIP)", "source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "llm4rail": "pending", "upper_evidence": "paper_reported", "bound_record": "Fuchs et al., B.15 (CD-LBBD)", "bound_source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "bound_evidence": "paper_reported", "family": null }, { "instance": "wab_small_13", "library": "DISPLIB", "set": "dl-wab", "n1": 30, "n2": 3488, "size_kind": "tr_op", "best_known": 19064, "best_bound": 11301, "gap": 0.407207, "status": "open", "record": "v777v, DISPLIB 2025", "source": "https://displib.github.io/solutions/wab_small_13_v777v.json", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Fuchs et al., B.15 (CD-LBBD)", "bound_source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "bound_evidence": "paper_reported", "family": null }, { "instance": "wab_small_14", "library": "DISPLIB", "set": "dl-wab", "n1": 30, "n2": 3482, "size_kind": "tr_op", "best_known": 19532, "best_bound": 11068, "gap": 0.43334, "status": "open", "record": "Fuchs et al., B.15 (SC-MIP)", "source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "llm4rail": "pending", "upper_evidence": "paper_reported", "bound_record": "Fuchs et al., B.15 (CD-LBBD)", "bound_source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "bound_evidence": "paper_reported", "family": null }, { "instance": "wab_small_15", "library": "DISPLIB", "set": "dl-wab", "n1": 30, "n2": 3312, "size_kind": "tr_op", "best_known": 20035, "best_bound": 11909, "gap": 0.40559, "status": "open", "record": "Stärk et al., T7", "source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Fuchs et al., B.15 (CD-LBBD)", "bound_source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "bound_evidence": "paper_reported", "family": null }, { "instance": "wab_small_16", "library": "DISPLIB", "set": "dl-wab", "n1": 30, "n2": 3285, "size_kind": "tr_op", "best_known": 15742, "best_bound": 11677, "gap": 0.258226, "status": "open", "record": "Stärk et al., T7", "source": "https://doi.org/10.4230/OASIcs.ATMOS.2026.6", "llm4rail": "pending", "upper_evidence": "official_checker", "bound_record": "Fuchs et al., B.15 (CD-LBBD)", "bound_source": "https://doi.org/10.1016/j.jrtpm.2026.100600", "bound_evidence": "paper_reported", "family": null }, { "instance": "timtab1", "library": "MIPLIB 2017", "set": "miplib-easy", "n1": 397, "n2": 171, "size_kind": "var_con", "best_known": 764771.99999978, "best_bound": 764771.99999978, "gap": 0.0, "status": "optimal", "record": "MIPLIB 2017, v37", "source": "https://miplib.zib.de/downloads/miplib2017-v37.solu", "llm4rail": "pending", "upper_evidence": "library_optimum", "bound_record": "MIPLIB 2017, v37", "bound_source": "https://miplib.zib.de/downloads/miplib2017-v37.solu", "bound_evidence": "library_optimum", "family": "timtab1" }, { "instance": "timtab1CUTS", "library": "MIPLIB 2017", "set": "miplib-easy", "n1": 397, "n2": 371, "size_kind": "var_con", "best_known": 764771.9999997859, "best_bound": 764771.9999997859, "gap": 0.0, "status": "optimal", "record": "MIPLIB 2017, v37", "source": "https://miplib.zib.de/downloads/miplib2017-v37.solu", "llm4rail": "pending", "upper_evidence": "library_optimum", "bound_record": "MIPLIB 2017, v37", "bound_source": "https://miplib.zib.de/downloads/miplib2017-v37.solu", "bound_evidence": "library_optimum", "family": "timtab1" }, { "instance": "ic97_potential", "library": "MIPLIB 2017", "set": "miplib-easy", "n1": 728, "n2": 1046, "size_kind": "var_con", "best_known": 3941.99993090225, "best_bound": 3941.99993090225, "gap": 0.0, "status": "optimal", "record": "MIPLIB 2017, v37", "source": "https://miplib.zib.de/downloads/miplib2017-v37.solu", "llm4rail": "pending", "upper_evidence": "library_optimum", "bound_record": "MIPLIB 2017, v37", "bound_source": "https://miplib.zib.de/downloads/miplib2017-v37.solu", "bound_evidence": "library_optimum", "family": "ic97" }, { "instance": "ic97_tension", "library": "MIPLIB 2017", "set": "miplib-easy", "n1": 703, "n2": 319, "size_kind": "var_con", "best_known": 3942, "best_bound": 3942, "gap": 0.0, "status": "optimal", "record": "MIPLIB 2017, v37", "source": "https://miplib.zib.de/downloads/miplib2017-v37.solu", "llm4rail": "pending", "upper_evidence": "library_optimum", "bound_record": "MIPLIB 2017, v37", "bound_source": "https://miplib.zib.de/downloads/miplib2017-v37.solu", "bound_evidence": "library_optimum", "family": "ic97" }, { "instance": "icir97_potential", "library": "MIPLIB 2017", "set": "miplib-hard", "n1": 2112, "n2": 3314, "size_kind": "var_con", "best_known": 6325, "best_bound": 6325, "gap": 0.0, "status": "optimal", "record": "MIPLIB 2017, v37", "source": "https://miplib.zib.de/downloads/miplib2017-v37.solu", "llm4rail": "pending", "upper_evidence": "library_optimum", "bound_record": "MIPLIB 2017, v37", "bound_source": "https://miplib.zib.de/downloads/miplib2017-v37.solu", "bound_evidence": "library_optimum", "family": "icir97" }, { "instance": "icir97_tension", "library": "MIPLIB 2017", "set": "miplib-easy", "n1": 2494, "n2": 1203, "size_kind": "var_con", "best_known": 6375, "best_bound": 6375, "gap": 0.0, "status": "optimal", "record": "MIPLIB 2017, v37", "source": "https://miplib.zib.de/downloads/miplib2017-v37.solu", "llm4rail": "pending", "upper_evidence": "library_optimum", "bound_record": "MIPLIB 2017, v37", "bound_source": "https://miplib.zib.de/downloads/miplib2017-v37.solu", "bound_evidence": "library_optimum", "family": "icir97" }, { "instance": "nh97_potential", "library": "MIPLIB 2017", "set": "miplib-easy", "n1": 1180, "n2": 1916, "size_kind": "var_con", "best_known": 1418, "best_bound": 1418, "gap": 0.0, "status": "optimal", "record": "MIPLIB 2017, v37", "source": "https://miplib.zib.de/downloads/miplib2017-v37.solu", "llm4rail": "pending", "upper_evidence": "library_optimum", "bound_record": "MIPLIB 2017, v37", "bound_source": "https://miplib.zib.de/downloads/miplib2017-v37.solu", "bound_evidence": "library_optimum", "family": "nh97" }, { "instance": "nh97_tension", "library": "MIPLIB 2017", "set": "miplib-easy", "n1": 1576, "n2": 737, "size_kind": "var_con", "best_known": 1418, "best_bound": 1418, "gap": 0.0, "status": "optimal", "record": "MIPLIB 2017, v37", "source": "https://miplib.zib.de/downloads/miplib2017-v37.solu", "llm4rail": "pending", "upper_evidence": "library_optimum", "bound_record": "MIPLIB 2017, v37", "bound_source": "https://miplib.zib.de/downloads/miplib2017-v37.solu", "bound_evidence": "library_optimum", "family": "nh97" }, { "instance": "rail01", "library": "MIPLIB 2017", "set": "miplib-easy", "n1": 117527, "n2": 46843, "size_kind": "var_con", "best_known": -70.5699643, "best_bound": -70.5699643, "gap": 0.0, "status": "optimal", "record": "MIPLIB 2017, v37", "source": "https://miplib.zib.de/downloads/miplib2017-v37.solu", "llm4rail": "pending", "upper_evidence": "library_optimum", "bound_record": "MIPLIB 2017, v37", "bound_source": "https://miplib.zib.de/downloads/miplib2017-v37.solu", "bound_evidence": "library_optimum", "family": null }, { "instance": "rail02", "library": "MIPLIB 2017", "set": "miplib-easy", "n1": 270869, "n2": 95791, "size_kind": "var_con", "best_known": -200.4499077, "best_bound": -200.4499077, "gap": 0.0, "status": "optimal", "record": "MIPLIB 2017, v37", "source": "https://miplib.zib.de/downloads/miplib2017-v37.solu", "llm4rail": "pending", "upper_evidence": "library_optimum", "bound_record": "MIPLIB 2017, v37", "bound_source": "https://miplib.zib.de/downloads/miplib2017-v37.solu", "bound_evidence": "library_optimum", "family": null }, { "instance": "rail03", "library": "MIPLIB 2017", "set": "miplib-hard", "n1": 758775, "n2": 253905, "size_kind": "var_con", "best_known": -867.093965444446, "best_bound": -867.093965444446, "gap": 0.0, "status": "optimal", "record": "MIPLIB 2017, v37", "source": "https://miplib.zib.de/downloads/miplib2017-v37.solu", "llm4rail": "pending", "upper_evidence": "library_optimum", "bound_record": "MIPLIB 2017, v37", "bound_source": "https://miplib.zib.de/downloads/miplib2017-v37.solu", "bound_evidence": "library_optimum", "family": null }, { "instance": "mzzv11", "library": "MIPLIB 2017", "set": "miplib-easy", "n1": 10240, "n2": 9499, "size_kind": "var_con", "best_known": -21718, "best_bound": -21718, "gap": 0.0, "status": "optimal", "record": "MIPLIB 2017, v37", "source": "https://miplib.zib.de/downloads/miplib2017-v37.solu", "llm4rail": "pending", "upper_evidence": "library_optimum", "bound_record": "MIPLIB 2017, v37", "bound_source": "https://miplib.zib.de/downloads/miplib2017-v37.solu", "bound_evidence": "library_optimum", "family": null }, { "instance": "mzzv42z", "library": "MIPLIB 2017", "set": "miplib-easy", "n1": 11717, "n2": 10460, "size_kind": "var_con", "best_known": -20540, "best_bound": -20540, "gap": 0.0, "status": "optimal", "record": "MIPLIB 2017, v37", "source": "https://miplib.zib.de/downloads/miplib2017-v37.solu", "llm4rail": "pending", "upper_evidence": "library_optimum", "bound_record": "MIPLIB 2017, v37", "bound_source": "https://miplib.zib.de/downloads/miplib2017-v37.solu", "bound_evidence": "library_optimum", "family": null }, { "instance": "traininstance2", "library": "MIPLIB 2017", "set": "miplib-easy", "n1": 12890, "n2": 15603, "size_kind": "var_con", "best_known": 71820, "best_bound": 71820, "gap": 0.0, "status": "optimal", "record": "MIPLIB 2017, v37", "source": "https://miplib.zib.de/downloads/miplib2017-v37.solu", "llm4rail": "pending", "upper_evidence": "library_optimum", "bound_record": "MIPLIB 2017, v37", "bound_source": "https://miplib.zib.de/downloads/miplib2017-v37.solu", "bound_evidence": "library_optimum", "family": null }, { "instance": "traininstance6", "library": "MIPLIB 2017", "set": "miplib-easy", "n1": 10218, "n2": 12309, "size_kind": "var_con", "best_known": 28290, "best_bound": 28290, "gap": 0.0, "status": "optimal", "record": "MIPLIB 2017, v37", "source": "https://miplib.zib.de/downloads/miplib2017-v37.solu", "llm4rail": "pending", "upper_evidence": "library_optimum", "bound_record": "MIPLIB 2017, v37", "bound_source": "https://miplib.zib.de/downloads/miplib2017-v37.solu", "bound_evidence": "library_optimum", "family": null } ] }