# Integer Linear Programming on MIPLIB Source: [Integer Linear Programming on MIPLIB]() Collection index: [llms.txt]() Data updated: 2026-05-13T07:43:40.613Z Evaluation of Integer Linear Programming solvers on the general MIPLIB problem set, focusing on incumbent solution values. A research result applies to its stated dataset, split, metric and evaluation configuration. Compare like-for-like settings, preserve the metric's unit and direction, and distinguish paper-reported results from independent reproduction. The best result recorded here is not a claim of exhaustive, current global coverage. | Scope | Recorded value | | --- | --- | | Task | Integer Linear Programming | | Dataset (including any stated split) | MIPLIB | | Metric | Incumbent Value | | Unit | SCALAR | | Direction | Lower is better | | Results loaded | 34 of 34 | | Coverage | All results currently returned for this benchmark | Evaluation settings may differ between results. The original papers and recorded configurations are needed to establish comparability. A shared metric name alone does not establish an identical protocol. ## Metrics - [Incumbent Value](): Lower is better; unit: SCALAR. ## Recorded results | Method | Incumbent Value | Result date | Report paper | | --- | --- | --- | --- | | RL-SPH | -9352.3 | Not recorded | 68fa79071e209131cea7bc6f | | RHF | -9229.3 | Not recorded | 68fa79071e209131cea7bc6f | | RL-SPH | -4678.2 | Not recorded | 68fa79071e209131cea7bc6f | | RHF | -4624.1 | Not recorded | 68fa79071e209131cea7bc6f | | RL-SPH | -4549 | Not recorded | 68fa79071e209131cea7bc6f | | RHF | -4504.2 | Not recorded | 68fa79071e209131cea7bc6f | | RL-SPH | -156 | Not recorded | 68fa79071e209131cea7bc6f | | RHF | -122.4 | Not recorded | 68fa79071e209131cea7bc6f | | RL-SPH | -101 | Not recorded | 68fa79071e209131cea7bc6f | | RHF | -82.5 | Not recorded | 68fa79071e209131cea7bc6f | | RHF | -27 | Not recorded | 68fa79071e209131cea7bc6f | | RL-SPH | -24 | Not recorded | 68fa79071e209131cea7bc6f | | RL-SPH | -6 | Not recorded | 68fa79071e209131cea7bc6f | | RHF | -2 | Not recorded | 68fa79071e209131cea7bc6f | | RHF | 310 | Not recorded | 68fa79071e209131cea7bc6f | | RL-SPH | 469 | Not recorded | 68fa79071e209131cea7bc6f | | RHF | 530 | Not recorded | 68fa79071e209131cea7bc6f | | RL-SPH | 597 | Not recorded | 68fa79071e209131cea7bc6f | | RHF | 622 | Not recorded | 68fa79071e209131cea7bc6f | | RL-SPH | 660 | Not recorded | 68fa79071e209131cea7bc6f | | RHF | 706 | Not recorded | 68fa79071e209131cea7bc6f | | RHF | 765 | Not recorded | 68fa79071e209131cea7bc6f | | RHF | 1314 | Not recorded | 68fa79071e209131cea7bc6f | | RL-SPH | 1774 | Not recorded | 68fa79071e209131cea7bc6f | | RL-SPH | 1824 | Not recorded | 68fa79071e209131cea7bc6f | | RHF | 2486.7 | Not recorded | 68fa79071e209131cea7bc6f | | RL-SPH | 2507.7 | Not recorded | 68fa79071e209131cea7bc6f | | RL-SPH | 2973 | Not recorded | 68fa79071e209131cea7bc6f | | RHF | 4121 | Not recorded | 68fa79071e209131cea7bc6f | | RL-SPH | 7061 | Not recorded | 68fa79071e209131cea7bc6f | | RHF | 7148.7 | Not recorded | 68fa79071e209131cea7bc6f | | RL-SPH | 13672 | Not recorded | 68fa79071e209131cea7bc6f | | RHF | 82307 | Not recorded | 68fa79071e209131cea7bc6f | | RL-SPH | 82307 | Not recorded | 68fa79071e209131cea7bc6f | ### RL-SPH Incumbent Value: -9352.3. Result ID: 6a042b9d47f34ce924e9c940. [Reporting paper]() [Method origin paper]() Recorded evaluation configuration: {"Test instance":"gen-ip016","Total variables":"28","#binaries":"0","#integers":"28","#continuous":"0","#constraints":"24","Density":"100.0%","BKS":"-9,476.2","Time limit":"100 seconds"}. This record does not assert independent reproduction. ### RHF Incumbent Value: -9229.3. Result ID: 6a042b9d47f34ce924e9c93f. [Reporting paper]() Recorded evaluation configuration: {"Test instance":"gen-ip016","Total variables":"28","#binaries":"0","#integers":"28","#continuous":"0","#constraints":"24","Density":"100.0%","BKS":"-9,476.2","Time limit":"100 seconds"}. This record does not assert independent reproduction. ### RL-SPH Incumbent Value: -4678.2. Result ID: 6a042b9d47f34ce924e9c938. [Reporting paper]() [Method origin paper]() Recorded evaluation configuration: {"Test instance":"gen-ip002","Total variables":"41","#binaries":"0","#integers":"41","#continuous":"0","#constraints":"24","Density":"93.7%","BKS":"-4,783.7","Time limit":"100 seconds"}. This record does not assert independent reproduction. ### RHF Incumbent Value: -4624.1. Result ID: 6a042b9d47f34ce924e9c937. [Reporting paper]() Recorded evaluation configuration: {"Test instance":"gen-ip002","Total variables":"41","#binaries":"0","#integers":"41","#continuous":"0","#constraints":"24","Density":"93.7%","BKS":"-4,783.7","Time limit":"100 seconds"}. This record does not assert independent reproduction. ### RL-SPH Incumbent Value: -4549. Result ID: 6a042b9d47f34ce924e9c93e. [Reporting paper]() [Method origin paper]() Recorded evaluation configuration: {"Test instance":"gen-ip036","Total variables":"29","#binaries":"0","#integers":"29","#continuous":"0","#constraints":"46","Density":"97.7%","BKS":"-4,606.7","Time limit":"100 seconds"}. This record does not assert independent reproduction. ### RHF Incumbent Value: -4504.2. Result ID: 6a042b9d47f34ce924e9c93d. [Reporting paper]() Recorded evaluation configuration: {"Test instance":"gen-ip036","Total variables":"29","#binaries":"0","#integers":"29","#continuous":"0","#constraints":"46","Density":"97.7%","BKS":"-4,606.7","Time limit":"100 seconds"}. This record does not assert independent reproduction. ### RL-SPH Incumbent Value: -156. Result ID: 6a042b9d47f34ce924e9c934. [Reporting paper]() [Method origin paper]() Recorded evaluation configuration: {"Test instance":"neos-1442119","Total variables":"728","#binaries":"364","#integers":"0","#continuous":"364","#constraints":"1,524","Density":"0.6%","BKS":"-181.0","Time limit":"100 seconds"}. This record does not assert independent reproduction. ### RHF Incumbent Value: -122.4. Result ID: 6a042b9d47f34ce924e9c933. [Reporting paper]() Recorded evaluation configuration: {"Test instance":"neos-1442119","Total variables":"728","#binaries":"364","#integers":"0","#continuous":"364","#constraints":"1,524","Density":"0.6%","BKS":"-181.0","Time limit":"100 seconds"}. This record does not assert independent reproduction. ### RL-SPH Incumbent Value: -101. Result ID: 6a042b9d47f34ce924e9c932. [Reporting paper]() [Method origin paper]() Recorded evaluation configuration: {"Test instance":"neos-1171737","Total variables":"2,340","#binaries":"1,170","#integers":"0","#continuous":"1,170","#constraints":"4,179","Density":"0.6%","BKS":"-195.0","Time limit":"100 seconds"}. This record does not assert independent reproduction. ### RHF Incumbent Value: -82.5. Result ID: 6a042b9d47f34ce924e9c931. [Reporting paper]() Recorded evaluation configuration: {"Test instance":"neos-1171737","Total variables":"2,340","#binaries":"1,170","#integers":"0","#continuous":"1,170","#constraints":"4,179","Density":"0.6%","BKS":"-195.0","Time limit":"100 seconds"}. This record does not assert independent reproduction. ### RHF Incumbent Value: -27. Result ID: 6a042b9d47f34ce924e9c92b. [Reporting paper]() Recorded evaluation configuration: {"Test instance":"queens-30","Total variables":"900","#binaries":"900","#integers":"0","#continuous":"0","#constraints":"960","Density":"10.8%","BKS":"-40.0","Time limit":"100 seconds"}. This record does not assert independent reproduction. ### RL-SPH Incumbent Value: -24. Result ID: 6a042b9d47f34ce924e9c92c. [Reporting paper]() [Method origin paper]() Recorded evaluation configuration: {"Test instance":"queens-30","Total variables":"900","#binaries":"900","#integers":"0","#continuous":"0","#constraints":"960","Density":"10.8%","BKS":"-40.0","Time limit":"100 seconds"}. This record does not assert independent reproduction. ### RL-SPH Incumbent Value: -6. Result ID: 6a042b9d47f34ce924e9c92a. [Reporting paper]() [Method origin paper]() Recorded evaluation configuration: {"Test instance":"cod105","Total variables":"1,024","#binaries":"1,024","#integers":"0","#continuous":"0","#constraints":"1,024","Density":"5.5%","BKS":"-12.0","Time limit":"100 seconds"}. This record does not assert independent reproduction. ### RHF Incumbent Value: -2. Result ID: 6a042b9d47f34ce924e9c929. [Reporting paper]() Recorded evaluation configuration: {"Test instance":"cod105","Total variables":"1,024","#binaries":"1,024","#integers":"0","#continuous":"0","#constraints":"1,024","Density":"5.5%","BKS":"-12.0","Time limit":"100 seconds"}. This record does not assert independent reproduction. ### RHF Incumbent Value: 310. Result ID: 6a042b9d47f34ce924e9c92d. [Reporting paper]() Recorded evaluation configuration: {"Test instance":"rail507","Total variables":"63,019","#binaries":"63,009","#integers":"0","#continuous":"10","#constraints":"509","Density":"1.5%","BKS":"174","Time limit":"100 seconds"}. This record does not assert independent reproduction. ### RL-SPH Incumbent Value: 469. Result ID: 6a042b9d47f34ce924e9c92e. [Reporting paper]() [Method origin paper]() Recorded evaluation configuration: {"Test instance":"rail507","Total variables":"63,019","#binaries":"63,009","#integers":"0","#continuous":"10","#constraints":"509","Density":"1.5%","BKS":"174","Time limit":"100 seconds"}. This record does not assert independent reproduction. ### RHF Incumbent Value: 530. Result ID: 6a042b9d47f34ce924e9c935. [Reporting paper]() Recorded evaluation configuration: {"Test instance":"bppc8-02","Total variables":"232","#binaries":"229","#integers":"1","#continuous":"2","#constraints":"59","Density":"32.0%","BKS":"507","Time limit":"100 seconds"}. This record does not assert independent reproduction. ### RL-SPH Incumbent Value: 597. Result ID: 6a042b9d47f34ce924e9c928. [Reporting paper]() [Method origin paper]() Recorded evaluation configuration: {"Test instance":"seymour","Total variables":"1,372","#binaries":"1,372","#integers":"0","#continuous":"0","#constraints":"4,944","Density":"0.5%","BKS":"423.0","Time limit":"100 seconds"}. This record does not assert independent reproduction. ### RHF Incumbent Value: 622. Result ID: 6a042b9d47f34ce924e9c927. [Reporting paper]() Recorded evaluation configuration: {"Test instance":"seymour","Total variables":"1,372","#binaries":"1,372","#integers":"0","#continuous":"0","#constraints":"4,944","Density":"0.5%","BKS":"423.0","Time limit":"100 seconds"}. This record does not assert independent reproduction. ### RL-SPH Incumbent Value: 660. Result ID: 6a042b9d47f34ce924e9c922. [Reporting paper]() [Method origin paper]() Recorded evaluation configuration: {"Test instance":"ex1010-pi","Total variables":"25,200","#binaries":"25,200","#integers":"0","#continuous":"0","#constraints":"1,468","Density":"0.3%","BKS":"233.0","Time limit":"100 seconds"}. This record does not assert independent reproduction. ### RHF Incumbent Value: 706. Result ID: 6a042b9d47f34ce924e9c921. [Reporting paper]() Recorded evaluation configuration: {"Test instance":"ex1010-pi","Total variables":"25,200","#binaries":"25,200","#integers":"0","#continuous":"0","#constraints":"1,468","Density":"0.3%","BKS":"233.0","Time limit":"100 seconds"}. This record does not assert independent reproduction. ### RHF Incumbent Value: 765. Result ID: 6a042b9d47f34ce924e9c91f. [Reporting paper]() Recorded evaluation configuration: {"Test instance":"scpk4","Total variables":"100,000","#binaries":"100,000","#integers":"0","#continuous":"0","#constraints":"2,000","Density":"0.5%","BKS":"318","Time limit":"100 seconds"}. This record does not assert independent reproduction. ### RHF Incumbent Value: 1314. Result ID: 6a042b9d47f34ce924e9c923. [Reporting paper]() Recorded evaluation configuration: {"Test instance":"toll-like","Total variables":"2,883","#binaries":"2,883","#integers":"0","#continuous":"0","#constraints":"4,408","Density":"0.1%","BKS":"610.0","Time limit":"100 seconds"}. This record does not assert independent reproduction. ### RL-SPH Incumbent Value: 1774. Result ID: 6a042b9d47f34ce924e9c924. [Reporting paper]() [Method origin paper]() Recorded evaluation configuration: {"Test instance":"toll-like","Total variables":"2,883","#binaries":"2,883","#integers":"0","#continuous":"0","#constraints":"4,408","Density":"0.1%","BKS":"610.0","Time limit":"100 seconds"}. This record does not assert independent reproduction. ### RL-SPH Incumbent Value: 1824. Result ID: 6a042b9d47f34ce924e9c936. [Reporting paper]() [Method origin paper]() Recorded evaluation configuration: {"Test instance":"bppc8-02","Total variables":"232","#binaries":"229","#integers":"1","#continuous":"2","#constraints":"59","Density":"32.0%","BKS":"507","Time limit":"100 seconds"}. This record does not assert independent reproduction. ### RHF Incumbent Value: 2486.7. Result ID: 6a042b9d47f34ce924e9c939. [Reporting paper]() Recorded evaluation configuration: {"Test instance":"gen-ip021","Total variables":"35","#binaries":"0","#integers":"35","#continuous":"0","#constraints":"28","Density":"96.4%","BKS":"2,361.5","Time limit":"100 seconds"}. This record does not assert independent reproduction. ### RL-SPH Incumbent Value: 2507.7. Result ID: 6a042b9d47f34ce924e9c93a. [Reporting paper]() [Method origin paper]() Recorded evaluation configuration: {"Test instance":"gen-ip021","Total variables":"35","#binaries":"0","#integers":"35","#continuous":"0","#constraints":"28","Density":"96.4%","BKS":"2,361.5","Time limit":"100 seconds"}. This record does not assert independent reproduction. ### RL-SPH Incumbent Value: 2973. Result ID: 6a042b9d47f34ce924e9c930. [Reporting paper]() [Method origin paper]() Recorded evaluation configuration: {"Test instance":"core4872-1529","Total variables":"24,656","#binaries":"24,645","#integers":"0","#continuous":"11","#constraints":"4,875","Density":"0.2%","BKS":"1,530.0","Time limit":"100 seconds"}. This record does not assert independent reproduction. ### RHF Incumbent Value: 4121. Result ID: 6a042b9d47f34ce924e9c92f. [Reporting paper]() Recorded evaluation configuration: {"Test instance":"core4872-1529","Total variables":"24,656","#binaries":"24,645","#integers":"0","#continuous":"11","#constraints":"4,875","Density":"0.2%","BKS":"1,530.0","Time limit":"100 seconds"}. This record does not assert independent reproduction. ### RL-SPH Incumbent Value: 7061. Result ID: 6a042b9d47f34ce924e9c93c. [Reporting paper]() [Method origin paper]() Recorded evaluation configuration: {"Test instance":"gen-ip054","Total variables":"30","#binaries":"0","#integers":"30","#continuous":"0","#constraints":"27","Density":"65.7%","BKS":"6,841.0","Time limit":"100 seconds"}. This record does not assert independent reproduction. ### RHF Incumbent Value: 7148.7. Result ID: 6a042b9d47f34ce924e9c93b. [Reporting paper]() Recorded evaluation configuration: {"Test instance":"gen-ip054","Total variables":"30","#binaries":"0","#integers":"30","#continuous":"0","#constraints":"27","Density":"65.7%","BKS":"6,841.0","Time limit":"100 seconds"}. This record does not assert independent reproduction. ### RL-SPH Incumbent Value: 13672. Result ID: 6a042b9d47f34ce924e9c920. [Reporting paper]() [Method origin paper]() Recorded evaluation configuration: {"Test instance":"scpk4","Total variables":"100,000","#binaries":"100,000","#integers":"0","#continuous":"0","#constraints":"2,000","Density":"0.5%","BKS":"318","Time limit":"100 seconds"}. This record does not assert independent reproduction. ### RHF Incumbent Value: 82307. Result ID: 6a042b9d47f34ce924e9c925. [Reporting paper]() Recorded evaluation configuration: {"Test instance":"f2gap401600","Total variables":"1,600","#binaries":"1,600","#integers":"0","#continuous":"0","#constraints":"40","Density":"5.0%","BKS":"82,307.0","Time limit":"100 seconds"}. This record does not assert independent reproduction. ### RL-SPH Incumbent Value: 82307. Result ID: 6a042b9d47f34ce924e9c926. [Reporting paper]() [Method origin paper]() Recorded evaluation configuration: {"Test instance":"f2gap401600","Total variables":"1,600","#binaries":"1,600","#integers":"0","#continuous":"0","#constraints":"40","Density":"5.0%","BKS":"82,307.0","Time limit":"100 seconds"}. This record does not assert independent reproduction. Page 1 of 1. This is an index page, not the full collection.