The set of all hard instances which could not be solved within 1h.

Browse below all 108 instances. Find all relevant downloads on our Downloads page.

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

Last Update Okt 02, 2019 by Gregor Hendel
generated with R Markdown
© 2019 by Konrad-Zuse-Zentrum für Informationstechnik Berlin (ZIB)
Imprint