All instances with set covering constraints after presolving.

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

Instances tagged with the Set Covering Tag. Objective values of open instances are marked with ’*’.
Instance Status Variables Binaries Integers Continuous Constraints Nonz. Submitter Group Objective Tags
ran14x18-disj-8 easy 504 252 0 252 447 10277 J. Aronson ran 3712 benchmark benchmark_suitable variable_bound set_covering mixed_binary
ex1010-pi open 25200 25200 0 0 1468 102114 M. Winkler 233.0* binary set_covering
leo2 easy 11100 11099 0 1 593 219959 COR@L test set 404077441.12 benchmark benchmark_suitable variable_bound set_packing set_covering 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
sp98ic easy 10894 10894 0 0 825 316317 J. Goessens, S. v. Hoessel, L. Kroon sp9 449144758.4 binary decomposition benchmark_suitable variable_bound set_packing set_covering mixed_binary
misc07 easy 260 259 0 1 212 8619 MIPLIB submission pool misc 2810 set_partitioning set_packing set_covering cardinality invariant_knapsack binpacking general_linear
neos-1516309 easy 4500 4500 0 0 489 30400 NEOS Server Submission neos-pseudoapplication-26 35954 binary decomposition set_packing set_covering knapsack
stein15inf easy 15 15 0 0 37 135 MIPLIB submission pool stein Infeasible infeasible binary set_covering invariant_knapsack mixed_binary
neos-1599274 easy 4500 4500 0 0 1237 46800 NEOS Server Submission neos-pseudoapplication-26 32075.6 binary decomposition set_packing set_covering knapsack
bley_xs1noM open 3243 2360 883 0 3290 25762 A. Bley bley_x 3873690.77* numerics aggregations variable_bound set_partitioning set_packing set_covering invariant_knapsack knapsack mixed_binary general_linear
sp97ic easy 12497 12497 0 0 1033 316629 J. Goessens, S. v. Hoessel, L. Kroon sp9 427684487.6799999 binary decomposition benchmark_suitable variable_bound set_packing set_covering mixed_binary
bley_xs1 open 3243 2360 883 0 3290 25762 A. Bley bley_x 3922112.840000001* numerics aggregations variable_bound set_partitioning set_packing set_covering invariant_knapsack knapsack mixed_binary general_linear
bley_xs2 easy 2515 1632 883 0 2257 20861 A. Bley bley_x 1051266.38 numerics aggregations variable_bound set_partitioning set_packing set_covering invariant_knapsack knapsack mixed_binary general_linear
p0201 easy 201 201 0 0 133 1923 MIPLIB submission pool pfour 7614.999999999997 binary set_packing set_covering invariant_knapsack knapsack mixed_binary
neos-876808 easy 87268 87268 0 0 85808 682376 NEOS Server Submission neos-pseudoapplication-62 169795.259907 binary decomposition benchmark_suitable aggregations set_packing set_covering invariant_knapsack knapsack mixed_binary
30_70_45_095_98 easy 10990 10989 0 1 12471 46387 J. Walser 30_70 11.99999999999999 binary decomposition benchmark_suitable precedence variable_bound set_covering mixed_binary
misc05inf easy 136 74 0 62 301 2946 MIPLIB submission pool misc Infeasible infeasible variable_bound set_partitioning set_covering cardinality mixed_binary general_linear
neos-911970 easy 888 840 0 48 107 3408 NEOS Server Submission neos-pseudoapplication-70 54.76 benchmark benchmark_suitable set_partitioning set_covering mixed_binary
seymour1 easy 1372 451 0 921 4944 33549 MIPLIB submission pool 410.76370139 benchmark benchmark_suitable variable_bound set_covering mixed_binary
prod1 easy 250 149 0 101 208 5350 MIPLIB submission pool -56 benchmark_suitable variable_bound set_partitioning set_covering mixed_binary
ns2071214 easy 2720 2220 0 500 6250 21474 NEOS Server Submission neos-pseudoapplication-46 507 benchmark_suitable precedence variable_bound set_partitioning set_packing set_covering cardinality invariant_knapsack mixed_binary
30_70_45_05_100 easy 10772 10771 0 1 12050 45889 J. Walser 30_70 9 binary decomposition benchmark_suitable precedence variable_bound set_covering mixed_binary
qnet1 easy 1541 1288 129 124 503 4622 MIPLIB submission pool 16029.69268099998 aggregations precedence variable_bound set_partitioning set_covering cardinality general_linear
core4284-1064 open 21714 21705 0 9 4287 245121 A. Caprara, M. Fischetti, P. Toth core 1062.0* binary variable_bound set_covering invariant_knapsack
sp98ar easy 15085 15085 0 0 1435 426148 J. Goessens, S. v. Hoessel, L. Kroon sp9 529740623.2 benchmark binary benchmark_suitable variable_bound set_packing set_covering mixed_binary
stein45inf easy 45 45 0 0 332 1079 MIPLIB submission pool stein Infeasible infeasible binary variable_bound set_covering invariant_knapsack mixed_binary
stein9inf easy 9 9 0 0 14 54 MIPLIB submission pool stein Infeasible infeasible binary set_covering invariant_knapsack mixed_binary
neos-860300 easy 1385 1384 0 1 850 384329 NEOS Server Submission neos-pseudoapplication-23 3200.999999999998 benchmark benchmark_suitable set_partitioning set_packing set_covering invariant_knapsack general_linear
core2586-950 open 13226 13215 0 11 2589 104678 A. Caprara, M. Fischetti, P. Toth core 944.0* binary variable_bound set_covering invariant_knapsack
neos-574665 easy 740 184 64 492 3790 16792 NEOS Server Submission neos-pseudoapplication-78 5761665.2169 decomposition aggregations variable_bound set_covering invariant_knapsack integer_knapsack mixed_binary general_linear
nsrand-ipx easy 6621 6620 0 1 735 223261 MIPLIB submission pool 51200 benchmark_suitable set_packing set_covering mixed_binary
neos-1582420 easy 10100 10000 100 0 10180 24814 NEOS Server Submission neos-pseudoapplication-10 90.99999999999996 benchmark decomposition benchmark_suitable variable_bound set_covering integer_knapsack general_linear
mitre easy 10724 10724 0 0 2054 39704 MIPLIB submission pool 115154.9999999991 binary decomposition set_partitioning set_covering invariant_knapsack mixed_binary
fast0507 easy 63009 63009 0 0 507 409349 MIPLIB submission pool 174 benchmark binary benchmark_suitable variable_bound set_covering
neos-950242 easy 5760 5520 240 0 34224 104160 NEOS Server Submission neos-pseudoapplication-72 4 benchmark benchmark_suitable aggregations precedence variable_bound set_partitioning set_covering invariant_knapsack general_linear
neos-662469 easy 18235 17907 328 0 1085 200055 NEOS Server Submission neos-pseudoapplication-73 184379.9999999999 benchmark benchmark_suitable variable_bound set_packing set_covering binpacking knapsack integer_knapsack general_linear
acc-tight2 easy 1620 1620 0 0 2520 15327 J. Walser acc-tight 0 binary benchmark_suitable precedence set_partitioning set_packing set_covering cardinality invariant_knapsack
neos-820879 easy 9522 9522 0 0 361 72356 NEOS Server Submission neos-pseudoapplication-23 25467.99999999995 binary benchmark_suitable set_partitioning set_covering cardinality knapsack mixed_binary
acc-tight5 easy 1339 1339 0 0 3052 16134 J. Walser acc-tight 0 binary benchmark_suitable aggregations precedence variable_bound set_partitioning set_packing set_covering cardinality invariant_knapsack mixed_binary
neos6 easy 8786 8340 0 446 1036 251946 NEOS Server Submission neos-pseudoapplication-47 83 benchmark_suitable set_packing set_covering invariant_knapsack knapsack mixed_binary
neos-1605061 easy 4111 3570 0 541 3474 93483 NEOS Server Submission neos-pseudoapplication-5 11.99999999556169 benchmark_suitable set_partitioning set_covering invariant_knapsack mixed_binary
sp98ir easy 1680 992 688 0 1531 71704 J. Goessens, S. v. Hoessel, L. Kroon sp9 219676790.4 decomposition benchmark_suitable precedence variable_bound set_covering binpacking knapsack mixed_binary general_linear
neos-686190 easy 3660 3600 60 0 3664 18085 NEOS Server Submission neos-pseudoapplication-60 6730 benchmark_suitable precedence variable_bound set_partitioning set_covering general_linear
bnatt400 easy 3600 3600 0 0 5614 21698 Tatsuya Akutsu bnatt 1 benchmark binary benchmark_suitable precedence set_covering invariant_knapsack binpacking knapsack
glass-sc easy 214 214 0 0 6119 63918 Marc Pfetsch maxfeassub 23 benchmark binary benchmark_suitable set_covering
physiciansched6-1 easy 126204 104778 0 21426 175664 542098 Pelin Damci-Kurt physiciansched 28500.99999 decomposition benchmark_suitable precedence variable_bound set_packing set_covering invariant_knapsack binpacking knapsack mixed_binary general_linear
physiciansched6-2 easy 111827 109346 0 2481 168336 480259 Pelin Damci-Kurt physiciansched 49324 benchmark decomposition benchmark_suitable precedence variable_bound set_packing set_covering invariant_knapsack binpacking knapsack mixed_binary
physiciansched5-3 easy 14488 11501 0 2987 31925 156378 Pelin Damci-Kurt physiciansched 21100 decomposition benchmark_suitable precedence variable_bound set_packing set_covering invariant_knapsack binpacking mixed_binary
physiciansched3-3 easy 79555 72141 0 7414 266227 1062479 Pelin Damci-Kurt physiciansched 2623271.326667 benchmark decomposition benchmark_suitable precedence variable_bound set_packing set_covering invariant_knapsack binpacking knapsack mixed_binary
physiciansched3-4 easy 74119 65900 0 8219 239780 908634 Pelin Damci-Kurt physiciansched 1480386.746666666 aggregations precedence variable_bound set_packing set_covering invariant_knapsack binpacking knapsack mixed_binary general_linear
acc-tight4 easy 1620 1620 0 0 3285 17073 J. Walser acc-tight 0 binary benchmark_suitable precedence set_partitioning set_packing set_covering cardinality invariant_knapsack mixed_binary
ns1849932 open 128521 128164 0 357 128880 766124 NEOS Server Submission neos-pseudoapplication-60 632.0* set_covering cardinality mixed_binary
bab5 easy 21600 21600 0 0 4964 155520 Elmar Swarat bab -106411.8401 binary decomposition benchmark_suitable aggregations set_partitioning set_packing set_covering cardinality invariant_knapsack equation_knapsack knapsack mixed_binary
neos-3230511-yuna easy 99472 99456 0 16 19335696 58613680 Jeff Linderoth neos-pseudoapplication-4 Unbounded precedence variable_bound set_partitioning set_covering invariant_knapsack mixed_binary
neos-3665875-lesum easy 3128 320 0 2808 3184 10640 Jeff Linderoth neos-pseudoapplication-9 3274.81 benchmark_suitable set_covering invariant_knapsack mixed_binary
neos-5178119-nalagi easy 4167 4068 0 99 6921 74476 Jeff Linderoth neos-pseudoapplication-62 22.73999999763 benchmark_suitable precedence set_partitioning set_packing set_covering cardinality invariant_knapsack knapsack mixed_binary general_linear
neos-4232544-orira open 87060 38280 5700 43080 180600 492456 Jeff Linderoth neos-pseudoapplication-57 17182027.4* numerics aggregations precedence variable_bound set_partitioning set_packing set_covering invariant_knapsack integer_knapsack mixed_binary general_linear
neos-3709489-menik easy 48005 31506 15424 1075 59587 199272 Jeff Linderoth neos-pseudoapplication-44 Unbounded aggregations precedence variable_bound set_packing set_covering cardinality invariant_knapsack binpacking mixed_binary general_linear
neos-3208254-reiu open 3154336 3743 0 3150593 9464908 25080218 Jeff Linderoth neos-pseudoapplication-98 -34897.00052514407* aggregations precedence variable_bound set_partitioning set_covering cardinality mixed_binary general_linear
neos-3603137-hoteo open 4003 3913 90 0 10510 39146 Jeff Linderoth neos-pseudoapplication-38 NA no_solution feasibility aggregations set_covering invariant_knapsack knapsack general_linear
neos-3352863-ancoa hard 20046 20045 0 1 169 869239 Jeff Linderoth neos-pseudoapplication-100 28700 set_covering mixed_binary
neos-4230265-orari open 32980 13380 10 19590 76374 189026 Jeff Linderoth neos-pseudoapplication-57 81765.21022354232* numerics aggregations precedence variable_bound set_covering invariant_knapsack mixed_binary general_linear
neos-3229051-yass easy 99472 99456 0 16 18846096 57144880 Jeff Linderoth neos-pseudoapplication-23 Unbounded precedence variable_bound set_partitioning set_covering invariant_knapsack mixed_binary
neos-3045796-mogo easy 11016 11016 0 0 2226 44442 Jeff Linderoth neos-pseudoapplication-22 -175 binary decomposition set_partitioning set_packing set_covering invariant_knapsack equation_knapsack
neos-3230376-yser easy 57000 56976 0 24 786916 2372592 Jeff Linderoth neos-pseudoapplication-4 Unbounded precedence variable_bound set_partitioning set_covering invariant_knapsack mixed_binary
neos-4533806-waima open 93318 93304 0 14 52983 1250570 Jeff Linderoth neos-pseudoapplication-31 4870* decomposition aggregations set_partitioning set_packing set_covering cardinality invariant_knapsack knapsack mixed_binary
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-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-2991472-kalu open 12105 12096 0 9 18170 13709358 Jeff Linderoth neos-pseudoapplication-77 12* set_packing set_covering invariant_knapsack binpacking knapsack mixed_binary
neos-3355323-arnon open 10248 10104 144 0 21216 69912 Jeff Linderoth neos-pseudoapplication-38 NA no_solution feasibility aggregations precedence set_covering invariant_knapsack binpacking general_linear
neos-3672928-linge easy 62251 40081 19636 2534 76477 251299 Jeff Linderoth neos-pseudoapplication-97 Unbounded aggregations precedence variable_bound set_packing set_covering cardinality binpacking mixed_binary general_linear
neos-3283608-agout easy 26256 26224 0 32 108649 301792 Jeff Linderoth neos-pseudoapplication-84 Unbounded precedence variable_bound set_partitioning set_covering 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-4332810-sesia easy 20682487 20677405 20 5062 19912111 47513027 Jeff Linderoth neos-pseudoapplication-28 21849.762376 aggregations precedence variable_bound set_partitioning set_covering cardinality binpacking knapsack mixed_binary general_linear
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-4650160-yukon easy 1412 624 0 788 1969 6416 Jeff Linderoth neos-pseudoapplication-79 59.88499998695507 benchmark_suitable aggregations precedence variable_bound set_partitioning set_covering knapsack 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-3230516-zala easy 101856 101824 0 32 1146724 3427392 Jeff Linderoth neos-pseudoapplication-4 Unbounded precedence variable_bound set_partitioning set_covering invariant_knapsack mixed_binary
neos-2328163-agri easy 2236 2236 0 0 1963 12740 Jeff Linderoth neos-pseudoapplication-36 27674 binary decomposition benchmark_suitable set_partitioning set_packing set_covering cardinality invariant_knapsack binpacking knapsack
neos-4562542-watut open 134705 134694 0 11 73746 2015543 Jeff Linderoth neos-pseudoapplication-31 5684* aggregations set_partitioning set_packing set_covering cardinality invariant_knapsack knapsack mixed_binary
neos-4545615-waita open 654950 654930 0 20 345152 10670186 Jeff Linderoth neos-pseudoapplication-31 6311.0* aggregations set_partitioning set_packing set_covering cardinality invariant_knapsack knapsack mixed_binary
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-3696678-lyvia easy 7683 7516 167 0 9004 30452 Jeff Linderoth neos-pseudoapplication-56 83.74999995899876 decomposition variable_bound set_covering cardinality invariant_knapsack mixed_binary general_linear
neos-5052403-cygnet easy 32868 32868 0 0 38268 4898304 Jeff Linderoth neos-pseudoapplication-100 182 benchmark binary benchmark_suitable set_covering invariant_knapsack
neos-4332801-seret easy 20682487 20677405 20 5062 19912111 47513027 Jeff Linderoth neos-pseudoapplication-28 279835.50495 aggregations precedence variable_bound set_partitioning set_covering cardinality binpacking knapsack mixed_binary general_linear
neos-3402294-bobin easy 2904 2616 0 288 591076 2034888 Jeff Linderoth neos-pseudoapplication-71 0.06724999999999949 benchmark benchmark_suitable precedence set_partitioning set_covering invariant_knapsack 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-3216931-puriri easy 3555 3268 0 287 5989 91691 Jeff Linderoth neos-pseudoapplication-56 71320 benchmark benchmark_suitable aggregations variable_bound set_partitioning set_packing set_covering cardinality invariant_knapsack binpacking knapsack general_linear
neos-3699044-maipo easy 48007 31506 15424 1077 59589 199334 Jeff Linderoth neos-pseudoapplication-63 Unbounded aggregations precedence variable_bound set_packing set_covering cardinality binpacking mixed_binary general_linear
neos-4555749-wards open 89147 89130 0 17 51776 1263377 Jeff Linderoth neos-pseudoapplication-31 3759* decomposition aggregations set_partitioning set_packing set_covering cardinality invariant_knapsack 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
neos-3654993-kolva easy 13640 8948 4102 590 16064 54282 Jeff Linderoth neos-pseudoapplication-44 Unbounded aggregations precedence variable_bound set_packing set_covering cardinality invariant_knapsack binpacking mixed_binary general_linear
no-ip-64999 easy 2232 2187 45 0 2547 13590 Christopher Hojny noip Infeasible infeasible feasibility decomposition benchmark_suitable precedence set_covering general_linear
no-ip-65059 easy 2232 2187 45 0 2547 13590 Christopher Hojny noip Infeasible infeasible feasibility decomposition benchmark_suitable precedence set_covering general_linear
app1-1 easy 2480 1225 0 1255 4926 18275 Emilie Danna app -3 benchmark benchmark_suitable precedence variable_bound set_covering mixed_binary
app1-2 easy 26871 13300 0 13571 53467 199175 Emilie Danna app -41 benchmark decomposition benchmark_suitable precedence variable_bound set_covering mixed_binary
neos-5149806-wieprz easy 33753 33750 3 0 65380 502488 Hans Mittelmann neos-pseudoapplication-15 21 benchmark_suitable precedence variable_bound set_packing set_covering binpacking
nursesched-medium04 easy 29667 29613 54 0 8668 621829 Haroldo Gambini Santos nursescheduling 237 decomposition benchmark_suitable set_partitioning set_packing set_covering cardinality invariant_knapsack general_linear
bab3 open 393800 393800 0 0 23069 3301838 Elmar Swarat bab -656214.9542* binary decomposition aggregations set_partitioning set_packing set_covering cardinality invariant_knapsack equation_knapsack knapsack mixed_binary
sp97ar easy 14101 14101 0 0 1761 290968 J. Goessens, S. v. Hoessel, L. Kroon sp9 660705645.759 benchmark binary benchmark_suitable variable_bound set_packing set_covering mixed_binary
core4872-1529 open 24656 24645 0 11 4875 218762 A. Caprara, M. Fischetti, P. Toth core 1530.0* binary variable_bound set_covering invariant_knapsack
lectsched-4-obj easy 7901 7665 236 0 14163 82428 Harald Schilly lectsched 4 benchmark_suitable aggregations precedence variable_bound set_covering integer_knapsack general_linear
atlanta-ip easy 48738 46667 106 1965 21732 257532 E-Plus, D. Bienstock, A. Bley, R. Wessäly 90.009878614 benchmark benchmark_suitable aggregations precedence variable_bound set_partitioning set_covering cardinality invariant_knapsack binpacking knapsack integer_knapsack mixed_binary general_linear
wachplan easy 3361 3360 1 0 1553 89361 Sebastian Orlowski -8 benchmark benchmark_suitable variable_bound set_partitioning set_packing set_covering invariant_knapsack mixed_binary general_linear
neos18 easy 3312 3312 0 0 11402 24614 NEOS Server Submission neos-pseudoapplication-49 16 binary decomposition benchmark_suitable precedence variable_bound set_covering invariant_knapsack
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
kottenpark09 open 2893026 2892333 693 0 325547 13085485 George Fonseca timetabling 1715.0* aggregations precedence variable_bound set_partitioning set_packing set_covering cardinality invariant_knapsack mixed_binary general_linear
kosova1 open 614253 609591 4662 0 304931 3414761 George Fonseca timetabling 6.0* aggregations precedence variable_bound set_partitioning set_packing set_covering cardinality invariant_knapsack equation_knapsack binpacking 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
brazil3 easy 23968 23874 94 0 14646 133184 George Fonseca timetabling 24 benchmark decomposition benchmark_suitable aggregations precedence variable_bound set_partitioning set_packing set_covering cardinality invariant_knapsack equation_knapsack mixed_binary general_linear
ns1208400 easy 2883 2880 0 3 4289 81746 NEOS Server Submission neos-pseudoapplication-108 2 benchmark benchmark_suitable variable_bound set_partitioning set_covering invariant_knapsack mixed_binary general_linear
supportcase30 open 1024 1024 0 0 1028 12288 Domenico Salvagnin NA no_solution binary feasibility set_covering cardinality
n3seq24 easy 119856 119856 0 0 6044 3232340 R. Meirich nseq 52200 binary benchmark_suitable set_packing set_covering invariant_knapsack knapsack
scpk4 open 1e+05 1e+05 0 0 2000 1000000 Shunji Umetani scp 319.0* binary set_covering
scpm1 open 5e+05 5e+05 0 0 5000 6250000 Shunji Umetani scp 542.0* binary set_covering
scpn2 open 1e+06 1e+06 0 0 5000 12500000 Shunji Umetani scp 489.0* binary set_covering
scpj4scip open 99947 99947 0 0 1000 999893 Shunji Umetani scp 128* binary set_covering
scpl4 open 2e+05 2e+05 0 0 2000 2000000 Shunji Umetani scp 259.0* binary set_covering
supportcase22 hard 7129 7129 0 0 260602 2228828 Michael Winkler 111.0 benchmark 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
supportcase2 open 2912 2912 0 0 597385 7653928 Michael Winkler 65* binary aggregations set_covering invariant_knapsack binpacking
supportcase19 hard 1429098 1311292 117806 0 10713 4287094 Michael Winkler 12677205.99992052 benchmark benchmark_suitable variable_bound set_partitioning set_covering general_linear
ramos3 open 2187 2187 0 0 2187 32805 F. Ramos 186.0* binary set_covering
n3div36 easy 22120 22120 0 0 4484 340740 R. Meirich nseq 130800 benchmark binary decomposition benchmark_suitable set_packing set_covering mixed_binary
tanglegram6 easy 9182 9182 0 0 17712 53136 Falk Hueffner huefner 1224 binary benchmark_suitable set_covering invariant_knapsack
lectsched-5-obj easy 21805 21389 416 0 38884 239608 Harald Schilly lectsched 24 benchmark benchmark_suitable aggregations precedence variable_bound set_covering invariant_knapsack integer_knapsack general_linear
siena1 open 13741 11775 0 1966 2220 258915 Double-Click SAS 10341586.2* numerics set_covering mixed_binary general_linear
rail507 easy 63019 63009 0 10 509 468878 A. Caprara, M. Fischetti, P. Toth 174 benchmark binary benchmark_suitable variable_bound set_covering invariant_knapsack
v150d30-2hopcds hard 150 150 0 0 7822 103991 Austin Buchanan 2hopcds 41.0 binary variable_bound set_covering
roll3000 easy 1166 246 492 428 2295 29386 L. Kroon 12889.999992 benchmark benchmark_suitable precedence variable_bound set_packing set_covering invariant_knapsack binpacking integer_knapsack mixed_binary general_linear
umts easy 2947 2802 72 73 4465 22872 C. Polo 30090327.99999997 decomposition benchmark_suitable aggregations precedence variable_bound set_partitioning set_covering cardinality invariant_knapsack knapsack mixed_binary general_linear
neos-4360552-sangro open 10272 9696 576 0 46012 302184 Hans Mittelmann neos-pseudoapplication-62 -8.0* decomposition precedence variable_bound set_packing set_covering cardinality invariant_knapsack equation_knapsack binpacking knapsack integer_knapsack general_linear
neos-2075418-temuka easy 122304 122304 0 0 349602 7610261 Hans Mittelmann neos-pseudoapplication-62 Infeasible benchmark infeasible binary benchmark_suitable precedence variable_bound set_covering invariant_knapsack knapsack
hgms62 open 48597 547 0 48050 582237 1753238 Jesus Rodriguez hgms -44837.24534313961* aggregations variable_bound set_partitioning set_packing set_covering invariant_knapsack equation_knapsack mixed_binary
hgms30 open 23797 547 0 23250 281917 850486 Jesus Rodriguez hgms -44338.74480308597* aggregations variable_bound set_partitioning set_packing set_covering invariant_knapsack equation_knapsack 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
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
tanglegram4 easy 56048 56048 0 0 110404 331212 Falk Hueffner huefner 10696 binary benchmark_suitable set_covering invariant_knapsack
iis-glass-cov easy 214 214 0 0 5375 56133 Marc Pfetsch iis 20.99999999999999 binary benchmark_suitable set_covering
iis-hc-cov easy 297 297 0 0 9727 142971 Marc Pfetsch iis 17 binary benchmark_suitable set_covering
f2000 open 4000 4000 0 0 10500 29500 M. Winkler 1810.0* binary variable_bound set_covering
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
genus-sym-g62-2 open 12912 12910 1 1 78472 275855 Stephan Beyer genus -38.0* precedence set_partitioning set_covering cardinality invariant_knapsack knapsack general_linear
genus-g31-8 open 3484 3482 1 1 32047 401147 Stephan Beyer genus -23* numerics set_partitioning set_covering cardinality invariant_knapsack knapsack general_linear
genus-sym-grafo5708-48 open 3379 3377 1 1 20538 72579 Stephan Beyer genus -21* precedence set_partitioning set_covering cardinality invariant_knapsack knapsack general_linear
genus-sym-g31-8 open 3484 3482 1 1 32073 401199 Stephan Beyer genus -23.0* numerics precedence set_partitioning set_covering cardinality invariant_knapsack knapsack general_linear
genus-g61-25 open 14380 14378 1 1 94735 332877 Stephan Beyer genus -40.0* numerics set_partitioning set_covering cardinality invariant_knapsack knapsack general_linear
splice1k1 easy 3253 3252 1 0 6505 1761016 Gleb Belov splice -394 benchmark benchmark_suitable set_covering binpacking general_linear
hypothyroid-k1 easy 2602 2601 1 0 5195 433884 Gleb Belov hypothyroid -2851 benchmark benchmark_suitable aggregations precedence set_covering binpacking general_linear
cryptanalysiskb128n5obj16 easy 48950 47830 1120 0 98021 292875 Gleb Belov cryptanalysis 0 benchmark feasibility benchmark_suitable aggregations precedence variable_bound set_covering cardinality invariant_knapsack binpacking knapsack integer_knapsack mixed_binary general_linear
k1mushroom easy 8211 8210 1 0 16419 1697946 Gleb Belov k1mushroom -3288 benchmark benchmark_suitable set_covering binpacking 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
ns1904248 open 38458 38416 0 42 149437 377258 NEOS Server Submission neos-pseudoapplication-6 37.01762611059417* precedence variable_bound set_covering invariant_knapsack mixed_binary
ns1856153 open 11998 11956 0 42 35407 105882 NEOS Server Submission neos-pseudoapplication-6 34.16346179965939* precedence variable_bound set_covering invariant_knapsack binpacking mixed_binary
gus-sch easy 5475 2736 2736 3 5984 33135 Alexandra M. Newman -1167 decomposition aggregations precedence variable_bound set_packing set_covering cardinality invariant_knapsack integer_knapsack mixed_binary general_linear
seymour easy 1372 1372 0 0 4944 33549 W. Cook, P. Seymour 423 benchmark binary benchmark_suitable variable_bound set_covering
neos-885524 easy 91670 91670 0 0 65 258309 NEOS Server Submission neos-pseudoapplication-100 12320.092 binary benchmark_suitable set_covering mixed_binary
neos-1601936 easy 4446 3906 0 540 3131 72500 NEOS Server Submission neos-pseudoapplication-5 2.99999999999894 benchmark_suitable set_partitioning set_covering invariant_knapsack mixed_binary
toll-like easy 2883 2883 0 0 4408 13224 Falk Hueffner huefner 610 binary benchmark_suitable set_covering invariant_knapsack
pythago7824 hard 3740 3740 0 0 14652 43956 Felix J. L. Willamowski 0 binary feasibility set_covering invariant_knapsack
pythago7825 open 3745 3745 0 0 14672 44016 Felix J. L. Willamowski NA no_solution binary feasibility set_covering invariant_knapsack
supportcase28i easy 7560 24 7536 0 15073 93811 Michael Winkler 20 indicator numerics set_covering invariant_knapsack general_linear
supportcase21i easy 27 24 3 0 7540 95325 Michael Winkler 20 indicator numerics set_covering invariant_knapsack general_linear
triptim7 easy 27342 18619 8716 7 14427 521944 MIPLIB submission pool triptim 2566.02 aggregations variable_bound set_partitioning set_packing set_covering invariant_knapsack mixed_binary general_linear
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
n2seq36f easy 8100 8100 0 0 285 60948 R. Meirich nseq 52200 binary decomposition benchmark_suitable set_packing set_covering mixed_binary
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
n2seq36q easy 22480 22480 0 0 2565 183292 R. Meirich nseq 52200 benchmark binary benchmark_suitable set_packing set_covering invariant_knapsack binpacking knapsack
triptim1 easy 30055 20456 9592 7 15706 515436 MIPLIB submission pool triptim 22.8680999999999 benchmark benchmark_suitable aggregations precedence variable_bound set_partitioning set_packing set_covering invariant_knapsack general_linear
piperout-03 easy 9526 9373 129 24 12246 39067 Gleb Belov piperout 74981.99999999999 benchmark_suitable aggregations precedence variable_bound set_partitioning set_packing set_covering invariant_knapsack equation_knapsack integer_knapsack mixed_binary general_linear
piperout-08 easy 10399 10245 130 24 14589 44959 Gleb Belov piperout 125054.9999999999 benchmark benchmark_suitable aggregations precedence variable_bound set_partitioning set_packing set_covering invariant_knapsack equation_knapsack integer_knapsack mixed_binary general_linear
piperout-d27 easy 13104 12931 149 24 17470 224457 Gleb Belov piperout 8124 decomposition benchmark_suitable aggregations precedence variable_bound set_partitioning set_packing set_covering invariant_knapsack binpacking knapsack integer_knapsack mixed_binary general_linear
piperout-d20 easy 11961 11788 149 24 15562 190915 Gleb Belov piperout 29948 decomposition benchmark_suitable aggregations precedence variable_bound set_partitioning set_packing set_covering invariant_knapsack binpacking knapsack integer_knapsack mixed_binary general_linear
piperout-27 easy 11659 11514 121 24 18442 54662 Gleb Belov piperout 8123.999999999973 benchmark benchmark_suitable aggregations precedence variable_bound set_partitioning set_packing set_covering invariant_knapsack equation_knapsack integer_knapsack mixed_binary general_linear
bnatt500 easy 4500 4500 0 0 7029 27203 Tatsuya Akutsu bnatt Infeasible benchmark infeasible binary benchmark_suitable precedence set_covering invariant_knapsack binpacking knapsack
core2536-691 easy 15293 15284 0 9 2539 177739 A. Caprara, M. Fischetti, P. Toth core 689 binary benchmark_suitable variable_bound set_covering invariant_knapsack
fastxgemm-n3r21s3t6 open 18684 378 0 18306 219368 718146 Laurent Sorber fastxgemm 4110.99800117485* decomposition variable_bound set_partitioning set_covering mixed_binary general_linear
fastxgemm-n3r22s4t6 open 19539 396 0 19143 229742 752274 Laurent Sorber fastxgemm 3101.998498499999* decomposition variable_bound set_partitioning set_covering mixed_binary general_linear
fastxgemm-n2r7s4t1 easy 904 56 0 848 6972 22584 Laurent Sorber fastxgemm 41.99999999999998 decomposition benchmark_suitable variable_bound set_partitioning set_covering mixed_binary general_linear
fastxgemm-n3r23s5t6 open 20394 414 0 19980 240116 786402 Laurent Sorber fastxgemm 3089.997998* decomposition variable_bound set_partitioning set_covering mixed_binary general_linear
fastxgemm-n2r6s0t2 easy 784 48 0 736 5998 19376 Laurent Sorber fastxgemm 230 benchmark decomposition benchmark_suitable variable_bound set_partitioning set_covering mixed_binary general_linear
mspsphard03i easy 32266 18603 13663 0 56333 114618 Gleb Belov mspsp 30 indicator numerics aggregations precedence variable_bound set_packing set_covering invariant_knapsack binpacking knapsack 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
rpp22falsei easy 25462 10276 15056 130 33269 56547 Gleb Belov rpp 0 feasibility indicator numerics aggregations precedence variable_bound set_partitioning set_covering invariant_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
oocsp-racks030e6cci easy 50862 32783 18079 0 92737 232944 Gleb Belov oocsp-racks 0 feasibility indicator numerics aggregations precedence variable_bound set_partitioning set_covering cardinality invariant_knapsack integer_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
oocsp-racks030f7cci easy 50859 32779 18080 0 92792 233170 Gleb Belov oocsp-racks Infeasible infeasible feasibility indicator numerics aggregations precedence variable_bound set_partitioning set_covering cardinality 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
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
hanoi5 easy 3862 3862 0 0 16399 39718 M. Winkler 1931 binary variable_bound set_covering
30_70_45_095_100 easy 10976 10975 0 1 12526 46640 J. Walser 30_70 3 binary decomposition benchmark_suitable precedence variable_bound set_covering mixed_binary
leo1 easy 6731 6730 0 1 593 131218 COR@L test set 404227536.16 benchmark benchmark_suitable variable_bound set_packing set_covering mixed_binary
s1234 hard 2945 2945 0 0 8418 44641 Siwei Sun SiweiSun 29 binary precedence set_covering invariant_knapsack binpacking knapsack

Last Update 2024 by Julian Manns
generated with R Markdown
© by Zuse Institute Berlin (ZIB)
Imprint