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

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

Instances in the Hard Set. Objective values of open instances are marked with ’*’.
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
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
neos-3135526-osun 192 170 0 22 1546 25750 Jeff Linderoth neos-pseudoapplication-71 hard 419.999999967745
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-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-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.69351205
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
cvs16r128-89 3472 3472 0 0 4633 12528 Michael Bastubbe cvs hard -97
dws008-01 11096 6608 0 4488 6064 56400 Philipp Leise dws hard 37412.604588
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-4647030-tutaki 12600 7000 0 5600 8382 3953390 Hans Mittelmann neos-pseudoapplication-29 hard 27265.706
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
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
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-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

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