Skip to content

README.md

Latest commit

 

History

History
852 lines (840 loc) · 89.4 KB

README.md

File metadata and controls

852 lines (840 loc) · 89.4 KB
Raw

MIPLIB Combined Collection

Union of all MIPLIB editions, filtered to "easy" instances (solvable within one hour by a commercial solver) with at most 10k rows and 10k columns. Models from earlier editions are preserved even if dropped from later ones — those were typically removed for being too easy, making them ideal for testing non-commercial solvers.

MIPLIB 2.0 and 3.0 predate the easy/hard/open classification; all their models are included. MIPLIB 2003 models are also all included (2 removed only for exceeding the size limit).

MIPLIB (Mixed Integer Programming Library) has been the standard benchmark for mixed-integer programming solvers since 1992.

References

  • R. E. Bixby, E. A. Boyd, and R. R. Indovina, "MIPLIB: A test set of mixed integer programming problems," SIAM News, 25, 16, 1992.
  • R. E. Bixby, S. Ceria, C. M. McZeal, and M. W. P. Savelsbergh, "An updated mixed integer programming library: MIPLIB 3.0," Optima, 58, pp. 12-15, 1998.
  • T. Achterberg, T. Koch, and A. Martin, "MIPLIB 2003," Operations Research Letters, 34(4), pp. 361-372, 2006.
  • T. Koch et al., "MIPLIB 2010," Mathematical Programming Computation, 3, pp. 103-163, 2011. DOI: 10.1007/s12532-011-0025-9
  • Gleixner et al., "MIPLIB 2017: Data-driven compilation of the 6th mixed-integer programming library," Mathematical Programming Computation, 13, pp. 443-490, 2021. DOI: 10.1007/s12532-020-00194-3

Sources

Edition Instances Downloaded From
MIPLIB 2.0 61 miplib2010.zib.de/miplib2/
MIPLIB 3.0 64 miplib2010.zib.de/miplib3/
MIPLIB 2003 58 miplib2010.zib.de/miplib2003/
MIPLIB 2010 212 miplib2010.zib.de (easy)
MIPLIB 2017 636 miplib.zib.de (easy-v18)
Combined 794
Included 495 Rows and columns both <= 10,000

Models

Instances marked with - in the Incl column exceed the 10k row/column limit; their MPS files are not included here but can be downloaded from miplib.zib.de.

