Mon Mar 16 12:08:19 EDT 2009 BestSoFar ArrayList time 1983 gen 1 score 203123 cov 204 BestSoFar ArrayList time 4140 gen 2 score 203123 cov 204 BestSoFar ArrayList time 6005 gen 3 score 203480 cov 204 BestSoFar ArrayList time 7730 gen 4 score 203480 cov 204 BestSoFar ArrayList time 9813 gen 5 score 203480 cov 204 BestSoFar ArrayList time 11514 gen 6 score 203954 cov 206 BestSoFar ArrayList time 13591 gen 7 score 204620 cov 206 BestSoFar ArrayList time 15682 gen 8 score 205620 cov 207 BestSoFar ArrayList time 17921 gen 9 score 205620 cov 207 BestSoFar ArrayList time 20101 gen 10 score 205620 cov 207 BestSoFar ArrayList time 22235 gen 11 score 205620 cov 207 BestSoFar ArrayList time 24383 gen 12 score 206620 cov 208 BestSoFar ArrayList time 26506 gen 13 score 206620 cov 208 BestSoFar ArrayList time 28564 gen 14 score 206620 cov 208 BestSoFar ArrayList time 30599 gen 15 score 206620 cov 208 BestSoFar ArrayList time 32567 gen 16 score 206620 cov 208 BestSoFar ArrayList time 34591 gen 17 score 206620 cov 208 BestSoFar ArrayList time 36803 gen 18 score 206620 cov 208 BestSoFar ArrayList time 39110 gen 19 score 206620 cov 208 BestSoFar ArrayList time 41297 gen 20 score 206620 cov 208 BestSoFar ArrayList time 43819 gen 21 score 206620 cov 208 BestSoFar ArrayList time 46196 gen 22 score 206620 cov 208 BestSoFar ArrayList time 48410 gen 23 score 206620 cov 208 BestSoFar ArrayList time 50777 gen 24 score 206620 cov 208 BestSoFar ArrayList time 53421 gen 25 score 206620 cov 208 BestSoFar ArrayList time 56179 gen 26 score 206620 cov 208 BestSoFar ArrayList time 59072 gen 27 score 206620 cov 208 BestSoFar ArrayList time 61965 gen 28 score 206620 cov 208 BestSoFar ArrayList time 64830 gen 29 score 206620 cov 208 BestSoFar ArrayList time 67664 gen 30 score 206620 cov 208 BestSoFar ArrayList time 70411 gen 31 score 206620 cov 208 BestSoFar ArrayList time 73096 gen 32 score 206620 cov 208 BestSoFar ArrayList time 75873 gen 33 score 206620 cov 208 BestSoFar ArrayList time 78643 gen 34 score 206620 cov 208 BestSoFar ArrayList time 81484 gen 35 score 206620 cov 208 BestSoFar ArrayList time 84371 gen 36 score 206620 cov 208 BestSoFar ArrayList time 87267 gen 37 score 206620 cov 208 BestSoFar ArrayList time 90214 gen 38 score 206620 cov 208 BestSoFar ArrayList time 93158 gen 39 score 206620 cov 208 BestSoFar ArrayList time 96058 gen 40 score 206620 cov 208 BestSoFar ArrayList time 99006 gen 41 score 206620 cov 208 BestSoFar ArrayList time 101934 gen 42 score 206620 cov 208 BestSoFar ArrayList time 104838 gen 43 score 206620 cov 208 BestSoFar ArrayList time 107635 gen 44 score 206620 cov 208 BestSoFar ArrayList time 110395 gen 45 score 206620 cov 208 BestSoFar ArrayList time 113081 gen 46 score 206620 cov 208 BestSoFar ArrayList time 115901 gen 47 score 206620 cov 208 BestSoFar ArrayList time 118818 gen 48 score 206620 cov 208 BestSoFar ArrayList time 121845 gen 49 score 206620 cov 208 BestSoFar ArrayList time 124762 gen 50 score 206620 cov 208 BestSoFar EnumMap time 1052 gen 1 score 3321 cov 3 BestSoFar EnumMap time 1328 gen 2 score 5656 cov 5 BestSoFar EnumMap time 1614 gen 3 score 5656 cov 5 BestSoFar EnumMap time 1873 gen 4 score 6657 cov 6 BestSoFar EnumMap time 2139 gen 5 score 9321 cov 9 BestSoFar EnumMap time 2366 gen 6 score 9321 cov 9 BestSoFar EnumMap time 2618 gen 7 score 9321 cov 9 BestSoFar EnumMap time 2869 gen 8 score 9321 cov 9 BestSoFar EnumMap time 3182 gen 9 score 9321 cov 9 BestSoFar EnumMap time 3575 gen 10 score 10983 cov 11 BestSoFar EnumMap time 3942 gen 11 score 10983 cov 11 BestSoFar EnumMap time 4300 gen 12 score 10983 cov 11 BestSoFar EnumMap time 4728 gen 13 score 10983 cov 11 BestSoFar EnumMap time 5170 gen 14 score 10983 cov 11 BestSoFar EnumMap time 5603 gen 15 score 10983 cov 11 BestSoFar EnumMap time 6019 gen 16 score 10983 cov 11 BestSoFar EnumMap time 6490 gen 17 score 10983 cov 11 BestSoFar EnumMap time 6928 gen 18 score 10983 cov 11 BestSoFar EnumMap time 7401 gen 19 score 10983 cov 11 BestSoFar EnumMap time 7803 gen 20 score 10983 cov 11 BestSoFar EnumMap time 8220 gen 21 score 10983 cov 11 BestSoFar EnumMap time 8629 gen 22 score 10983 cov 11 BestSoFar EnumMap time 9024 gen 23 score 10983 cov 11 BestSoFar EnumMap time 9584 gen 24 score 10983 cov 11 BestSoFar EnumMap time 10033 gen 25 score 10983 cov 11 BestSoFar EnumMap time 10559 gen 26 score 10983 cov 11 BestSoFar EnumMap time 11185 gen 27 score 10983 cov 11 BestSoFar EnumMap time 11895 gen 28 score 10983 cov 11 BestSoFar EnumMap time 12668 gen 29 score 11298 cov 11 BestSoFar EnumMap time 13542 gen 30 score 11298 cov 11 BestSoFar EnumMap time 14394 gen 31 score 11298 cov 11 BestSoFar EnumMap time 15240 gen 32 score 11298 cov 11 BestSoFar EnumMap time 16118 gen 33 score 11298 cov 11 BestSoFar EnumMap time 17042 gen 34 score 11298 cov 11 BestSoFar EnumMap time 17948 gen 35 score 11298 cov 11 BestSoFar EnumMap time 18857 gen 36 score 11630 cov 11 BestSoFar EnumMap time 19823 gen 37 score 11630 cov 11 BestSoFar EnumMap time 20780 gen 38 score 11630 cov 11 BestSoFar EnumMap time 21780 gen 39 score 11630 cov 11 BestSoFar EnumMap time 22863 gen 40 score 11630 cov 11 BestSoFar EnumMap time 23996 gen 41 score 11630 cov 11 BestSoFar EnumMap time 24923 gen 42 score 11630 cov 11 BestSoFar EnumMap time 25971 gen 43 score 11630 cov 11 BestSoFar EnumMap time 26947 gen 44 score 11630 cov 11 BestSoFar EnumMap time 27964 gen 45 score 11630 cov 11 BestSoFar EnumMap time 28983 gen 46 score 12295 cov 12 BestSoFar EnumMap time 29943 gen 47 score 12295 cov 12 BestSoFar EnumMap time 30880 gen 48 score 12295 cov 12 BestSoFar EnumMap time 31813 gen 49 score 12295 cov 12 BestSoFar EnumMap time 32702 gen 50 score 12295 cov 12 BestSoFar HashMap time 1705 gen 1 score 325323 cov 325 BestSoFar HashMap time 2781 gen 2 score 382532 cov 384 BestSoFar HashMap time 4519 gen 3 score 382532 cov 384 BestSoFar HashMap time 6421 gen 4 score 384198 cov 385 BestSoFar HashMap time 8209 gen 5 score 393237 cov 394 BestSoFar HashMap time 9940 gen 6 score 393237 cov 394 BestSoFar HashMap time 11670 gen 7 score 393237 cov 394 BestSoFar HashMap time 13291 gen 8 score 393237 cov 394 BestSoFar HashMap time 14924 gen 9 score 400904 cov 402 BestSoFar HashMap time 16523 gen 10 score 400904 cov 402 BestSoFar HashMap time 18159 gen 11 score 400904 cov 402 BestSoFar HashMap time 19921 gen 12 score 400904 cov 402 BestSoFar HashMap time 22004 gen 13 score 400904 cov 402 BestSoFar HashMap time 24483 gen 14 score 401616 cov 404 BestSoFar HashMap time 26967 gen 15 score 401616 cov 404 BestSoFar HashMap time 29417 gen 16 score 401616 cov 404 BestSoFar HashMap time 31837 gen 17 score 401616 cov 404 BestSoFar HashMap time 34206 gen 18 score 408913 cov 411 BestSoFar HashMap time 36601 gen 19 score 408913 cov 411 BestSoFar HashMap time 39196 gen 20 score 408913 cov 411 BestSoFar HashMap time 41714 gen 21 score 408913 cov 411 BestSoFar HashMap time 44177 gen 22 score 408913 cov 411 BestSoFar HashMap time 46496 gen 23 score 408913 cov 411 BestSoFar HashMap time 48847 gen 24 score 408913 cov 411 BestSoFar HashMap time 51203 gen 25 score 408913 cov 411 BestSoFar HashMap time 53560 gen 26 score 408913 cov 411 BestSoFar HashMap time 55895 gen 27 score 408913 cov 411 BestSoFar HashMap time 58215 gen 28 score 408913 cov 411 BestSoFar HashMap time 60536 gen 29 score 408913 cov 411 BestSoFar HashMap time 62813 gen 30 score 408913 cov 411 BestSoFar HashMap time 65083 gen 31 score 408913 cov 411 BestSoFar HashMap time 67429 gen 32 score 408913 cov 411 BestSoFar HashMap time 69792 gen 33 score 408913 cov 411 BestSoFar HashMap time 72304 gen 34 score 408913 cov 411 BestSoFar HashMap time 75118 gen 35 score 408913 cov 411 BestSoFar HashMap time 78344 gen 36 score 408913 cov 411 BestSoFar HashMap time 81544 gen 37 score 408913 cov 411 BestSoFar HashMap time 84566 gen 38 score 408913 cov 411 BestSoFar HashMap time 87557 gen 39 score 408913 cov 411 BestSoFar HashMap time 90563 gen 40 score 408913 cov 411 BestSoFar HashMap time 93642 gen 41 score 408913 cov 411 BestSoFar HashMap time 96654 gen 42 score 408913 cov 411 BestSoFar HashMap time 99558 gen 43 score 408913 cov 411 BestSoFar HashMap time 102459 gen 44 score 408913 cov 411 BestSoFar HashMap time 105354 gen 45 score 408913 cov 411 BestSoFar HashMap time 108458 gen 46 score 408913 cov 411 BestSoFar HashMap time 111468 gen 47 score 408913 cov 411 BestSoFar HashMap time 114484 gen 48 score 408913 cov 411 BestSoFar HashMap time 117317 gen 49 score 408913 cov 411 BestSoFar HashMap time 119999 gen 50 score 408913 cov 411 BestSoFar HashSet time 1525 gen 1 score 307776 cov 308 BestSoFar HashSet time 2363 gen 2 score 307776 cov 308 BestSoFar HashSet time 3292 gen 3 score 307776 cov 308 BestSoFar HashSet time 4444 gen 4 score 307776 cov 308 BestSoFar HashSet time 5565 gen 5 score 307776 cov 308 BestSoFar HashSet time 6706 gen 6 score 309888 cov 310 BestSoFar HashSet time 7801 gen 7 score 310825 cov 311 BestSoFar HashSet time 8880 gen 8 score 310825 cov 311 BestSoFar HashSet time 10033 gen 9 score 312695 cov 314 BestSoFar HashSet time 11326 gen 10 score 313695 cov 315 BestSoFar HashSet time 13075 gen 11 score 313695 cov 315 BestSoFar HashSet time 15039 gen 12 score 313695 cov 315 BestSoFar HashSet time 16918 gen 13 score 313695 cov 315 BestSoFar HashSet time 18796 gen 14 score 314362 cov 316 BestSoFar HashSet time 20707 gen 15 score 314695 cov 316 BestSoFar HashSet time 22554 gen 16 score 314695 cov 316 BestSoFar HashSet time 24401 gen 17 score 314695 cov 316 BestSoFar HashSet time 26297 gen 18 score 314695 cov 316 BestSoFar HashSet time 28244 gen 19 score 315261 cov 317 BestSoFar HashSet time 30280 gen 20 score 315261 cov 317 BestSoFar HashSet time 32306 gen 21 score 315261 cov 317 BestSoFar HashSet time 34576 gen 22 score 315261 cov 317 BestSoFar HashSet time 37010 gen 23 score 315261 cov 317 BestSoFar HashSet time 39219 gen 24 score 315362 cov 317 BestSoFar HashSet time 41891 gen 25 score 315362 cov 317 BestSoFar HashSet time 45644 gen 26 score 315362 cov 317 BestSoFar HashSet time 49613 gen 27 score 315362 cov 317 BestSoFar HashSet time 54197 gen 28 score 315362 cov 317 BestSoFar HashSet time 58581 gen 29 score 315362 cov 317 BestSoFar HashSet time 62912 gen 30 score 315362 cov 317 BestSoFar HashSet time 67309 gen 31 score 315362 cov 317 BestSoFar HashSet time 71729 gen 32 score 315362 cov 317 BestSoFar HashSet time 76167 gen 33 score 315362 cov 317 BestSoFar HashSet time 80605 gen 34 score 315362 cov 317 BestSoFar HashSet time 85170 gen 35 score 315362 cov 317 BestSoFar HashSet time 89449 gen 36 score 315362 cov 317 BestSoFar HashSet time 93774 gen 37 score 315362 cov 317 BestSoFar HashSet time 98298 gen 38 score 315362 cov 317 BestSoFar HashSet time 102672 gen 39 score 315362 cov 317 BestSoFar HashSet time 107100 gen 40 score 315362 cov 317 BestSoFar HashSet time 111533 gen 41 score 315362 cov 317 BestSoFar HashSet time 115932 gen 42 score 315362 cov 317 BestSoFar HashSet time 120250 gen 43 score 315362 cov 317 BestSoFar HashSet time 124430 gen 44 score 315362 cov 317 BestSoFar HashSet time 128557 gen 45 score 315835 cov 319 BestSoFar HashSet time 132754 gen 46 score 315835 cov 319 BestSoFar HashSet time 137130 gen 47 score 315835 cov 319 BestSoFar HashSet time 141548 gen 48 score 315835 cov 319 BestSoFar HashSet time 145978 gen 49 score 315835 cov 319 BestSoFar HashSet time 150337 gen 50 score 315835 cov 319 BestSoFar Hashtable time 2652 gen 1 score 370713 cov 371 BestSoFar Hashtable time 3949 gen 2 score 370713 cov 371 BestSoFar Hashtable time 5442 gen 3 score 377685 cov 378 BestSoFar Hashtable time 7301 gen 4 score 390256 cov 392 BestSoFar Hashtable time 9433 gen 5 score 390256 cov 392 BestSoFar Hashtable time 11509 gen 6 score 390256 cov 392 BestSoFar Hashtable time 13569 gen 7 score 391746 cov 393 BestSoFar Hashtable time 15494 gen 8 score 391746 cov 393 BestSoFar Hashtable time 17435 gen 9 score 391746 cov 393 BestSoFar Hashtable time 19447 gen 10 score 393413 cov 395 BestSoFar Hashtable time 21380 gen 11 score 393413 cov 395 BestSoFar Hashtable time 23342 gen 12 score 393413 cov 395 BestSoFar Hashtable time 25466 gen 13 score 394171 cov 397 BestSoFar Hashtable time 27822 gen 14 score 394171 cov 397 BestSoFar Hashtable time 29852 gen 15 score 394171 cov 397 BestSoFar Hashtable time 32401 gen 16 score 394837 cov 397 BestSoFar Hashtable time 35322 gen 17 score 395720 cov 399 BestSoFar Hashtable time 38633 gen 18 score 400053 cov 403 BestSoFar Hashtable time 42086 gen 19 score 400053 cov 403 BestSoFar Hashtable time 45598 gen 20 score 400053 cov 403 BestSoFar Hashtable time 49190 gen 21 score 400053 cov 403 BestSoFar Hashtable time 52684 gen 22 score 400053 cov 403 BestSoFar Hashtable time 56088 gen 23 score 400053 cov 403 BestSoFar Hashtable time 59495 gen 24 score 400053 cov 403 BestSoFar Hashtable time 63010 gen 25 score 400053 cov 403 BestSoFar Hashtable time 66708 gen 26 score 400053 cov 403 BestSoFar Hashtable time 70559 gen 27 score 400053 cov 403 BestSoFar Hashtable time 74361 gen 28 score 400053 cov 403 BestSoFar Hashtable time 78102 gen 29 score 400696 cov 405 BestSoFar Hashtable time 81833 gen 30 score 400696 cov 405 BestSoFar Hashtable time 85685 gen 31 score 400696 cov 405 BestSoFar Hashtable time 89484 gen 32 score 400696 cov 405 BestSoFar Hashtable time 93193 gen 33 score 400696 cov 405 BestSoFar Hashtable time 96874 gen 34 score 400696 cov 405 BestSoFar Hashtable time 100588 gen 35 score 401621 cov 405 BestSoFar Hashtable time 104337 gen 36 score 401621 cov 405 BestSoFar Hashtable time 108153 gen 37 score 401621 cov 405 BestSoFar Hashtable time 111934 gen 38 score 401621 cov 405 BestSoFar Hashtable time 115721 gen 39 score 401621 cov 405 BestSoFar Hashtable time 119473 gen 40 score 402955 cov 407 BestSoFar Hashtable time 123213 gen 41 score 402955 cov 407 BestSoFar Hashtable time 127012 gen 42 score 402955 cov 407 BestSoFar Hashtable time 130727 gen 43 score 402955 cov 407 BestSoFar Hashtable time 134354 gen 44 score 402955 cov 407 BestSoFar Hashtable time 138073 gen 45 score 402955 cov 407 BestSoFar Hashtable time 141665 gen 46 score 402955 cov 407 BestSoFar Hashtable time 145214 gen 47 score 402955 cov 407 BestSoFar Hashtable time 148672 gen 48 score 402955 cov 407 BestSoFar Hashtable time 152183 gen 49 score 402955 cov 407 BestSoFar Hashtable time 156264 gen 50 score 402955 cov 407 BestSoFar IdentityHashMap time 2203 gen 1 score 320657 cov 321 BestSoFar IdentityHashMap time 3522 gen 2 score 359682 cov 360 BestSoFar IdentityHashMap time 4993 gen 3 score 359682 cov 360 BestSoFar IdentityHashMap time 6917 gen 4 score 371728 cov 373 BestSoFar IdentityHashMap time 8795 gen 5 score 373682 cov 374 BestSoFar IdentityHashMap time 10550 gen 6 score 384574 cov 386 BestSoFar IdentityHashMap time 12316 gen 7 score 384574 cov 386 BestSoFar IdentityHashMap time 14205 gen 8 score 384574 cov 386 BestSoFar IdentityHashMap time 16111 gen 9 score 384574 cov 386 BestSoFar IdentityHashMap time 18041 gen 10 score 384574 cov 386 BestSoFar IdentityHashMap time 20263 gen 11 score 384834 cov 387 BestSoFar IdentityHashMap time 22585 gen 12 score 391167 cov 393 BestSoFar IdentityHashMap time 25359 gen 13 score 391167 cov 393 BestSoFar IdentityHashMap time 28368 gen 14 score 394410 cov 397 BestSoFar IdentityHashMap time 31567 gen 15 score 394410 cov 397 BestSoFar IdentityHashMap time 34744 gen 16 score 394410 cov 397 BestSoFar IdentityHashMap time 38097 gen 17 score 394410 cov 397 BestSoFar IdentityHashMap time 41218 gen 18 score 394410 cov 397 BestSoFar IdentityHashMap time 44433 gen 19 score 395321 cov 398 BestSoFar IdentityHashMap time 47754 gen 20 score 395321 cov 398 BestSoFar IdentityHashMap time 51242 gen 21 score 395321 cov 398 BestSoFar IdentityHashMap time 54699 gen 22 score 395321 cov 398 BestSoFar IdentityHashMap time 58263 gen 23 score 395321 cov 398 BestSoFar IdentityHashMap time 62005 gen 24 score 397210 cov 400 BestSoFar IdentityHashMap time 65722 gen 25 score 397210 cov 400 BestSoFar IdentityHashMap time 69346 gen 26 score 397210 cov 400 BestSoFar IdentityHashMap time 72996 gen 27 score 397210 cov 400 BestSoFar IdentityHashMap time 76568 gen 28 score 397210 cov 400 BestSoFar IdentityHashMap time 80254 gen 29 score 397210 cov 400 BestSoFar IdentityHashMap time 84025 gen 30 score 397210 cov 400 BestSoFar IdentityHashMap time 87915 gen 31 score 397210 cov 400 BestSoFar IdentityHashMap time 91766 gen 32 score 397210 cov 400 BestSoFar IdentityHashMap time 95553 gen 33 score 397210 cov 400 BestSoFar IdentityHashMap time 99419 gen 34 score 397210 cov 400 BestSoFar IdentityHashMap time 103433 gen 35 score 397210 cov 400 BestSoFar IdentityHashMap time 107314 gen 36 score 397210 cov 400 BestSoFar IdentityHashMap time 111314 gen 37 score 397210 cov 400 BestSoFar IdentityHashMap time 115461 gen 38 score 397210 cov 400 BestSoFar IdentityHashMap time 119407 gen 39 score 397210 cov 400 BestSoFar IdentityHashMap time 123380 gen 40 score 397210 cov 400 BestSoFar IdentityHashMap time 127484 gen 41 score 397210 cov 400 BestSoFar IdentityHashMap time 131885 gen 42 score 397210 cov 400 BestSoFar IdentityHashMap time 136458 gen 43 score 397210 cov 400 BestSoFar IdentityHashMap time 141110 gen 44 score 397210 cov 400 BestSoFar IdentityHashMap time 145598 gen 45 score 397210 cov 400 BestSoFar IdentityHashMap time 150056 gen 46 score 397210 cov 400 BestSoFar IdentityHashMap time 154644 gen 47 score 397210 cov 400 BestSoFar IdentityHashMap time 159226 gen 48 score 397210 cov 400 BestSoFar IdentityHashMap time 163886 gen 49 score 399809 cov 404 BestSoFar IdentityHashMap time 168543 gen 50 score 399809 cov 404 BestSoFar LinkedHashMap time 1507 gen 1 score 255148 cov 256 BestSoFar LinkedHashMap time 2766 gen 2 score 276148 cov 277 BestSoFar LinkedHashMap time 4407 gen 3 score 276148 cov 277 BestSoFar LinkedHashMap time 5856 gen 4 score 276148 cov 277 BestSoFar LinkedHashMap time 7225 gen 5 score 276148 cov 277 BestSoFar LinkedHashMap time 8552 gen 6 score 280133 cov 281 BestSoFar LinkedHashMap time 9808 gen 7 score 280133 cov 281 BestSoFar LinkedHashMap time 11103 gen 8 score 280133 cov 281 BestSoFar LinkedHashMap time 12271 gen 9 score 280133 cov 281 BestSoFar LinkedHashMap time 13685 gen 10 score 280366 cov 281 BestSoFar LinkedHashMap time 15136 gen 11 score 280366 cov 281 BestSoFar LinkedHashMap time 16566 gen 12 score 280366 cov 281 BestSoFar LinkedHashMap time 18113 gen 13 score 280366 cov 281 BestSoFar LinkedHashMap time 19651 gen 14 score 282366 cov 283 BestSoFar LinkedHashMap time 21364 gen 15 score 282366 cov 283 BestSoFar LinkedHashMap time 23562 gen 16 score 282366 cov 283 BestSoFar LinkedHashMap time 26370 gen 17 score 282366 cov 283 BestSoFar LinkedHashMap time 29677 gen 18 score 289245 cov 293 BestSoFar LinkedHashMap time 32945 gen 19 score 289245 cov 293 BestSoFar LinkedHashMap time 36076 gen 20 score 289245 cov 293 BestSoFar LinkedHashMap time 39195 gen 21 score 289245 cov 293 BestSoFar LinkedHashMap time 42311 gen 22 score 289245 cov 293 BestSoFar LinkedHashMap time 45421 gen 23 score 289245 cov 293 BestSoFar LinkedHashMap time 48678 gen 24 score 289245 cov 293 BestSoFar LinkedHashMap time 51908 gen 25 score 289245 cov 293 BestSoFar LinkedHashMap time 55395 gen 26 score 289245 cov 293 BestSoFar LinkedHashMap time 59307 gen 27 score 290550 cov 294 BestSoFar LinkedHashMap time 63440 gen 28 score 290550 cov 294 BestSoFar LinkedHashMap time 67686 gen 29 score 290550 cov 294 BestSoFar LinkedHashMap time 71947 gen 30 score 290550 cov 294 BestSoFar LinkedHashMap time 76224 gen 31 score 290550 cov 294 BestSoFar LinkedHashMap time 80615 gen 32 score 290550 cov 294 BestSoFar LinkedHashMap time 85066 gen 33 score 290550 cov 294 BestSoFar LinkedHashMap time 89718 gen 34 score 290550 cov 294 BestSoFar LinkedHashMap time 94645 gen 35 score 290550 cov 294 BestSoFar LinkedHashMap time 99570 gen 36 score 290550 cov 294 BestSoFar LinkedHashMap time 104479 gen 37 score 290550 cov 294 BestSoFar LinkedHashMap time 109406 gen 38 score 290550 cov 294 BestSoFar LinkedHashMap time 114352 gen 39 score 290550 cov 294 BestSoFar LinkedHashMap time 119247 gen 40 score 290550 cov 294 BestSoFar LinkedHashMap time 124297 gen 41 score 290550 cov 294 BestSoFar LinkedHashMap time 129191 gen 42 score 290550 cov 294 BestSoFar LinkedHashMap time 134100 gen 43 score 290550 cov 294 BestSoFar LinkedHashMap time 139036 gen 44 score 290550 cov 294 BestSoFar LinkedHashMap time 144246 gen 45 score 290550 cov 294 BestSoFar LinkedHashMap time 149766 gen 46 score 290550 cov 294 BestSoFar LinkedHashMap time 155578 gen 47 score 290550 cov 294 BestSoFar LinkedHashMap time 161657 gen 48 score 290550 cov 294 BestSoFar LinkedHashMap time 167536 gen 49 score 290550 cov 294 BestSoFar LinkedHashMap time 173669 gen 50 score 290550 cov 294 BestSoFar LinkedHashSet time 1209 gen 1 score 243777 cov 244 BestSoFar LinkedHashSet time 2048 gen 2 score 250777 cov 251 BestSoFar LinkedHashSet time 3041 gen 3 score 261300 cov 262 BestSoFar LinkedHashSet time 3882 gen 4 score 261300 cov 262 BestSoFar LinkedHashSet time 5089 gen 5 score 261300 cov 262 BestSoFar LinkedHashSet time 6221 gen 6 score 261300 cov 262 BestSoFar LinkedHashSet time 7220 gen 7 score 261300 cov 262 BestSoFar LinkedHashSet time 8187 gen 8 score 261633 cov 262 BestSoFar LinkedHashSet time 9123 gen 9 score 263300 cov 264 BestSoFar LinkedHashSet time 9988 gen 10 score 263300 cov 264 BestSoFar LinkedHashSet time 10894 gen 11 score 267300 cov 268 BestSoFar LinkedHashSet time 11772 gen 12 score 267300 cov 268 BestSoFar LinkedHashSet time 12612 gen 13 score 267300 cov 268 BestSoFar LinkedHashSet time 13439 gen 14 score 267300 cov 268 BestSoFar LinkedHashSet time 14230 gen 15 score 267300 cov 268 BestSoFar LinkedHashSet time 15081 gen 16 score 267300 cov 268 BestSoFar LinkedHashSet time 16100 gen 17 score 267300 cov 268 BestSoFar LinkedHashSet time 17225 gen 18 score 267828 cov 269 BestSoFar LinkedHashSet time 18546 gen 19 score 267828 cov 269 BestSoFar LinkedHashSet time 20316 gen 20 score 267828 cov 269 BestSoFar LinkedHashSet time 22102 gen 21 score 267828 cov 269 BestSoFar LinkedHashSet time 24169 gen 22 score 267828 cov 269 BestSoFar LinkedHashSet time 26580 gen 23 score 268660 cov 271 BestSoFar LinkedHashSet time 29032 gen 24 score 268660 cov 271 BestSoFar LinkedHashSet time 31853 gen 25 score 268660 cov 271 BestSoFar LinkedHashSet time 34653 gen 26 score 268660 cov 271 BestSoFar LinkedHashSet time 37652 gen 27 score 268660 cov 271 BestSoFar LinkedHashSet time 40938 gen 28 score 268660 cov 271 BestSoFar LinkedHashSet time 44348 gen 29 score 268660 cov 271 BestSoFar LinkedHashSet time 47859 gen 30 score 269671 cov 272 BestSoFar LinkedHashSet time 51454 gen 31 score 269671 cov 272 BestSoFar LinkedHashSet time 55111 gen 32 score 269671 cov 272 BestSoFar LinkedHashSet time 58744 gen 33 score 269671 cov 272 BestSoFar LinkedHashSet time 62405 gen 34 score 269671 cov 272 BestSoFar LinkedHashSet time 66151 gen 35 score 269671 cov 272 BestSoFar LinkedHashSet time 69876 gen 36 score 269671 cov 272 BestSoFar LinkedHashSet time 73521 gen 37 score 269671 cov 272 BestSoFar LinkedHashSet time 77377 gen 38 score 269671 cov 272 BestSoFar LinkedHashSet time 81147 gen 39 score 269671 cov 272 BestSoFar LinkedHashSet time 84677 gen 40 score 269671 cov 272 BestSoFar LinkedHashSet time 88187 gen 41 score 269671 cov 272 BestSoFar LinkedHashSet time 91844 gen 42 score 269671 cov 272 BestSoFar LinkedHashSet time 95413 gen 43 score 269671 cov 272 BestSoFar LinkedHashSet time 98939 gen 44 score 269671 cov 272 BestSoFar LinkedHashSet time 102505 gen 45 score 269671 cov 272 BestSoFar LinkedHashSet time 106059 gen 46 score 269671 cov 272 BestSoFar LinkedHashSet time 109960 gen 47 score 269671 cov 272 BestSoFar LinkedHashSet time 113950 gen 48 score 269671 cov 272 BestSoFar LinkedHashSet time 117775 gen 49 score 269671 cov 272 BestSoFar LinkedHashSet time 121752 gen 50 score 269671 cov 272 BestSoFar LinkedList time 1553 gen 1 score 233368 cov 233 BestSoFar LinkedList time 2368 gen 2 score 264356 cov 265 BestSoFar LinkedList time 3596 gen 3 score 266443 cov 268 BestSoFar LinkedList time 5586 gen 4 score 266443 cov 268 BestSoFar LinkedList time 7524 gen 5 score 266443 cov 268 BestSoFar LinkedList time 9520 gen 6 score 269079 cov 271 BestSoFar LinkedList time 11739 gen 7 score 269079 cov 271 BestSoFar LinkedList time 13817 gen 8 score 269079 cov 271 BestSoFar LinkedList time 16149 gen 9 score 269079 cov 271 BestSoFar LinkedList time 18470 gen 10 score 269443 cov 271 BestSoFar LinkedList time 20773 gen 11 score 271110 cov 273 BestSoFar LinkedList time 23230 gen 12 score 271110 cov 273 BestSoFar LinkedList time 25886 gen 13 score 271110 cov 273 BestSoFar LinkedList time 28578 gen 14 score 271110 cov 273 BestSoFar LinkedList time 31064 gen 15 score 271110 cov 273 BestSoFar LinkedList time 33517 gen 16 score 271110 cov 273 BestSoFar LinkedList time 36212 gen 17 score 271110 cov 273 BestSoFar LinkedList time 38941 gen 18 score 271110 cov 273 BestSoFar LinkedList time 42015 gen 19 score 271110 cov 273 BestSoFar LinkedList time 45088 gen 20 score 271110 cov 273 BestSoFar LinkedList time 47947 gen 21 score 271110 cov 273 BestSoFar LinkedList time 50797 gen 22 score 271110 cov 273 BestSoFar LinkedList time 53634 gen 23 score 271110 cov 273 BestSoFar LinkedList time 56490 gen 24 score 271110 cov 273 BestSoFar LinkedList time 59392 gen 25 score 271110 cov 273 BestSoFar LinkedList time 62331 gen 26 score 271110 cov 273 BestSoFar LinkedList time 65163 gen 27 score 271110 cov 273 BestSoFar LinkedList time 67987 gen 28 score 271110 cov 273 BestSoFar LinkedList time 70831 gen 29 score 271110 cov 273 BestSoFar LinkedList time 73612 gen 30 score 271216 cov 273 BestSoFar LinkedList time 76436 gen 31 score 271216 cov 273 BestSoFar LinkedList time 79313 gen 32 score 271216 cov 273 BestSoFar LinkedList time 82345 gen 33 score 271216 cov 273 BestSoFar LinkedList time 85454 gen 34 score 271216 cov 273 BestSoFar LinkedList time 88471 gen 35 score 271216 cov 273 BestSoFar LinkedList time 91654 gen 36 score 271216 cov 273 BestSoFar LinkedList time 94867 gen 37 score 271216 cov 273 BestSoFar LinkedList time 97729 gen 38 score 271216 cov 273 BestSoFar LinkedList time 100555 gen 39 score 271216 cov 273 BestSoFar LinkedList time 103360 gen 40 score 271216 cov 273 BestSoFar LinkedList time 106399 gen 41 score 271216 cov 273 BestSoFar LinkedList time 109483 gen 42 score 271738 cov 274 BestSoFar LinkedList time 112395 gen 43 score 271738 cov 274 BestSoFar LinkedList time 115272 gen 44 score 271738 cov 274 BestSoFar LinkedList time 118093 gen 45 score 271738 cov 274 BestSoFar LinkedList time 120904 gen 46 score 271738 cov 274 BestSoFar LinkedList time 123983 gen 47 score 271738 cov 274 BestSoFar LinkedList time 127446 gen 48 score 271738 cov 274 BestSoFar LinkedList time 130798 gen 49 score 271738 cov 274 BestSoFar LinkedList time 133793 gen 50 score 271738 cov 274 BestSoFar PriorityQueue time 1865 gen 1 score 205636 cov 206 BestSoFar PriorityQueue time 3295 gen 2 score 205636 cov 206 BestSoFar PriorityQueue time 4995 gen 3 score 205636 cov 206 BestSoFar PriorityQueue time 6614 gen 4 score 205636 cov 206 BestSoFar PriorityQueue time 8248 gen 5 score 205636 cov 206 BestSoFar PriorityQueue time 10052 gen 6 score 207974 cov 209 BestSoFar PriorityQueue time 11867 gen 7 score 207974 cov 209 BestSoFar PriorityQueue time 13632 gen 8 score 209641 cov 211 BestSoFar PriorityQueue time 15360 gen 9 score 217993 cov 219 BestSoFar PriorityQueue time 17312 gen 10 score 217993 cov 219 BestSoFar PriorityQueue time 19304 gen 11 score 217993 cov 219 BestSoFar PriorityQueue time 21476 gen 12 score 217993 cov 219 BestSoFar PriorityQueue time 23627 gen 13 score 217993 cov 219 BestSoFar PriorityQueue time 25724 gen 14 score 217993 cov 219 BestSoFar PriorityQueue time 27806 gen 15 score 217993 cov 219 BestSoFar PriorityQueue time 29778 gen 16 score 217993 cov 219 BestSoFar PriorityQueue time 31858 gen 17 score 217993 cov 219 BestSoFar PriorityQueue time 33922 gen 18 score 217993 cov 219 BestSoFar PriorityQueue time 36004 gen 19 score 218594 cov 220 BestSoFar PriorityQueue time 38109 gen 20 score 218594 cov 220 BestSoFar PriorityQueue time 40146 gen 21 score 232594 cov 234 BestSoFar PriorityQueue time 42224 gen 22 score 232594 cov 234 BestSoFar PriorityQueue time 44299 gen 23 score 232594 cov 234 BestSoFar PriorityQueue time 46529 gen 24 score 232594 cov 234 BestSoFar PriorityQueue time 48896 gen 25 score 232594 cov 234 BestSoFar PriorityQueue time 51514 gen 26 score 232594 cov 234 BestSoFar PriorityQueue time 54417 gen 27 score 232594 cov 234 BestSoFar PriorityQueue time 57476 gen 28 score 232594 cov 234 BestSoFar PriorityQueue time 60555 gen 29 score 232594 cov 234 BestSoFar PriorityQueue time 63107 gen 30 score 232594 cov 234 BestSoFar PriorityQueue time 65671 gen 31 score 232594 cov 234 BestSoFar PriorityQueue time 68281 gen 32 score 232594 cov 234 BestSoFar PriorityQueue time 70856 gen 33 score 232594 cov 234 BestSoFar PriorityQueue time 73193 gen 34 score 232594 cov 234 BestSoFar PriorityQueue time 75666 gen 35 score 232594 cov 234 BestSoFar PriorityQueue time 78323 gen 36 score 232594 cov 234 BestSoFar PriorityQueue time 80917 gen 37 score 232594 cov 234 BestSoFar PriorityQueue time 83768 gen 38 score 232594 cov 234 BestSoFar PriorityQueue time 86826 gen 39 score 232594 cov 234 BestSoFar PriorityQueue time 89859 gen 40 score 232594 cov 234 BestSoFar PriorityQueue time 92935 gen 41 score 232594 cov 234 BestSoFar PriorityQueue time 95992 gen 42 score 232594 cov 234 BestSoFar PriorityQueue time 99168 gen 43 score 232594 cov 234 BestSoFar PriorityQueue time 102447 gen 44 score 232594 cov 234 BestSoFar PriorityQueue time 105803 gen 45 score 232594 cov 234 BestSoFar PriorityQueue time 109117 gen 46 score 232594 cov 234 BestSoFar PriorityQueue time 112565 gen 47 score 232594 cov 234 BestSoFar PriorityQueue time 115849 gen 48 score 232594 cov 234 BestSoFar PriorityQueue time 119169 gen 49 score 232594 cov 234 BestSoFar PriorityQueue time 122286 gen 50 score 232594 cov 234 BestSoFar Properties time 5048 gen 1 score 272266 cov 273 BestSoFar Properties time 11115 gen 2 score 272266 cov 273 BestSoFar Properties time 20224 gen 3 score 296932 cov 297 BestSoFar Properties time 33569 gen 4 score 296932 cov 297 BestSoFar Properties time 47540 gen 5 score 298266 cov 299 BestSoFar Properties time 58826 gen 6 score 298266 cov 299 BestSoFar Properties time 71324 gen 7 score 298266 cov 299 BestSoFar Properties time 80334 gen 8 score 298266 cov 299 BestSoFar Properties time 90406 gen 9 score 298266 cov 299 BestSoFar Properties time 99818 gen 10 score 298266 cov 299 BestSoFar Properties time 112109 gen 11 score 298266 cov 299 BestSoFar Properties time 121979 gen 12 score 298266 cov 299 BestSoFar Properties time 131278 gen 13 score 298266 cov 299 BestSoFar Properties time 140035 gen 14 score 298266 cov 299 BestSoFar Properties time 148475 gen 15 score 298266 cov 299 BestSoFar Properties time 157265 gen 16 score 298266 cov 299 BestSoFar Properties time 165870 gen 17 score 298266 cov 299 BestSoFar Properties time 176390 gen 18 score 298266 cov 299 BestSoFar Properties time 185342 gen 19 score 298266 cov 299 BestSoFar Properties time 193430 gen 20 score 298266 cov 299 BestSoFar Properties time 202001 gen 21 score 298266 cov 299 BestSoFar Properties time 211646 gen 22 score 298266 cov 299 BestSoFar Properties time 222995 gen 23 score 298266 cov 299 BestSoFar Properties time 235556 gen 24 score 298266 cov 299 BestSoFar Properties time 246438 gen 25 score 298266 cov 299 BestSoFar Properties time 258218 gen 26 score 298266 cov 299 BestSoFar Properties time 266722 gen 27 score 298266 cov 299 BestSoFar Properties time 277414 gen 28 score 298266 cov 299 BestSoFar Properties time 288413 gen 29 score 298266 cov 299 BestSoFar Properties time 299943 gen 30 score 298266 cov 299 BestSoFar Properties time 312349 gen 31 score 298266 cov 299 BestSoFar Properties time 324330 gen 32 score 298266 cov 299 BestSoFar Properties time 336744 gen 33 score 298266 cov 299 BestSoFar Properties time 346387 gen 34 score 298266 cov 299 BestSoFar Properties time 355499 gen 35 score 298266 cov 299 BestSoFar Properties time 368797 gen 36 score 298266 cov 299 BestSoFar Properties time 378241 gen 37 score 298266 cov 299 BestSoFar Properties time 390693 gen 38 score 298266 cov 299 BestSoFar Properties time 399910 gen 39 score 298266 cov 299 BestSoFar Properties time 409628 gen 40 score 298266 cov 299 BestSoFar Properties time 418835 gen 41 score 298266 cov 299 BestSoFar Properties time 431648 gen 42 score 298266 cov 299 BestSoFar Properties time 442448 gen 43 score 298266 cov 299 BestSoFar Properties time 451391 gen 44 score 298266 cov 299 BestSoFar Properties time 461779 gen 45 score 298266 cov 299 BestSoFar Properties time 472941 gen 46 score 298266 cov 299 BestSoFar Properties time 485644 gen 47 score 298266 cov 299 BestSoFar Properties time 495230 gen 48 score 298266 cov 299 BestSoFar Properties time 506961 gen 49 score 298266 cov 299 BestSoFar Properties time 517747 gen 50 score 298266 cov 299 BestSoFar Stack time 2105 gen 1 score 84995 cov 86 BestSoFar Stack time 3939 gen 2 score 84995 cov 86 BestSoFar Stack time 5617 gen 3 score 84995 cov 86 BestSoFar Stack time 7046 gen 4 score 84995 cov 86 BestSoFar Stack time 8256 gen 5 score 84995 cov 86 BestSoFar Stack time 9876 gen 6 score 85661 cov 86 BestSoFar Stack time 11029 gen 7 score 85661 cov 86 BestSoFar Stack time 12227 gen 8 score 85661 cov 86 BestSoFar Stack time 13284 gen 9 score 85661 cov 86 BestSoFar Stack time 14383 gen 10 score 85661 cov 86 BestSoFar Stack time 15484 gen 11 score 85661 cov 86 BestSoFar Stack time 16629 gen 12 score 85661 cov 86 BestSoFar Stack time 17894 gen 13 score 85661 cov 86 BestSoFar Stack time 19265 gen 14 score 85878 cov 86 BestSoFar Stack time 20379 gen 15 score 85878 cov 86 BestSoFar Stack time 21531 gen 16 score 85878 cov 86 BestSoFar Stack time 22701 gen 17 score 85878 cov 86 BestSoFar Stack time 23829 gen 18 score 85878 cov 86 BestSoFar Stack time 24998 gen 19 score 85878 cov 86 BestSoFar Stack time 26145 gen 20 score 85878 cov 86 BestSoFar Stack time 27361 gen 21 score 85878 cov 86 BestSoFar Stack time 28493 gen 22 score 85878 cov 86 BestSoFar Stack time 29737 gen 23 score 85878 cov 86 BestSoFar Stack time 30920 gen 24 score 85878 cov 86 BestSoFar Stack time 32049 gen 25 score 85878 cov 86 BestSoFar Stack time 33202 gen 26 score 85878 cov 86 BestSoFar Stack time 34340 gen 27 score 85878 cov 86 BestSoFar Stack time 35527 gen 28 score 85878 cov 86 BestSoFar Stack time 36649 gen 29 score 85878 cov 86 BestSoFar Stack time 37792 gen 30 score 85878 cov 86 BestSoFar Stack time 38904 gen 31 score 85878 cov 86 BestSoFar Stack time 40070 gen 32 score 85878 cov 86 BestSoFar Stack time 41197 gen 33 score 85878 cov 86 BestSoFar Stack time 42298 gen 34 score 85878 cov 86 BestSoFar Stack time 43464 gen 35 score 85878 cov 86 BestSoFar Stack time 44632 gen 36 score 85878 cov 86 BestSoFar Stack time 45760 gen 37 score 85878 cov 86 BestSoFar Stack time 46841 gen 38 score 85878 cov 86 BestSoFar Stack time 47927 gen 39 score 85878 cov 86 BestSoFar Stack time 48980 gen 40 score 85878 cov 86 BestSoFar Stack time 50119 gen 41 score 85878 cov 86 BestSoFar Stack time 51198 gen 42 score 85878 cov 86 BestSoFar Stack time 52258 gen 43 score 85878 cov 86 BestSoFar Stack time 53366 gen 44 score 85878 cov 86 BestSoFar Stack time 54421 gen 45 score 85878 cov 86 BestSoFar Stack time 55595 gen 46 score 85878 cov 86 BestSoFar Stack time 56688 gen 47 score 85878 cov 86 BestSoFar Stack time 57750 gen 48 score 85878 cov 86 BestSoFar Stack time 58830 gen 49 score 85878 cov 86 BestSoFar Stack time 59885 gen 50 score 85878 cov 86 BestSoFar TreeMap time 2173 gen 1 score 412925 cov 413 BestSoFar TreeMap time 3227 gen 2 score 500770 cov 502 BestSoFar TreeMap time 4739 gen 3 score 502103 cov 503 BestSoFar TreeMap time 6944 gen 4 score 517473 cov 519 BestSoFar TreeMap time 9326 gen 5 score 517473 cov 519 BestSoFar TreeMap time 12057 gen 6 score 517473 cov 519 BestSoFar TreeMap time 14840 gen 7 score 540137 cov 542 BestSoFar TreeMap time 17497 gen 8 score 540137 cov 542 BestSoFar TreeMap time 20046 gen 9 score 540137 cov 542 BestSoFar TreeMap time 22629 gen 10 score 540137 cov 542 BestSoFar TreeMap time 25177 gen 11 score 540137 cov 542 BestSoFar TreeMap time 27734 gen 12 score 544048 cov 546 BestSoFar TreeMap time 30330 gen 13 score 544048 cov 546 BestSoFar TreeMap time 33034 gen 14 score 544048 cov 546 BestSoFar TreeMap time 35821 gen 15 score 564625 cov 567 BestSoFar TreeMap time 38589 gen 16 score 564625 cov 567 BestSoFar TreeMap time 41346 gen 17 score 564625 cov 567 BestSoFar TreeMap time 44070 gen 18 score 564625 cov 567 BestSoFar TreeMap time 46863 gen 19 score 564625 cov 567 BestSoFar TreeMap time 49670 gen 20 score 564625 cov 567 BestSoFar TreeMap time 52397 gen 21 score 564625 cov 567 BestSoFar TreeMap time 55076 gen 22 score 564625 cov 567 BestSoFar TreeMap time 57852 gen 23 score 564625 cov 567 BestSoFar TreeMap time 60776 gen 24 score 564625 cov 567 BestSoFar TreeMap time 63780 gen 25 score 564625 cov 567 BestSoFar TreeMap time 66821 gen 26 score 564625 cov 567 BestSoFar TreeMap time 69750 gen 27 score 564625 cov 567 BestSoFar TreeMap time 72607 gen 28 score 564625 cov 567 BestSoFar TreeMap time 75279 gen 29 score 564625 cov 567 BestSoFar TreeMap time 77981 gen 30 score 564625 cov 567 BestSoFar TreeMap time 80679 gen 31 score 564625 cov 567 BestSoFar TreeMap time 83333 gen 32 score 564625 cov 567 BestSoFar TreeMap time 86033 gen 33 score 564625 cov 567 BestSoFar TreeMap time 88837 gen 34 score 564625 cov 567 BestSoFar TreeMap time 91910 gen 35 score 564625 cov 567 BestSoFar TreeMap time 95146 gen 36 score 564625 cov 567 BestSoFar TreeMap time 98665 gen 37 score 564625 cov 567 BestSoFar TreeMap time 101710 gen 38 score 564625 cov 567 BestSoFar TreeMap time 104788 gen 39 score 564625 cov 567 BestSoFar TreeMap time 108153 gen 40 score 564625 cov 567 BestSoFar TreeMap time 111884 gen 41 score 564625 cov 567 BestSoFar TreeMap time 115476 gen 42 score 564625 cov 567 BestSoFar TreeMap time 119137 gen 43 score 564625 cov 567 BestSoFar TreeMap time 122737 gen 44 score 564625 cov 567 BestSoFar TreeMap time 126298 gen 45 score 564625 cov 567 BestSoFar TreeMap time 129923 gen 46 score 564625 cov 567 BestSoFar TreeMap time 133476 gen 47 score 564625 cov 567 BestSoFar TreeMap time 137068 gen 48 score 564625 cov 567 BestSoFar TreeMap time 140662 gen 49 score 564625 cov 567 BestSoFar TreeMap time 144222 gen 50 score 564625 cov 567 BestSoFar TreeSet time 1654 gen 1 score 406294 cov 407 BestSoFar TreeSet time 2542 gen 2 score 474294 cov 475 BestSoFar TreeSet time 4002 gen 3 score 474294 cov 475 BestSoFar TreeSet time 5877 gen 4 score 474294 cov 475 BestSoFar TreeSet time 8245 gen 5 score 494998 cov 497 BestSoFar TreeSet time 10680 gen 6 score 494998 cov 497 BestSoFar TreeSet time 12802 gen 7 score 494998 cov 497 BestSoFar TreeSet time 15267 gen 8 score 508331 cov 510 BestSoFar TreeSet time 17861 gen 9 score 508331 cov 510 BestSoFar TreeSet time 20505 gen 10 score 508331 cov 510 BestSoFar TreeSet time 23206 gen 11 score 508331 cov 510 BestSoFar TreeSet time 25816 gen 12 score 508331 cov 510 BestSoFar TreeSet time 28364 gen 13 score 508331 cov 510 BestSoFar TreeSet time 31380 gen 14 score 508331 cov 510 BestSoFar TreeSet time 34662 gen 15 score 508331 cov 510 BestSoFar TreeSet time 37980 gen 16 score 508331 cov 510 BestSoFar TreeSet time 41288 gen 17 score 508331 cov 510 BestSoFar TreeSet time 44469 gen 18 score 514932 cov 517 BestSoFar TreeSet time 47749 gen 19 score 514932 cov 517 BestSoFar TreeSet time 50955 gen 20 score 514932 cov 517 BestSoFar TreeSet time 54115 gen 21 score 514932 cov 517 BestSoFar TreeSet time 57397 gen 22 score 514932 cov 517 BestSoFar TreeSet time 60584 gen 23 score 514932 cov 517 BestSoFar TreeSet time 63593 gen 24 score 514932 cov 517 BestSoFar TreeSet time 66636 gen 25 score 514932 cov 517 BestSoFar TreeSet time 69696 gen 26 score 514932 cov 517 BestSoFar TreeSet time 72794 gen 27 score 527302 cov 530 BestSoFar TreeSet time 75827 gen 28 score 527302 cov 530 BestSoFar TreeSet time 78833 gen 29 score 527302 cov 530 BestSoFar TreeSet time 81911 gen 30 score 527302 cov 530 BestSoFar TreeSet time 85006 gen 31 score 527302 cov 530 BestSoFar TreeSet time 88089 gen 32 score 527302 cov 530 BestSoFar TreeSet time 91433 gen 33 score 527302 cov 530 BestSoFar TreeSet time 95225 gen 34 score 527302 cov 530 BestSoFar TreeSet time 99522 gen 35 score 527302 cov 530 BestSoFar TreeSet time 103241 gen 36 score 527302 cov 530 BestSoFar TreeSet time 107221 gen 37 score 527302 cov 530 BestSoFar TreeSet time 112203 gen 38 score 527302 cov 530 BestSoFar TreeSet time 117189 gen 39 score 527302 cov 530 BestSoFar TreeSet time 122277 gen 40 score 527302 cov 530 BestSoFar TreeSet time 127374 gen 41 score 527302 cov 530 BestSoFar TreeSet time 132374 gen 42 score 527302 cov 530 BestSoFar TreeSet time 137386 gen 43 score 527302 cov 530 BestSoFar TreeSet time 142427 gen 44 score 527302 cov 530 BestSoFar TreeSet time 147437 gen 45 score 527302 cov 530 BestSoFar TreeSet time 152567 gen 46 score 527302 cov 530 BestSoFar TreeSet time 157727 gen 47 score 527302 cov 530 BestSoFar TreeSet time 163028 gen 48 score 527302 cov 530 BestSoFar TreeSet time 168189 gen 49 score 527302 cov 530 BestSoFar TreeSet time 173309 gen 50 score 527302 cov 530 BestSoFar Vector time 3091 gen 1 score 370633 cov 371 BestSoFar Vector time 4740 gen 2 score 370633 cov 371 BestSoFar Vector time 6775 gen 3 score 370633 cov 371 BestSoFar Vector time 8868 gen 4 score 385110 cov 387 BestSoFar Vector time 11581 gen 5 score 397110 cov 399 BestSoFar Vector time 14309 gen 6 score 397110 cov 399 BestSoFar Vector time 16997 gen 7 score 397110 cov 399 BestSoFar Vector time 19909 gen 8 score 397110 cov 399 BestSoFar Vector time 22660 gen 9 score 397110 cov 399 BestSoFar Vector time 25462 gen 10 score 400776 cov 402 BestSoFar Vector time 28284 gen 11 score 400776 cov 402 BestSoFar Vector time 31159 gen 12 score 400776 cov 402 BestSoFar Vector time 34258 gen 13 score 400776 cov 402 BestSoFar Vector time 37914 gen 14 score 400776 cov 402 BestSoFar Vector time 41334 gen 15 score 400776 cov 402 BestSoFar Vector time 44948 gen 16 score 400776 cov 402 BestSoFar Vector time 48527 gen 17 score 400776 cov 402 BestSoFar Vector time 52060 gen 18 score 407783 cov 410 BestSoFar Vector time 55693 gen 19 score 410450 cov 413 BestSoFar Vector time 59260 gen 20 score 410450 cov 413 BestSoFar Vector time 62874 gen 21 score 410450 cov 413 BestSoFar Vector time 66573 gen 22 score 410450 cov 413 BestSoFar Vector time 70292 gen 23 score 410450 cov 413 BestSoFar Vector time 74063 gen 24 score 410450 cov 413 BestSoFar Vector time 78413 gen 25 score 410450 cov 413 BestSoFar Vector time 82916 gen 26 score 410450 cov 413 BestSoFar Vector time 87240 gen 27 score 415577 cov 419 BestSoFar Vector time 91647 gen 28 score 415577 cov 419 BestSoFar Vector time 96145 gen 29 score 415577 cov 419 BestSoFar Vector time 100630 gen 30 score 415577 cov 419 BestSoFar Vector time 105450 gen 31 score 416939 cov 421 BestSoFar Vector time 110760 gen 32 score 416939 cov 421 BestSoFar Vector time 116065 gen 33 score 416939 cov 421 BestSoFar Vector time 121386 gen 34 score 416939 cov 421 BestSoFar Vector time 126708 gen 35 score 416939 cov 421 BestSoFar Vector time 132165 gen 36 score 416939 cov 421 BestSoFar Vector time 137821 gen 37 score 421939 cov 426 BestSoFar Vector time 143723 gen 38 score 421939 cov 426 BestSoFar Vector time 149777 gen 39 score 422386 cov 428 BestSoFar Vector time 156310 gen 40 score 435719 cov 441 BestSoFar Vector time 163170 gen 41 score 435719 cov 441 BestSoFar Vector time 170062 gen 42 score 435719 cov 441 BestSoFar Vector time 176947 gen 43 score 435719 cov 441 BestSoFar Vector time 183890 gen 44 score 435719 cov 441 BestSoFar Vector time 191097 gen 45 score 435719 cov 441 BestSoFar Vector time 198334 gen 46 score 435719 cov 441 BestSoFar Vector time 205506 gen 47 score 435719 cov 441 BestSoFar Vector time 212776 gen 48 score 435719 cov 441 BestSoFar Vector time 220391 gen 49 score 435719 cov 441 BestSoFar Vector time 227762 gen 50 score 435719 cov 441 BestSoFar WeakHashMap time 2079 gen 1 score 323333 cov 323 BestSoFar WeakHashMap time 2814 gen 2 score 323333 cov 323 BestSoFar WeakHashMap time 3305 gen 3 score 323333 cov 323 BestSoFar WeakHashMap time 3870 gen 4 score 335218 cov 336 BestSoFar WeakHashMap time 4732 gen 5 score 355218 cov 356 BestSoFar WeakHashMap time 5820 gen 6 score 356363 cov 357 BestSoFar WeakHashMap time 6928 gen 7 score 356363 cov 357 BestSoFar WeakHashMap time 8003 gen 8 score 364696 cov 365 BestSoFar WeakHashMap time 9156 gen 9 score 366243 cov 367 BestSoFar WeakHashMap time 10347 gen 10 score 372030 cov 373 BestSoFar WeakHashMap time 11613 gen 11 score 372030 cov 373 BestSoFar WeakHashMap time 13159 gen 12 score 373516 cov 375 BestSoFar WeakHashMap time 14973 gen 13 score 385183 cov 387 BestSoFar WeakHashMap time 17155 gen 14 score 385183 cov 387 BestSoFar WeakHashMap time 19915 gen 15 score 387305 cov 390 BestSoFar WeakHashMap time 22588 gen 16 score 387305 cov 390 BestSoFar WeakHashMap time 25360 gen 17 score 387305 cov 390 BestSoFar WeakHashMap time 28628 gen 18 score 387305 cov 390 BestSoFar WeakHashMap time 31990 gen 19 score 387305 cov 390 BestSoFar WeakHashMap time 36032 gen 20 score 387305 cov 390 BestSoFar WeakHashMap time 40196 gen 21 score 391189 cov 395 BestSoFar WeakHashMap time 44127 gen 22 score 391189 cov 395 BestSoFar WeakHashMap time 48087 gen 23 score 391189 cov 395 BestSoFar WeakHashMap time 52066 gen 24 score 391856 cov 396 BestSoFar WeakHashMap time 56115 gen 25 score 391856 cov 396 BestSoFar WeakHashMap time 59887 gen 26 score 391856 cov 396 BestSoFar WeakHashMap time 63646 gen 27 score 391856 cov 396 BestSoFar WeakHashMap time 67546 gen 28 score 391856 cov 396 BestSoFar WeakHashMap time 71375 gen 29 score 391856 cov 396 BestSoFar WeakHashMap time 75279 gen 30 score 391856 cov 396 BestSoFar WeakHashMap time 79090 gen 31 score 391856 cov 396 BestSoFar WeakHashMap time 82902 gen 32 score 391856 cov 396 BestSoFar WeakHashMap time 86732 gen 33 score 391856 cov 396 BestSoFar WeakHashMap time 90690 gen 34 score 391856 cov 396 BestSoFar WeakHashMap time 94580 gen 35 score 391856 cov 396 BestSoFar WeakHashMap time 98737 gen 36 score 391856 cov 396 BestSoFar WeakHashMap time 103395 gen 37 score 391856 cov 396 BestSoFar WeakHashMap time 107887 gen 38 score 391856 cov 396 BestSoFar WeakHashMap time 112410 gen 39 score 394271 cov 399 BestSoFar WeakHashMap time 116822 gen 40 score 394271 cov 399 BestSoFar WeakHashMap time 121356 gen 41 score 394271 cov 399 BestSoFar WeakHashMap time 125814 gen 42 score 394271 cov 399 BestSoFar WeakHashMap time 130328 gen 43 score 394271 cov 399 BestSoFar WeakHashMap time 134828 gen 44 score 394271 cov 399 BestSoFar WeakHashMap time 139354 gen 45 score 394271 cov 399 BestSoFar WeakHashMap time 143883 gen 46 score 394271 cov 399 BestSoFar WeakHashMap time 148382 gen 47 score 394271 cov 399 BestSoFar WeakHashMap time 152817 gen 48 score 394271 cov 399 BestSoFar WeakHashMap time 157276 gen 49 score 394271 cov 399 BestSoFar WeakHashMap time 161631 gen 50 score 394271 cov 399