Click here for legend of abbreviations and links to subsets
| Status | Name | Sets | C | Rows | Cols | NZs | Int | Bin | Con | Objective | AGG | VBD | PAR | PAC | COV | CAR | EQK | BIN | IVK | KNA | IKN | M01 | GEN |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
![]() |
bab1 | C | BP | 60680 | 61152 | 854392 | 61152 | ? | X | X | X | X | X | X | X | ||||||||
![]() |
bab3 | C | BP | 23069 | 393800 | 3301838 | 393800 | ? | X | X | X | X | X | X | X | X | |||||||
![]() |
berlin_5_8_0 | C | MBP | 1532 | 1083 | 4507 | 794 | 289 | ? | X | X | X | X | ||||||||||
![]() |
bg512142 | C | MBP | 1307 | 792 | 3953 | 240 | 552 | ? | X | X | X | |||||||||||
![]() |
cdma | CU | MBP | 9095 | 7891 | 168227 | 4235 | 3656 | ? | X | X | X | X | X | X | X | |||||||
![]() |
circ10-3 | CR | BP | 42620 | 2700 | 307320 | 2700 | ? | X | X | X | X | X | ||||||||||
![]() |
core4872-1529 | C | MBP | 4875 | 24656 | 218762 | 24645 | 11 | ? | X | X | X | X | ||||||||||
![]() |
d20200 | C | IP | 1502 | 4000 | 189389 | 819 | 3181 | ? | X | X | X | |||||||||||
![]() |
dano3mip | CR | MBP | 3202 | 13873 | 79655 | 552 | 13321 | ? | X | X | X | |||||||||||
![]() |
datt256 | C | BP | 11077 | 262144 | 1503732 | 262144 | ? | X | X | X | ||||||||||||
![]() |
dc1c | C | MBP | 1649 | 10039 | 121158 | 8380 | 1659 | ? | X | X | X | |||||||||||
![]() |
dc1l | C | MBP | 1653 | 37297 | 448754 | 35638 | 1659 | ? | X | X | X | |||||||||||
![]() |
dg012142 | C | MBP | 6310 | 2080 | 14795 | 640 | 1440 | ? | X | X | X | |||||||||||
![]() |
dolom1 | C | MBP | 1803 | 11612 | 190413 | 9720 | 1892 | ? | X | X | ||||||||||||
![]() |
ds-big | CR | BP | 1042 | 174997 | 4623442 | 174997 | ? | X | ||||||||||||||
![]() |
ex1010-pi | C | BP | 1468 | 25200 | 102114 | 25200 | ? | X | X | |||||||||||||
![]() |
f2000 | CR | BP | 10500 | 4000 | 29500 | 4000 | ? | X | X | X | ||||||||||||
![]() |
ger50_17_trans | CU | MIP | 499 | 22414 | 172035 | 18062 | 4352 | ? | X | X | ||||||||||||
![]() |
germanrr | C | MIP | 10779 | 10813 | 175547 | 5286 | 5288 | 239 | ? | X | X | X | ||||||||||
![]() |
germany50-DBM | C | MIP | 2526 | 8189 | 24479 | 88 | 8101 | ? | X | X | X | |||||||||||
![]() |
gmut-75-50 | C | MBP | 2565 | 68865 | 571475 | 68859 | 6 | ? | X | X | X | |||||||||||
![]() |
gmut-77-40 | C | MBP | 2554 | 24338 | 159902 | 24332 | 6 | ? | X | X | X | |||||||||||
![]() |
hanoi5 | CR | BP | 16399 | 3862 | 39718 | 3862 | ? | X | X | X | ||||||||||||
![]() |
hawaiiv10-130 | CUX | MBP | 1388052 | 685130 | 183263061 | 578444 | 106686 | ? | X | X | X | X | X | X | X | |||||||
![]() |
in | CRX | MBP | 1526202 | 1449074 | 6811639 | 1489 | 1447585 | ? | X | X | X | |||||||||||
| Status | Name | Sets | C | Rows | Cols | NZs | Int | Bin | Con | Objective | AGG | VBD | PAR | PAC | COV | CAR | EQK | BIN | IVK | KNA | IKN | M01 | GEN |
![]() |
ivu06-big | CRX | BP | 1177 | 2277736 | 23125770 | 2277736 | ? | X | ||||||||||||||
![]() |
ivu52 | CR | BP | 2116 | 157591 | 2179476 | 157591 | ? | X | X | X | X | |||||||||||
![]() |
janos-us-DDM | C | MIP | 760 | 2184 | 6384 | 84 | 2100 | ? | X | X | X | |||||||||||
![]() |
lectsched-1-obj | C | IP | 50108 | 28718 | 310792 | 482 | 28236 | ? | X | X | X | X | ||||||||||
![]() |
liu | C | MBP | 2178 | 1156 | 10626 | 1089 | 67 | ? | X | X | ||||||||||||
![]() |
methanosarcina | C | BP | 14604 | 7930 | 43812 | 7930 | ? | X | X | |||||||||||||
![]() |
mining | C | MBP | 661133 | 348921 | 3844879 | 348920 | 1 | ? | X | X | X | |||||||||||
![]() |
momentum3 | CR | MIP | 56822 | 13532 | 949495 | 1 | 6598 | 6933 | ? | X | X | X | X | X | X | |||||||
![]() |
n15-3 | CR | MIP | 29494 | 153140 | 611000 | 780 | 152360 | ? | X | X | ||||||||||||
![]() |
n3-3 | C | MIP | 2425 | 9028 | 35380 | 366 | 8662 | ? | X | X | X | |||||||||||
![]() |
n3700 | C | MBP | 5150 | 10000 | 20000 | 5000 | 5000 | ? | X | X | ||||||||||||
![]() |
n3705 | C | MBP | 5150 | 10000 | 20000 | 5000 | 5000 | ? | X | X | ||||||||||||
![]() |
n370a | C | MBP | 5150 | 10000 | 20000 | 5000 | 5000 | ? | X | X | ||||||||||||
![]() |
nag | C | MIP | 5840 | 2884 | 26499 | 35 | 1350 | 1499 | ? | X | X | X | X | X | ||||||||
![]() |
nb10tb | CU | MIP | 150495 | 73340 | 1172289 | 2756 | 14124 | 56460 | ? | X | X | X | X | X | X | X | ||||||
![]() |
neos-1140050 | CU | MBP | 3795 | 40320 | 808080 | 38640 | 1680 | ? | X | X | ||||||||||||
![]() |
neos-1311124 | C | MBP | 1643 | 1092 | 7140 | 546 | 546 | ? | X | X | X | |||||||||||
![]() |
neos-1429212 | C | MBP | 58726 | 416040 | 1855220 | 54756 | 361284 | ? | X | X | X | X | X | |||||||||
![]() |
neos-807456 | C | BP | 840 | 1635 | 4905 | 1635 | ? | X | X | |||||||||||||
![]() |
neos-937815 | CR | MBP | 9251 | 11646 | 48013 | 8876 | 2770 | ? | X | X | X | X | ||||||||||
![]() |
neos-952987 | C | BP | 354 | 31329 | 90384 | 31329 | ? | X | X | X | X | |||||||||||
![]() |
neos-984165 | CR | MBP | 6962 | 8883 | 36742 | 6478 | 2405 | ? | X | X | X | X | ||||||||||
![]() |
ns1111636 | CR | MBP | 13895 | 360822 | 568444 | 13200 | 347622 | ? | X | X | X | X | X | |||||||||
![]() |
ns1456591 | CT | MIP | 1997 | 8399 | 199862 | 19 | 8000 | 380 | ? | X | X | X | X | X | ||||||||
![]() |
ns1631475 | CR | MIP | 24496 | 22696 | 116733 | 211 | 22470 | 15 | ? | X | X | X | X | X | ||||||||
| Status | Name | Sets | C | Rows | Cols | NZs | Int | Bin | Con | Objective | AGG | VBD | PAR | PAC | COV | CAR | EQK | BIN | IVK | KNA | IKN | M01 | GEN |
![]() |
ns1663818 | CX | BP | 172017 | 124626 | 20433649 | 124626 | ? | X | X | X | X | X | X | |||||||||
![]() |
ns1778858 | C | BP | 10666 | 4720 | 32673 | 4720 | ? | X | X | X | X | |||||||||||
![]() |
ns1853823 | C | BP | 224526 | 213440 | 1489480 | 213440 | ? | X | X | X | ||||||||||||
![]() |
ns1854840 | C | IP | 143616 | 135754 | 856994 | 474 | 135280 | ? | X | X | X | X | ||||||||||
![]() |
ns1856153 | CR | MBP | 35407 | 11998 | 105882 | 11956 | 42 | ? | X | X | X | X | ||||||||||
![]() |
ns1904248 | C | MBP | 149437 | 38458 | 378770 | 38416 | 42 | ? | X | X | X | X | X | |||||||||
![]() |
ns1905797 | C | MIP | 51884 | 18192 | 239700 | 4 | 17676 | 512 | ? | X | X | X | X | X | X | |||||||
![]() |
ns1905800 | C | MIP | 8289 | 3228 | 38100 | 3 | 3030 | 195 | ? | X | X | X | X | X | ||||||||
![]() |
ns2122603 | U | MBP | 24754 | 19300 | 77044 | 7588 | 11712 | ? | X | X | ||||||||||||
![]() |
ns2124243 | C | MBP | 139280 | 156083 | 429032 | 16447 | 139636 | ? | X | X | X | X | X | |||||||||
![]() |
ns2137859 | C | MBP | 206726 | 103361 | 923682 | 103041 | 320 | ? | X | X | X | X | X | X | X | |||||||
![]() |
ns4-pr3 | C | MIP | 2210 | 8601 | 25986 | 61 | 8540 | ? | X | X | X | X | ||||||||||
![]() |
ns4-pr9 | C | MIP | 2220 | 7350 | 22176 | 42 | 7308 | ? | X | X | X | X | ||||||||||
![]() |
ns894236 | CR | BP | 8218 | 9666 | 41067 | 9666 | ? | X | X | X | X | X | ||||||||||
![]() |
ns894786 | CR | BP | 16794 | 27278 | 113575 | 27278 | ? | X | X | X | X | |||||||||||
![]() |
ns903616 | CR | BP | 18052 | 21582 | 91641 | 21582 | ? | X | X | X | X | X | ||||||||||
![]() |
ns930473 | CR | MBP | 23240 | 11328 | 121764 | 11176 | 152 | ? | X | X | X | |||||||||||
![]() |
nsr8k | CR | MBP | 6284 | 38356 | 371608 | 32040 | 6316 | ? | X | X | ||||||||||||
![]() |
pb-simp-nonunif | CX | BP | 1451912 | 23848 | 4366648 | 23848 | ? | X | X | X | X | |||||||||||
![]() |
pigeon-13 | C | MBP | 1561 | 754 | 13871 | 637 | 117 | ? | X | X | X | X | ||||||||||
![]() |
pigeon-19 | C | MBP | 3307 | 1444 | 29849 | 1273 | 171 | ? | X | X | X | X | ||||||||||
![]() |
queens-30 | C | BP | 960 | 900 | 93440 | 900 | ? | X | ||||||||||||||
![]() |
rail03 | CR | BP | 253905 | 758775 | 1728451 | 758775 | ? | X | X | X | X | X | X | |||||||||
![]() |
ramos3 | CR | BP | 2187 | 2187 | 32805 | 2187 | ? | X | ||||||||||||||
![]() |
rmine10 | C | BP | 65274 | 8439 | 162264 | 8439 | ? | X | X | |||||||||||||
| Status | Name | Sets | C | Rows | Cols | NZs | Int | Bin | Con | Objective | AGG | VBD | PAR | PAC | COV | CAR | EQK | BIN | IVK | KNA | IKN | M01 | GEN |
![]() |
rmine14 | C | BP | 268535 | 32205 | 660346 | 32205 | ? | X | X | |||||||||||||
![]() |
rmine21 | CX | BP | 1441651 | 162547 | 3514884 | 162547 | ? | X | X | |||||||||||||
![]() |
rmine25 | CX | BP | 2953849 | 326599 | 7182744 | 326599 | ? | X | X | |||||||||||||
![]() |
rocII-7-11 | C | MBP | 37215 | 16101 | 423661 | 15851 | 250 | ? | X | X | X | X | X | X | ||||||||
![]() |
rocII-9-11 | C | MBP | 47533 | 20679 | 544031 | 20361 | 318 | ? | X | X | X | X | X | X | ||||||||
![]() |
rococoC12-111000 | C | IP | 10776 | 8619 | 48920 | 187 | 8432 | ? | X | X | X | X | ||||||||||
![]() |
rvb-sub | C | MBP | 225 | 33765 | 984143 | 33763 | 2 | ? | X | X | ||||||||||||
![]() |
sct1 | C | MIP | 12154 | 22886 | 105571 | 1268 | 9044 | 12574 | ? | X | X | X | X | |||||||||
![]() |
sct32 | C | MIP | 5440 | 9767 | 109654 | 1332 | 6396 | 2039 | ? | X | X | X | X | |||||||||
![]() |
sct5 | CR | MIP | 13304 | 37265 | 147037 | 2302 | 20702 | 14261 | ? | X | X | X | X | |||||||||
![]() |
set3-10 | C | MBP | 3747 | 4019 | 13747 | 1424 | 2595 | ? | X | X | ||||||||||||
![]() |
set3-15 | C | MBP | 3747 | 4019 | 13747 | 1424 | 2595 | ? | X | X | ||||||||||||
![]() |
set3-20 | C | MBP | 3747 | 4019 | 13747 | 1424 | 2595 | ? | X | X | ||||||||||||
![]() |
shipsched | C | MBP | 45554 | 13594 | 121571 | 10549 | 3045 | ? | X | X | X | |||||||||||
![]() |
shs1023 | C | MIP | 133944 | 444625 | 1044725 | 440899 | 1296 | 2430 | ? | X | X | X | X | X | ||||||||
![]() |
siena1 | C | MBP | 2220 | 13741 | 258915 | 11775 | 1966 | ? | X | X | X | |||||||||||
![]() |
sing161 | C | MBP | 455631 | 770102 | 2072500 | 733244 | 36858 | ? | X | X | X | X | X | |||||||||
![]() |
sing245 | CR | MBP | 143161 | 235146 | 652817 | 220692 | 14454 | ? | X | X | X | X | X | |||||||||
![]() |
sing2 | C | MBP | 28891 | 31630 | 149712 | 23377 | 8253 | ? | X | X | X | X | X | |||||||||
![]() |
sing359 | CR | MBP | 437116 | 713762 | 1975605 | 674643 | 39119 | ? | X | X | X | X | X | |||||||||
![]() |
splan1 | CUX | MIP | 572800 | 1317382 | 5233840 | 1978 | 90810 | 1224594 | ? | X | X | X | X | X | X | X | X | X | ||||
![]() |
stockholm | C | MBP | 57346 | 20644 | 171076 | 962 | 19682 | ? | X | X | ||||||||||||
![]() |
sts405 | C | BP | 27270 | 405 | 81810 | 405 | ? | X | X | |||||||||||||
![]() |
sts729 | CR | BP | 88452 | 729 | 265356 | 729 | ? | X | X | |||||||||||||
![]() |
t1717 | C | BP | 551 | 73885 | 325689 | 73885 | ? | X | ||||||||||||||
| Status | Name | Sets | C | Rows | Cols | NZs | Int | Bin | Con | Objective | AGG | VBD | PAR | PAC | COV | CAR | EQK | BIN | IVK | KNA | IKN | M01 | GEN |
![]() |
t1722 | C | BP | 338 | 36630 | 133096 | 36630 | ? | X | ||||||||||||||
![]() |
triptim2 | CR | MIP | 14427 | 27326 | 521898 | 6548 | 20771 | 7 | ? | X | X | X | X | X | X | X | X | |||||
![]() |
triptim3 | CR | MIP | 14939 | 28440 | 524124 | 6812 | 21621 | 7 | ? | X | X | X | X | X | X | X | X | |||||
![]() |
tw-myciel4 | C | IP | 8146 | 760 | 27961 | 1 | 759 | ? | X | X | X | X | X | |||||||||
![]() |
uc-case11 | C | MIP | 51438 | 34134 | 202042 | 302 | 3898 | 29934 | ? | X | X | X | ||||||||||
![]() |
uc-case3 | C | MBP | 52003 | 37749 | 273618 | 11256 | 26493 | ? | X | X | X | |||||||||||
![]() |
usAbbrv-8-25_70 | C | MBP | 3291 | 2312 | 9628 | 1681 | 631 | ? | X | X | X | X | ||||||||||
![]() |
van | C | MBP | 27331 | 12481 | 487296 | 192 | 12289 | ? | X | X | X | |||||||||||
![]() |
vpphard2 | C | BP | 198450 | 199999 | 648340 | 199999 | ? | X | X | X | X | |||||||||||
![]() |
zib01 | CX | BP | 5887041 | 12471400 | 49877768 | 12471400 | ? | X | X | X | ||||||||||||
| Status | Name | Sets | C | Rows | Cols | NZs | Int | Bin | Con | Objective | AGG | VBD | PAR | PAC | COV | CAR | EQK | BIN | IVK | KNA | IKN | M01 | GEN |
Easy -
instance can be solved within one hour using a commercial solver
Hard -
instance has been solved, but is not considered easy
Open -
optimal solution to instance is unknown
| B | Benchmark set |
| C | Challenge set |
| I | Infeasible set |
| P | Primal set |
| U | Unstable set |
| R | Reoptimize set |
| T | Tree set |
| X | XXL - extra large instances |
| BP | Binary Program - All variables are binary |
| IP | Integer Program - All variables are integer |
| MBP | Mixed Binary Program - All variables are binary or continuous |
| MIP | Mixed Integer Program - Variables can be integer or continuous |
Note: The problem types are used to partition the instances. Instances that match more than one type are grouped into the least general set.
Feasible Problems - a feasible solution is known
Infeasible Problems - the problem was proven to be infeasible
Unknown Feasiblility - no feasible solution is know, but the problem was not proven to be infeasible
| AGG | Aggregation | ![]() |
|---|---|---|
| VBD | Variable Bound | ![]() |
| PAR | Set Partition | ![]() |
| PAC | Set Packing | ![]() |
| COV | Set Cover | ![]() |
| CAR | Cardinality | ![]() |
| EQK | Equality Knapsack | ![]() |
| BIN | Bin Packing | ![]() |
| IVK | Invariant Knapsack | ![]() |
| KNA | Knapsack | ![]() |
| IKN | Integer Knapsack | ![]() |
| M01 | Mixed Binary | ![]() |
| GEN | General | All other constraint types |
Note: If a constraint matches more than one type, it is counted for the one
with highest priority (lowest number).
Scaling and negation of binary are
applied to match constraint types.