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

Browse below all 127 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 6811639 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 1545375 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 1283181 Elmar Swarat bab -284248.2307000001 benchmark binary benchmark_suitable aggregations precedence set_partitioning set_packing set_covering cardinality invariant_knapsack equation_knapsack knapsack mixed_binary
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 2126864 Sascha Kurz 8div Infeasible infeasible set_partitioning cardinality equation_knapsack integer_knapsack general_linear
8div-n59k12 hard 24575 24570 5 0 8211 8448017 Sascha Kurz 8div Infeasible infeasible set_partitioning cardinality equation_knapsack integer_knapsack general_linear
rococoC12-010001 hard 16741 16554 187 0 4636 59832 A. Chabrier, E. Danna, C. Le Pape, L. Perron rococo 34045.0 decomposition precedence set_partitioning cardinality knapsack general_linear
germany50-UUM hard 6971 0 88 6883 2088 20737 MIPLIB submission pool network_design 628490 decomposition aggregations mixed_binary general_linear
markshare2 hard 74 60 0 14 7 434 G. Cornuéjols, M. Dawande markshare 1 benchmark benchmark_suitable integer_knapsack general_linear
icir97_potential hard 2112 1235 422 455 3314 9942 MIPLIB submission pool – 6325 precedence mixed_binary general_linear
ds hard 67732 67732 0 0 656 1024059 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
neos-954925 hard 84718 84718 0 0 2989 844983 NEOS Server Submission neos-pseudoapplication-48 -237.7688889 binary precedence set_packing invariant_knapsack binpacking knapsack
ger50-17-ptp-pop-6t hard 4892 0 540 4352 545 14285 C. Raack ger50 8942.6328 mixed_binary 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
pb-market-split8-70-4 hard 71 71 0 0 17 1113 Gleb Belov pb- 0.0 binary feasibility knapsack mixed_binary
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
allcolor10 hard 14872 476 13776 620 34014 89136 Domenico Salvagnin allcolor 6 decomposition aggregations precedence variable_bound set_partitioning integer_knapsack general_linear
adult-max5features hard 32674 32597 41 36 32709 417567 Berk Ustun ustun 5642.121938895418 variable_bound general_linear
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
sorrell4 hard 2048 2048 0 0 504451 1008902 Toni Sorrell independentset -24 binary variable_bound
tbfp-bigm hard 2406 2404 0 2 35999 74338 Rob Pratt – 24.163194443 variable_bound set_partitioning
ns1430538 hard 33616 1680 0 31936 34960 178112 NEOS Server Submission neos-pseudoapplication-76 88 decomposition precedence variable_bound mixed_binary
neos-4295773-pissa hard 85126 85124 0 2 210116 552408 Jeff Linderoth neos-pseudoapplication-6 0.03830719099856019 decomposition aggregations precedence variable_bound set_partitioning cardinality invariant_knapsack knapsack mixed_binary
neos-4321076-ruwer hard 361730 122 0 361608 509809 1265750 Jeff Linderoth neos-pseudoapplication-98 2135.200000000028 aggregations variable_bound cardinality mixed_binary
neos-3352863-ancoa hard 20046 20045 0 1 169 869239 Jeff Linderoth neos-pseudoapplication-100 28700 set_covering 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-3237086-abava hard 50192 50192 0 0 69472 233552 Jeff Linderoth neos-pseudoapplication-51 0.0 binary feasibility decomposition aggregations variable_bound set_packing set_covering cardinality invariant_knapsack binpacking
neos-5114902-kasavu hard 710164 14560 0 695604 961170 4240376 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 2053548 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 1979663 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-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-3530905-gaula hard 2090 190 1900 0 200 3990 Jeff Linderoth neos-pseudoapplication-105 159 decomposition general_linear
neos-4335793-snake hard 30827 20473 7865 2489 37166 129119 Jeff Linderoth neos-pseudoapplication-44 27 numerics aggregations precedence variable_bound set_packing cardinality invariant_knapsack knapsack mixed_binary general_linear
neos-3209462-rhin hard 56453 383 0 56070 170226 447473 Jeff Linderoth neos-pseudoapplication-98 12 aggregations precedence variable_bound set_partitioning set_covering cardinality invariant_knapsack mixed_binary
neos-4343293-stony hard 9400 4698 0 4702 10650 55668 Jeff Linderoth neos-pseudoapplication-58 46.38468271624112 variable_bound binpacking 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-3322547-alsek hard 1001000 1001000 0 0 2000 2001000 Jeff Linderoth neos-pseudoapplication-77 399.0 binary set_partitioning binpacking
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
neos-5196530-nuhaka hard 14544 9792 0 4752 42124 171702 Jeff Linderoth neos-pseudoapplication-32 0.006821675088566438 aggregations precedence variable_bound set_partitioning cardinality invariant_knapsack 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
neos-5273874-yomtsa hard 136971 232 0 136739 486492 1955349 Hans Mittelmann neos-pseudoapplication-19 0 aggregations variable_bound set_partitioning set_packing cardinality 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
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
rvb-sub hard 33765 33763 0 2 225 984143 S. Weider – 16.08499802 binary set_partitioning knapsack
thor50dday hard 106261 53131 0 53130 53360 212060 Daniel Rehfeldt – 40417 benchmark decomposition benchmark_suitable variable_bound mixed_binary
graph20-80-1rand hard 16263 16263 0 0 55107 191997 Michael Bastubbe graphs -6 binary decomposition precedence set_partitioning invariant_knapsack
reblock354 hard 3540 3540 0 0 19906 52901 Andreas Bley reblock -39280521.2281657 binary precedence knapsack
comp16-3idx hard 64193 56745 14 7434 71594 347276 Matias Sørensen coursetimetabling 18.0 decomposition aggregations precedence variable_bound set_partitioning set_packing cardinality invariant_knapsack mixed_binary general_linear
woodlands09 hard 382147 382119 28 0 194599 2646003 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 1562168 George Fonseca timetabling 0 benchmark benchmark_suitable aggregations variable_bound set_partitioning set_packing set_covering cardinality invariant_knapsack equation_knapsack general_linear
bppc6-02 hard 4784 4782 0 2 309 188143 Manuel Iori bppc 116 set_partitioning mixed_binary
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
supportcase10 hard 14770 14770 0 0 165684 555082 Michael Winkler – 7 benchmark binary benchmark_suitable aggregations precedence variable_bound set_covering invariant_knapsack
supportcase19 hard 1429098 1311292 117806 0 10713 4287094 Michael Winkler – 12677205.99992052 benchmark benchmark_suitable variable_bound set_partitioning set_covering general_linear
neos-5260764-orauea hard 12940 12580 0 360 12304 82620 Hans Mittelmann neos-pseudoapplication-102 82593.16768840607 decomposition variable_bound set_partitioning cardinality binpacking knapsack mixed_binary
neos-5261882-treska hard 2900 2730 0 170 2971 19342 Hans Mittelmann neos-pseudoapplication-102 51614.874 decomposition precedence set_partitioning cardinality binpacking knapsack mixed_binary
dws008-03 hard 32280 18928 0 13352 16344 165168 Philipp Leise dws 62831.7633546923 decomposition precedence variable_bound set_partitioning set_packing invariant_knapsack mixed_binary
cmflsp40-24-10-7 hard 13200 1200 0 12000 2825 127736 Andrea Arias cmflsp 51664409.27209999 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
neos-5223573-tarwin hard 158244 190 0 158054 560182 2166505 Hans Mittelmann neos-pseudoapplication-19 0.1058 feasibility aggregations variable_bound set_partitioning set_packing cardinality mixed_binary
rail03 hard 758775 758775 0 0 253905 1728451 Thomas Schlechte rail0 -867.093965444446 binary numerics aggregations variable_bound set_partitioning set_packing cardinality knapsack
v150d30-2hopcds hard 150 150 0 0 7822 103991 Austin Buchanan 2hopcds 41.0 binary variable_bound set_covering
neos-3372571-onahau hard 13086 185 0 12901 29487 116511 Hans Mittelmann neos-pseudoapplication-93 0.411055181902462 variable_bound mixed_binary
neos-4647027-thurso hard 9800 4200 0 5600 8382 3944988 Hans Mittelmann neos-pseudoapplication-29 27407.32689999996 set_packing mixed_binary
neos-4647030-tutaki hard 12600 7000 0 5600 8382 3953388 Hans Mittelmann neos-pseudoapplication-29 27265.70599999996 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
hgms-det hard 1322 547 0 775 9752 32367 Jesus Rodriguez hgms -47314.08587415493 aggregations variable_bound set_partitioning set_packing set_covering invariant_knapsack equation_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
milo-v12-6-r1-58-1 hard 4440 1500 0 2940 9540 25068 Tamas Terlaky milo 634081.4112039516 decomposition aggregations precedence variable_bound mixed_binary general_linear
milo-v13-4-3d-3-0 hard 516 120 0 396 996 2456 Tamas Terlaky milo 273238.08563337 aggregations variable_bound mixed_binary general_linear
ofi2 hard 420434 18632 11073 390729 422587 1775809 Luigi Poderico – 6153907910.792608 numerics aggregations precedence variable_bound set_partitioning set_covering binpacking knapsack mixed_binary
van hard 12481 192 0 12289 27331 487296 C. Mannino, E. Parrello – 4.57384993378808 precedence variable_bound mixed_binary
bab1 hard 61152 61152 0 0 60680 854392 Elmar Swarat, Laura Traverso, Julia Buwaya bab -218764.88525 binary decomposition aggregations set_packing set_covering cardinality invariant_knapsack knapsack mixed_binary
rmatr200-p20 hard 29605 200 0 29405 29406 88415 Dmitry Krushinsky rmatr 837 cardinality mixed_binary
moj-mining hard 67519 5171 0 62348 49916 1691236 Alexandra M. Newman – -1256561010.473 numerics precedence mixed_binary
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
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 1955388 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 2179476 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
triptim4 hard 27226 18537 8682 7 14361 520532 MIPLIB submission pool triptim 9.818099999800323 aggregations precedence variable_bound set_partitioning set_packing set_covering invariant_knapsack general_linear
triptim8 hard 27342 18619 8716 7 14427 521945 MIPLIB submission pool triptim 2566.065999999642 aggregations variable_bound set_partitioning set_packing set_covering invariant_knapsack mixed_binary general_linear
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
tpl-tub-ss16 hard 595066 570303 0 24763 901872 3687098 János Höner – 150501 aggregations precedence variable_bound set_partitioning set_packing invariant_knapsack binpacking knapsack mixed_binary
shiftreg5-1 hard 48736 10608 0 38128 31424 157504 Domenico Salvagnin shiftreg 520.2562364680399 numerics aggregations set_partitioning cardinality equation_knapsack binpacking knapsack mixed_binary
dg012142 hard 2080 640 0 1440 6310 14795 A. Miller – 2300867 aggregations precedence variable_bound mixed_binary
stoch-vrpvrp-s5v2c8vrp-v2c8i hard 8436 1485 734 6217 13813 26231 Gleb Belov vrp 329.9999999999999 indicator numerics aggregations precedence variable_bound set_partitioning set_packing mixed_binary general_linear
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
gfd-schedulen180f7d50m30k18-16i hard 2226625 1055523 1103442 67660 3447025 7026385 Gleb Belov gfd-schedule 47 indicator numerics aggregations precedence variable_bound set_partitioning set_packing cardinality invariant_knapsack equation_knapsack mixed_binary general_linear
amaze22012-07-04i hard 31237 10654 1603 18980 42328 83384 Gleb Belov amaze 0 feasibility indicator numerics aggregations precedence variable_bound set_partitioning cardinality integer_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
splice1k1i hard 19513 6504 13009 0 22765 1780528 Gleb Belov splice -394 indicator numerics aggregations precedence variable_bound general_linear
s100 hard 364417 364417 0 0 14733 1777917 Daniel Espinoza Spinoza -0.1697235270583 benchmark binary benchmark_suitable aggregations set_partitioning set_packing cardinality invariant_knapsack knapsack
gsvm2rl5 hard 401 100 0 301 300 10700 Toni Sorrell supportvectormachine 5.42305352523751 precedence variable_bound mixed_binary
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 1044725 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
uccase7 hard 33020 7224 0 25796 47132 335644 Daniel Espinoza uccase 26834.28427331005 aggregations precedence variable_bound set_partitioning invariant_knapsack binpacking knapsack mixed_binary
bab2 hard 147912 147912 0 0 17245 2027726 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
snip10x10-35r1budget17 hard 47611 63 0 47548 213801 475334 Utz-Uwe Haus – 72.30862035707088 aggregations variable_bound invariant_knapsack mixed_binary
2club200v15p5scn hard 200 200 0 0 17013 104811 Balabhaskar Balasundaram – -70 binary variable_bound invariant_knapsack
s1234 hard 2945 2945 0 0 8418 44641 Siwei Sun SiweiSun 29 binary precedence set_covering invariant_knapsack binpacking knapsack
Last Update 2024 by Mark Turner
generated with R Markdown
© by Zuse Institute Berlin (ZIB)
Imprint