problem & size & MB & BBMB & MBCol & MBColSym \\ brock200_1 & 5 & 4117399 2355 & 4047704 1270 & 111568 746 & 63255 525 \\ brock200_2 & 6 & 7148722 4432 & 7263146 2011 & 595609 2293 & 310796 1355 \\ brock200_3 & 6 & 7519374 4567 & 7446600 2024 & 299123 1593 & 159533 951 \\ brock200_4 & 6 & 6093847 3728 & 6055268 1675 & 155763 1071 & 84989 679 \\ brock400_1 & 6 & 190305035 118137 & 187731064 45550 & 4177612 24053 & 2137763 12451 \\ brock400_2 & 6 & 189159079 118521 & 187139753 45394 & 4135715 23757 & 2109746 12816 \\ brock400_3 & 6 & 192407337 120076 & 192516734 47863 & 4292049 24635 & 2187400 13257 \\ brock400_4 & 6 & 190884437 118125 & 188870505 46662 & 4166617 23333 & 2137927 12679 \\ brock800_1 & 7 & 2193895663 1440033 & 4781332226 1440000 & 257724528 1440025 & 256846150 1440016 \\ brock800_2 & 7 & 2182568276 1440032 & 4752921432 1440000 & 264825978 1440020 & 261199747 1440017 \\ brock800_3 & 7 & 2197481726 1440032 & 4757347997 1440000 & 254354947 1440024 & 259107528 1440017 \\ brock800_4 & 7 & 2153167747 1440032 & 4755747244 1440000 & 266311832 1440023 & 261121907 1440016 \\ c-fat200-1 & 1 & 1985 71 & 1985 41 & 263 50 & 227 27 \\ c-fat200-2 & 1 & 4259 85 & 4259 71 & 455 67 & 323 43 \\ c-fat200-5 & 1 & 11260 191 & 11260 209 & 1827 128 & 986 104 \\ c-fat500-10 & 1 & 62066 1941 & 62066 901 & 8315 811 & 4346 391 \\ c-fat500-1 & 1 & 5786 146 & 5786 98 & 587 216 & 538 96 \\ c-fat500-2 & 1 & 12032 203 & 12032 178 & 815 133 & 646 105 \\ c-fat500-5 & 1 & 30787 470 & 30787 525 & 2487 198 & 1463 142 \\ hamming10-2 & 2 & 5085270 8290 & 5085270 1910 & 4 23 & 4 23 \\ hamming10-4 & 20 & 1139381847 1440045 & 5476618207 1440000 & 57432383 1343154 & 34703492 823905 \\ hamming6-2 & 2 & 8898 63 & 8898 44 & 4 2 & 4 2 \\ hamming6-4 & 7 & 10919 71 & 10919 56 & 3642 99 & 1689 69 \\ hamming8-2 & 2 & 237128 242 & 237128 352 & 4 13 & 4 13 \\ hamming8-4 & 16 & 89912909 89850 & 89912909 18626 & 35 19 & 35 19 \\ johnson16-2-4 & 7 & 5468823 2000 & 5468823 1442 & 2433847 3423 & 1239393 1803 \\ johnson32-2-4 & 15 & 3576731761 1440012 & 5550482997 1440000 & 842241090 1440005 & 817923421 1440004 \\ johnson8-2-4 & 3 & 2877 24 & 3037 23 & 858 23 & 415 15 \\ johnson8-4-4 & 5 & 15733 80 & 15733 61 & 304 30 & 181 24 \\ keller4 & 9 & 5994290 3979 & 12095427 2879 & 345435 1890 & 177558 1088 \\ keller5 & 16 & 1627105436 1440028 & 5677036148 1440001 & 317057549 1440016 & 316182184 1440013 \\ keller6 & 24 & 1243953230 1440429 & 2607568199 1440005 & 281062927 1440339 & 274996405 1440270 \\ MANN_a27 & 3 & 56421 167 & 52956 188 & 12289 141 & 6205 119 \\ MANN_a45 & 3 & 444285 2255 & 381078 340 & 101974 1253 & 51247 743 \\ MANN_a81 & 3 & 4719681 71275 & 3813354 2459 & 1124284 40079 & 562684 22345 \\ MANN_a9 & 3 & 609 10 & 882 8 & 112 9 & 64 7 \\ p_hat1000-1 & 7 & 1627449816 1440040 & 3786193937 1440000 & 472957341 1440037 & 456687879 1440018 \\ p_hat1000-2 & 7 & 1647610732 1440050 & 4129809359 1440001 & 355151434 1440043 & 338670441 1440027 \\ p_hat1000-3 & 7 & 1995962995 1440052 & 4422146040 1440000 & 242559347 1440041 & 236269502 1440024 \\ p_hat1500-1 & 7 & 1670776509 1440100 & 3235081031 1440001 & 503353326 1440078 & 493271948 1440055 \\ p_hat1500-2 & 7 & 1763181617 1440135 & 3390947797 1440001 & 362589608 1440097 & 359120549 1440073 \\ p_hat1500-3 & 7 & 1975475741 1440104 & 3584551439 1440001 & 270950172 1440096 & 266814339 1440066 \\ p_hat300-1 & 6 & 3762378 3034 & 3382634 1180 & 1383477 3691 & 846248 2284 \\ p_hat300-2 & 6 & 24786747 18234 & 21725833 5482 & 2140977 7545 & 1146838 4374 \\ p_hat300-3 & 6 & 23802747 15178 & 22587640 5528 & 624615 3644 & 348293 2209 \\ p_hat500-1 & 6 & 108338973 83972 & 100982383 30170 & 32906885 86237 & 17252422 45777 \\ p_hat500-2 & 7 & 531230226 423972 & 498659617 133334 & 36158168 133626 & 22074289 81202 \\ p_hat500-3 & 6 & 615916402 398360 & 616321897 156737 & 21611479 99595 & 11096808 54780 \\ p_hat700-1 & 6 & 921820576 735767 & 950047457 319512 & 285021921 726404 & 149398678 384883 \\ p_hat700-2 & 7 & 1756166864 1440023 & 4825124448 1439225 & 266723656 1100267 & 140427270 588608 \\ p_hat700-3 & 7 & 1999839343 1440020 & 4457668405 1228681 & 103626468 627551 & 53484927 337509 \\ san1000 & 67 & 42288875 237419 & 43003964 12566 & 69368 6288 & 25164 2833 \\ san200_0.7_1 & 7 & 714169 945 & 719552 491 & 9526 278 & 5016 198 \\ san200_0.7_2 & 12 & 380190 514 & 350453 401 & 4936 133 & 2155 98 \\ san200_0.9_1 & 4 & 214563 236 & 223841 337 & 5151 101 & 2951 89 \\ san200_0.9_2 & 4 & 250132 248 & 239440 372 & 6711 216 & 4008 101 \\ san200_0.9_3 & 5 & 210880 232 & 214659 371 & 4633 108 & 2786 98 \\ san400_0.5_1 & 31 & 1458130 3865 & 1506567 593 & 10679 450 & 3611 253 \\ san400_0.7_1 & 10 & 9491654 13025 & 9375195 2670 & 31586 723 & 16183 424 \\ san400_0.7_2 & 14 & 8782717 13450 & 8620727 2289 & 20897 627 & 9718 394 \\ san400_0.7_3 & 19 & 7893433 13359 & 7563454 1976 & 37495 923 & 18903 493 \\ san400_0.9_1 & 5 & 2678068 2569 & 2621370 1014 & 21636 313 & 12568 217 \\ sanr200_0.7 & 5 & 7032331 3857 & 7179601 2004 & 315153 1441 & 167584 913 \\ sanr200_0.9 & 4 & 288221 261 & 299808 356 & 8379 128 & 4980 105 \\ sanr400_0.5 & 7 & 578480220 403863 & 569483207 145142 & 34619728 157784 & 18291175 83235 \\ sanr400_0.7 & 7 & 300768557 196180 & 254316824 62626 & 4913049 32264 & 2737706 18233 \\