Fri Mar 13 20:28:08 EDT 2009 BestSoFar ArrayList time 2593 gen 1 score 195572 cov 196 BestSoFar ArrayList time 3769 gen 2 score 195572 cov 196 BestSoFar ArrayList time 5087 gen 3 score 195572 cov 196 BestSoFar ArrayList time 6496 gen 4 score 198569 cov 199 BestSoFar ArrayList time 8015 gen 5 score 202572 cov 204 BestSoFar ArrayList time 9762 gen 6 score 205572 cov 207 BestSoFar ArrayList time 14483 gen 7 score 205572 cov 207 BestSoFar ArrayList time 21203 gen 8 score 205572 cov 207 BestSoFar ArrayList time 24976 gen 9 score 206242 cov 208 BestSoFar ArrayList time 27272 gen 10 score 206242 cov 208 BestSoFar ArrayList time 30232 gen 11 score 206242 cov 208 BestSoFar ArrayList time 39633 gen 12 score 206242 cov 208 BestSoFar ArrayList time 89749 gen 13 score 206242 cov 208 BestSoFar ArrayList time 100298 gen 14 score 206242 cov 208 BestSoFar ArrayList time 134126 gen 15 score 206242 cov 208 BestSoFar ArrayList time 190674 gen 16 score 206242 cov 208 BestSoFar ArrayList time 214071 gen 17 score 206242 cov 208 BestSoFar ArrayList time 256505 gen 18 score 206242 cov 208 BestSoFar ArrayList time 281759 gen 19 score 206242 cov 208 BestSoFar ArrayList time 290392 gen 20 score 206242 cov 208 BestSoFar ArrayList time 303896 gen 21 score 206242 cov 208 BestSoFar ArrayList time 320463 gen 22 score 206242 cov 208 BestSoFar ArrayList time 326135 gen 23 score 206242 cov 208 BestSoFar ArrayList time 328460 gen 24 score 206242 cov 208 BestSoFar ArrayList time 330733 gen 25 score 206242 cov 208 BestSoFar ArrayList time 333255 gen 26 score 206242 cov 208 BestSoFar ArrayList time 335592 gen 27 score 206242 cov 208 BestSoFar ArrayList time 337831 gen 28 score 206242 cov 208 BestSoFar ArrayList time 340380 gen 29 score 206242 cov 208 BestSoFar ArrayList time 343044 gen 30 score 206242 cov 208 BestSoFar ArrayList time 346153 gen 31 score 206242 cov 208 BestSoFar ArrayList time 348869 gen 32 score 206242 cov 208 BestSoFar ArrayList time 351561 gen 33 score 206242 cov 208 BestSoFar ArrayList time 354184 gen 34 score 206242 cov 208 BestSoFar ArrayList time 356827 gen 35 score 206242 cov 208 BestSoFar ArrayList time 359497 gen 36 score 206242 cov 208 BestSoFar ArrayList time 362112 gen 37 score 206242 cov 208 BestSoFar ArrayList time 364799 gen 38 score 206251 cov 208 BestSoFar ArrayList time 367629 gen 39 score 206251 cov 208 BestSoFar ArrayList time 370181 gen 40 score 206251 cov 208 BestSoFar ArrayList time 372951 gen 41 score 206251 cov 208 BestSoFar ArrayList time 375454 gen 42 score 206590 cov 208 BestSoFar ArrayList time 380081 gen 43 score 206590 cov 208 BestSoFar ArrayList time 382753 gen 44 score 206590 cov 208 BestSoFar ArrayList time 385387 gen 45 score 206590 cov 208 BestSoFar ArrayList time 387928 gen 46 score 206590 cov 208 BestSoFar ArrayList time 390555 gen 47 score 206590 cov 208 BestSoFar ArrayList time 392987 gen 48 score 206920 cov 209 BestSoFar ArrayList time 395511 gen 49 score 206920 cov 209 BestSoFar ArrayList time 397976 gen 50 score 207942 cov 210 BestSoFar EnumMap time 2537 gen 1 score 6325 cov 6 BestSoFar EnumMap time 3603 gen 2 score 6325 cov 6 BestSoFar EnumMap time 4561 gen 3 score 6325 cov 6 BestSoFar EnumMap time 5584 gen 4 score 6325 cov 6 BestSoFar EnumMap time 6512 gen 5 score 6992 cov 7 BestSoFar EnumMap time 7562 gen 6 score 6992 cov 7 BestSoFar EnumMap time 8592 gen 7 score 6992 cov 7 BestSoFar EnumMap time 9702 gen 8 score 9652 cov 9 BestSoFar EnumMap time 10894 gen 9 score 9652 cov 9 BestSoFar EnumMap time 12064 gen 10 score 9652 cov 9 BestSoFar EnumMap time 15345 gen 11 score 9652 cov 9 BestSoFar EnumMap time 16419 gen 12 score 9652 cov 9 BestSoFar EnumMap time 17414 gen 13 score 9652 cov 9 BestSoFar EnumMap time 18453 gen 14 score 9652 cov 9 BestSoFar EnumMap time 19461 gen 15 score 9652 cov 9 BestSoFar EnumMap time 20426 gen 16 score 9652 cov 9 BestSoFar EnumMap time 21369 gen 17 score 9652 cov 9 BestSoFar EnumMap time 22294 gen 18 score 9652 cov 9 BestSoFar EnumMap time 23238 gen 19 score 9652 cov 9 BestSoFar EnumMap time 24177 gen 20 score 9652 cov 9 BestSoFar EnumMap time 27158 gen 21 score 9652 cov 9 BestSoFar EnumMap time 28105 gen 22 score 9652 cov 9 BestSoFar EnumMap time 29048 gen 23 score 9652 cov 9 BestSoFar EnumMap time 30009 gen 24 score 9652 cov 9 BestSoFar EnumMap time 30919 gen 25 score 9652 cov 9 BestSoFar EnumMap time 31835 gen 26 score 9652 cov 9 BestSoFar EnumMap time 32742 gen 27 score 9652 cov 9 BestSoFar EnumMap time 33655 gen 28 score 9652 cov 9 BestSoFar EnumMap time 34586 gen 29 score 9652 cov 9 BestSoFar EnumMap time 35479 gen 30 score 9652 cov 9 BestSoFar EnumMap time 38471 gen 31 score 9652 cov 9 BestSoFar EnumMap time 39394 gen 32 score 9652 cov 9 BestSoFar EnumMap time 40297 gen 33 score 9652 cov 9 BestSoFar EnumMap time 41276 gen 34 score 9652 cov 9 BestSoFar EnumMap time 42199 gen 35 score 9652 cov 9 BestSoFar EnumMap time 43121 gen 36 score 9652 cov 9 BestSoFar EnumMap time 44045 gen 37 score 9652 cov 9 BestSoFar EnumMap time 44968 gen 38 score 10323 cov 10 BestSoFar EnumMap time 45906 gen 39 score 10323 cov 10 BestSoFar EnumMap time 46794 gen 40 score 10323 cov 10 BestSoFar EnumMap time 49730 gen 41 score 10323 cov 10 BestSoFar EnumMap time 50641 gen 42 score 10323 cov 10 BestSoFar EnumMap time 51532 gen 43 score 10323 cov 10 BestSoFar EnumMap time 52465 gen 44 score 10323 cov 10 BestSoFar EnumMap time 53391 gen 45 score 10323 cov 10 BestSoFar EnumMap time 54320 gen 46 score 10323 cov 10 BestSoFar EnumMap time 55237 gen 47 score 10323 cov 10 BestSoFar EnumMap time 56212 gen 48 score 10323 cov 10 BestSoFar EnumMap time 57116 gen 49 score 10323 cov 10 BestSoFar EnumMap time 58041 gen 50 score 10323 cov 10 BestSoFar HashMap time 3514 gen 1 score 335657 cov 336 BestSoFar HashMap time 4680 gen 2 score 335657 cov 336 BestSoFar HashMap time 5729 gen 3 score 366090 cov 366 BestSoFar HashMap time 6842 gen 4 score 366090 cov 366 BestSoFar HashMap time 7987 gen 5 score 366090 cov 366 BestSoFar HashMap time 9281 gen 6 score 366090 cov 366 BestSoFar HashMap time 10609 gen 7 score 378709 cov 379 BestSoFar HashMap time 12273 gen 8 score 401511 cov 403 BestSoFar HashMap time 14402 gen 9 score 401511 cov 403 BestSoFar HashMap time 16643 gen 10 score 401511 cov 403 BestSoFar HashMap time 19613 gen 11 score 401511 cov 403 BestSoFar HashMap time 21989 gen 12 score 407956 cov 409 BestSoFar HashMap time 24374 gen 13 score 407956 cov 409 BestSoFar HashMap time 26771 gen 14 score 407956 cov 409 BestSoFar HashMap time 29465 gen 15 score 407956 cov 409 BestSoFar HashMap time 32236 gen 16 score 407956 cov 409 BestSoFar HashMap time 35081 gen 17 score 416451 cov 418 BestSoFar HashMap time 38024 gen 18 score 416451 cov 418 BestSoFar HashMap time 41255 gen 19 score 416451 cov 418 BestSoFar HashMap time 44385 gen 20 score 416451 cov 418 BestSoFar HashMap time 48194 gen 21 score 417017 cov 420 BestSoFar HashMap time 51570 gen 22 score 417017 cov 420 BestSoFar HashMap time 55059 gen 23 score 417017 cov 420 BestSoFar HashMap time 58969 gen 24 score 418023 cov 421 BestSoFar HashMap time 62807 gen 25 score 422689 cov 425 BestSoFar HashMap time 66874 gen 26 score 425356 cov 428 BestSoFar HashMap time 70943 gen 27 score 425356 cov 428 BestSoFar HashMap time 74804 gen 28 score 425356 cov 428 BestSoFar HashMap time 78687 gen 29 score 425356 cov 428 BestSoFar HashMap time 82522 gen 30 score 425356 cov 428 BestSoFar HashMap time 87039 gen 31 score 427099 cov 430 BestSoFar HashMap time 91035 gen 32 score 427099 cov 430 BestSoFar HashMap time 95114 gen 33 score 427099 cov 430 BestSoFar HashMap time 99244 gen 34 score 427099 cov 430 BestSoFar HashMap time 103792 gen 35 score 427099 cov 430 BestSoFar HashMap time 108661 gen 36 score 427099 cov 430 BestSoFar HashMap time 113005 gen 37 score 427099 cov 430 BestSoFar HashMap time 118059 gen 38 score 427099 cov 430 BestSoFar HashMap time 123031 gen 39 score 427099 cov 430 BestSoFar HashMap time 127782 gen 40 score 427099 cov 430 BestSoFar HashMap time 133283 gen 41 score 427099 cov 430 BestSoFar HashMap time 138416 gen 42 score 427099 cov 430 BestSoFar HashMap time 143585 gen 43 score 428514 cov 432 BestSoFar HashMap time 149208 gen 44 score 430218 cov 434 BestSoFar HashMap time 154644 gen 45 score 430218 cov 434 BestSoFar HashMap time 160514 gen 46 score 430218 cov 434 BestSoFar HashMap time 166044 gen 47 score 430218 cov 434 BestSoFar HashMap time 171966 gen 48 score 430218 cov 434 BestSoFar HashMap time 178322 gen 49 score 430218 cov 434 BestSoFar HashMap time 184523 gen 50 score 430218 cov 434 BestSoFar HashSet time 2755 gen 1 score 256143 cov 256 BestSoFar HashSet time 4587 gen 2 score 303834 cov 304 BestSoFar HashSet time 5849 gen 3 score 303834 cov 304 BestSoFar HashSet time 7421 gen 4 score 309987 cov 311 BestSoFar HashSet time 9403 gen 5 score 309987 cov 311 BestSoFar HashSet time 11623 gen 6 score 314569 cov 316 BestSoFar HashSet time 13934 gen 7 score 314569 cov 316 BestSoFar HashSet time 16202 gen 8 score 318091 cov 320 BestSoFar HashSet time 18855 gen 9 score 318091 cov 320 BestSoFar HashSet time 21231 gen 10 score 318091 cov 320 BestSoFar HashSet time 23661 gen 11 score 318091 cov 320 BestSoFar HashSet time 26192 gen 12 score 318091 cov 320 BestSoFar HashSet time 29066 gen 13 score 318091 cov 320 BestSoFar HashSet time 32017 gen 14 score 318091 cov 320 BestSoFar HashSet time 34797 gen 15 score 318091 cov 320 BestSoFar HashSet time 37591 gen 16 score 318091 cov 320 BestSoFar HashSet time 40316 gen 17 score 318091 cov 320 BestSoFar HashSet time 43200 gen 18 score 318091 cov 320 BestSoFar HashSet time 46068 gen 19 score 318091 cov 320 BestSoFar HashSet time 48957 gen 20 score 318091 cov 320 BestSoFar HashSet time 52269 gen 21 score 318091 cov 320 BestSoFar HashSet time 55433 gen 22 score 318091 cov 320 BestSoFar HashSet time 58503 gen 23 score 318091 cov 320 BestSoFar HashSet time 61650 gen 24 score 318091 cov 320 BestSoFar HashSet time 64856 gen 25 score 318091 cov 320 BestSoFar HashSet time 68144 gen 26 score 318091 cov 320 BestSoFar HashSet time 71375 gen 27 score 318091 cov 320 BestSoFar HashSet time 74831 gen 28 score 318091 cov 320 BestSoFar HashSet time 77984 gen 29 score 318091 cov 320 BestSoFar HashSet time 81195 gen 30 score 318091 cov 320 BestSoFar HashSet time 84480 gen 31 score 318091 cov 320 BestSoFar HashSet time 87723 gen 32 score 318091 cov 320 BestSoFar HashSet time 90932 gen 33 score 318091 cov 320 BestSoFar HashSet time 93990 gen 34 score 318091 cov 320 BestSoFar HashSet time 97071 gen 35 score 318091 cov 320 BestSoFar HashSet time 100044 gen 36 score 318091 cov 320 BestSoFar HashSet time 102952 gen 37 score 318091 cov 320 BestSoFar HashSet time 105871 gen 38 score 318091 cov 320 BestSoFar HashSet time 108941 gen 39 score 318091 cov 320 BestSoFar HashSet time 111884 gen 40 score 318091 cov 320 BestSoFar HashSet time 114961 gen 41 score 318091 cov 320 BestSoFar HashSet time 117877 gen 42 score 318091 cov 320 BestSoFar HashSet time 120771 gen 43 score 318091 cov 320 BestSoFar HashSet time 123697 gen 44 score 318091 cov 320 BestSoFar HashSet time 126557 gen 45 score 318091 cov 320 BestSoFar HashSet time 129291 gen 46 score 318091 cov 320 BestSoFar HashSet time 132187 gen 47 score 318091 cov 320 BestSoFar HashSet time 135031 gen 48 score 318091 cov 320 BestSoFar HashSet time 137962 gen 49 score 318091 cov 320 BestSoFar HashSet time 140971 gen 50 score 318091 cov 320 BestSoFar Hashtable time 3435 gen 1 score 336951 cov 337 BestSoFar Hashtable time 5741 gen 2 score 360388 cov 361 BestSoFar Hashtable time 7352 gen 3 score 381326 cov 382 BestSoFar Hashtable time 9172 gen 4 score 388993 cov 390 BestSoFar Hashtable time 11017 gen 5 score 388993 cov 390 BestSoFar Hashtable time 12770 gen 6 score 388993 cov 390 BestSoFar Hashtable time 14414 gen 7 score 388993 cov 390 BestSoFar Hashtable time 16123 gen 8 score 389993 cov 391 BestSoFar Hashtable time 17778 gen 9 score 389993 cov 391 BestSoFar Hashtable time 19419 gen 10 score 390326 cov 391 BestSoFar Hashtable time 21751 gen 11 score 390326 cov 391 BestSoFar Hashtable time 23374 gen 12 score 392987 cov 394 BestSoFar Hashtable time 25237 gen 13 score 392987 cov 394 BestSoFar Hashtable time 27180 gen 14 score 399623 cov 401 BestSoFar Hashtable time 29356 gen 15 score 399623 cov 401 BestSoFar Hashtable time 31638 gen 16 score 399623 cov 401 BestSoFar Hashtable time 33784 gen 17 score 399623 cov 401 BestSoFar Hashtable time 35861 gen 18 score 402247 cov 403 BestSoFar Hashtable time 38005 gen 19 score 402247 cov 403 BestSoFar Hashtable time 40188 gen 20 score 402247 cov 403 BestSoFar Hashtable time 42918 gen 21 score 402247 cov 403 BestSoFar Hashtable time 45078 gen 22 score 402247 cov 403 BestSoFar Hashtable time 47272 gen 23 score 402247 cov 403 BestSoFar Hashtable time 49576 gen 24 score 402247 cov 403 BestSoFar Hashtable time 51897 gen 25 score 405716 cov 407 BestSoFar Hashtable time 54299 gen 26 score 405716 cov 407 BestSoFar Hashtable time 56732 gen 27 score 405716 cov 407 BestSoFar Hashtable time 59160 gen 28 score 405716 cov 407 BestSoFar Hashtable time 61552 gen 29 score 405716 cov 407 BestSoFar Hashtable time 64058 gen 30 score 405716 cov 407 BestSoFar Hashtable time 67332 gen 31 score 405716 cov 407 BestSoFar Hashtable time 70171 gen 32 score 405716 cov 407 BestSoFar Hashtable time 72970 gen 33 score 407925 cov 410 BestSoFar Hashtable time 75887 gen 34 score 409924 cov 412 BestSoFar Hashtable time 78799 gen 35 score 409924 cov 412 BestSoFar Hashtable time 81769 gen 36 score 409924 cov 412 BestSoFar Hashtable time 84784 gen 37 score 409924 cov 412 BestSoFar Hashtable time 87834 gen 38 score 409924 cov 412 BestSoFar Hashtable time 91165 gen 39 score 414257 cov 418 BestSoFar Hashtable time 94763 gen 40 score 414257 cov 418 BestSoFar Hashtable time 99194 gen 41 score 414257 cov 418 BestSoFar Hashtable time 103008 gen 42 score 414257 cov 418 BestSoFar Hashtable time 106999 gen 43 score 414257 cov 418 BestSoFar Hashtable time 110871 gen 44 score 414257 cov 418 BestSoFar Hashtable time 114795 gen 45 score 414257 cov 418 BestSoFar Hashtable time 118660 gen 46 score 414257 cov 418 BestSoFar Hashtable time 122624 gen 47 score 414257 cov 418 BestSoFar Hashtable time 126543 gen 48 score 414257 cov 418 BestSoFar Hashtable time 130488 gen 49 score 414257 cov 418 BestSoFar Hashtable time 134430 gen 50 score 414257 cov 418 BestSoFar IdentityHashMap time 3978 gen 1 score 358092 cov 359 BestSoFar IdentityHashMap time 6274 gen 2 score 369759 cov 371 BestSoFar IdentityHashMap time 8690 gen 3 score 369759 cov 371 BestSoFar IdentityHashMap time 11105 gen 4 score 381762 cov 383 BestSoFar IdentityHashMap time 13466 gen 5 score 381762 cov 383 BestSoFar IdentityHashMap time 15901 gen 6 score 381762 cov 383 BestSoFar IdentityHashMap time 18382 gen 7 score 398159 cov 400 BestSoFar IdentityHashMap time 20664 gen 8 score 398159 cov 400 BestSoFar IdentityHashMap time 23697 gen 9 score 398159 cov 400 BestSoFar IdentityHashMap time 26833 gen 10 score 398159 cov 400 BestSoFar IdentityHashMap time 30732 gen 11 score 398159 cov 400 BestSoFar IdentityHashMap time 34089 gen 12 score 398159 cov 400 BestSoFar IdentityHashMap time 37243 gen 13 score 405827 cov 408 BestSoFar IdentityHashMap time 40373 gen 14 score 405827 cov 408 BestSoFar IdentityHashMap time 43469 gen 15 score 405827 cov 408 BestSoFar IdentityHashMap time 46600 gen 16 score 405827 cov 408 BestSoFar IdentityHashMap time 49645 gen 17 score 405827 cov 408 BestSoFar IdentityHashMap time 52619 gen 18 score 409829 cov 412 BestSoFar IdentityHashMap time 55538 gen 19 score 409829 cov 412 BestSoFar IdentityHashMap time 58425 gen 20 score 409829 cov 412 BestSoFar IdentityHashMap time 61840 gen 21 score 409829 cov 412 BestSoFar IdentityHashMap time 64706 gen 22 score 409829 cov 412 BestSoFar IdentityHashMap time 67739 gen 23 score 409829 cov 412 BestSoFar IdentityHashMap time 71281 gen 24 score 409829 cov 412 BestSoFar IdentityHashMap time 74984 gen 25 score 409829 cov 412 BestSoFar IdentityHashMap time 78611 gen 26 score 409829 cov 412 BestSoFar IdentityHashMap time 82885 gen 27 score 409829 cov 412 BestSoFar IdentityHashMap time 87199 gen 28 score 409829 cov 412 BestSoFar IdentityHashMap time 91329 gen 29 score 409829 cov 412 BestSoFar IdentityHashMap time 95511 gen 30 score 409829 cov 412 BestSoFar IdentityHashMap time 102914 gen 31 score 409829 cov 412 BestSoFar IdentityHashMap time 107019 gen 32 score 409829 cov 412 BestSoFar IdentityHashMap time 111115 gen 33 score 409829 cov 412 BestSoFar IdentityHashMap time 115193 gen 34 score 409829 cov 412 BestSoFar IdentityHashMap time 119284 gen 35 score 409829 cov 412 BestSoFar IdentityHashMap time 123567 gen 36 score 409829 cov 412 BestSoFar IdentityHashMap time 127758 gen 37 score 409829 cov 412 BestSoFar IdentityHashMap time 131656 gen 38 score 409829 cov 412 BestSoFar IdentityHashMap time 135705 gen 39 score 409829 cov 412 BestSoFar IdentityHashMap time 139806 gen 40 score 409829 cov 412 BestSoFar IdentityHashMap time 144876 gen 41 score 410999 cov 413 BestSoFar IdentityHashMap time 149442 gen 42 score 412319 cov 415 BestSoFar IdentityHashMap time 154135 gen 43 score 412319 cov 415 BestSoFar IdentityHashMap time 158655 gen 44 score 412319 cov 415 BestSoFar IdentityHashMap time 162885 gen 45 score 412319 cov 415 BestSoFar IdentityHashMap time 167187 gen 46 score 412319 cov 415 BestSoFar IdentityHashMap time 171319 gen 47 score 412319 cov 415 BestSoFar IdentityHashMap time 175803 gen 48 score 412319 cov 415 BestSoFar IdentityHashMap time 180185 gen 49 score 412319 cov 415 BestSoFar IdentityHashMap time 184923 gen 50 score 412319 cov 415 BestSoFar LinkedHashMap time 2505 gen 1 score 249883 cov 250 BestSoFar LinkedHashMap time 3734 gen 2 score 273247 cov 274 BestSoFar LinkedHashMap time 5449 gen 3 score 280247 cov 281 BestSoFar LinkedHashMap time 7243 gen 4 score 280247 cov 281 BestSoFar LinkedHashMap time 9178 gen 5 score 282912 cov 285 BestSoFar LinkedHashMap time 10913 gen 6 score 284322 cov 285 BestSoFar LinkedHashMap time 12862 gen 7 score 284322 cov 285 BestSoFar LinkedHashMap time 14895 gen 8 score 285908 cov 288 BestSoFar LinkedHashMap time 16840 gen 9 score 285908 cov 288 BestSoFar LinkedHashMap time 18671 gen 10 score 285908 cov 288 BestSoFar LinkedHashMap time 20494 gen 11 score 285908 cov 288 BestSoFar LinkedHashMap time 22326 gen 12 score 292938 cov 295 BestSoFar LinkedHashMap time 24291 gen 13 score 292938 cov 295 BestSoFar LinkedHashMap time 26419 gen 14 score 292940 cov 295 BestSoFar LinkedHashMap time 28666 gen 15 score 292940 cov 295 BestSoFar LinkedHashMap time 31041 gen 16 score 292940 cov 295 BestSoFar LinkedHashMap time 33879 gen 17 score 292940 cov 295 BestSoFar LinkedHashMap time 36391 gen 18 score 292940 cov 295 BestSoFar LinkedHashMap time 39114 gen 19 score 293940 cov 296 BestSoFar LinkedHashMap time 42303 gen 20 score 293940 cov 296 BestSoFar LinkedHashMap time 45673 gen 21 score 293940 cov 296 BestSoFar LinkedHashMap time 48729 gen 22 score 293940 cov 296 BestSoFar LinkedHashMap time 51617 gen 23 score 293940 cov 296 BestSoFar LinkedHashMap time 54617 gen 24 score 293940 cov 296 BestSoFar LinkedHashMap time 57856 gen 25 score 293940 cov 296 BestSoFar LinkedHashMap time 61976 gen 26 score 293940 cov 296 BestSoFar LinkedHashMap time 66066 gen 27 score 295078 cov 298 BestSoFar LinkedHashMap time 70364 gen 28 score 295078 cov 298 BestSoFar LinkedHashMap time 74676 gen 29 score 295078 cov 298 BestSoFar LinkedHashMap time 79030 gen 30 score 295078 cov 298 BestSoFar LinkedHashMap time 83338 gen 31 score 295078 cov 298 BestSoFar LinkedHashMap time 87606 gen 32 score 295078 cov 298 BestSoFar LinkedHashMap time 91970 gen 33 score 295078 cov 298 BestSoFar LinkedHashMap time 96068 gen 34 score 295078 cov 298 BestSoFar LinkedHashMap time 100074 gen 35 score 295078 cov 298 BestSoFar LinkedHashMap time 104158 gen 36 score 295078 cov 298 BestSoFar LinkedHashMap time 107997 gen 37 score 295078 cov 298 BestSoFar LinkedHashMap time 111880 gen 38 score 295078 cov 298 BestSoFar LinkedHashMap time 116169 gen 39 score 295078 cov 298 BestSoFar LinkedHashMap time 120496 gen 40 score 295078 cov 298 BestSoFar LinkedHashMap time 124694 gen 41 score 295078 cov 298 BestSoFar LinkedHashMap time 128522 gen 42 score 295078 cov 298 BestSoFar LinkedHashMap time 132293 gen 43 score 295078 cov 298 BestSoFar LinkedHashMap time 135937 gen 44 score 295078 cov 298 BestSoFar LinkedHashMap time 139467 gen 45 score 295078 cov 298 BestSoFar LinkedHashMap time 142970 gen 46 score 295078 cov 298 BestSoFar LinkedHashMap time 146359 gen 47 score 295078 cov 298 BestSoFar LinkedHashMap time 150106 gen 48 score 295078 cov 298 BestSoFar LinkedHashMap time 153722 gen 49 score 295078 cov 298 BestSoFar LinkedHashMap time 157187 gen 50 score 295078 cov 298 BestSoFar LinkedHashSet time 2596 gen 1 score 264953 cov 266 BestSoFar LinkedHashSet time 4937 gen 2 score 264953 cov 266 BestSoFar LinkedHashSet time 7076 gen 3 score 264953 cov 266 BestSoFar LinkedHashSet time 8519 gen 4 score 264953 cov 266 BestSoFar LinkedHashSet time 9932 gen 5 score 268615 cov 269 BestSoFar LinkedHashSet time 11479 gen 6 score 268615 cov 269 BestSoFar LinkedHashSet time 13454 gen 7 score 268615 cov 269 BestSoFar LinkedHashSet time 15446 gen 8 score 268615 cov 269 BestSoFar LinkedHashSet time 17738 gen 9 score 268615 cov 269 BestSoFar LinkedHashSet time 20121 gen 10 score 268615 cov 269 BestSoFar LinkedHashSet time 22539 gen 11 score 268615 cov 269 BestSoFar LinkedHashSet time 24688 gen 12 score 268615 cov 269 BestSoFar LinkedHashSet time 26814 gen 13 score 268615 cov 269 BestSoFar LinkedHashSet time 28983 gen 14 score 268615 cov 269 BestSoFar LinkedHashSet time 31014 gen 15 score 268615 cov 269 BestSoFar LinkedHashSet time 33040 gen 16 score 268615 cov 269 BestSoFar LinkedHashSet time 35037 gen 17 score 268615 cov 269 BestSoFar LinkedHashSet time 36924 gen 18 score 268615 cov 269 BestSoFar LinkedHashSet time 38920 gen 19 score 268615 cov 269 BestSoFar LinkedHashSet time 41105 gen 20 score 268615 cov 269 BestSoFar LinkedHashSet time 43396 gen 21 score 268615 cov 269 BestSoFar LinkedHashSet time 45406 gen 22 score 268615 cov 269 BestSoFar LinkedHashSet time 47389 gen 23 score 268615 cov 269 BestSoFar LinkedHashSet time 49338 gen 24 score 268615 cov 269 BestSoFar LinkedHashSet time 51253 gen 25 score 268615 cov 269 BestSoFar LinkedHashSet time 53226 gen 26 score 268615 cov 269 BestSoFar LinkedHashSet time 55266 gen 27 score 268615 cov 269 BestSoFar LinkedHashSet time 57418 gen 28 score 268615 cov 269 BestSoFar LinkedHashSet time 59546 gen 29 score 268615 cov 269 BestSoFar LinkedHashSet time 61835 gen 30 score 268615 cov 269 BestSoFar LinkedHashSet time 64216 gen 31 score 268615 cov 269 BestSoFar LinkedHashSet time 66462 gen 32 score 268615 cov 269 BestSoFar LinkedHashSet time 68748 gen 33 score 268615 cov 269 BestSoFar LinkedHashSet time 71203 gen 34 score 268615 cov 269 BestSoFar LinkedHashSet time 73631 gen 35 score 268615 cov 269 BestSoFar LinkedHashSet time 76045 gen 36 score 268615 cov 269 BestSoFar LinkedHashSet time 78444 gen 37 score 268615 cov 269 BestSoFar LinkedHashSet time 80803 gen 38 score 268615 cov 269 BestSoFar LinkedHashSet time 83180 gen 39 score 268615 cov 269 BestSoFar LinkedHashSet time 85555 gen 40 score 268615 cov 269 BestSoFar LinkedHashSet time 88172 gen 41 score 268615 cov 269 BestSoFar LinkedHashSet time 90428 gen 42 score 268615 cov 269 BestSoFar LinkedHashSet time 92836 gen 43 score 268615 cov 269 BestSoFar LinkedHashSet time 95466 gen 44 score 268615 cov 269 BestSoFar LinkedHashSet time 98108 gen 45 score 268615 cov 269 BestSoFar LinkedHashSet time 100706 gen 46 score 268615 cov 269 BestSoFar LinkedHashSet time 103516 gen 47 score 268615 cov 269 BestSoFar LinkedHashSet time 106354 gen 48 score 268615 cov 269 BestSoFar LinkedHashSet time 109292 gen 49 score 268615 cov 269 BestSoFar LinkedHashSet time 112118 gen 50 score 268615 cov 269 BestSoFar LinkedList time 3048 gen 1 score 237368 cov 237 BestSoFar LinkedList time 4454 gen 2 score 237368 cov 237 BestSoFar LinkedList time 5612 gen 3 score 258816 cov 259 BestSoFar LinkedList time 7053 gen 4 score 259597 cov 260 BestSoFar LinkedList time 9268 gen 5 score 260597 cov 262 BestSoFar LinkedList time 11523 gen 6 score 262756 cov 264 BestSoFar LinkedList time 13623 gen 7 score 262756 cov 264 BestSoFar LinkedList time 15884 gen 8 score 264423 cov 266 BestSoFar LinkedList time 18222 gen 9 score 265088 cov 266 BestSoFar LinkedList time 20447 gen 10 score 265089 cov 266 BestSoFar LinkedList time 23066 gen 11 score 265089 cov 266 BestSoFar LinkedList time 25237 gen 12 score 265089 cov 266 BestSoFar LinkedList time 27535 gen 13 score 265089 cov 266 BestSoFar LinkedList time 29966 gen 14 score 265089 cov 266 BestSoFar LinkedList time 32419 gen 15 score 266078 cov 267 BestSoFar LinkedList time 34752 gen 16 score 268310 cov 270 BestSoFar LinkedList time 37238 gen 17 score 268310 cov 270 BestSoFar LinkedList time 39653 gen 18 score 268310 cov 270 BestSoFar LinkedList time 42061 gen 19 score 268310 cov 270 BestSoFar LinkedList time 44446 gen 20 score 269311 cov 271 BestSoFar LinkedList time 47178 gen 21 score 269311 cov 271 BestSoFar LinkedList time 49551 gen 22 score 269311 cov 271 BestSoFar LinkedList time 51907 gen 23 score 269643 cov 271 BestSoFar LinkedList time 54202 gen 24 score 269643 cov 271 BestSoFar LinkedList time 56581 gen 25 score 269643 cov 271 BestSoFar LinkedList time 59372 gen 26 score 269643 cov 271 BestSoFar LinkedList time 62467 gen 27 score 269643 cov 271 BestSoFar LinkedList time 65961 gen 28 score 269643 cov 271 BestSoFar LinkedList time 69374 gen 29 score 269643 cov 271 BestSoFar LinkedList time 72951 gen 30 score 270398 cov 273 BestSoFar LinkedList time 76933 gen 31 score 270398 cov 273 BestSoFar LinkedList time 80360 gen 32 score 270398 cov 273 BestSoFar LinkedList time 83768 gen 33 score 270398 cov 273 BestSoFar LinkedList time 87227 gen 34 score 270400 cov 273 BestSoFar LinkedList time 90719 gen 35 score 270400 cov 273 BestSoFar LinkedList time 94167 gen 36 score 270400 cov 273 BestSoFar LinkedList time 97629 gen 37 score 270400 cov 273 BestSoFar LinkedList time 101137 gen 38 score 270400 cov 273 BestSoFar LinkedList time 104579 gen 39 score 270400 cov 273 BestSoFar LinkedList time 108053 gen 40 score 270400 cov 273 BestSoFar LinkedList time 111965 gen 41 score 270400 cov 273 BestSoFar LinkedList time 115645 gen 42 score 270400 cov 273 BestSoFar LinkedList time 119119 gen 43 score 270400 cov 273 BestSoFar LinkedList time 122540 gen 44 score 270400 cov 273 BestSoFar LinkedList time 126134 gen 45 score 270400 cov 273 BestSoFar LinkedList time 129549 gen 46 score 270400 cov 273 BestSoFar LinkedList time 133026 gen 47 score 270400 cov 273 BestSoFar LinkedList time 136382 gen 48 score 270400 cov 273 BestSoFar LinkedList time 139863 gen 49 score 270400 cov 273 BestSoFar LinkedList time 143380 gen 50 score 270400 cov 273 BestSoFar PriorityQueue time 2872 gen 1 score 179368 cov 179 BestSoFar PriorityQueue time 4014 gen 2 score 179368 cov 179 BestSoFar PriorityQueue time 5353 gen 3 score 196188 cov 197 BestSoFar PriorityQueue time 7273 gen 4 score 198529 cov 199 BestSoFar PriorityQueue time 9026 gen 5 score 207196 cov 208 BestSoFar PriorityQueue time 10778 gen 6 score 212527 cov 213 BestSoFar PriorityQueue time 12462 gen 7 score 212527 cov 213 BestSoFar PriorityQueue time 14070 gen 8 score 212527 cov 213 BestSoFar PriorityQueue time 15649 gen 9 score 212527 cov 213 BestSoFar PriorityQueue time 17222 gen 10 score 212527 cov 213 BestSoFar PriorityQueue time 19249 gen 11 score 212527 cov 213 BestSoFar PriorityQueue time 20871 gen 12 score 212527 cov 213 BestSoFar PriorityQueue time 22558 gen 13 score 212527 cov 213 BestSoFar PriorityQueue time 24448 gen 14 score 212527 cov 213 BestSoFar PriorityQueue time 26680 gen 15 score 225649 cov 227 BestSoFar PriorityQueue time 29040 gen 16 score 225649 cov 227 BestSoFar PriorityQueue time 31447 gen 17 score 225649 cov 227 BestSoFar PriorityQueue time 33784 gen 18 score 225649 cov 227 BestSoFar PriorityQueue time 36372 gen 19 score 225649 cov 227 BestSoFar PriorityQueue time 38781 gen 20 score 225649 cov 227 BestSoFar PriorityQueue time 41657 gen 21 score 225649 cov 227 BestSoFar PriorityQueue time 44086 gen 22 score 225649 cov 227 BestSoFar PriorityQueue time 46520 gen 23 score 225649 cov 227 BestSoFar PriorityQueue time 48952 gen 24 score 225649 cov 227 BestSoFar PriorityQueue time 51368 gen 25 score 225649 cov 227 BestSoFar PriorityQueue time 53880 gen 26 score 225649 cov 227 BestSoFar PriorityQueue time 56420 gen 27 score 225649 cov 227 BestSoFar PriorityQueue time 58998 gen 28 score 225649 cov 227 BestSoFar PriorityQueue time 61601 gen 29 score 225649 cov 227 BestSoFar PriorityQueue time 64149 gen 30 score 225649 cov 227 BestSoFar PriorityQueue time 67220 gen 31 score 228945 cov 231 BestSoFar PriorityQueue time 69848 gen 32 score 228945 cov 231 BestSoFar PriorityQueue time 72647 gen 33 score 228945 cov 231 BestSoFar PriorityQueue time 75323 gen 34 score 231940 cov 234 BestSoFar PriorityQueue time 78205 gen 35 score 231940 cov 234 BestSoFar PriorityQueue time 80965 gen 36 score 231940 cov 234 BestSoFar PriorityQueue time 83811 gen 37 score 231940 cov 234 BestSoFar PriorityQueue time 86406 gen 38 score 231940 cov 234 BestSoFar PriorityQueue time 88814 gen 39 score 231940 cov 234 BestSoFar PriorityQueue time 91347 gen 40 score 231940 cov 234 BestSoFar PriorityQueue time 94387 gen 41 score 231940 cov 234 BestSoFar PriorityQueue time 97210 gen 42 score 231940 cov 234 BestSoFar PriorityQueue time 99962 gen 43 score 231940 cov 234 BestSoFar PriorityQueue time 102727 gen 44 score 231940 cov 234 BestSoFar PriorityQueue time 105326 gen 45 score 231940 cov 234 BestSoFar PriorityQueue time 108136 gen 46 score 231940 cov 234 BestSoFar PriorityQueue time 111113 gen 47 score 231940 cov 234 BestSoFar PriorityQueue time 113864 gen 48 score 231940 cov 234 BestSoFar PriorityQueue time 116781 gen 49 score 231940 cov 234 BestSoFar PriorityQueue time 119548 gen 50 score 231940 cov 234 BestSoFar Properties time 8429 gen 1 score 297508 cov 298 BestSoFar Properties time 16138 gen 2 score 297842 cov 299 BestSoFar Properties time 38879 gen 3 score 297842 cov 299 BestSoFar Properties time 59752 gen 4 score 297842 cov 299 BestSoFar Properties time 81161 gen 5 score 297845 cov 299 BestSoFar Properties time 104969 gen 6 score 297845 cov 299 BestSoFar Properties time 125118 gen 7 score 297845 cov 299 BestSoFar Properties time 149200 gen 8 score 297845 cov 299 BestSoFar Properties time 167753 gen 9 score 297845 cov 299 BestSoFar Properties time 185769 gen 10 score 297845 cov 299 BestSoFar Properties time 212650 gen 11 score 297845 cov 299 BestSoFar Properties time 227566 gen 12 score 297845 cov 299 BestSoFar Properties time 241683 gen 13 score 297845 cov 299 BestSoFar Properties time 253126 gen 14 score 297845 cov 299 BestSoFar Properties time 262318 gen 15 score 297845 cov 299 BestSoFar Properties time 274410 gen 16 score 297845 cov 299 BestSoFar Properties time 280935 gen 17 score 297845 cov 299 BestSoFar Properties time 290311 gen 18 score 297845 cov 299 BestSoFar Properties time 299244 gen 19 score 297845 cov 299 BestSoFar Properties time 312073 gen 20 score 297845 cov 299 BestSoFar Properties time 324310 gen 21 score 297845 cov 299 BestSoFar Properties time 339042 gen 22 score 297845 cov 299 BestSoFar Properties time 347624 gen 23 score 297845 cov 299 BestSoFar Properties time 358525 gen 24 score 297845 cov 299 BestSoFar Properties time 376154 gen 25 score 297845 cov 299 BestSoFar Properties time 397621 gen 26 score 297845 cov 299 BestSoFar Properties time 419019 gen 27 score 297845 cov 299 BestSoFar Properties time 436817 gen 28 score 297845 cov 299 BestSoFar Properties time 451025 gen 29 score 297845 cov 299 BestSoFar Properties time 460777 gen 30 score 297845 cov 299 BestSoFar Properties time 474004 gen 31 score 297845 cov 299 BestSoFar Properties time 485291 gen 32 score 297845 cov 299 BestSoFar Properties time 499266 gen 33 score 297845 cov 299 BestSoFar Properties time 516228 gen 34 score 297845 cov 299 BestSoFar Properties time 527607 gen 35 score 297845 cov 299 BestSoFar Properties time 538966 gen 36 score 297845 cov 299 BestSoFar Properties time 552218 gen 37 score 297845 cov 299 BestSoFar Properties time 567018 gen 38 score 297845 cov 299 BestSoFar Properties time 583495 gen 39 score 297845 cov 299 BestSoFar Properties time 595650 gen 40 score 297845 cov 299 BestSoFar Properties time 607740 gen 41 score 297845 cov 299 BestSoFar Properties time 622935 gen 42 score 297845 cov 299 BestSoFar Properties time 632998 gen 43 score 297845 cov 299 BestSoFar Properties time 644800 gen 44 score 297845 cov 299 BestSoFar Properties time 654554 gen 45 score 297845 cov 299 BestSoFar Properties time 670832 gen 46 score 297845 cov 299 BestSoFar Properties time 691574 gen 47 score 297845 cov 299 BestSoFar Properties time 713186 gen 48 score 297845 cov 299 BestSoFar Properties time 737474 gen 49 score 297845 cov 299 BestSoFar Properties time 752145 gen 50 score 297845 cov 299 BestSoFar Stack time 1483 gen 1 score 77276 cov 77 BestSoFar Stack time 2197 gen 2 score 82341 cov 82 BestSoFar Stack time 3298 gen 3 score 86006 cov 86 BestSoFar Stack time 4411 gen 4 score 86006 cov 86 BestSoFar Stack time 5171 gen 5 score 86006 cov 86 BestSoFar Stack time 5954 gen 6 score 86272 cov 87 BestSoFar Stack time 6913 gen 7 score 86272 cov 87 BestSoFar Stack time 7885 gen 8 score 86274 cov 87 BestSoFar Stack time 8862 gen 9 score 86274 cov 87 BestSoFar Stack time 9863 gen 10 score 86274 cov 87 BestSoFar Stack time 10840 gen 11 score 86274 cov 87 BestSoFar Stack time 11877 gen 12 score 86274 cov 87 BestSoFar Stack time 12837 gen 13 score 86274 cov 87 BestSoFar Stack time 13770 gen 14 score 86274 cov 87 BestSoFar Stack time 14503 gen 15 score 86274 cov 87 BestSoFar Stack time 15352 gen 16 score 86274 cov 87 BestSoFar Stack time 16122 gen 17 score 86454 cov 87 BestSoFar Stack time 16795 gen 18 score 86454 cov 87 BestSoFar Stack time 17546 gen 19 score 86454 cov 87 BestSoFar Stack time 18289 gen 20 score 86454 cov 87 BestSoFar Stack time 19060 gen 21 score 86454 cov 87 BestSoFar Stack time 19827 gen 22 score 86454 cov 87 BestSoFar Stack time 20559 gen 23 score 86454 cov 87 BestSoFar Stack time 21246 gen 24 score 86454 cov 87 BestSoFar Stack time 21919 gen 25 score 86455 cov 87 BestSoFar Stack time 22593 gen 26 score 86455 cov 87 BestSoFar Stack time 23261 gen 27 score 86455 cov 87 BestSoFar Stack time 23931 gen 28 score 86455 cov 87 BestSoFar Stack time 24645 gen 29 score 86455 cov 87 BestSoFar Stack time 25454 gen 30 score 86455 cov 87 BestSoFar Stack time 26216 gen 31 score 86455 cov 87 BestSoFar Stack time 26961 gen 32 score 86455 cov 87 BestSoFar Stack time 27735 gen 33 score 86455 cov 87 BestSoFar Stack time 28488 gen 34 score 86455 cov 87 BestSoFar Stack time 29258 gen 35 score 86455 cov 87 BestSoFar Stack time 29978 gen 36 score 86455 cov 87 BestSoFar Stack time 30731 gen 37 score 86455 cov 87 BestSoFar Stack time 31509 gen 38 score 86457 cov 87 BestSoFar Stack time 32241 gen 39 score 86457 cov 87 BestSoFar Stack time 33016 gen 40 score 86457 cov 87 BestSoFar Stack time 33831 gen 41 score 86457 cov 87 BestSoFar Stack time 34615 gen 42 score 86457 cov 87 BestSoFar Stack time 35396 gen 43 score 86457 cov 87 BestSoFar Stack time 36128 gen 44 score 86457 cov 87 BestSoFar Stack time 36880 gen 45 score 86457 cov 87 BestSoFar Stack time 37742 gen 46 score 86457 cov 87 BestSoFar Stack time 38553 gen 47 score 86457 cov 87 BestSoFar Stack time 39295 gen 48 score 86457 cov 87 BestSoFar Stack time 40028 gen 49 score 86457 cov 87 BestSoFar Stack time 40770 gen 50 score 86457 cov 87 BestSoFar TreeMap time 3627 gen 1 score 412258 cov 412 BestSoFar TreeMap time 4896 gen 2 score 431592 cov 432 BestSoFar TreeMap time 6097 gen 3 score 431592 cov 432 BestSoFar TreeMap time 7216 gen 4 score 431592 cov 432 BestSoFar TreeMap time 8380 gen 5 score 436261 cov 436 BestSoFar TreeMap time 9586 gen 6 score 476596 cov 477 BestSoFar TreeMap time 10835 gen 7 score 498596 cov 499 BestSoFar TreeMap time 12327 gen 8 score 559387 cov 560 BestSoFar TreeMap time 14518 gen 9 score 572335 cov 573 BestSoFar TreeMap time 17008 gen 10 score 572335 cov 573 BestSoFar TreeMap time 20376 gen 11 score 587154 cov 589 BestSoFar TreeMap time 22930 gen 12 score 587154 cov 589 BestSoFar TreeMap time 25610 gen 13 score 587154 cov 589 BestSoFar TreeMap time 28462 gen 14 score 587154 cov 589 BestSoFar TreeMap time 31509 gen 15 score 606148 cov 608 BestSoFar TreeMap time 34805 gen 16 score 610023 cov 612 BestSoFar TreeMap time 38414 gen 17 score 610023 cov 612 BestSoFar TreeMap time 42343 gen 18 score 629534 cov 632 BestSoFar TreeMap time 46626 gen 19 score 629534 cov 632 BestSoFar TreeMap time 51198 gen 20 score 629534 cov 632 BestSoFar TreeMap time 56639 gen 21 score 629534 cov 632 BestSoFar TreeMap time 61986 gen 22 score 629534 cov 632 BestSoFar TreeMap time 67181 gen 23 score 632571 cov 636 BestSoFar TreeMap time 72629 gen 24 score 657239 cov 661 BestSoFar TreeMap time 78109 gen 25 score 657239 cov 661 BestSoFar TreeMap time 83815 gen 26 score 657239 cov 661 BestSoFar TreeMap time 90051 gen 27 score 657239 cov 661 BestSoFar TreeMap time 95977 gen 28 score 657239 cov 661 BestSoFar TreeMap time 102300 gen 29 score 657239 cov 661 BestSoFar TreeMap time 108292 gen 30 score 662912 cov 666 BestSoFar TreeMap time 115117 gen 31 score 662912 cov 666 BestSoFar TreeMap time 121088 gen 32 score 662912 cov 666 BestSoFar TreeMap time 127504 gen 33 score 666517 cov 670 BestSoFar TreeMap time 133618 gen 34 score 666517 cov 670 BestSoFar TreeMap time 139930 gen 35 score 666517 cov 670 BestSoFar TreeMap time 146098 gen 36 score 666517 cov 670 BestSoFar TreeMap time 152303 gen 37 score 666517 cov 670 BestSoFar TreeMap time 158438 gen 38 score 666517 cov 670 BestSoFar TreeMap time 165096 gen 39 score 666517 cov 670 BestSoFar TreeMap time 171596 gen 40 score 666517 cov 670 BestSoFar TreeMap time 179396 gen 41 score 666517 cov 670 BestSoFar TreeMap time 186606 gen 42 score 669851 cov 674 BestSoFar TreeMap time 193253 gen 43 score 669851 cov 674 BestSoFar TreeMap time 200447 gen 44 score 669851 cov 674 BestSoFar TreeMap time 207773 gen 45 score 669851 cov 674 BestSoFar TreeMap time 215189 gen 46 score 669851 cov 674 BestSoFar TreeMap time 222308 gen 47 score 669851 cov 674 BestSoFar TreeMap time 230029 gen 48 score 669851 cov 674 BestSoFar TreeMap time 237602 gen 49 score 669851 cov 674 BestSoFar TreeMap time 244789 gen 50 score 669851 cov 674 BestSoFar TreeSet time 2945 gen 1 score 439403 cov 439 BestSoFar TreeSet time 5011 gen 2 score 456311 cov 457 BestSoFar TreeSet time 6789 gen 3 score 533236 cov 534 BestSoFar TreeSet time 8759 gen 4 score 542877 cov 544 BestSoFar TreeSet time 11148 gen 5 score 556072 cov 557 BestSoFar TreeSet time 13848 gen 6 score 563549 cov 565 BestSoFar TreeSet time 16401 gen 7 score 563549 cov 565 BestSoFar TreeSet time 18899 gen 8 score 563549 cov 565 BestSoFar TreeSet time 21493 gen 9 score 575213 cov 576 BestSoFar TreeSet time 24362 gen 10 score 575213 cov 576 BestSoFar TreeSet time 27904 gen 11 score 575213 cov 576 BestSoFar TreeSet time 31101 gen 12 score 575213 cov 576 BestSoFar TreeSet time 34505 gen 13 score 575213 cov 576 BestSoFar TreeSet time 37915 gen 14 score 575213 cov 576 BestSoFar TreeSet time 41581 gen 15 score 575213 cov 576 BestSoFar TreeSet time 45124 gen 16 score 577081 cov 579 BestSoFar TreeSet time 48737 gen 17 score 577081 cov 579 BestSoFar TreeSet time 52545 gen 18 score 579605 cov 582 BestSoFar TreeSet time 56249 gen 19 score 579605 cov 582 BestSoFar TreeSet time 59913 gen 20 score 580274 cov 582 BestSoFar TreeSet time 64009 gen 21 score 580274 cov 582 BestSoFar TreeSet time 67723 gen 22 score 580274 cov 582 BestSoFar TreeSet time 71332 gen 23 score 580274 cov 582 BestSoFar TreeSet time 74924 gen 24 score 580274 cov 582 BestSoFar TreeSet time 78686 gen 25 score 580274 cov 582 BestSoFar TreeSet time 82442 gen 26 score 580274 cov 582 BestSoFar TreeSet time 86126 gen 27 score 582271 cov 584 BestSoFar TreeSet time 89853 gen 28 score 582271 cov 584 BestSoFar TreeSet time 93624 gen 29 score 582271 cov 584 BestSoFar TreeSet time 97346 gen 30 score 582271 cov 584 BestSoFar TreeSet time 101530 gen 31 score 582271 cov 584 BestSoFar TreeSet time 105220 gen 32 score 582271 cov 584 BestSoFar TreeSet time 109035 gen 33 score 582271 cov 584 BestSoFar TreeSet time 113045 gen 34 score 582271 cov 584 BestSoFar TreeSet time 117052 gen 35 score 582271 cov 584 BestSoFar TreeSet time 120699 gen 36 score 582271 cov 584 BestSoFar TreeSet time 124340 gen 37 score 582271 cov 584 BestSoFar TreeSet time 127968 gen 38 score 586607 cov 589 BestSoFar TreeSet time 131737 gen 39 score 586607 cov 589 BestSoFar TreeSet time 135728 gen 40 score 586607 cov 589 BestSoFar TreeSet time 140066 gen 41 score 586607 cov 589 BestSoFar TreeSet time 144261 gen 42 score 586607 cov 589 BestSoFar TreeSet time 148209 gen 43 score 586607 cov 589 BestSoFar TreeSet time 152359 gen 44 score 586607 cov 589 BestSoFar TreeSet time 156476 gen 45 score 586607 cov 589 BestSoFar TreeSet time 160806 gen 46 score 586607 cov 589 BestSoFar TreeSet time 165274 gen 47 score 586607 cov 589 BestSoFar TreeSet time 169929 gen 48 score 586607 cov 589 BestSoFar TreeSet time 174534 gen 49 score 586607 cov 589 BestSoFar TreeSet time 179329 gen 50 score 587088 cov 590 BestSoFar Vector time 4812 gen 1 score 344860 cov 345 BestSoFar Vector time 6614 gen 2 score 344860 cov 345 BestSoFar Vector time 8447 gen 3 score 344860 cov 345 BestSoFar Vector time 10439 gen 4 score 360445 cov 361 BestSoFar Vector time 13175 gen 5 score 380766 cov 382 BestSoFar Vector time 16015 gen 6 score 395763 cov 397 BestSoFar Vector time 19138 gen 7 score 398420 cov 400 BestSoFar Vector time 22684 gen 8 score 401097 cov 403 BestSoFar Vector time 25925 gen 9 score 401097 cov 403 BestSoFar Vector time 29121 gen 10 score 421762 cov 423 BestSoFar Vector time 33331 gen 11 score 421762 cov 423 BestSoFar Vector time 36403 gen 12 score 426428 cov 428 BestSoFar Vector time 39577 gen 13 score 426428 cov 428 BestSoFar Vector time 42730 gen 14 score 426428 cov 428 BestSoFar Vector time 46070 gen 15 score 426428 cov 428 BestSoFar Vector time 49550 gen 16 score 435800 cov 438 BestSoFar Vector time 52773 gen 17 score 435800 cov 438 BestSoFar Vector time 56022 gen 18 score 435800 cov 438 BestSoFar Vector time 59955 gen 19 score 440463 cov 443 BestSoFar Vector time 64287 gen 20 score 440463 cov 443 BestSoFar Vector time 69524 gen 21 score 440463 cov 443 BestSoFar Vector time 73714 gen 22 score 440463 cov 443 BestSoFar Vector time 77891 gen 23 score 440463 cov 443 BestSoFar Vector time 81968 gen 24 score 440797 cov 443 BestSoFar Vector time 86062 gen 25 score 444794 cov 447 BestSoFar Vector time 90060 gen 26 score 444794 cov 447 BestSoFar Vector time 94241 gen 27 score 444794 cov 447 BestSoFar Vector time 98591 gen 28 score 444794 cov 447 BestSoFar Vector time 102874 gen 29 score 445123 cov 448 BestSoFar Vector time 107092 gen 30 score 445123 cov 448 BestSoFar Vector time 112310 gen 31 score 445136 cov 447 BestSoFar Vector time 116353 gen 32 score 449790 cov 452 BestSoFar Vector time 120638 gen 33 score 456189 cov 459 BestSoFar Vector time 124578 gen 34 score 456189 cov 459 BestSoFar Vector time 128891 gen 35 score 456189 cov 459 BestSoFar Vector time 133562 gen 36 score 456189 cov 459 BestSoFar Vector time 138125 gen 37 score 456189 cov 459 BestSoFar Vector time 142723 gen 38 score 456189 cov 459 BestSoFar Vector time 149720 gen 39 score 456189 cov 459 BestSoFar Vector time 155443 gen 40 score 456189 cov 459 BestSoFar Vector time 161258 gen 41 score 456189 cov 459 BestSoFar Vector time 166053 gen 42 score 456189 cov 459 BestSoFar Vector time 170964 gen 43 score 456189 cov 459 BestSoFar Vector time 176048 gen 44 score 456189 cov 459 BestSoFar Vector time 181060 gen 45 score 456189 cov 459 BestSoFar Vector time 185763 gen 46 score 456189 cov 459 BestSoFar Vector time 190874 gen 47 score 456189 cov 459 BestSoFar Vector time 195345 gen 48 score 456189 cov 459 BestSoFar Vector time 199683 gen 49 score 456189 cov 459 BestSoFar Vector time 204141 gen 50 score 456189 cov 459 BestSoFar WeakHashMap time 3662 gen 1 score 359038 cov 360 BestSoFar WeakHashMap time 6452 gen 2 score 370371 cov 371 BestSoFar WeakHashMap time 8777 gen 3 score 375707 cov 377 BestSoFar WeakHashMap time 11173 gen 4 score 381709 cov 383 BestSoFar WeakHashMap time 13341 gen 5 score 381709 cov 383 BestSoFar WeakHashMap time 15402 gen 6 score 383709 cov 385 BestSoFar WeakHashMap time 17454 gen 7 score 383709 cov 385 BestSoFar WeakHashMap time 19524 gen 8 score 383709 cov 385 BestSoFar WeakHashMap time 21902 gen 9 score 383709 cov 385 BestSoFar WeakHashMap time 24390 gen 10 score 383709 cov 385 BestSoFar WeakHashMap time 27661 gen 11 score 390849 cov 392 BestSoFar WeakHashMap time 30415 gen 12 score 390849 cov 392 BestSoFar WeakHashMap time 33280 gen 13 score 395262 cov 397 BestSoFar WeakHashMap time 36001 gen 14 score 395262 cov 397 BestSoFar WeakHashMap time 38970 gen 15 score 395262 cov 397 BestSoFar WeakHashMap time 41914 gen 16 score 395262 cov 397 BestSoFar WeakHashMap time 44551 gen 17 score 395262 cov 397 BestSoFar WeakHashMap time 47076 gen 18 score 395262 cov 397 BestSoFar WeakHashMap time 49672 gen 19 score 395262 cov 397 BestSoFar WeakHashMap time 52340 gen 20 score 395262 cov 397 BestSoFar WeakHashMap time 55585 gen 21 score 395262 cov 397 BestSoFar WeakHashMap time 58238 gen 22 score 395262 cov 397 BestSoFar WeakHashMap time 60927 gen 23 score 395262 cov 397 BestSoFar WeakHashMap time 63617 gen 24 score 398790 cov 401 BestSoFar WeakHashMap time 66270 gen 25 score 398790 cov 401 BestSoFar WeakHashMap time 68921 gen 26 score 398790 cov 401 BestSoFar WeakHashMap time 71619 gen 27 score 406707 cov 409 BestSoFar WeakHashMap time 74472 gen 28 score 406707 cov 409 BestSoFar WeakHashMap time 77675 gen 29 score 406707 cov 409 BestSoFar WeakHashMap time 80899 gen 30 score 408036 cov 410 BestSoFar WeakHashMap time 84924 gen 31 score 408036 cov 410 BestSoFar WeakHashMap time 88049 gen 32 score 408036 cov 410 BestSoFar WeakHashMap time 91545 gen 33 score 408036 cov 410 BestSoFar WeakHashMap time 95269 gen 34 score 408036 cov 410 BestSoFar WeakHashMap time 98799 gen 35 score 408370 cov 411 BestSoFar WeakHashMap time 102706 gen 36 score 408370 cov 411 BestSoFar WeakHashMap time 106285 gen 37 score 412370 cov 415 BestSoFar WeakHashMap time 109992 gen 38 score 414036 cov 416 BestSoFar WeakHashMap time 113488 gen 39 score 414036 cov 416 BestSoFar WeakHashMap time 117241 gen 40 score 414861 cov 418 BestSoFar WeakHashMap time 121955 gen 41 score 414861 cov 418 BestSoFar WeakHashMap time 126298 gen 42 score 414861 cov 418 BestSoFar WeakHashMap time 130278 gen 43 score 414861 cov 418 BestSoFar WeakHashMap time 134476 gen 44 score 414861 cov 418 BestSoFar WeakHashMap time 138453 gen 45 score 414861 cov 418 BestSoFar WeakHashMap time 142692 gen 46 score 414861 cov 418 BestSoFar WeakHashMap time 146920 gen 47 score 414861 cov 418 BestSoFar WeakHashMap time 151452 gen 48 score 415528 cov 419 BestSoFar WeakHashMap time 156015 gen 49 score 415528 cov 419 BestSoFar WeakHashMap time 160559 gen 50 score 415528 cov 419