Name Rows Cols Nonzeros Integers 2.0 3.0 2003 2010 2017 Incl
10teams 230 2,025 14,175 1,800 x x x x
22433 198 429 3,409 231 x x
23588 137 368 3,702 231 x x
30_70_45_05_100 12,050 10,772 56,661 10,771 x -
30_70_45_095_100 12,526 10,976 57,616 10,975 x x -
30_70_45_095_98 12,471 10,990 57,377 10,989 x -
30n20b8 576 18,380 109,708 18,380 x x -
50v-10 233 2,013 4,392 1,647 x x x
a1c1s1 3,312 3,648 11,618 192 x x x x
a2c1s1 3,312 3,648 11,618 192 x x
ab51-40-100 11,893 12,675 84,511 12,675 x -
ab67-40-100 12,092 12,812 87,838 12,812 x -
ab69-40-100 11,911 12,622 86,019 12,622 x -
ab71-20-100 6,380 6,689 48,216 6,689 x x
ab72-40-100 11,671 12,370 83,684 12,370 x -
academictimetablesmall 23,294 28,926 268,605 28,926 x -
acc-tight2 2,520 1,620 15,328 1,620 x x
acc-tight4 3,285 1,620 17,074 1,620 x x x
acc-tight5 3,052 1,339 16,135 1,339 x x x
acc-tight6 3,047 1,335 16,109 1,335 x x
aflow30a 479 842 2,512 421 x x x
aflow40b 1,442 2,728 8,147 1,364 x x x x
air01 23 771 4,986 771 x x
air02 50 6,774 68,329 6,774 x x
air03 124 10,757 101,785 10,757 x x x -
air04 823 8,904 81,869 8,904 x x x x x x
air05 426 7,195 59,316 7,195 x x x x x
air06 825 8,627 79,433 8,627 x x
aligninq 340 1,831 15,735 1,830 x x
amaze22012-03-15i 36,399 33,458 131,611 33,113 x -
amaze22012-06-28i 5,895 4,907 18,791 4,786 x x
app1-1 4,926 2,480 18,298 1,225 x x
app1-2 53,467 26,871 199,441 13,300 x x -
app2-1 1,038 3,283 11,935 3,283 x x
app2-2 335 1,226 4,356 1,226 x x
app3 766 3,080 17,395 100 x x
arki001 1,048 1,388 20,440 538 x x x x
ash608gpia-3col 24,748 3,651 74,247 3,651 x -
assign1-5-8 161 156 3,746 130 x x
atlanta-ip 21,732 48,738 288,828 46,773 x x x -
atm20-100 4,380 6,480 62,878 2,220 x x
australia-abs-cta 3,946 49,758 80,796 918 x -
b-ball 30 100 210 88 x x
b1c1s1 3,904 3,872 12,976 288 x x
b2c1s1 3,904 3,872 12,976 288 x x
bab5 4,964 21,600 167,848 21,600 x x -
bc 1,913 1,751 307,659 483 x x
bc1 1,913 1,751 307,659 252 x x
beasleyC1 1,750 2,500 6,250 1,250 x x
beasleyC2 1,750 2,500 6,250 1,250 x x
beasleyC3 1,750 2,500 6,250 1,250 x x x
beavma 372 390 1,319 195 x x
bell3a 123 133 441 71 x x x
bell3b 123 133 441 71 x x
bell4 105 117 385 64 x x
bell5 91 104 340 58 x x x
berlin 2,704 5,304 13,260 2,652 x x
berlin_5_8_0 1,532 1,083 4,556 794 x x x
biella1 1,203 7,328 78,817 6,110 x x x
bienst1 576 505 2,185 28 x x
bienst2 576 505 2,185 35 x x x
binkar10_1 1,026 2,298 6,238 170 x x x
blend2 274 353 1,497 264 x x x
bley_xs2 2,257 2,515 22,175 2,515 x x
blp-ar98 1,128 16,021 200,602 15,806 x x -
blp-ic97 923 9,845 118,150 9,753 x x x
blp-ic98 717 13,640 191,948 13,550 x -
blp-ir98 486 6,097 79,153 6,031 x x
bm23 20 27 505 27 x x
bmoipr2 13,897 20,503 64,289 8,434 x -
bnatt350 4,923 3,150 19,062 3,150 x x
bnatt400 5,614 3,600 21,699 3,600 x x x
bnatt500 7,029 4,500 27,204 4,500 x x
bppc4-08 111 1,456 23,966 1,454 x x
bppc8-02 59 232 4,389 230 x x
bppc8-09 67 431 9,053 429 x x
brasil 3,364 6,612 16,530 3,306 x x
brazil3 14,646 23,968 133,185 23,968 x -
breastcancer-regularized 723 715 8,984 706 x x
cap6000 2,176 6,000 54,244 6,000 x x x x
cbs-cta 10,112 24,793 65,356 2,467 x -
chromaticindex1024-7 67,583 73,728 270,328 73,728 x -
chromaticindex128-5 8,447 9,216 33,784 9,216 x x
chromaticindex256-8 16,895 18,432 67,576 18,432 x -
chromaticindex32-8 2,111 2,304 8,440 2,304 x x
chromaticindex512-7 33,791 36,864 135,160 36,864 x -
ci-s4 26,159 745 129,259 505 x -
cmflsp40-24-10-7 2,825 13,200 139,881 1,200 x -
cmflsp50-24-10-4 3,527 16,440 174,729 1,440 x -
cmflsp50-24-8-8 3,520 16,392 173,690 1,392 x -
CMS750_4 16,381 11,697 45,654 7,196 x -
co-100 2,187 48,417 2,043,034 48,417 x x -
cod105 1,024 1,024 58,368 1,024 x x
comp07-2idx 21,235 17,264 100,633 17,264 x -
comp08-2idx 12,536 11,554 61,135 11,554 x -
comp21-2idx 14,038 10,863 65,847 10,863 x -
control20-5-10-5 2,430 1,310 15,520 100 x x
control30-3-2-3 512 332 1,474 90 x x
control30-5-10-4 3,640 1,960 23,270 150 x x
core2536-691 2,539 15,293 193,032 15,284 x x -
cost266-UUE 1,446 4,161 16,473 171 x x
cov1075 637 120 14,400 120 x x
cracpb1 143 572 4,730 572 x x
cryptanalysiskb128n5obj14 98,021 48,950 294,203 48,950 x -
cryptanalysiskb128n5obj16 98,021 48,950 294,203 48,950 x -
csched007 351 1,758 6,429 1,457 x x x
csched008 351 1,536 5,688 1,284 x x x
csched010 351 1,758 6,426 1,457 x x x
cvrpsimple2i 2,762 1,308 7,592 839 x x
cvs08r139-94 2,398 1,864 7,568 1,864 x x
cvs16r106-72 3,608 2,848 11,584 2,848 x x
cvs16r128-89 4,633 3,472 14,576 3,472 x x
cvs16r70-62 3,278 2,112 9,632 2,112 x x
cvs16r89-60 3,068 2,384 9,792 2,384 x x
dale-cta 20,097 37,951 128,622 4,923 x -
dano3_3 3,202 13,873 79,656 69 x -
dano3_5 3,202 13,873 79,656 115 x -
dano3mip 3,202 13,873 79,656 552 x x -
danoint 664 521 3,233 56 x x x x x
dcmulti 290 548 1,833 75 x x x x
decomp1 8,357 10,735 50,332 10,735 x -
decomp2 10,765 14,387 67,404 14,387 x -
dell 500 626 4,581 105 x x
dfn-gwin-UUM 158 938 2,723 90 x x
diameterc-mstc-v20a190d5i 15,674 7,077 34,056 6,821 x -
diameterc-msts-v40a100d5i 13,115 8,357 30,609 8,131 x -
diamond 4 2 9 2 x x
disctom 399 10,000 40,000 10,000 x x x
drayage-100-12 4,630 11,090 49,337 11,025 x -
drayage-100-23 4,630 11,090 49,255 11,025 x -
drayage-25-23 4,630 11,090 49,255 11,025 x -
drayage-25-27 4,630 11,090 49,404 11,025 x -
drayage-25-32 4,630 11,090 49,432 11,025 x -
ds 656 67,732 1,091,791 67,732 x -
dsbmip 1,182 1,886 9,768 192 x x x x
dws008-01 6,064 11,096 56,596 6,608 x -
egout 98 141 392 55 x x x
eil33-2 32 4,516 48,759 4,516 x x x
eilA101-2 100 65,832 1,025,205 65,832 x x -
eilB101 100 2,818 26,938 2,818 x x
eilC76-2 75 28,599 343,436 28,599 x -
ej 1 3 4 3 x x
elitserienhandball11i 20,623 21,749 80,284 21,020 x -
elitserienhandball14i 20,543 21,727 80,126 21,004 x -
elitserienhandball3i 20,711 21,783 80,469 21,053 x -
enigma 21 100 298 100 x x x
enlight11 121 242 803 242 x x
enlight13 169 338 1,131 338 x x
enlight14 196 392 1,316 392 x x
enlight15 225 450 1,515 450 x x
enlight16 256 512 1,728 512 x x
enlight4 16 32 96 32 x x
enlight8 64 128 416 128 x x
enlight9 81 162 531 162 x x x
enlight_hard 100 200 660 200 x x
ex10 69,608 17,680 1,179,680 17,680 x x -
ex9 40,962 10,404 527,516 10,404 x x -
exp-1-500-5-5 550 990 2,970 250 x x
f2gap201600 20 1,600 4,784 1,600 x x
f2gap401600 40 1,600 4,793 1,600 x x
f2gap40400 40 400 1,197 400 x x
f2gap801600 80 1,600 4,793 1,600 x x
fast0507 507 63,009 472,358 63,009 x x x -
fastxgemm-n2r6s0t2 5,998 784 19,584 48 x x
fastxgemm-n2r7s4t1 6,972 904 22,816 56 x x
fhnw-binpack4-18 650 520 2,392 481 x x
fhnw-binpack4-4 620 520 2,332 481 x x
fhnw-binpack4-48 4,480 3,710 17,290 3,605 x x
fhnw-binpack4-77 4,922 3,924 17,726 3,816 x x
fiball 3,707 34,219 104,793 34,218 x -
fiber 363 1,298 4,198 1,254 x x x x
fillomino7x7-0i 9,638 6,761 23,744 6,676 x x
fixnet3 478 878 2,631 378 x x
fixnet4 478 878 2,621 378 x x
fixnet6 478 878 2,550 378 x x x x
fjspeasy01i 21,382 11,965 40,573 11,965 x -
flugpl 18 18 64 11 x x x x
flugplinf 19 18 82 11 x x
g200x740 940 1,480 4,440 740 x x
g503inf 41 48 192 24 x x
gasprod1-2 27,169 10,752 207,351 3,716 x -
gasprod1-3 27,169 10,752 207,354 3,717 x -
gasprod2-1 73,448 29,568 298,644 7,389 x -
gasprod2-2 72,728 29,568 297,210 6,826 x -
gen 780 870 3,174 150 x x x x
gen-ip002 24 41 963 41 x x
gen-ip016 24 28 700 28 x x
gen-ip021 28 35 980 35 x x
gen-ip036 46 29 1,332 29 x x
gen-ip054 27 30 562 30 x x
germanrr 10,779 10,813 175,548 10,574 x x -
gesa2 1,392 1,224 6,000 408 x x x
gesa2-o 1,248 1,224 4,608 720 x x
gesa3 1,368 1,152 5,736 384 x x
gesa3_o 1,224 1,152 4,416 672 x x
gfd-schedulen25f5d20m10k3i 37,291 21,854 77,729 21,757 x -
gfd-schedulen55f2d50m30k3i 97,190 61,801 225,583 61,584 x -
ghoulomb4-9-10i 44,082 31,176 105,815 31,176 x -
glass-sc 6,119 214 64,132 214 x x
glass4 396 322 1,835 302 x x x x
gmu-35-40 424 1,205 5,893 1,200 x x x
gmu-35-50 435 1,919 10,407 1,914 x x x
go19 441 441 2,246 441 x x
gr4x6 34 48 144 24 x x
graph20-20-1rand 5,587 2,183 19,314 2,183 x x
graphdraw-domain 865 254 2,654 200 x x
graphdraw-gemcutter 474 166 1,458 128 x x
gsvm2rl3 180 241 4,200 60 x x
gsvm2rl5 300 401 11,000 100 x x
gt2 29 188 468 188 x x x
gus-sch 5,984 5,475 34,094 5,472 x x
h50x2450 2,549 4,900 17,052 2,450 x x
h80x6320 79 12,640 18,960 6,320 x -
h80x6320d 6,558 12,640 44,161 6,320 x -
hanoi5 16,399 3,862 43,580 3,862 x -
haprp 1,048 1,828 5,363 1,828 x x
harp2 112 2,993 8,833 2,993 x x x x
hypothyroid-k1 5,195 2,602 433,888 2,602 x x
ic97_potential 1,046 728 3,418 523 x x x
ic97_tension 319 703 2,264 180 x x
icir97_tension 1,203 2,494 22,741 835 x x
iis-100-0-cov 3,831 100 23,086 100 x x
iis-bupa-cov 4,803 345 38,737 345 x x
iis-glass-cov 5,375 214 56,347 214 x x
iis-hc-cov 9,727 297 143,268 297 x x
iis-pima-cov 7,201 768 72,709 768 x x
irp 39 20,315 118,569 20,315 x -
istanbul-no-cutoff 20,346 5,282 71,554 30 x -
k16x240 256 480 1,440 240 x x
k16x240b 256 480 1,440 240 x x
k1mushroom 16,419 8,211 1,697,948 8,211 x -
k1mushroomi 39,894 31,686 1,650,144 31,686 x -
khb05250 101 1,350 3,973 24 x x x x
l152lav 97 1,989 11,911 1,989 x x x
l2p12 21,315 11,786 59,630 11,496 x -
l2p2i 35,115 25,658 72,671 25,513 x -
lectsched-1 50,108 28,718 310,985 28,718 x x -
lectsched-2 30,738 17,656 186,668 17,656 x x -
lectsched-3 45,262 25,776 280,151 25,776 x x -
lectsched-4-obj 14,163 7,901 83,478 7,901 x x -
lectsched-5-obj 38,884 21,805 242,452 21,805 x -
leo1 593 6,731 131,219 6,730 x x x
leo2 593 11,100 219,960 11,099 x x -
liu 2,178 1,156 10,629 1,089 x x
loopha13 23,758 19,356 41,810 18,150 x -
lotsize 1,920 2,985 8,955 1,195 x x x
lp4l 85 1,086 5,763 1,086 x x
lrn 8,491 7,253 52,703 2,455 x x
lseu 28 89 394 89 x x x
m100n500k4r1 100 500 2,500 500 x x
macrophage 3,164 2,260 11,074 2,260 x x
mad 51 220 3,027 200 x x
manna81 6,480 3,321 16,281 3,321 x x x
mappingmesh3x3mpeg2i 13,160 7,097 29,123 6,788 x -
mario-t-hard5i 73,570 62,255 236,203 51,650 x -
markshare1 6 62 324 50 x x x x
markshare2 7 74 448 60 x x x
markshare_4_0 4 34 127 30 x x
markshare_5_0 5 45 208 40 x x x
mas74 13 151 1,857 150 x x x x
mas76 12 151 1,791 150 x x x x
maxgasflow 7,160 7,437 22,893 2,456 x x x
mc11 1,920 3,040 7,600 1,520 x x x
mc7 1,920 3,040 7,600 1,520 x x
mc8 1,920 3,040 7,600 1,520 x x
mcsched 2,107 1,747 8,089 1,745 x x x
mik-250-1-100-1 151 251 5,602 250 x x
mik-250-20-75-1 195 270 9,540 250 x x
mik-250-20-75-2 195 270 9,540 250 x x
mik-250-20-75-3 195 270 9,540 250 x x
mik-250-20-75-4 195 270 9,540 250 x x
mik-250-20-75-5 195 270 9,540 250 x x
milo-v12-6-r1-58-1 9,540 4,440 25,368 1,500 x x
milo-v12-6-r2-40-1 5,628 2,688 14,814 840 x x
mine-166-5 8,429 830 20,242 830 x x x
mine-90-10 6,270 900 16,307 900 x x x
misc01 54 83 746 82 x x
misc02 39 59 414 58 x x
misc03 96 160 2,054 159 x x x
misc04 1,725 4,897 17,253 30 x x
misc04inf 1,726 4,897 17,254 30 x x
misc05 300 136 2,946 74 x x
misc05inf 301 136 2,947 74 x x
misc06 820 1,808 5,860 112 x x x
misc07 212 260 8,620 259 x x x x x
mitre 2,054 10,724 49,028 10,724 x x -
mkc 3,411 5,325 19,984 5,323 x x x
mkc1 3,411 5,325 19,984 3,087 x x
mod008 6 319 1,562 319 x x x
mod008inf 7 319 1,881 319 x x
mod010 146 2,655 13,858 2,655 x x x x
mod011 4,480 10,958 37,425 96 x x x x -
mod013 62 96 288 48 x x
modglob 291 422 1,390 98 x x x x
momentum1 42,680 5,174 106,005 2,349 x x x -
momentum2 24,237 3,732 353,367 1,809 x x x -
momentum3 56,822 13,532 962,826 6,599 x -
mrcpspj30-15-5i 18,466 13,753 40,952 11,633 x -
mrcpspj30-17-10i 21,037 15,918 47,191 13,807 x -
mrcpspj30-53-3i 18,419 13,591 40,785 11,472 x -
msc98-ip 15,850 21,143 100,358 20,290 x x x -
mspsphard01i 25,852 14,519 52,869 14,519 x -
mspsphard03i 47,355 23,288 105,723 23,288 x -
mtest4ma 1,174 1,950 6,825 975 x x
mushroom-best 8,580 8,468 197,085 8,355 x x
mzzv11 9,499 10,240 134,808 10,240 x x x -
mzzv42z 10,460 11,717 151,455 11,717 x x -
n13-3 1,723 3,472 16,926 186 x x
n2seq36f 285 8,100 69,048 8,100 x x
n2seq36q 2,565 22,480 191,392 22,480 x -
n3div36 4,484 22,120 362,860 22,120 x x -
n4-3 1,236 3,596 17,574 174 x x
n5-3 1,062 2,550 12,400 150 x x
n6-3 2,760 7,178 35,372 222 x x
n7-3 2,336 5,626 27,724 174 x x
n9-3 2,364 7,644 37,632 252 x x x
neos-1061020 10,618 14,010 123,576 13,931 x -
neos-1067731 3,423 8,779 37,360 6,330 x x
neos-1109824 28,979 1,520 91,040 1,520 x -
neos-1112782 2,115 4,140 12,150 2,070 x x x
neos-1112787 1,680 3,280 9,600 1,640 x x x
neos-1122047 57,791 5,100 163,740 100 x -
neos-1171448 13,206 4,914 134,316 2,457 x -
neos-1171692 4,239 1,638 43,764 819 x x
neos-1171737 4,179 2,340 59,790 1,170 x x x
neos-1223462 5,890 5,495 52,535 5,495 x x
neos-1224597 3,276 3,395 28,485 3,395 x x
neos-1225589 675 1,300 3,750 650 x x
neos-1324574 5,904 5,256 20,916 5,256 x x
neos-1330346 4,248 2,664 13,068 2,664 x x
neos-1337307 5,687 2,840 32,646 2,840 x x x
neos-1354092 3,135 13,702 187,246 13,702 x -
neos-1396125 1,494 1,161 5,769 129 x x x
neos-1425699 89 105 508 85 x x
neos-1426635 796 520 3,660 260 x x
neos-1426662 1,914 832 8,464 416 x x
neos-1430701 668 312 3,024 156 x x
neos-1436709 1,417 676 6,552 338 x x
neos-1440225 330 1,285 15,453 1,285 x x
neos-1440460 989 468 4,536 234 x x
neos-1442119 1,524 728 7,056 364 x x x
neos-1442657 1,310 624 6,048 312 x x
neos-1445532 1,924 14,406 28,736 1,999 x -
neos-1445738 2,145 20,631 41,256 2,150 x -
neos-1445743 2,148 20,344 40,685 2,150 x -
neos-1445765 2,147 20,617 41,230 2,150 x -
neos-1456979 6,770 4,605 40,685 4,425 x x
neos-1516309 489 4,500 34,900 4,500 x x
neos-1582420 10,180 10,100 34,714 10,100 x -
neos-1593097 798 18,460 113,360 18,200 x -
neos-1599274 1,237 4,500 51,300 4,500 x x
neos-1601936 3,131 4,446 73,028 3,906 x x x
neos-1603965 28,984 15,003 93,951 7,999 x -
neos-1605061 3,474 4,111 93,484 3,570 x x x
neos-1605075 3,467 4,173 91,905 3,633 x x
neos-1616732 1,999 200 4,198 200 x x
neos-1620770 9,296 792 19,314 792 x x
neos-2294525-abba 11,122 10,842 89,850 10,086 x -
neos-2328163-agri 1,963 2,236 14,924 2,236 x x
neos-2624317-amur 342 524 1,722 524 x x
neos-2626858-aoos 342 524 1,722 524 x x
neos-2652786-brda 342 524 1,722 524 x x
neos-2656603-coxs 342 524 1,722 524 x x
neos-2657525-crna 342 524 1,722 524 x x
neos-2746589-doon 31,530 50,936 321,472 50,928 x -
neos-2978193-inde 396 20,800 62,336 64 x -
neos-2987310-joes 29,015 27,837 605,077 3,051 x -
neos-3004026-krka 12,545 17,030 41,860 17,030 x -
neos-3024952-loue 3,705 3,255 20,385 3,255 x x
neos-3025225-shelon 91,572 69,846 9,357,952 69,845 x -
neos-3045796-mogo 2,226 11,016 44,813 11,016 x -
neos-3046601-motu 563 308 1,432 289 x x
neos-3046615-murg 498 274 1,268 256 x x
neos-3048764-nadi 3,186 12,360 29,487 9,390 x -
neos-3065804-namu 3,280 4,741 577,748 2,190 x x
neos-3072252-nete 432 576 1,436 144 x x
neos-3075395-nile 27,756 26,928 104,400 1,728 x -
neos-3083784-nive 2,836 4,779 12,519 3,240 x x
neos-3083819-nubu 4,725 8,644 27,232 8,644 x x
neos-3116779-oban 328 5,141 20,562 5,140 x x
neos-3118745-obra 144 1,131 4,522 1,130 x x
neos-3135526-osun 1,546 192 25,751 170 x x
neos-3209519-ruhr 12,500 8,675 69,675 8,000 x -
neos-3216931-puriri 5,989 3,555 93,377 3,268 x x
neos-3218348-suir 1,320 7,022 221,882 7,006 x x
neos-3226448-wkra 2,208 10,012 40,048 10,012 x -
neos-3354841-apure 169 100,000 5,493,094 100,000 x -
neos-3373491-avoca 1,570 2,368 11,590 2,368 x x
neos-3381206-awhea 479 2,375 4,750 2,375 x x
neos-3421095-cinca 1,218 896 4,552 159 x x
neos-3426085-ticino 308 4,688 9,376 4,688 x x
neos-3426132-dieze 570 11,550 23,100 11,550 x -
neos-3437289-erdre 7,358 12,162 149,904 12,162 x -
neos-3530903-gauja 220 2,310 4,620 2,310 x x
neos-3530905-gaula 200 2,090 4,180 2,090 x x
neos-3572885-glina 44,206 57,196 180,104 57,196 x -
neos-3581454-haast 17,220 8,112 99,888 7,512 x -
neos-3592146-hawea 995 4,870 17,980 4,870 x x
neos-3610040-iskar 335 430 1,024 85 x x
neos-3610051-istra 709 805 2,000 76 x x
neos-3610173-itata 747 844 2,131 77 x x
neos-3611447-jijia 377 472 1,146 85 x x
neos-3611689-kaihu 323 421 1,015 88 x x
neos-3627168-kasai 1,655 1,462 5,161 535 x x
neos-3631363-vilnia 15,960 15,755 112,588 755 x -
neos-3636886-kereu 13,198 13,198 83,593 12,077 x -
neos-3654993-kolva 16,064 13,640 54,283 13,050 x -
neos-3656078-kumeu 17,656 14,870 59,294 14,210 x -
neos-3660371-kurow 4,758 4,722 13,992 144 x x
neos-3661949-lesse 1,140 4,775 19,405 4,640 x x
neos-3665875-lesum 3,184 3,128 13,152 320 x x
neos-3672928-linge 76,477 62,251 251,301 59,717 x -
neos-3696678-lyvia 9,004 7,683 33,960 7,683 x x
neos-3699044-maipo 59,589 48,007 199,336 46,930 x -
neos-3699377-maori 5,587 17,233 139,017 1,856 x -
neos-3703351-marne 4,123 8,827 60,963 1,382 x x
neos-3709489-menik 59,587 48,005 199,274 46,930 x -
neos-3734794-moppy 4,317 4,418 25,440 1,914 x x
neos-3754480-nidda 402 253 1,741 50 x x
neos-3759587-noosa 72,104 27,029 319,306 4,289 x -
neos-3761878-oglio 3,871 6,489 38,913 1,312 x x
neos-3762025-ognon 2,784 4,673 27,814 948 x x
neos-3988577-wolgan 44,662 25,870 350,480 25,870 x -
neos-4165869-wannon 85,865 31,728 270,942 31,728 x -
neos-4300652-rahue 76,992 33,003 193,990 20,900 x -
neos-4333464-siret 2,880 2,731 29,073 1,363 x x
neos-4333596-skien 812 1,005 6,544 460 x x
neos-4338804-snowy 1,701 1,344 6,363 1,302 x x
neos-4343293-stony 10,650 9,400 60,366 4,698 x -
neos-4359986-taipa 48,864 25,130 126,562 25,095 x -
neos-4382714-ruvuma 3,645 6,562 39,367 6,561 x x
neos-4387871-tavua 4,554 4,004 25,496 2,000 x x
neos-4393408-tinui 4,554 4,004 27,496 2,000 x x
neos-4408804-prosna 67,161 66,612 299,572 33,306 x -
neos-4477313-unzha 4,174 2,193 30,401 2,016 x x
neos-4650160-yukon 1,969 1,412 6,884 624 x x
neos-4736745-arroux 1,827 6,216 20,337 6,216 x x
neos-4738912-atrato 1,947 6,216 20,577 6,216 x x
neos-476283 10,015 11,915 3,946,449 5,588 x -
neos-4797081-pakoka 7,147 12,393 468,517 12,393 x -
neos-4805882-barwon 49,386 22,229 123,340 15,827 x -
neos-480878 1,321 534 44,826 189 x x
neos-4954340-beaury 20,162 7,850 77,440 2,544 x -
neos-4954357-bednja 9,641 3,885 49,446 1,231 x x
neos-4954672-berkel 1,848 1,533 8,259 630 x x
neos-4960896-besbre 14,793 6,149 98,694 1,809 x -
neos-4971100-bodrog 14,998 11,929 98,093 1,980 x -
neos-498623 2,047 9,861 156,991 8,500 x x
neos-5013590-toitoi 53,957 27,061 161,213 27,060 x -
neos-503737 500 2,850 17,200 2,500 x x
neos-5041756-cobark 30,900 60,301 180,901 60,000 x -
neos-5051588-culgoa 4,144 3,918 31,794 3,780 x x
neos-5052403-cygnet 38,268 32,868 4,931,172 32,868 x -
neos-506422 6,811 2,527 34,083 63 x x
neos-5075914-elvire 3,720 5,003 11,549 2,638 x x
neos-5076235-embley 63,112 49,686 1,100,736 98 x -
neos-5078479-escaut 3,442 3,471 9,173 1,330 x x
neos-5079731-flyers 63,112 49,686 1,100,736 98 x -
neos-5083528-gimone 617 60,315 384,473 60,301 x -
neos-5093327-huahum 51,840 40,640 792,576 64 x -
neos-5100895-inster 39,760 29,400 700,560 56 x -
neos-5102383-irwell 65,464 51,450 1,225,980 98 x -
neos-5107597-kakapo 6,498 3,114 19,416 2,976 x x
neos-5115478-kaveri 6,498 3,114 19,416 2,976 x x
neos-5125849-lopori 453 8,130 20,938 8,130 x x
neos-5140963-mincio 184 196 1,017 183 x x
neos-5149806-wieprz 65,380 33,753 536,241 33,753 x -
neos-5157194-moruya 30,175 24,557 10,237,259 14,983 x -
neos-5178119-nalagi 6,921 4,167 74,477 4,068 x x
neos-5182409-nasivi 580 2,005 14,964 1,600 x x
neos-5188808-nattai 29,452 14,544 136,062 288 x -
neos-5192052-neckar 57 180 725 24 x x
neos-5193246-nerang 42,256 14,546 175,795 9,792 x -
neos-5195221-niemur 42,256 14,546 176,588 9,792 x -
neos-520729 31,178 91,149 327,996 30,708 x x -
neos-555001 3,474 3,855 16,657 3,855 x x
neos-555343 3,326 3,815 16,975 3,815 x x
neos-555424 2,676 3,815 15,675 3,815 x x x
neos-555884 4,331 3,815 19,075 3,815 x x
neos-574665 3,790 740 16,796 248 x x
neos-578379 21,703 17,010 101,560 17,010 x -
neos-585192 2,628 2,597 72,401 1,044 x x
neos-585467 2,166 2,116 50,062 846 x x
neos-595904 2,452 4,508 26,872 1,148 x x
neos-619167 6,800 3,452 20,021 400 x x
neos-631517 351 1,090 2,974 859 x x
neos-633273 21,781 11,154 74,074 11,154 x -
neos-662469 1,085 18,235 218,290 18,235 x -
neos-686190 3,664 3,660 21,625 3,660 x x x
neos-691058 2,667 3,006 30,912 1,755 x x
neos-693347 3,192 1,576 113,538 1,405 x x
neos-738098 25,849 9,093 101,507 8,946 x x -
neos-777800 479 6,400 38,400 6,400 x x
neos-785912 1,714 1,380 17,870 1,380 x x
neos-799711 59,218 41,998 147,165 910 x x -
neos-799716 40,418 30,619 99,929 910 x -
neos-807639 1,541 1,030 5,580 80 x x
neos-820146 830 600 3,225 600 x x
neos-820157 1,015 1,200 4,875 1,200 x x
neos-820879 361 9,522 81,878 9,522 x x
neos-824661 18,804 45,390 139,060 15,640 x x -
neos-824695 9,576 23,970 72,760 8,500 x -
neos-826224 17,266 41,820 128,010 27,540 x -
neos-826650 2,414 5,912 20,472 5,792 x x x
neos-826694 6,904 16,410 59,358 16,290 x -
neos-826812 6,844 15,864 59,298 10,350 x -
neos-826841 2,354 5,516 20,412 3,488 x x
neos-827015 7,688 79,347 242,991 79,347 x -
neos-827175 14,187 32,504 121,892 21,350 x -
neos-829552 5,153 40,971 125,328 40,971 x -
neos-831188 2,185 4,612 14,726 4,612 x x
neos-849702 1,041 1,737 19,308 1,737 x x
neos-850681 2,067 2,594 37,908 2,495 x x
neos-859770 2,065 2,504 883,240 2,504 x x x
neos-860300 850 1,385 385,714 1,384 x x
neos-876808 85,808 87,268 684,128 87,268 x -
neos-885086 11,574 4,860 250,740 2,430 x x -
neos-885524 65 91,670 349,979 91,670 x x -
neos-911880 83 888 2,616 840 x x
neos-911970 107 888 3,456 840 x x
neos-913984 1,076 76,000 228,000 76,000 x -
neos-914441 15,129 15,007 59,659 15,006 x -
neos-916792 1,909 1,474 134,704 717 x x
neos-932721 18,085 22,266 130,174 21,825 x -
neos-932816 30,823 21,007 505,933 20,566 x -
neos-933562 3,200 3,032 28,808 3,024 x x
neos-933638 13,658 32,417 222,082 28,637 x x -
neos-933966 12,047 31,762 214,217 27,982 x x -
neos-934278 11,495 23,123 148,700 19,955 x -
neos-935234 9,568 10,309 67,928 7,530 x -
neos-935627 7,859 10,301 53,117 7,522 x -
neos-935769 6,741 9,799 48,084 7,020 x x x
neos-937511 8,158 11,332 57,991 8,562 x -
neos-937815 9,251 11,646 62,590 8,876 x -
neos-941262 6,703 9,480 46,872 6,710 x x
neos-942830 803 882 13,338 834 x x
neos-948346 1,570 57,855 598,118 57,855 x -
neos-950242 34,224 5,760 104,184 5,760 x -
neos-953928 12,498 23,305 192,986 23,305 x -
neos-954925 2,989 84,718 929,566 84,718 x -
neos-956971 2,527 57,756 541,181 57,756 x -
neos-957143 2,767 57,756 555,297 57,756 x -
neos-957323 3,757 57,756 557,232 57,756 x -
neos-957389 5,115 6,036 355,378 6,036 x x
neos-960392 4,744 59,376 191,078 59,376 x -
neos-983171 6,711 8,965 47,376 6,557 x x
neos13 20,852 1,827 253,854 1,815 x -
neos15 552 792 2,318 160 x x
neos16 1,018 377 2,802 377 x x x
neos17 486 535 25,270 300 x x
neos18 11,402 3,312 24,694 3,312 x x -
neos2 1,103 2,101 7,330 1,040 x x
neos22 5,208 3,240 14,904 454 x x
neos4 38,577 22,884 116,040 17,172 x -
neos5 63 63 2,079 53 x x
neos6 1,036 8,786 252,169 8,340 x x x
neos788725 433 352 5,008 352 x x
neos8 46,324 23,228 313,212 23,228 x -
neos808444 18,329 19,846 120,512 19,846 x -
neos858960 132 160 2,930 160 x x
neos859080 164 160 1,360 160 x x
neos9 31,600 81,408 264,192 2,099 x -
net12 14,021 14,115 80,423 1,603 x x x -
newdano 576 505 2,185 56 x x x
nexp-150-20-1-5 4,620 4,470 13,410 2,235 x x
nexp-150-20-8-5 4,620 20,115 60,345 17,880 x -
nexp-50-20-1-1 540 490 1,470 245 x x
nexp-50-20-4-2 540 1,225 3,675 980 x x
nh97_potential 1,916 1,180 5,984 958 x x
nh97_tension 737 1,576 5,388 618 x x
no-ip-64999 2,547 2,232 13,590 2,232 x x
no-ip-65059 2,547 2,232 13,590 2,232 x x
nobel-eu-DBE 879 3,771 12,952 1,639 x x
noswot 182 128 760 100 x x x x x x
ns1208400 4,289 2,883 81,749 2,880 x x x
ns1606230 3,503 4,173 92,673 3,633 x x
ns1644855 40,698 30,200 2,120,696 10,000 x x -
ns1685374 44,121 10,000 220,959 10,000 x -
ns1686196 4,055 2,738 68,557 2,738 x x
ns1688347 4,191 2,685 66,943 2,685 x x
ns1696083 11,063 7,982 384,184 7,982 x -
ns1702808 1,474 804 6,516 666 x x
ns1745726 4,687 3,208 90,311 3,208 x x
ns1766074 182 100 756 90 x x
ns1769397 5,527 3,772 117,422 3,772 x x
ns1778858 10,666 4,720 36,206 4,720 x -
ns1830653 2,932 1,629 101,680 1,458 x x x
ns1952667 41 13,264 335,643 13,264 x x -
ns2017839 54,510 55,224 367,775 12 x -
ns2034125 14,401 12,000 2,552,071 9,000 x -
ns2071214 6,250 2,720 21,475 2,220 x x
ns2081729 1,190 661 5,681 600 x x
ns4-pr6 2,639 6,919 27,787 37 x x
ns894244 12,129 21,856 90,880 21,856 x -
ns894788 2,279 3,463 14,388 3,463 x x
ns903616 18,052 21,582 91,663 21,582 x -
nsa 1,297 388 4,205 36 x x
nsrand-ipx 735 6,621 223,262 6,620 x x x
nu120-pr12 2,313 5,868 23,580 5,868 x x
nu120-pr9 2,220 7,350 29,526 7,350 x x
nu25-pr12 2,313 5,868 23,580 5,868 x x
nu4-pr9 2,220 7,350 29,526 7,350 x x
nu60-pr9 2,220 7,350 29,526 7,350 x x
nursesched-medium04 8,668 29,667 639,459 29,667 x -
nursesched-sprint-hidden09 4,872 11,650 217,522 11,650 x -
nursesched-sprint-late03 5,032 11,690 217,689 11,690 x -
nursesched-sprint02 3,522 10,250 210,925 10,250 x -
nw04 36 87,482 724,148 87,482 x x x -
oocsp-racks030e6cci 81,277 39,402 222,865 39,402 x -
oocsp-racks030f7cci 81,332 39,399 223,031 39,399 x -
opm2-z6-s1 15,533 1,350 43,179 1,350 x -
opm2-z7-s2 31,798 2,023 81,759 2,023 x -
opm2-z7-s8 31,798 2,023 81,758 2,023 x -
opm2-z8-s0 63,608 3,200 155,966 3,200 x -
opt1217 64 769 1,543 768 x x x
osorio-cta 230 20,409 60,846 7 x -
p0033 16 33 131 33 x x x
p0040 23 40 150 40 x x
p0201 133 201 2,124 201 x x x x
p0282 241 282 2,248 282 x x x
p0291 252 291 2,321 291 x x
p0548 176 548 2,127 548 x x x
p200x1188c 1,388 2,376 5,940 1,188 x x
p2756 755 2,756 11,103 2,756 x x x x
p2m2p1m1p0n100 1 100 200 100 x x x
p500x2988 3,488 5,976 17,675 2,988 x x
p500x2988c 3,488 5,976 17,649 2,988 x x
p500x2988d 3,488 5,976 14,940 2,988 x x
p6000 2,176 6,000 54,244 6,000 x x
p80x400b 480 800 2,370 400 x x
peg-solitaire-a3 4,587 4,552 28,424 4,552 x x
pg 125 2,700 7,800 100 x x x
pg5_34 225 2,600 10,300 100 x x x
physiciansched5-3 31,925 14,488 156,590 11,501 x -
pigeon-08 601 344 5,280 272 x x
pigeon-10 931 490 8,280 400 x x x
pigeon-11 1,123 572 10,032 473 x x
pigeon-12 1,333 660 11,952 552 x x
pigeon-13 1,561 754 14,040 637 x x x
pigeon-16 2,353 1,072 21,312 928 x x
pigeon-19 3,307 1,444 30,096 1,273 x x
pigeon-20 3,661 1,580 33,360 1,400 x x
piperout-03 12,246 9,526 39,080 9,502 x -
piperout-08 14,589 10,399 44,974 10,375 x -
piperout-27 18,442 11,659 54,681 11,635 x -
piperout-d20 15,562 11,961 190,935 11,937 x -
piperout-d27 17,470 13,104 224,477 13,080 x -
pipex 25 48 240 48 x x
pk1 45 86 916 55 x x x x
ponderthis0517-inf 78 975 2,925 975 x x
pp08a 136 240 656 64 x x x
pp08aCUTS 246 240 1,015 64 x x x
prod1 208 250 5,351 149 x x
prod2 211 301 10,502 200 x x
protfold 2,112 1,835 23,611 1,835 x x
pw-myciel4 8,164 1,059 17,780 1,059 x x x
qap10 1,820 4,150 22,250 4,150 x x
qiu 1,192 840 3,744 48 x x x x x x
qnet1 503 1,541 4,746 1,417 x x x
qnet1_o 456 1,541 4,338 1,417 x x x
r50x360 410 720 2,160 360 x x
radiationm18-12-05 40,935 40,623 96,150 25,935 x -
rail507 509 63,019 531,897 63,009 x x -
railway_8_1_0 2,527 1,796 7,202 1,177 x x
ran12x21 285 504 1,512 252 x x
ran13x13 195 338 1,014 169 x x
ran14x18 284 504 1,512 252 x x
ran14x18-disj-8 447 504 10,781 252 x x x
ran16x16 288 512 1,536 256 x x
reblock115 4,735 1,150 14,874 1,150 x x
reblock166 17,024 1,660 41,102 1,660 x x -
reblock420 62,800 4,200 142,870 4,200 x x -
reblock67 2,523 670 8,165 670 x x
rentacar 6,803 9,557 42,045 55 x x x x
rgn 24 180 540 100 x x x
rlp1 68 461 837 450 x x
rmatr100-p10 7,260 7,359 29,236 100 x x x
rmatr100-p5 8,685 8,784 34,936 100 x x x
rmatr200-p10 35,055 35,254 140,616 200 x -
rmatr200-p20 29,406 29,605 118,020 200 x -
rmatr200-p5 37,617 37,816 150,864 200 x x -
rmine6 7,078 1,096 19,180 1,096 x x
rocI-3-11 8,165 5,132 20,543 4,656 x x
rocI-4-11 10,883 6,839 27,387 6,208 x -
rocII-4-11 21,738 9,234 243,261 9,086 x -
rocII-5-11 26,897 11,523 303,468 11,341 x -
rococoB10-011000 1,667 4,456 16,518 4,456 x x x
rococoC10-001000 1,293 3,117 11,752 3,117 x x x
rococoC11-010100 4,010 12,321 46,956 12,321 x -
rococoC11-011100 2,367 6,491 30,473 6,491 x x x
roi2alpha3n4 1,251 6,816 878,986 6,642 x x
roll3000 2,295 1,166 29,387 738 x x x x
rout 291 556 2,432 315 x x x x
rpp22falsei 24,530 16,766 47,765 16,722 x -
s55 9,892 78,141 375,510 78,137 x -
sample2 45 67 179 21 x x
satellites1-25 5,996 9,013 59,379 8,509 x x
satellites2-25 20,916 35,378 284,409 34,324 x -
satellites2-40 20,916 35,378 284,409 34,324 x -
satellites2-60 20,916 35,378 284,409 34,324 x -
satellites2-60-fs 16,516 35,378 125,789 34,324 x x -
satellites3-25 44,804 81,681 699,350 79,961 x -
satellites3-40-fs 35,553 81,681 292,335 79,961 x -
satellites4-25 51,712 95,637 822,474 93,747 x -
sct2 2,151 5,885 23,648 2,872 x x
sct31 3,932 8,515 68,458 5,520 x x
sentoy 30 60 1,860 60 x x
set1al 492 712 1,884 240 x x
set1ch 492 712 1,884 240 x x x x
set1cl 492 712 1,884 240 x x
seymour 4,944 1,372 34,921 1,372 x x x x x
seymour1 4,944 1,372 34,921 451 x x
shiftreg1-4 8,136 10,008 30,480 3,912 x -
shiftreg2-7 8,540 11,404 35,684 4,152 x -
shipschedule3shipsi 13,129 7,365 27,421 6,912 x -
shipschedule6shipsmixi 22,615 14,012 50,474 13,556 x -
shipschedule8shipsmixuci 30,715 18,700 68,079 18,092 x -
sing326 50,781 55,156 292,156 40,010 x -
sing44 54,745 59,708 307,310 43,524 x -
sorrell8 18,944 2,046 39,934 2,046 x -
sp150x300d 450 600 1,500 300 x x
sp97ar 1,761 14,101 305,069 14,101 x x x -
sp97ic 1,033 12,497 329,126 12,497 x -
sp98ar 1,435 15,085 441,233 15,085 x -
sp98ic 825 10,894 327,211 10,894 x x -
sp98ir 1,531 1,680 73,384 1,680 x x x
splice1k1 6,505 3,253 1,761,017 3,253 x x
square23 7,887 11,660 910,451 11,660 x -
square31 19,435 28,860 3,966,030 28,860 x -
square37 33,150 49,320 9,524,956 49,320 x -
square41 40,160 62,234 13,628,623 62,234 x -
square47 61,591 95,030 27,424,843 95,030 x -
stein15 36 15 135 15 x x
stein15inf 37 15 150 15 x x
stein27 118 27 405 27 x x x
stein45 331 45 1,079 45 x x x
stein45inf 332 45 1,124 45 x x
stein9 13 9 54 9 x x
stein9inf 14 9 63 9 x x
supportcase1 59,997 29,999 189,293 29,999 x -
supportcase14 234 304 1,433 304 x x
supportcase16 130 319 1,395 319 x x
supportcase17 2,108 1,381 5,254 967 x x
supportcase18 240 13,410 29,040 13,410 x -
supportcase20 903 903 46,956 300 x x
supportcase21i 7,536 24 95,314 24 x x
supportcase25 6,673 6,769 25,561 576 x x
supportcase26 870 436 2,532 396 x x
supportcase27i 3,008 2,281 6,150 1,867 x x
supportcase28i 7,536 24 86,275 24 x x
supportcase29 12,441 12,050 96,100 12,050 x -
supportcase3 12,702 4,191 53,470 4,191 x -
supportcase33 20,489 20,203 211,960 20,203 x -
supportcase34 15,170 17,879 750,744 17,878 x -
supportcase37 59,023 20,047 138,655 1,484 x -
supportcase4 9,492 3,162 38,036 3,162 x x
supportcase40 38,192 16,440 119,900 2,000 x -
supportcase42 18,439 19,466 454,092 1,026 x -
swath 884 6,805 34,966 6,724 x x x
swath1 884 6,805 34,966 2,306 x x
swath2 884 6,805 34,966 2,406 x x
swath3 884 6,805 34,966 2,706 x x
t1717 551 73,885 399,574 73,885 x -
ta1-UUM 439 2,288 6,259 605 x x
ta2-UUE 2,687 9,241 27,722 1,188 x x
tanglegram1 68,342 34,759 239,197 34,759 x -
tanglegram2 8,980 4,714 31,430 4,714 x x
tanglegram6 17,712 9,182 61,992 9,182 x -
tbfp-network 2,436 72,747 286,180 72,747 x -
Test3 50,680 72,215 617,907 33,143 x -
timtab1 171 397 957 171 x x x x
timtab1CUTS 371 397 1,870 171 x x
timtab2 294 675 1,731 294 x x
toll-like 4,408 2,883 15,428 2,883 x x x
tr12-30 750 1,080 3,228 360 x x x
traininstance2 15,603 12,890 41,544 7,880 x -
traininstance6 12,309 10,218 32,797 6,210 x -
transportmoment 9,616 9,685 32,717 2,456 x x x
trento1 1,265 7,687 101,258 6,415 x x
triptim1 15,706 30,055 515,437 30,048 x x -
triptim3 14,939 28,440 524,125 28,433 x -
triptim7 14,427 27,342 521,945 27,335 x -
uccase7 47,132 33,020 349,914 7,224 x -
uccase8 53,709 37,413 231,749 9,576 x -
uccase9 49,565 33,242 346,768 8,064 x -
uct-subprob 1,973 2,256 11,492 379 x x x
umts 4,465 2,947 25,819 2,874 x x x
unitcal_7 48,939 25,755 137,003 2,856 x x -
var-smallemery-m6j6 13,416 5,608 850,625 5,606 x -
vpm1 234 378 917 168 x x x
vpm2 234 378 1,085 168 x x x
vpphard 47,280 51,471 418,740 51,471 x x -
wachplan 1,553 3,361 89,362 3,361 x x x
zib54-UUE 1,809 5,150 15,369 81 x x

Summary

  • 794 unique models across all editions, 495 included
  • 181 models appear in multiple editions
  • 613 models appear in only one edition
  • 293 pure integer, 501 mixed integer, 0 pure continuous
  • 299 models exceed the 10k row/column limit and are listed but not included