MIPLIB 2017 Infeas
A benchmark of primal- and dual-infeasible linear programs

MIPLIB 2017 Infeas

334 linear programs with no optimal solution, each derived from a MIPLIB 2017 instance with its integrality dropped. 229 have no feasible point; 105 are unbounded. They run up to 20,682,487 variables and 19,912,111 constraints.

102102103103104104105105106106107107# variables# constraints30n20b8: 18,380 × 572, 107,150 nonzerosatlanta-ip: 48,738 × 21,732, 257,532 nonzerosbab1: 61,152 × 60,680, 854,392 nonzerosbab5: 21,600 × 4,963, 155,488 nonzerosblp-ar98: 16,021 × 1,128, 200,601 nonzerosblp-ic97: 9,845 × 920, 111,347 nonzerosblp-ic98: 13,640 × 715, 184,467 nonzerosbppc6-02: 4,784 × 308, 187,904 nonzerosbppc6-06: 3,922 × 272, 181,319 nonzeroscmflsp40-24-10-7: 13,200 × 2,824, 127,712 nonzeroscmflsp40-36-2-10: 28,152 × 4,265, 386,162 nonzeroscmflsp50-24-8-8: 16,392 × 3,518, 158,444 nonzeroscmflsp60-36-2-6: 42,192 × 6,387, 581,265 nonzerosco-100: 48,417 × 2,186, 1,993,763 nonzerosdc1l: 37,297 × 1,653, 448,754 nonzerosds: 67,732 × 530, 732,397 nonzerosdws008-03: 32,280 × 16,341, 165,024 nonzerosdws012-01: 26,148 × 14,278, 132,836 nonzerosdws012-02: 51,108 × 26,379, 260,976 nonzerosdws012-03: 76,068 × 38,481, 389,200 nonzeroseilA101-2: 65,832 × 77, 685,281 nonzeroseilC76-2: 28,599 × 55, 193,519 nonzerosex1010-pi: 25,200 × 1,467, 101,994 nonzerosfast0507: 63,009 × 493, 372,415 nonzerosfhnw-schedule-paira200: 20,300 × 40,000, 119,746 nonzerosger50-17-trans-dfn-3t: 22,414 × 499, 172,035 nonzerosger50-17-trans-pop-3t: 22,414 × 499, 172,035 nonzerosgmut-75-50: 68,865 × 2,430, 512,950 nonzerosgmut-76-40: 24,338 × 2,398, 133,435 nonzerosgmut-76-50: 68,865 × 2,451, 428,817 nonzerosgraphdraw-opmanager: 4,812 × 75,358, 227,016 nonzerosiis-hc-cov: 297 × 9,727, 142,971 nonzerosleo1: 6,731 × 593, 131,218 nonzerosleo2: 11,100 × 593, 219,959 nonzeroslr1dr04vc05v17a-t360: 36,912 × 12,600, 107,170 nonzerosmzzv42z: 11,717 × 10,457, 151,244 nonzerosn2seq36q: 22,480 × 2,563, 183,250 nonzerosn3div36: 22,120 × 4,484, 340,740 nonzerosneos-1171448: 4,914 × 13,002, 129,215 nonzerosneos-1593097: 18,460 × 794, 112,268 nonzerosneos-2987310-joes: 27,837 × 29,015, 580,291 nonzerosneos-2991472-kalu: 12,105 × 18,161, 13,703,421 nonzerosneos-3229051-yass: 99,472 × 18,846,096, 57,144,880 nonzerosneos-3230511-yuna: 99,472 × 19,335,696, 58,613,680 nonzerosneos-3352863-ancoa: 20,046 × 134, 695,726 nonzerosneos-3354841-apure: 100,000 × 167, 5,250,739 nonzerosneos-3372571-onahau: 13,086 × 29,487, 116,511 nonzerosneos-4322846-ryton: 108,700 × 104,971, 451,326 nonzerosneos-4355351-swalm: 21,065 × 21,608, 371,465 nonzerosneos-4954274-beardy: 12,865 × 17,358, 139,982 nonzerosneos-498623: 9,861 × 1,992, 137,160 nonzerosneos-525149: 3,640 × 144,120, 1,519,200 nonzerosneos-5266653-tugela: 23,310 × 23,456, 170,310 nonzerosneos-662469: 18,235 × 979, 172,684 nonzerosneos-848589: 550,539 × 1,484, 1,101,078 nonzerosneos-860300: 1,385 × 842, 383,201 nonzerosneos-876808: 87,268 × 85,808, 682,376 nonzerosneos-885086: 4,860 × 11,409, 245,327 nonzerosneos-948346: 57,855 × 1,405, 491,555 nonzerosneos-953928: 23,305 × 12,278, 151,135 nonzerosneos-954925: 84,718 × 2,661, 706,489 nonzerosneos-956971: 57,756 × 2,076, 399,583 nonzerosneos-957143: 57,756 × 2,333, 419,737 nonzerosneos-957323: 57,756 × 3,320, 418,871 nonzerosneos6: 8,786 × 993, 232,838 nonzerosneos9: 81,408 × 31,600, 244,224 nonzerosns1111636: 360,822 × 13,893, 567,642 nonzerosns1456591: 8,399 × 1,994, 199,021 nonzerosns1690781: 5,736 × 11,115, 255,607 nonzerosns1905797: 18,192 × 51,880, 238,560 nonzerosns2124243: 156,083 × 139,279, 428,668 nonzerosnsrand-ipx: 6,621 × 735, 223,261 nonzerosnursesched-medium-hint03: 34,248 × 14,062, 622,800 nonzerosnursesched-medium04: 29,667 × 8,668, 621,829 nonzerosnursesched-sprint-hidden09: 11,650 × 4,872, 208,050 nonzerosnursesched-sprint-late03: 11,690 × 5,032, 208,410 nonzerosnursesched-sprint02: 10,250 × 3,522, 204,000 nonzerosnw04: 87,482 × 27, 390,025 nonzerosopm2-z8-s0: 3,200 × 63,608, 152,793 nonzerospb-fit2d: 118,500 × 10,525, 1,575,578 nonzerospb-grow22: 25,124 × 1,320, 154,694 nonzerospiperout-d20: 11,961 × 15,451, 188,747 nonzerosproteindesign121hz512p9: 159,145 × 301, 629,449 nonzerosproteindesign121pgb11p9: 132,672 × 254, 524,690 nonzerosproteindesign122trx11p8: 127,326 × 253, 501,123 nonzerosrail507: 63,019 × 501, 439,031 nonzerosroi2alpha3n4: 6,816 × 1,234, 796,463 nonzerosrvb-sub: 33,765 × 171, 653,992 nonzeross55: 78,141 × 9,752, 261,185 nonzerosshipsched: 13,594 × 45,500, 121,511 nonzerossnp-02-004-104: 228,350 × 126,512, 463,941 nonzerossp97ar: 14,101 × 1,761, 290,968 nonzerossp97ic: 12,497 × 1,033, 316,629 nonzerossp98ar: 15,085 × 1,434, 425,241 nonzerossp98ic: 10,894 × 825, 316,317 nonzerosstockholm: 20,644 × 57,346, 171,076 nonzerossupportcase39: 1,025 × 16,376, 398,598 nonzerossupportcase42: 19,466 × 18,439, 435,653 nonzerossupportcase6: 130,052 × 702, 447,093 nonzerossupportcase7: 138,844 × 6,532, 2,845,545 nonzerost1717: 73,885 × 551, 325,689 nonzerost1722: 36,630 × 299, 117,733 nonzerostbfp-network: 72,747 × 2,434, 211,166 nonzerosthor50dday: 106,261 × 53,360, 212,060 nonzerosvar-smallemery-m6j6: 5,608 × 13,416, 850,623 nonzeros30n20b8: 18,380 × 576, 109,706 nonzerosacademictimetablebig: 168,974 × 167,661, 1,545,375 nonzerosacademictimetablesmall: 28,926 × 23,294, 268,350 nonzerosadult-max5features: 32,674 × 32,709, 417,567 nonzerosallcolor58: 84,376 × 197,154, 515,184 nonzerosapp1-2: 26,871 × 53,467, 199,175 nonzerosatlanta-ip: 48,738 × 21,732, 257,532 nonzerosbab1: 61,152 × 60,680, 854,392 nonzerosbab2: 147,912 × 17,245, 2,027,726 nonzerosbab3: 393,800 × 23,069, 3,301,838 nonzerosbab5: 21,600 × 4,964, 155,520 nonzerosbab6: 114,240 × 29,904, 1,283,181 nonzerosblp-ar98: 16,021 × 1,128, 200,601 nonzerosblp-ic97: 9,845 × 923, 118,149 nonzerosblp-ic98: 13,640 × 717, 191,947 nonzerosbrazil3: 23,968 × 14,646, 133,184 nonzeroscirc10-3: 2,700 × 42,620, 307,320 nonzeroscmflsp40-24-10-7: 13,200 × 2,825, 127,736 nonzeroscmflsp40-36-2-10: 28,152 × 4,266, 386,432 nonzeroscmflsp50-24-8-8: 16,392 × 3,520, 158,622 nonzeroscmflsp60-36-2-6: 42,192 × 6,388, 581,335 nonzerosco-100: 48,417 × 2,187, 1,995,817 nonzeroscryptanalysiskb128n5obj16: 48,950 × 98,021, 292,875 nonzerosd20200: 4,000 × 1,502, 189,389 nonzerosds: 67,732 × 656, 1,024,059 nonzerosdws008-03: 32,280 × 16,344, 165,168 nonzerosdws012-01: 26,148 × 14,280, 132,936 nonzerosdws012-02: 51,108 × 26,382, 261,120 nonzerosdws012-03: 76,068 × 38,484, 389,304 nonzeroseilA101-2: 65,832 × 100, 959,373 nonzeroseilC76-2: 28,599 × 75, 314,837 nonzeroseva1aprime6x6opt: 3,514 × 34,872, 161,558 nonzerosex10: 17,680 × 69,608, 1,162,000 nonzerosex9: 10,404 × 40,962, 517,112 nonzerosfastxgemm-n3r21s3t6: 18,684 × 219,368, 718,146 nonzerosfastxgemm-n3r22s4t6: 19,539 × 229,742, 752,274 nonzerosfastxgemm-n3r23s5t6: 20,394 × 240,116, 786,402 nonzerosfhnw-binschedule0: 319,319 × 58,085, 1,382,972 nonzerosfhnw-binschedule2: 30,973 × 6,503, 134,640 nonzerosgenus-sym-g62-2: 12,912 × 78,472, 275,855 nonzerosger50-17-trans-dfn-3t: 22,414 × 499, 172,035 nonzerosger50-17-trans-pop-3t: 22,414 × 499, 172,035 nonzerosgermanrr: 10,813 × 10,779, 175,547 nonzerosgfd-schedulen180f7d50m30k18: 227,535 × 457,985, 1,233,372 nonzerosgmut-75-50: 68,865 × 2,565, 571,475 nonzerosgmut-76-40: 24,338 × 2,586, 153,017 nonzerosgmut-76-50: 68,865 × 2,586, 470,045 nonzerosgraph20-80-1rand: 16,263 × 55,107, 191,997 nonzerosgraphdraw-opmanager: 4,812 × 75,395, 227,160 nonzeroshgms30: 23,797 × 281,917, 850,486 nonzeroshgms62: 48,597 × 582,237, 1,753,238 nonzeroshypothyroid-k1: 2,602 × 5,195, 433,884 nonzerosk1mushroom: 8,211 × 16,419, 1,697,946 nonzerosleo1: 6,731 × 593, 131,218 nonzeroslr1dr04vc05v17a-t360: 36,912 × 12,600, 107,170 nonzeroslr2-22dr3-333vc4v17a-t60: 109,519 × 108,566, 435,517 nonzerosmomentum1: 5,174 × 42,680, 103,198 nonzerosmzzv11: 10,240 × 9,499, 134,603 nonzerosmzzv42z: 11,717 × 10,460, 151,261 nonzerosneos-1122047: 5,100 × 57,791, 163,640 nonzerosneos-1354092: 13,702 × 3,135, 187,187 nonzerosneos-1367061: 36,600 × 102,750, 260,250 nonzerosneos-1593097: 18,460 × 798, 113,308 nonzerosneos-2669500-cust: 112,008 × 105,744, 636,728 nonzerosneos-2991472-kalu: 12,105 × 18,170, 13,709,358 nonzerosneos-3025225-shelon: 69,846 × 91,572, 9,357,951 nonzerosneos-3209462-rhin: 56,453 × 170,226, 447,473 nonzerosneos-3237086-abava: 50,192 × 69,472, 233,552 nonzerosneos-3372571-onahau: 13,086 × 29,487, 116,511 nonzerosneos-3402294-bobin: 2,904 × 591,076, 2,034,888 nonzerosneos-3555904-turama: 37,461 × 146,493, 793,605 nonzerosneos-3695882-vesdre: 6,135 × 191,504, 598,115 nonzerosneos-3740487-motru: 1,689,612 × 4,936,372, 26,433,474 nonzerosneos-4260495-otere: 176,048 × 295,357, 702,986 nonzerosneos-4295773-pissa: 85,126 × 210,116, 552,408 nonzerosneos-4300652-rahue: 33,003 × 76,992, 183,616 nonzerosneos-4306827-ravan: 162,291 × 261,877, 639,474 nonzerosneos-4321076-ruwer: 361,730 × 509,809, 1,265,750 nonzerosneos-4322846-ryton: 108,700 × 104,972, 452,044 nonzerosneos-4332801-seret: 20,682,487 × 19,912,111, 47,513,027 nonzerosneos-4355351-swalm: 21,065 × 21,609, 371,467 nonzerosneos-4359986-taipa: 25,130 × 48,864, 126,561 nonzerosneos-4360552-sangro: 10,272 × 46,012, 302,184 nonzerosneos-4391920-timok: 93,846 × 184,575, 585,839 nonzerosneos-4408804-prosna: 66,612 × 67,161, 266,448 nonzerosneos-4409277-trave: 14,363 × 7,875, 204,518 nonzerosneos-4413714-turia: 190,402 × 2,303, 761,756 nonzerosneos-4533806-waima: 93,318 × 52,983, 1,250,570 nonzerosneos-4555749-wards: 89,147 × 51,776, 1,263,377 nonzerosneos-4562542-watut: 134,705 × 73,746, 2,015,543 nonzerosneos-4647027-thurso: 9,800 × 8,382, 3,944,988 nonzerosneos-4647030-tutaki: 12,600 × 8,382, 3,953,388 nonzerosneos-4647032-veleka: 18,200 × 8,382, 3,970,188 nonzerosneos-4722843-widden: 77,723 × 113,555, 311,529 nonzerosneos-4724674-aorere: 94,145 × 137,123, 376,775 nonzerosneos-4797081-pakoka: 12,393 × 7,147, 456,124 nonzerosneos-4805882-barwon: 22,229 × 49,386, 117,001 nonzerosneos-4954274-beardy: 12,865 × 17,359, 140,082 nonzerosneos-4966258-blicks: 196,788 × 270,816, 975,084 nonzerosneos-4972437-bojana: 293,268 × 408,192, 1,746,396 nonzerosneos-4972461-bolong: 245,028 × 341,424, 1,456,692 nonzerosneos-4976951-bunnoo: 293,268 × 408,336, 1,746,684 nonzerosneos-498623: 9,861 × 2,047, 148,434 nonzerosneos-5041822-cockle: 227,668 × 546,733, 1,362,474 nonzerosneos-5049753-cuanza: 242,736 × 322,248, 1,440,672 nonzerosneos-5104907-jarama: 345,856 × 489,818, 2,053,548 nonzerosneos-5106984-jizera: 470,050 × 648,984, 2,796,682 nonzerosneos-5108386-kalang: 600,880 × 849,226, 3,585,988 nonzerosneos-5116085-kenana: 509,236 × 690,242, 3,032,792 nonzerosneos-5118834-korana: 470,050 × 649,124, 2,796,962 nonzerosneos-5118851-kowhai: 613,152 × 859,504, 3,643,968 nonzerosneos-5123665-limmat: 655,522 × 904,358, 3,911,502 nonzerosneos-5129192-manaia: 164,229 × 531,569, 1,599,180 nonzerosneos-5138690-middle: 562,786 × 776,608, 3,353,966 nonzerosneos-5188808-nattai: 14,544 × 29,452, 133,686 nonzerosneos-5193246-nerang: 14,546 × 42,256, 175,794 nonzerosneos-5195221-niemur: 14,546 × 42,256, 176,586 nonzerosneos-5196530-nuhaka: 14,544 × 42,124, 171,702 nonzerosneos-5221106-oparau: 25,445 × 13,897, 245,756 nonzerosneos-5266653-tugela: 23,310 × 23,458, 171,534 nonzerosneos-578379: 17,010 × 21,703, 101,560 nonzerosneos-662469: 18,235 × 1,085, 200,055 nonzerosneos-738098: 9,093 × 25,849, 101,360 nonzerosneos-860300: 1,385 × 850, 384,329 nonzerosneos-872648: 175,219 × 93,291, 350,438 nonzerosneos-873061: 175,288 × 93,360, 350,576 nonzerosneos-876808: 87,268 × 85,808, 682,376 nonzerosneos-885524: 91,670 × 65, 258,309 nonzerosneos-948346: 57,855 × 1,570, 540,443 nonzerosneos-950242: 5,760 × 34,224, 104,160 nonzerosneos-953928: 23,305 × 12,498, 169,861 nonzerosneos-956971: 57,756 × 2,527, 483,560 nonzerosneos6: 8,786 × 1,036, 251,946 nonzerosneos8: 23,228 × 46,324, 313,180 nonzerosnetdiversion: 129,180 × 119,589, 615,282 nonzerosns1111636: 360,822 × 13,895, 568,444 nonzerosns1116954: 12,648 × 131,991, 410,582 nonzerosns1430538: 33,616 × 34,960, 178,112 nonzerosns1456591: 8,399 × 1,997, 199,862 nonzerosns1631475: 22,696 × 24,496, 116,733 nonzerosns1760995: 17,956 × 615,388, 1,854,012 nonzerosns1828997: 27,275 × 81,725, 190,670 nonzerosns1830653: 1,629 × 2,932, 100,933 nonzerosns1856153: 11,998 × 35,407, 105,882 nonzerosns1905797: 18,192 × 51,884, 239,700 nonzerosns1952667: 13,264 × 41, 335,643 nonzerosns2122698: 155,103 × 139,280, 424,272 nonzerosns2124243: 156,083 × 139,280, 429,032 nonzerosns930473: 11,328 × 23,240, 121,764 nonzerosnsrand-ipx: 6,621 × 735, 223,261 nonzerosnucorsav: 55,410 × 1,812,472, 26,170,428 nonzerosnursesched-medium-hint03: 34,248 × 14,062, 622,800 nonzerosnursesched-medium04: 29,667 × 8,668, 621,829 nonzerosnursesched-sprint-hidden09: 11,650 × 4,872, 208,050 nonzerosnursesched-sprint-late03: 11,690 × 5,032, 208,410 nonzerosnursesched-sprint02: 10,250 × 3,522, 204,000 nonzerosnw04: 87,482 × 36, 636,666 nonzerospb-fit2d: 118,500 × 10,525, 1,575,578 nonzerospb-grow22: 25,124 × 1,320, 154,694 nonzerosphysiciansched3-3: 79,555 × 266,227, 1,062,479 nonzerosphysiciansched3-4: 74,119 × 239,780, 908,634 nonzerosphysiciansched5-3: 14,488 × 31,925, 156,378 nonzerosphysiciansched6-1: 126,204 × 175,664, 542,098 nonzerosphysiciansched6-2: 111,827 × 168,336, 480,259 nonzerospiperout-d20: 11,961 × 15,562, 190,915 nonzerospiperout-d27: 13,104 × 17,470, 224,457 nonzerosproteindesign121hz512p9: 159,145 × 301, 629,449 nonzerosproteindesign121pgb11p9: 132,672 × 254, 524,690 nonzerosproteindesign122trx11p8: 127,326 × 254, 503,427 nonzerosradiationm40-10-02: 172,013 × 173,603, 406,825 nonzerosrail01: 117,527 × 46,843, 392,086 nonzerosrd-rplusc-21: 622 × 125,899, 852,384 nonzerosreblock420: 4,200 × 62,800, 138,670 nonzerosrmine11: 12,292 × 97,389, 241,240 nonzerosrmine13: 23,980 × 197,155, 485,784 nonzerosrmine15: 42,438 × 358,395, 879,732 nonzerosrocII-10-11: 22,968 × 52,692, 604,216 nonzerosrocII-5-11: 11,523 × 26,897, 303,291 nonzerosrocII-8-11: 18,390 × 42,374, 483,846 nonzerosrvb-sub: 33,765 × 225, 984,143 nonzeross100: 364,417 × 14,733, 1,777,917 nonzeross250r10: 273,142 × 10,962, 1,318,607 nonzerossatellites2-25: 35,378 × 20,916, 283,668 nonzerossatellites2-40: 35,378 × 20,916, 283,668 nonzerossatellites2-60-fs: 35,378 × 16,516, 125,048 nonzerossatellites3-25: 81,681 × 44,804, 698,176 nonzerossatellites4-25: 95,637 × 51,712, 821,192 nonzerossct32: 9,767 × 5,440, 109,654 nonzerossct5: 37,265 × 13,304, 147,037 nonzerosseqsolve1: 207,665 × 242,243, 1,027,681 nonzerosseqsolve2short4288: 207,665 × 242,244, 1,028,179 nonzerosseqsolve3short4288excess384: 207,665 × 242,245, 1,028,677 nonzerosshipsched: 13,594 × 45,554, 121,571 nonzerosshs1014: 444,474 × 134,322, 1,046,077 nonzerosshs1023: 444,625 × 133,944, 1,044,725 nonzerosshs1042: 467,589 × 133,377, 1,114,011 nonzerossing326: 55,156 × 50,781, 268,173 nonzerossing44: 59,708 × 54,745, 281,260 nonzerossp97ar: 14,101 × 1,761, 290,968 nonzerossp98ar: 15,085 × 1,435, 426,148 nonzerossplice1k1: 3,253 × 6,505, 1,761,016 nonzerossquare23: 11,660 × 7,887, 898,813 nonzerossquare31: 28,860 × 19,435, 3,937,200 nonzerossquare37: 49,320 × 33,150, 9,475,672 nonzerossquare41: 62,234 × 40,160, 13,566,426 nonzerossquare47: 95,030 × 61,591, 27,329,856 nonzerosstockholm: 20,644 × 57,346, 171,076 nonzerossupportcase23: 24,275 × 40,502, 161,525 nonzerossupportcase33: 20,203 × 20,489, 211,915 nonzerossupportcase37: 20,047 × 59,023, 135,627 nonzerossupportcase39: 1,025 × 16,384, 398,774 nonzerossupportcase41: 4,725 × 28,923, 221,321 nonzerossupportcase6: 130,052 × 771, 584,976 nonzerossupportcase7: 138,844 × 6,532, 2,845,545 nonzerost1717: 73,885 × 551, 325,689 nonzerost1722: 36,630 × 338, 133,096 nonzerostbfp-network: 72,747 × 2,436, 215,837 nonzerosthor50dday: 106,261 × 53,360, 212,060 nonzerostriptim1: 30,055 × 15,706, 515,436 nonzerostriptim2: 27,326 × 14,427, 521,898 nonzerostriptim4: 27,226 × 14,361, 520,532 nonzerostriptim7: 27,342 × 14,427, 521,944 nonzerostriptim8: 27,342 × 14,427, 521,945 nonzerosuccase7: 33,020 × 47,132, 335,644 nonzerosuccase8: 37,413 × 53,709, 214,625 nonzerosuccase9: 33,242 × 49,565, 332,316 nonzerosunitcal_7: 25,755 × 48,939, 127,595 nonzerosvpphard: 51,471 × 47,280, 372,305 nonzerosvpphard2: 199,999 × 198,450, 648,340 nonzerosInfeasible (229)Unbounded (105)nonzeros105106107
Every published instance, on logarithmic axes, with mark area scaled by the nonzero count. Infeasible instances preserve the variable-to-constraint ratio of their source model; in unbounded ones it is far higher, because relaxation removes constraints and leaves the variables in place. Every dot is a link to its instance.

