The Hard Set
The set of all hard instances which could not be solved within 1h.
Browse below all 99 instances. Find all relevant downloads on our Downloads page.
| Instance | Variables | Binaries | Integers | Continuous | Constraints | Nonz. | Submitter | Group | Status | Objective |
|---|---|---|---|---|---|---|---|---|---|---|
| in | 1449074 | 1489 | 0 | 1447585 | 1526202 | 6811640 | Armin Fuegenschuh | – | hard | 58 |
| wnq-n100-mw99-14 | 10000 | 10000 | 0 | 0 | 656900 | 1333400 | M. Winkler | – | hard | 259 |
| academictimetablebig | 168974 | 168974 | 0 | 0 | 167661 | 1545380 | Joshua Friedman | – | hard | 427 |
| bab6 | 114240 | 114240 | 0 | 0 | 29904 | 1283180 | Elmar Swarat | bab | hard | -284248.2307 |
| comp21-2idx | 10863 | 10792 | 71 | 0 | 14038 | 57301 | Matias Sørensen | coursetimetabling | hard | 74 |
| ns1111636 | 360822 | 13200 | 0 | 347622 | 13895 | 568444 | NEOS Server Submission | neos-pseudoapplication-67 | hard | 162 |
| neos-1140050 | 40320 | 38640 | 0 | 1680 | 3795 | 808080 | NEOS Server Submission | neos-pseudoapplication-101 | hard | Infeasible |
| 8div-n59k10 | 6143 | 6138 | 5 | 0 | 2065 | 539151 | Sascha Kurz | 8div | hard | Infeasible |
| 8div-n59k11 | 12287 | 12282 | 5 | 0 | 4114 | 2126860 | Sascha Kurz | 8div | hard | Infeasible |
| 8div-n59k12 | 24575 | 24570 | 5 | 0 | 8211 | 8448020 | Sascha Kurz | 8div | hard | Infeasible |
| roi5alpha10n8 | 106150 | 105950 | 0 | 200 | 4665 | 2370220 | Domenico Salvagnin | – | hard | -52.322274351 |
| b1c1s1 | 3872 | 288 | 0 | 3584 | 3904 | 11408 | M. Vyve, Y. Pochet | c1s1 | hard | 24544.25 |
| markshare2 | 74 | 60 | 0 | 14 | 7 | 434 | G. Cornuéjols, M. Dawande | markshare | hard | 1 |
| ds | 67732 | 67732 | 0 | 0 | 656 | 1024060 | MIPLIB submission pool | – | hard | 93.52 |
| dolom1 | 11612 | 9720 | 0 | 1892 | 1803 | 190413 | Double-Click SAS | – | hard | 6609253 |
| rmatr200-p10 | 35254 | 200 | 0 | 35054 | 35055 | 105362 | Dmitry Krushinsky | rmatr | hard | 2017 |
| stp3d | 204880 | 204880 | 0 | 0 | 159488 | 662128 | T. Koch | – | hard | 493.71965 |
| probportfolio | 320 | 300 | 0 | 20 | 302 | 6620 | Feng Qiu | – | hard | 16.734246764 |
| mkc | 5325 | 5323 | 0 | 2 | 3411 | 17038 | J. Kalagnanam, M. Dawande | – | hard | -563.8460100132 |
| fhnw-sq2 | 650 | 625 | 25 | 0 | 91 | 1968 | Simon Felix | fhnw-sq | hard | 0 |
| sorrell3 | 1024 | 1024 | 0 | 0 | 169162 | 338324 | Toni Sorrell | independentset | hard | -16 |
| tbfp-bigm | 2406 | 2404 | 0 | 2 | 35999 | 74338 | Rob Pratt | – | hard | 24.163194443 |
| b2c1s1 | 3872 | 288 | 0 | 3584 | 3904 | 11408 | M. Vyve, Y. Pochet | c1s1 | hard | 25687.9 |
| ns1430538 | 33616 | 1680 | 0 | 31936 | 34960 | 178112 | NEOS Server Submission | neos-pseudoapplication-76 | hard | 88 |
| neos-5076235-embley | 49686 | 98 | 0 | 49588 | 63112 | 1089560 | Jeff Linderoth | neos-pseudoapplication-17 | hard | 2362 |
| neos-4954672-berkel | 1533 | 630 | 0 | 903 | 1848 | 8007 | Jeff Linderoth | neos-pseudoapplication-43 | hard | 2612710 |
| neos-4300652-rahue | 33003 | 20900 | 0 | 12103 | 76992 | 183616 | Jeff Linderoth | neos-pseudoapplication-13 | hard | 2.1416 |
| neos-3656078-kumeu | 14870 | 9755 | 4455 | 660 | 17656 | 59292 | Jeff Linderoth | neos-pseudoapplication-44 | hard | -13172.2 |
| neos-5114902-kasavu | 710164 | 14560 | 0 | 695604 | 961170 | 4240380 | Jeff Linderoth | neos-pseudoapplication-104 | hard | 655 |
| neos-3214367-sovi | 4318 | 4139 | 179 | 0 | 7244 | 93911 | Jeff Linderoth | neos-pseudoapplication-56 | hard | 179965 |
| neos-4387871-tavua | 4004 | 2000 | 0 | 2004 | 4554 | 23496 | Jeff Linderoth | neos-pseudoapplication-58 | hard | 33.384729927 |
| neos-5104907-jarama | 345856 | 9520 | 0 | 336336 | 489818 | 2053550 | Jeff Linderoth | neos-pseudoapplication-24 | hard | 935 |
| neos-3211096-shag | 4379 | 4289 | 90 | 0 | 10187 | 31705 | Jeff Linderoth | neos-pseudoapplication-38 | hard | Infeasible |
| neos-2987202-jeir | 146700 | 9045 | 0 | 137655 | 120209 | 1979660 | Jeff Linderoth | neos-pseudoapplication-82 | hard | -1836136351.2 |
| neos-4338804-snowy | 1344 | 1260 | 42 | 42 | 1701 | 6342 | Jeff Linderoth | neos-pseudoapplication-40 | hard | 1471 |
| neos-5093327-huahum | 40640 | 64 | 0 | 40576 | 51840 | 784768 | Jeff Linderoth | neos-pseudoapplication-17 | hard | 6260 |
| neos-4409277-trave | 14363 | 14362 | 0 | 1 | 7875 | 204518 | Jeff Linderoth | neos-pseudoapplication-47 | hard | 3 |
| neos-5102383-irwell | 51450 | 98 | 0 | 51352 | 65464 | 1213040 | Jeff Linderoth | neos-pseudoapplication-17 | hard | 2210 |
| neos-4954274-beardy | 12865 | 12865 | 0 | 0 | 17359 | 140082 | Jeff Linderoth | neos-pseudoapplication-62 | hard | 20946.48 |
| neos-3754480-nidda | 253 | 50 | 0 | 203 | 402 | 1488 | Jeff Linderoth | neos-pseudoapplication-107 | hard | 12941.74 |
| neos-3402454-bohle | 2904 | 2616 | 0 | 288 | 2897380 | 8953800 | Jeff Linderoth | neos-pseudoapplication-4 | hard | Infeasible |
| swath | 6805 | 6724 | 0 | 81 | 884 | 34965 | D. Panton | swath | hard | 467.407491 |
| set3-20 | 4019 | 1424 | 0 | 2595 | 3747 | 13747 | Kerem Akartunali | set3 | hard | 159462.572721458 |
| nursesched-medium-hint03 | 34248 | 34170 | 78 | 0 | 14062 | 622800 | Haroldo Gambini Santos | nursescheduling | hard | 115 |
| sing326 | 55156 | 40010 | 0 | 15146 | 50781 | 268173 | Daniel Espinoza | sing | hard | 7753674.85376 |
| sing44 | 59708 | 43524 | 0 | 16184 | 54745 | 281260 | Daniel Espinoza | sing | hard | 8128831.1772 |
| set3-10 | 4019 | 1424 | 0 | 2595 | 3747 | 13747 | Kerem Akartunali | set3 | hard | 185179.043049708 |
| set3-15 | 4019 | 1424 | 0 | 2595 | 3747 | 13747 | Kerem Akartunali | set3 | hard | 124886 |
| thor50dday | 106261 | 53131 | 0 | 53130 | 53360 | 212060 | Daniel Rehfeldt | – | hard | 40417 |
| reblock354 | 3540 | 3540 | 0 | 0 | 19906 | 52901 | Andreas Bley | reblock | hard | -39280521.2281657 |
| woodlands09 | 382147 | 382119 | 28 | 0 | 194599 | 2646000 | George Fonseca | timetabling | hard | 0 |
| highschool1-aigio | 320404 | 319686 | 718 | 0 | 92568 | 1562170 | George Fonseca | timetabling | hard | 0 |
| queens-30 | 900 | 900 | 0 | 0 | 960 | 93440 | Ashutosh Mahajan | – | hard | -40 |
| atm20-100 | 6480 | 2220 | 0 | 4260 | 4380 | 58878 | Matthew Galati | – | hard | 2463621.57727541 |
| dc1c | 10039 | 8380 | 0 | 1659 | 1649 | 121158 | Double-Click SAS | – | hard | 1767903.6501 |
| bg512142 | 792 | 240 | 0 | 552 | 1307 | 3953 | A. Miller | – | hard | 184202.75 |
| supportcase22 | 7129 | 7129 | 0 | 0 | 260602 | 2228830 | Michael Winkler | – | hard | Infeasible |
| supportcase10 | 14770 | 14770 | 0 | 0 | 165684 | 555082 | Michael Winkler | – | hard | 7 |
| supportcase3 | 4191 | 4191 | 0 | 0 | 12702 | 53470 | Michael Winkler | – | hard | 0 |
| supportcase19 | 1429098 | 1311292 | 117806 | 0 | 10713 | 4287090 | Michael Winkler | – | hard | 12677206 |
| dws008-01 | 11096 | 6608 | 0 | 4488 | 6064 | 56400 | Philipp Leise | dws | hard | 37412.604588 |
| cmflsp40-24-10-7 | 13200 | 1200 | 0 | 12000 | 2825 | 127736 | Andrea Arias | cmflsp | hard | 51664409.2721 |
| tw-myciel4 | 760 | 759 | 1 | 0 | 8146 | 27961 | Arie Koster | – | hard | 10 |
| rail03 | 758775 | 758775 | 0 | 0 | 253905 | 1728450 | Thomas Schlechte | rail0 | hard | -867.093965444446 |
| neos-4165869-wannon | 31728 | 480 | 31248 | 0 | 85865 | 270474 | Hans Mittelmann | neos-pseudoapplication-44 | hard | 293 |
| neos-4647030-tutaki | 12600 | 7000 | 0 | 5600 | 8382 | 3953390 | Hans Mittelmann | neos-pseudoapplication-29 | hard | 27265.706 |
| neos-3631363-vilnia | 15755 | 755 | 0 | 15000 | 15960 | 112497 | Hans Mittelmann | neos-pseudoapplication-12 | hard | Infeasible |
| neos-3025225-shelon | 69846 | 69845 | 0 | 1 | 91572 | 9357950 | Hans Mittelmann | neos-pseudoapplication-64 | hard | 0.7727272712094 |
| sct32 | 9767 | 7728 | 0 | 2039 | 5440 | 109654 | Siemens | sct | hard | -17.8875590846509 |
| rmatr200-p20 | 29605 | 200 | 0 | 29405 | 29406 | 88415 | Dmitry Krushinsky | rmatr | hard | 837 |
| fhnw-binpack4-4 | 520 | 481 | 0 | 39 | 620 | 2332 | Simon Felix | binpack | hard | Infeasible |
| fhnw-binpack4-48 | 3710 | 3605 | 0 | 105 | 4480 | 17290 | Simon Felix | binpack | hard | 0 |
| splice1k1 | 3253 | 3252 | 1 | 0 | 6505 | 1761020 | Gleb Belov | splice | hard | -394 |
| proteindesign121hz512p9 | 159145 | 159054 | 91 | 0 | 301 | 629449 | Gleb Belov | proteindesign | hard | 1473 |
| gfd-schedulen180f7d50m30k18 | 227535 | 192408 | 2025 | 33102 | 457985 | 1233370 | Gleb Belov | gfd-schedule | hard | 1 |
| cryptanalysiskb128n5obj14 | 48950 | 47830 | 1120 | 0 | 98021 | 292875 | Gleb Belov | cryptanalysis | hard | Infeasible |
| traininstance2 | 12890 | 5278 | 2602 | 5010 | 15603 | 41531 | Gleb Belov | traininstance | hard | 71820 |
| radiationm40-10-02 | 172013 | 62400 | 47213 | 62400 | 173603 | 406825 | Gleb Belov | radiation | hard | 155328 |
| neos-5251015-ogosta | 136971 | 232 | 0 | 136739 | 486531 | 1955390 | Hans Mittelmann | neos-pseudoapplication-19 | hard | 0.1058 |
| ivu52 | 157591 | 157591 | 0 | 0 | 2116 | 2179480 | S. Weider | ivu | hard | 481.0068 |
| usAbbrv-8-25_70 | 2312 | 1681 | 0 | 631 | 3291 | 9628 | publicly available | – | hard | 120 |
| ger50_17_trans | 22414 | 0 | 18062 | 4352 | 499 | 172035 | C. Raack | ger50 | hard | 7393.2618 |
| shiftreg2-7 | 11404 | 4152 | 0 | 7252 | 8540 | 34900 | Domenico Salvagnin | shiftreg | hard | 230.326187744737 |
| gmut-75-50 | 68865 | 68859 | 0 | 6 | 2565 | 571475 | Nora Konnyu | gmu | hard | -14180699.047 |
| triptim2 | 27326 | 20776 | 6543 | 7 | 14427 | 521898 | MIPLIB submission pool | triptim | hard | 12.0051 |
| bnatt500 | 4500 | 4500 | 0 | 0 | 7029 | 27203 | Tatsuya Akutsu | bnatt | hard | Infeasible |
| dg012142 | 2080 | 640 | 0 | 1440 | 6310 | 14795 | A. Miller | – | hard | 2300867 |
| l2p1i | 317369 | 301560 | 15689 | 120 | 30784 | 641396 | Gleb Belov | l2p | hard | 6 |
| amaze22012-03-15i | 94351 | 31870 | 2770 | 59711 | 126975 | 251822 | Gleb Belov | amaze | hard | 0 |
| splice1k1i | 19513 | 6504 | 13009 | 0 | 22765 | 1780530 | Gleb Belov | splice | hard | -394 |
| s100 | 364417 | 364417 | 0 | 0 | 14733 | 1777920 | Daniel Espinoza | Spinoza | hard | -0.1697235270583 |
| opm2-z12-s8 | 10800 | 10800 | 0 | 0 | 319508 | 725377 | Daniel Espinoza | opm2 | hard | -58540 |
| opm2-z10-s4 | 6250 | 6250 | 0 | 0 | 160633 | 371240 | Daniel Espinoza | opm2 | hard | -33269 |
| shs1023 | 444625 | 1296 | 440899 | 2430 | 133944 | 1044720 | C. Helmberg | shs | hard | 13136.636273 |
| satellites3-25 | 81681 | 79961 | 0 | 1720 | 44804 | 698176 | He Renjie | satellites | hard | -25 |
| satellites4-25 | 95637 | 93747 | 0 | 1890 | 51712 | 821192 | He Renjie | satellites | hard | -25 |
| bab2 | 147912 | 147912 | 0 | 0 | 17245 | 2027730 | Elmar Swarat | bab | hard | -357544.3115 |
| hanoi5 | 3862 | 3862 | 0 | 0 | 16399 | 39718 | M. Winkler | – | hard | 1931 |
| 2club200v15p5scn | 200 | 200 | 0 | 0 | 17013 | 104811 | Balabhaskar Balasundaram | – | hard | -70 |
Last Update Feb 28, 2019 by Gregor Hendel
generated with R Markdown
© 2019 by Konrad-Zuse-Zentrum für Informationstechnik Berlin (ZIB)
Imprint