MIPLIB 2010


BP - Pure binary problems

[Return to complete MIPLIB 2010 problem list]

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
Easy acc-tight4 PRBP 3285 1620 17073 1620 0  X X X X X     X     X  
Easy acc-tight5 BPRBP 3052 1339 16134 1339 0X X X X X X     X     X  
Easy acc-tight6 PRBP 3047 1335 16108 1335 0X X X X X X     X     X  
Easy air04 BBP 823 8904 72965 8904 56137X   X                    
Easy ash608gpia-3col BIBP 24748 3651 74244 3651 Infeasible     X X                  
Open bab1 CBP 60680 61152 854392 61152 ? X     X X X     X X   X  
Open bab3 CBP 23069 393800 3301838 393800 ? X   X X   X X   X X   X  
Easy bab5 BBP 4964 21600 155520 21600 -106412X   X X   X X   X X   X  
Easy bley_xl1 BBP 175620 5831 869391 5831 190X X X X   X     X X   X  
Easy bnatt350 BPRBP 4923 3150 19061 3150 0        X       X     X  
Easy bnatt400 CRBP 5614 3600 21698 3600 1        X       X     X  
Open circ10-3 CRBP 42620 2700 307320 2700 ?   X X   X       X     X  
Easy co-100 CBP 2187 48417 1995817 48417 2.63994e+06  X X X       X X X      
Easy cov1075 BBP 637 120 14280 120 20        X       X     X  
Open datt256 CBP 11077 262144 1503732 262144 ?     X     X X            
Open ds-big CRBP 1042 174997 4623442 174997 ?     X                    
Easy eil33-2 BBP 32 4516 44243 4516 934.008    X                    
Easy eilA101-2 CBP 100 65832 959373 65832 880.92    X                    
Easy eilB101 BBP 100 2818 24120 2818 1216.92    X                    
Open ex1010-pi CBP 1468 25200 102114 25200 ?         X       X        
Easy ex10 PBP 69608 17680 1162000 17680 100  X X           X        
Easy ex9 BPBP 40962 10404 517112 10404 81  X X           X        
Open f2000 CRBP 10500 4000 29500 4000 ?   X     X       X        
Easy go19 CTBP 441 441 1885 441 84        X       X        
Hard hanoi5 CRBP 16399 3862 39718 3862 1931  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 harp2 UBP 112 2993 5840 2993 -7.38998e+07    X             X   X  
Easy iis-100-0-cov BBP 3831 100 22986 100 29        X       X        
Easy iis-bupa-cov BBP 4803 345 38392 345 36        X       X        
Easy iis-pima-cov BBP 7201 768 71941 768 33        X       X        
Open ivu06-big CRXBP 1177 2277736 23125770 2277736 ?     X                    
Hard ivu52 CRBP 2116 157591 2179476 157591 481.007    X           X X   X  
Easy m100n500k4r1 BPBP 100 500 2000 500 -25      X                  
Easy macrophage BBP 3164 2260 9492 2260 374        X       X        
Open methanosarcina CBP 14604 7930 43812 7930 ?         X       X        
Easy mine-166-5 BBP 8429 830 19412 830 -5.66396e+08  X               X      
Easy mine-90-10 BBP 6270 900 15407 900 -7.84302e+08  X               X      
Easy mspp16 BXBP 561657 29280 27678735 29280 363  X X X X       X X   X  
Easy n3div36 BBP 4484 22120 340740 22120 130800      X X       X     X  
Easy n3seq24 BBP 6044 119856 3232340 119856 52200      X X       X     X  
Easy neos-1109824 BBP 28979 1520 89528 1520 378  X X     X     X        
Easy neos-1337307 BBP 5687 2840 30799 2840 -202319  X X           X X      
Easy neos-1440225 PBP 330 1285 14168 1285 36    X                    
Easy neos-1616732 TBP 1999 200 3998 200 159  X                      
Easy neos-1620770 TBP 9296 792 19292 792 9  X X                    
Easy neos18 BBP 11402 3312 24614 3312 16  X     X       X        
Easy neos-506428 RBP 129925 42981 343466 42981 583780  X X           X     X  
Easy neos-631710 CRBP 169576 167056 834166 167056 203  X X X       X          
Easy neos-777800 PBP 479 6400 32000 6400 -80  X   X   X              
Easy neos-785912 IBP 1714 1380 16610 1380 Infeasible   X   X         X        
Easy neos788725 IBP 433 352 4912 352 Infeasible   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
Hard neos-807456 CBP 840 1635 4905 1635 Infeasible X   X                    
Easy neos808444 PBP 18329 19846 120512 19846 0X X X X     X   X     X  
Easy neos-820146 ITBP 830 600 3225 600 Infeasible       X X X     X        
Easy neos-820157 ITBP 1015 1200 4875 1200 Infeasible   X X X X X     X        
Easy neos-849702 BPBP 1041 1737 19308 1737 0    X X   X     X        
Easy neos858960 ITBP 132 160 2770 160 Infeasible   X       X     X        
Easy neos-859770 IBP 2065 2504 880736 2504 Infeasible     X           X     X  
Easy neos-885524 PBP 65 91670 258309 91670 12320.1                      X  
Easy neos-941313 PBP 13189 167910 484080 167910 9361    X X X X     X X   X  
Open neos-952987 CBP 354 31329 90384 31329 ?         X   X   X X      
Easy neos-957389 PBP 5115 6036 355372 6036 1.5  X X X       X X X      
Easy netdiversion BBP 119589 129180 615282 129180 242  X X X X X     X        
Easy ns1663818 CXBP 172017 124626 20433649 124626 86  X X X         X X   X  
Easy ns1685374 RBP 44121 10000 220859 10000 -13    X X X X     X     X  
Easy ns1686196 IBP 4055 2738 68529 2738 Infeasible   X X X   X     X X   X  
Easy ns1688347 BBP 4191 2685 66908 2685 27X X X X         X X   X  
Easy ns1696083 CRBP 11063 7982 384129 7982 45  X X X   X     X X   X  
Easy ns1745726 IBP 4687 3208 90278 3208 Infeasible   X X X   X     X X   X  
Easy ns1769397 IBP 5527 3772 117383 3772 Infeasible   X X X   X     X X   X  
Open ns1778858 CBP 10666 4720 32673 4720 ?   X X           X     X  
Open ns1853823 CBP 224526 213440 1489480 213440 ?           X     X X      
Open ns894236 CRBP 8218 9666 41067 9666 ? X X       X     X     X  
Easy ns894244 RBP 12129 21856 90864 21856 15  X       X     X     X  
Open ns894786 CRBP 16794 27278 113575 27278 ?   X       X     X     X  
Easy ns894788 TBP 2279 3463 14381 3463 7  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
Open ns903616 CRBP 18052 21582 91641 21582 ? X X       X     X     X  
Easy opm2-z10-s2 CBP 160633 6250 371243 6250 -33826  X               X      
Easy opm2-z11-s8 CRBP 223082 8019 510283 8019 -43485  X               X      
Hard opm2-z12-s14 CRBP 319508 10800 725376 10800 -64291  X               X      
Hard opm2-z12-s7 CRBP 319508 10800 725385 10800 -65514  X               X      
Easy opm2-z7-s2 BBP 31798 2023 79762 2023 -10280  X               X      
Easy p2m2p1m1p0n100 ITBP 1 100 100 100 Infeasible                   X   X  
Hard p6b CBP 5852 462 11704 462 -63  X                      
Open pb-simp-nonunif CXBP 1451912 23848 4366648 23848 ? X X     X       X        
Hard protfold RBP 2112 1835 23491 1835 -31    X X X X     X     X  
Hard queens-30 CBP 960 900 93440 900 -40                  X      
Easy rail01 RBP 46843 117527 392086 117527 -70.57X X X X   X       X      
Easy rail02 CRBP 95791 270869 756228 270869 -200.45X   X X   X       X      
Hard rail03 CRBP 253905 758775 1728451 758775 -867.094X X X X   X       X      
Open ramos3 CRBP 2187 2187 32805 2187 ?                 X        
Easy reblock166 TBP 17024 1660 39442 1660 -6.00052e+08  X               X      
Hard reblock354 CBP 19906 3540 52901 3540 -3.92805e+07  X               X      
Easy reblock420 CBP 62800 4200 138670 4200 -5.17793e+08  X               X      
Easy reblock67 BBP 2523 670 7495 670 -3.46306e+07  X               X      
Hard rmine10 CBP 65274 8439 162264 8439 -1913.88  X                   X  
Open rmine14 CBP 268535 32205 660346 32205 ?   X                   X  
Open rmine21 CXBP 1441651 162547 3514884 162547 ?   X                   X  
Open rmine25 CXBP 2953849 326599 7182744 326599 ?   X                   X  
Easy rmine6 BBP 7078 1096 18084 1096 -457.186  X                   X  
Easy seymour CBP 4944 1372 33549 1372 423  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
Hard seymour-disj-10 CBP 5108 1209 64704 1209 287  X     X       X     X  
Easy sp97ar CBP 1761 14101 290968 14101 6.60706e+08  X   X X       X     X  
Easy sp98ic BBP 825 10894 316317 10894 4.49145e+08  X   X X       X     X  
Hard stp3d CRBP 159488 204880 662128 204880 493.72  X X X   X              
Open sts405 CBP 27270 405 81810 405 ?         X       X        
Open sts729 CRBP 88452 729 265356 729 ?         X       X        
Open t1717 CBP 551 73885 325689 73885 ?     X                    
Open t1722 CBP 338 36630 133096 36630 ?     X                    
Easy tanglegram1 BBP 68342 34759 205026 34759 5182        X       X        
Easy tanglegram2 BBP 8980 4714 26940 4714 443        X       X        
Easy toll-like CBP 4408 2883 13224 2883 610        X       X        
Easy vpphard2 CBP 198450 199999 648340 199999 81  X X     X     X        
Easy vpphard BBP 47280 51471 372305 51471 5  X X     X     X        
Hard wnq-n100-mw99-14 CTBP 656900 10000 1333400 10000 259  X     X       X        
Open zib01 CXBP 5887041 12471400 49877768 12471400 ?     X X   X              
Hard zib02 CIXBP 9049868 37709944 146280582 37709944 Infeasible   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

Legend

Problem Status

Easy Easy - instance can be solved within one hour using a commercial solver
Hard Hard - instance has been solved, but is not considered easy
Open Open - optimal solution to instance is unknown

Instance Set List

BBenchmark set
CChallenge set
IInfeasible set
PPrimal set
UUnstable set
R Reoptimize set
T Tree set
XXXL - extra large instances

Problem Type List

BPBinary Program - All variables are binary
IP Integer Program - All variables are integer
MBP Mixed Binary Program - All variables are binary or continuous
MIPMixed 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.

Problem Feasibility List

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

Constraint Type Legend

AGGAggregation
VBDVariable Bound
PARSet Partition
PACSet Packing
COVSet Cover
CARCardinality
EQKEquality Knapsack
BINBin Packing
IVKInvariant Knapsack
KNAKnapsack
IKNInteger Knapsack
M01Mixed Binary
GENGeneralAll 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.


Last Update February 28, 2017 by Gerald Gamrath
© 2017 by Konrad-Zuse-Zentrum für Informationstechnik Berlin (ZIB)
Imprint