Primal-infeasible

229 instances

A branch-and-bound run splits on a variable and explores one side of the split. This set collects the other side, at nodes where that side has no feasible point.

Browse them all →

Dual-infeasible

105 instances

A greedy search drops bounds and constraints from a feasible, bounded root relaxation until its objective is unbounded. 103 instances come from that search; the other 2 were unbounded as given.

Browse them all →
Every instance

Two files

<name>.mps.gz

The linear program, gzipped MPS, continuous variables only, ready to solve as published.

<name>.meta.json

The provenance, JSON: the branch behind a primal-infeasible file, the relaxation behind a dual-infeasible one.

Citing

How to cite

@misc{miplib2017_infeas,
  author       = {Haihao Lu and Bo Tang},
  title        = {MIPLIB 2017 Infeas: Primal- and Dual-Infeasible Linear Programs from MIPLIB 2017},
  howpublished = {\url{https://mit-lu-lab.github.io/MIPLIB2017-Infeas/}},
  year         = {2026}
}

Every instance derives from MIPLIB 2017. Please also cite Gleixner et al., “MIPLIB 2017: Data-Driven Compilation of the 6th Mixed-Integer Programming Library”.

Contact

This collection is maintained by Haihao Lu and Bo Tang. If a published file does not have the status it claims, or a source instance carries terms other than the default, please open an issue and the affected file will be corrected or withdrawn.