Fri Jul 3 19:56:14 EDT 2009 BestSoFar ArrayList time 5086 gen 1 score 202892 cov 205 BestSoFar ArrayList time 8170 gen 2 score 202892 cov 205 BestSoFar ArrayList time 10993 gen 3 score 203225 cov 205 BestSoFar ArrayList time 13897 gen 4 score 203225 cov 205 BestSoFar ArrayList time 16681 gen 5 score 203225 cov 205 BestSoFar ArrayList time 19352 gen 6 score 203507 cov 206 BestSoFar ArrayList time 22203 gen 7 score 203840 cov 206 BestSoFar ArrayList time 25125 gen 8 score 204839 cov 207 BestSoFar ArrayList time 28002 gen 9 score 204839 cov 207 BestSoFar ArrayList time 30981 gen 10 score 204839 cov 207 BestSoFar ArrayList time 34893 gen 11 score 204839 cov 207 BestSoFar ArrayList time 37862 gen 12 score 204839 cov 207 BestSoFar ArrayList time 40774 gen 13 score 205511 cov 208 BestSoFar ArrayList time 43642 gen 14 score 205511 cov 208 BestSoFar ArrayList time 46471 gen 15 score 205787 cov 208 BestSoFar ArrayList time 49215 gen 16 score 206454 cov 209 BestSoFar ArrayList time 52036 gen 17 score 206454 cov 209 BestSoFar ArrayList time 54917 gen 18 score 206785 cov 209 BestSoFar ArrayList time 57772 gen 19 score 206785 cov 209 BestSoFar ArrayList time 60483 gen 20 score 206785 cov 209 BestSoFar ArrayList time 63477 gen 21 score 206785 cov 209 BestSoFar ArrayList time 66187 gen 22 score 207114 cov 209 BestSoFar ArrayList time 69002 gen 23 score 207114 cov 209 BestSoFar ArrayList time 71720 gen 24 score 207114 cov 209 BestSoFar ArrayList time 74363 gen 25 score 207114 cov 209 BestSoFar ArrayList time 77035 gen 26 score 207114 cov 209 BestSoFar ArrayList time 79671 gen 27 score 207114 cov 209 BestSoFar ArrayList time 82280 gen 28 score 207114 cov 209 BestSoFar ArrayList time 84935 gen 29 score 207114 cov 209 BestSoFar ArrayList time 87674 gen 30 score 207114 cov 209 BestSoFar ArrayList time 90986 gen 31 score 207114 cov 209 BestSoFar ArrayList time 93970 gen 32 score 207114 cov 209 BestSoFar ArrayList time 97030 gen 33 score 207114 cov 209 BestSoFar ArrayList time 100137 gen 34 score 207114 cov 209 BestSoFar ArrayList time 103240 gen 35 score 207114 cov 209 BestSoFar ArrayList time 106401 gen 36 score 207114 cov 209 BestSoFar ArrayList time 109517 gen 37 score 207114 cov 209 BestSoFar ArrayList time 112570 gen 38 score 207114 cov 209 BestSoFar ArrayList time 115562 gen 39 score 207114 cov 209 BestSoFar ArrayList time 118601 gen 40 score 207114 cov 209 BestSoFar ArrayList time 121932 gen 41 score 207114 cov 209 BestSoFar ArrayList time 125020 gen 42 score 207114 cov 209 BestSoFar ArrayList time 128224 gen 43 score 207114 cov 209 BestSoFar ArrayList time 131425 gen 44 score 207114 cov 209 BestSoFar ArrayList time 134479 gen 45 score 207114 cov 209 BestSoFar ArrayList time 143316 gen 46 score 207114 cov 209 BestSoFar ArrayList time 149741 gen 47 score 207114 cov 209 BestSoFar ArrayList time 153917 gen 48 score 207114 cov 209 BestSoFar ArrayList time 174070 gen 49 score 207114 cov 209 BestSoFar ArrayList time 184186 gen 50 score 207114 cov 209 BestSoFar EnumMap time 17210 gen 1 score 13648 cov 14 BestSoFar EnumMap time 30114 gen 2 score 13648 cov 14 BestSoFar EnumMap time 41165 gen 3 score 13648 cov 14 BestSoFar EnumMap time 48889 gen 4 score 13648 cov 14 BestSoFar EnumMap time 54235 gen 5 score 13757 cov 14 BestSoFar EnumMap time 57666 gen 6 score 13916 cov 14 BestSoFar EnumMap time 60831 gen 7 score 13953 cov 14 BestSoFar EnumMap time 62675 gen 8 score 13953 cov 14 BestSoFar EnumMap time 64616 gen 9 score 13962 cov 14 BestSoFar EnumMap time 66380 gen 10 score 13976 cov 14 BestSoFar EnumMap time 70178 gen 11 score 13983 cov 14 BestSoFar EnumMap time 72568 gen 12 score 13985 cov 14 BestSoFar EnumMap time 74189 gen 13 score 13986 cov 14 BestSoFar EnumMap time 75801 gen 14 score 13986 cov 14 BestSoFar EnumMap time 77643 gen 15 score 13986 cov 14 BestSoFar EnumMap time 79630 gen 16 score 13986 cov 14 BestSoFar EnumMap time 81365 gen 17 score 13986 cov 14 BestSoFar EnumMap time 83425 gen 18 score 13986 cov 14 BestSoFar EnumMap time 85271 gen 19 score 13986 cov 14 BestSoFar EnumMap time 87095 gen 20 score 13991 cov 14 BestSoFar EnumMap time 90736 gen 21 score 13991 cov 14 BestSoFar EnumMap time 92449 gen 22 score 13991 cov 14 BestSoFar EnumMap time 93997 gen 23 score 13991 cov 14 BestSoFar EnumMap time 95590 gen 24 score 13991 cov 14 BestSoFar EnumMap time 97742 gen 25 score 13991 cov 14 BestSoFar EnumMap time 99326 gen 26 score 13991 cov 14 BestSoFar EnumMap time 101123 gen 27 score 13991 cov 14 BestSoFar EnumMap time 102779 gen 28 score 13991 cov 14 BestSoFar EnumMap time 104373 gen 29 score 13991 cov 14 BestSoFar EnumMap time 106219 gen 30 score 13993 cov 14 BestSoFar EnumMap time 110099 gen 31 score 13993 cov 14 BestSoFar EnumMap time 111676 gen 32 score 13993 cov 14 BestSoFar EnumMap time 113404 gen 33 score 13993 cov 14 BestSoFar EnumMap time 115093 gen 34 score 13993 cov 14 BestSoFar EnumMap time 116915 gen 35 score 13993 cov 14 BestSoFar EnumMap time 118522 gen 36 score 13993 cov 14 BestSoFar EnumMap time 120228 gen 37 score 13993 cov 14 BestSoFar EnumMap time 122366 gen 38 score 13993 cov 14 BestSoFar EnumMap time 124176 gen 39 score 13993 cov 14 BestSoFar EnumMap time 125795 gen 40 score 13993 cov 14 BestSoFar EnumMap time 129376 gen 41 score 13993 cov 14 BestSoFar EnumMap time 130999 gen 42 score 13994 cov 14 BestSoFar EnumMap time 132850 gen 43 score 13994 cov 14 BestSoFar EnumMap time 134458 gen 44 score 13994 cov 14 BestSoFar EnumMap time 136318 gen 45 score 13994 cov 14 BestSoFar EnumMap time 137922 gen 46 score 13994 cov 14 BestSoFar EnumMap time 139764 gen 47 score 13994 cov 14 BestSoFar EnumMap time 141388 gen 48 score 13994 cov 14 BestSoFar EnumMap time 144019 gen 49 score 13994 cov 14 BestSoFar EnumMap time 145642 gen 50 score 13994 cov 14 BestSoFar HashMap time 7771 gen 1 score 393309 cov 396 BestSoFar HashMap time 12175 gen 2 score 397643 cov 401 BestSoFar HashMap time 16205 gen 3 score 403309 cov 406 BestSoFar HashMap time 20399 gen 4 score 406344 cov 410 BestSoFar HashMap time 24701 gen 5 score 408976 cov 412 BestSoFar HashMap time 29253 gen 6 score 408976 cov 412 BestSoFar HashMap time 34075 gen 7 score 408976 cov 412 BestSoFar HashMap time 38327 gen 8 score 408976 cov 412 BestSoFar HashMap time 42627 gen 9 score 408976 cov 412 BestSoFar HashMap time 47364 gen 10 score 408976 cov 412 BestSoFar HashMap time 53212 gen 11 score 410847 cov 416 BestSoFar HashMap time 58733 gen 12 score 410847 cov 416 BestSoFar HashMap time 64266 gen 13 score 410847 cov 416 BestSoFar HashMap time 69828 gen 14 score 411180 cov 416 BestSoFar HashMap time 75515 gen 15 score 411900 cov 417 BestSoFar HashMap time 81262 gen 16 score 417234 cov 423 BestSoFar HashMap time 87164 gen 17 score 417234 cov 423 BestSoFar HashMap time 93200 gen 18 score 417234 cov 423 BestSoFar HashMap time 99528 gen 19 score 417898 cov 423 BestSoFar HashMap time 105969 gen 20 score 417898 cov 423 BestSoFar HashMap time 112753 gen 21 score 423232 cov 429 BestSoFar HashMap time 119272 gen 22 score 423232 cov 429 BestSoFar HashMap time 125665 gen 23 score 423892 cov 429 BestSoFar HashMap time 131931 gen 24 score 423892 cov 429 BestSoFar HashMap time 138322 gen 25 score 424747 cov 431 BestSoFar HashMap time 145036 gen 26 score 424747 cov 431 BestSoFar HashMap time 151506 gen 27 score 432232 cov 438 BestSoFar HashMap time 157917 gen 28 score 432232 cov 438 BestSoFar HashMap time 164225 gen 29 score 432232 cov 438 BestSoFar HashMap time 170674 gen 30 score 432232 cov 438 BestSoFar HashMap time 177703 gen 31 score 432232 cov 438 BestSoFar HashMap time 184351 gen 32 score 432232 cov 438 BestSoFar HashMap time 191442 gen 33 score 432232 cov 438 BestSoFar HashMap time 198668 gen 34 score 432232 cov 438 BestSoFar HashMap time 205981 gen 35 score 432232 cov 438 BestSoFar HashMap time 213449 gen 36 score 432232 cov 438 BestSoFar HashMap time 220627 gen 37 score 432232 cov 438 BestSoFar HashMap time 227741 gen 38 score 432232 cov 438 BestSoFar HashMap time 234822 gen 39 score 432232 cov 438 BestSoFar HashMap time 242000 gen 40 score 432232 cov 438 BestSoFar HashMap time 249739 gen 41 score 432232 cov 438 BestSoFar HashMap time 256998 gen 42 score 432232 cov 438 BestSoFar HashMap time 264282 gen 43 score 432232 cov 438 BestSoFar HashMap time 271686 gen 44 score 432232 cov 438 BestSoFar HashMap time 279237 gen 45 score 433418 cov 440 BestSoFar HashMap time 286582 gen 46 score 433746 cov 440 BestSoFar HashMap time 294042 gen 47 score 433746 cov 440 BestSoFar HashMap time 301809 gen 48 score 433746 cov 440 BestSoFar HashMap time 309383 gen 49 score 433746 cov 440 BestSoFar HashMap time 317111 gen 50 score 433746 cov 440 BestSoFar HashSet time 6181 gen 1 score 311520 cov 313 BestSoFar HashSet time 9444 gen 2 score 311520 cov 313 BestSoFar HashSet time 12069 gen 3 score 311520 cov 313 BestSoFar HashSet time 14580 gen 4 score 311520 cov 313 BestSoFar HashSet time 16934 gen 5 score 311520 cov 313 BestSoFar HashSet time 19268 gen 6 score 314591 cov 316 BestSoFar HashSet time 21528 gen 7 score 314591 cov 316 BestSoFar HashSet time 23700 gen 8 score 314591 cov 316 BestSoFar HashSet time 25917 gen 9 score 314591 cov 316 BestSoFar HashSet time 28096 gen 10 score 314591 cov 316 BestSoFar HashSet time 30491 gen 11 score 314591 cov 316 BestSoFar HashSet time 32732 gen 12 score 314591 cov 316 BestSoFar HashSet time 34997 gen 13 score 314591 cov 316 BestSoFar HashSet time 37251 gen 14 score 314591 cov 316 BestSoFar HashSet time 39455 gen 15 score 314591 cov 316 BestSoFar HashSet time 41620 gen 16 score 314591 cov 316 BestSoFar HashSet time 43882 gen 17 score 314591 cov 316 BestSoFar HashSet time 46011 gen 18 score 316895 cov 318 BestSoFar HashSet time 48115 gen 19 score 316895 cov 318 BestSoFar HashSet time 50289 gen 20 score 316895 cov 318 BestSoFar HashSet time 52596 gen 21 score 316895 cov 318 BestSoFar HashSet time 54791 gen 22 score 316895 cov 318 BestSoFar HashSet time 57231 gen 23 score 316895 cov 318 BestSoFar HashSet time 59735 gen 24 score 316895 cov 318 BestSoFar HashSet time 62036 gen 25 score 317886 cov 319 BestSoFar HashSet time 64228 gen 26 score 317886 cov 319 BestSoFar HashSet time 66372 gen 27 score 318558 cov 320 BestSoFar HashSet time 68548 gen 28 score 318558 cov 320 BestSoFar HashSet time 70695 gen 29 score 318558 cov 320 BestSoFar HashSet time 72864 gen 30 score 318558 cov 320 BestSoFar HashSet time 75188 gen 31 score 318558 cov 320 BestSoFar HashSet time 77416 gen 32 score 318558 cov 320 BestSoFar HashSet time 79765 gen 33 score 318886 cov 320 BestSoFar HashSet time 82109 gen 34 score 318886 cov 320 BestSoFar HashSet time 84505 gen 35 score 318886 cov 320 BestSoFar HashSet time 86725 gen 36 score 318886 cov 320 BestSoFar HashSet time 88984 gen 37 score 318889 cov 320 BestSoFar HashSet time 91284 gen 38 score 318889 cov 320 BestSoFar HashSet time 93592 gen 39 score 318889 cov 320 BestSoFar HashSet time 95887 gen 40 score 319223 cov 321 BestSoFar HashSet time 98341 gen 41 score 319223 cov 321 BestSoFar HashSet time 100620 gen 42 score 319223 cov 321 BestSoFar HashSet time 102819 gen 43 score 319223 cov 321 BestSoFar HashSet time 105028 gen 44 score 319223 cov 321 BestSoFar HashSet time 107320 gen 45 score 319223 cov 321 BestSoFar HashSet time 109553 gen 46 score 319225 cov 321 BestSoFar HashSet time 111717 gen 47 score 319225 cov 321 BestSoFar HashSet time 113977 gen 48 score 319225 cov 321 BestSoFar HashSet time 116294 gen 49 score 319417 cov 321 BestSoFar HashSet time 118419 gen 50 score 319417 cov 321 BestSoFar Hashtable time 8401 gen 1 score 402242 cov 406 BestSoFar Hashtable time 13314 gen 2 score 402242 cov 406 BestSoFar Hashtable time 17931 gen 3 score 403570 cov 407 BestSoFar Hashtable time 22391 gen 4 score 403570 cov 407 BestSoFar Hashtable time 26853 gen 5 score 403570 cov 407 BestSoFar Hashtable time 31320 gen 6 score 403570 cov 407 BestSoFar Hashtable time 35747 gen 7 score 403570 cov 407 BestSoFar Hashtable time 40172 gen 8 score 403570 cov 407 BestSoFar Hashtable time 44635 gen 9 score 403570 cov 407 BestSoFar Hashtable time 49124 gen 10 score 403570 cov 407 BestSoFar Hashtable time 54167 gen 11 score 403570 cov 407 BestSoFar Hashtable time 58726 gen 12 score 406239 cov 410 BestSoFar Hashtable time 63162 gen 13 score 406239 cov 410 BestSoFar Hashtable time 67706 gen 14 score 406239 cov 410 BestSoFar Hashtable time 72095 gen 15 score 409239 cov 413 BestSoFar Hashtable time 76440 gen 16 score 409239 cov 413 BestSoFar Hashtable time 80696 gen 17 score 409239 cov 413 BestSoFar Hashtable time 84916 gen 18 score 409239 cov 413 BestSoFar Hashtable time 89010 gen 19 score 409239 cov 413 BestSoFar Hashtable time 93052 gen 20 score 409239 cov 413 BestSoFar Hashtable time 97820 gen 21 score 409239 cov 413 BestSoFar Hashtable time 101923 gen 22 score 409239 cov 413 BestSoFar Hashtable time 105948 gen 23 score 409239 cov 413 BestSoFar Hashtable time 110066 gen 24 score 409239 cov 413 BestSoFar Hashtable time 114148 gen 25 score 409239 cov 413 BestSoFar Hashtable time 118229 gen 26 score 409239 cov 413 BestSoFar Hashtable time 122386 gen 27 score 409239 cov 413 BestSoFar Hashtable time 126571 gen 28 score 409239 cov 413 BestSoFar Hashtable time 130763 gen 29 score 409239 cov 413 BestSoFar Hashtable time 134951 gen 30 score 409239 cov 413 BestSoFar Hashtable time 139844 gen 31 score 409475 cov 413 BestSoFar Hashtable time 144078 gen 32 score 409475 cov 413 BestSoFar Hashtable time 148327 gen 33 score 409475 cov 413 BestSoFar Hashtable time 152712 gen 34 score 409475 cov 413 BestSoFar Hashtable time 157301 gen 35 score 409475 cov 413 BestSoFar Hashtable time 161742 gen 36 score 409475 cov 413 BestSoFar Hashtable time 166262 gen 37 score 409475 cov 413 BestSoFar Hashtable time 170601 gen 38 score 410569 cov 414 BestSoFar Hashtable time 175037 gen 39 score 410955 cov 415 BestSoFar Hashtable time 179462 gen 40 score 410955 cov 415 BestSoFar Hashtable time 184425 gen 41 score 410955 cov 415 BestSoFar Hashtable time 188797 gen 42 score 410955 cov 415 BestSoFar Hashtable time 193202 gen 43 score 410955 cov 415 BestSoFar Hashtable time 197616 gen 44 score 410955 cov 415 BestSoFar Hashtable time 202086 gen 45 score 410955 cov 415 BestSoFar Hashtable time 206670 gen 46 score 410955 cov 415 BestSoFar Hashtable time 211502 gen 47 score 410955 cov 415 BestSoFar Hashtable time 216682 gen 48 score 410955 cov 415 BestSoFar Hashtable time 221993 gen 49 score 410955 cov 415 BestSoFar Hashtable time 227155 gen 50 score 410955 cov 415 BestSoFar IdentityHashMap time 8685 gen 1 score 384644 cov 388 BestSoFar IdentityHashMap time 13858 gen 2 score 384644 cov 388 BestSoFar IdentityHashMap time 18070 gen 3 score 391964 cov 395 BestSoFar IdentityHashMap time 22168 gen 4 score 391964 cov 395 BestSoFar IdentityHashMap time 26045 gen 5 score 391964 cov 395 BestSoFar IdentityHashMap time 29907 gen 6 score 391964 cov 395 BestSoFar IdentityHashMap time 33880 gen 7 score 391964 cov 395 BestSoFar IdentityHashMap time 37745 gen 8 score 391964 cov 395 BestSoFar IdentityHashMap time 41505 gen 9 score 391964 cov 395 BestSoFar IdentityHashMap time 45188 gen 10 score 402016 cov 405 BestSoFar IdentityHashMap time 49391 gen 11 score 402016 cov 405 BestSoFar IdentityHashMap time 53192 gen 12 score 405940 cov 409 BestSoFar IdentityHashMap time 56934 gen 13 score 405940 cov 409 BestSoFar IdentityHashMap time 60624 gen 14 score 405940 cov 409 BestSoFar IdentityHashMap time 64434 gen 15 score 405940 cov 409 BestSoFar IdentityHashMap time 68322 gen 16 score 406355 cov 409 BestSoFar IdentityHashMap time 72304 gen 17 score 407022 cov 410 BestSoFar IdentityHashMap time 76232 gen 18 score 407022 cov 410 BestSoFar IdentityHashMap time 79977 gen 19 score 407022 cov 410 BestSoFar IdentityHashMap time 83783 gen 20 score 407355 cov 410 BestSoFar IdentityHashMap time 88168 gen 21 score 408372 cov 412 BestSoFar IdentityHashMap time 92206 gen 22 score 408372 cov 412 BestSoFar IdentityHashMap time 96210 gen 23 score 412692 cov 416 BestSoFar IdentityHashMap time 100297 gen 24 score 412692 cov 416 BestSoFar IdentityHashMap time 104021 gen 25 score 412692 cov 416 BestSoFar IdentityHashMap time 107748 gen 26 score 412692 cov 416 BestSoFar IdentityHashMap time 111511 gen 27 score 412692 cov 416 BestSoFar IdentityHashMap time 115219 gen 28 score 412692 cov 416 BestSoFar IdentityHashMap time 118803 gen 29 score 412692 cov 416 BestSoFar IdentityHashMap time 122441 gen 30 score 412692 cov 416 BestSoFar IdentityHashMap time 126701 gen 31 score 412692 cov 416 BestSoFar IdentityHashMap time 130696 gen 32 score 412723 cov 416 BestSoFar IdentityHashMap time 134830 gen 33 score 412838 cov 416 BestSoFar IdentityHashMap time 138946 gen 34 score 412838 cov 416 BestSoFar IdentityHashMap time 142914 gen 35 score 412838 cov 416 BestSoFar IdentityHashMap time 146966 gen 36 score 412838 cov 416 BestSoFar IdentityHashMap time 151008 gen 37 score 412838 cov 416 BestSoFar IdentityHashMap time 155011 gen 38 score 412838 cov 416 BestSoFar IdentityHashMap time 158998 gen 39 score 412838 cov 416 BestSoFar IdentityHashMap time 162907 gen 40 score 412838 cov 416 BestSoFar IdentityHashMap time 167476 gen 41 score 412838 cov 416 BestSoFar IdentityHashMap time 171472 gen 42 score 412838 cov 416 BestSoFar IdentityHashMap time 175550 gen 43 score 412838 cov 416 BestSoFar IdentityHashMap time 179591 gen 44 score 412838 cov 416 BestSoFar IdentityHashMap time 183572 gen 45 score 412838 cov 416 BestSoFar IdentityHashMap time 187814 gen 46 score 412838 cov 416 BestSoFar IdentityHashMap time 191969 gen 47 score 412838 cov 416 BestSoFar IdentityHashMap time 195920 gen 48 score 412838 cov 416 BestSoFar IdentityHashMap time 200070 gen 49 score 412838 cov 416 BestSoFar IdentityHashMap time 204474 gen 50 score 412838 cov 416 BestSoFar LinkedHashMap time 5048 gen 1 score 255205 cov 256 BestSoFar LinkedHashMap time 7377 gen 2 score 255205 cov 256 BestSoFar LinkedHashMap time 9473 gen 3 score 259874 cov 261 BestSoFar LinkedHashMap time 11575 gen 4 score 273852 cov 276 BestSoFar LinkedHashMap time 13657 gen 5 score 273852 cov 276 BestSoFar LinkedHashMap time 15981 gen 6 score 276514 cov 278 BestSoFar LinkedHashMap time 18192 gen 7 score 278520 cov 280 BestSoFar LinkedHashMap time 20592 gen 8 score 280852 cov 283 BestSoFar LinkedHashMap time 23134 gen 9 score 283852 cov 286 BestSoFar LinkedHashMap time 25632 gen 10 score 285852 cov 288 BestSoFar LinkedHashMap time 28421 gen 11 score 287190 cov 289 BestSoFar LinkedHashMap time 31188 gen 12 score 288523 cov 290 BestSoFar LinkedHashMap time 33741 gen 13 score 288523 cov 290 BestSoFar LinkedHashMap time 36237 gen 14 score 288523 cov 290 BestSoFar LinkedHashMap time 38723 gen 15 score 288523 cov 290 BestSoFar LinkedHashMap time 41159 gen 16 score 288523 cov 290 BestSoFar LinkedHashMap time 43497 gen 17 score 290001 cov 292 BestSoFar LinkedHashMap time 45788 gen 18 score 290001 cov 292 BestSoFar LinkedHashMap time 48187 gen 19 score 290001 cov 292 BestSoFar LinkedHashMap time 50829 gen 20 score 292668 cov 294 BestSoFar LinkedHashMap time 53564 gen 21 score 292668 cov 294 BestSoFar LinkedHashMap time 55884 gen 22 score 292668 cov 294 BestSoFar LinkedHashMap time 58211 gen 23 score 292668 cov 294 BestSoFar LinkedHashMap time 60610 gen 24 score 293000 cov 295 BestSoFar LinkedHashMap time 63072 gen 25 score 293000 cov 295 BestSoFar LinkedHashMap time 65641 gen 26 score 293031 cov 294 BestSoFar LinkedHashMap time 68139 gen 27 score 293031 cov 294 BestSoFar LinkedHashMap time 70905 gen 28 score 293031 cov 294 BestSoFar LinkedHashMap time 73570 gen 29 score 293031 cov 294 BestSoFar LinkedHashMap time 76446 gen 30 score 293031 cov 294 BestSoFar LinkedHashMap time 80059 gen 31 score 293452 cov 297 BestSoFar LinkedHashMap time 83810 gen 32 score 293452 cov 297 BestSoFar LinkedHashMap time 87270 gen 33 score 293452 cov 297 BestSoFar LinkedHashMap time 90975 gen 34 score 293452 cov 297 BestSoFar LinkedHashMap time 94682 gen 35 score 293452 cov 297 BestSoFar LinkedHashMap time 98312 gen 36 score 294676 cov 297 BestSoFar LinkedHashMap time 102042 gen 37 score 294676 cov 297 BestSoFar LinkedHashMap time 105905 gen 38 score 294676 cov 297 BestSoFar LinkedHashMap time 110060 gen 39 score 294676 cov 297 BestSoFar LinkedHashMap time 114283 gen 40 score 294676 cov 297 BestSoFar LinkedHashMap time 118790 gen 41 score 294676 cov 297 BestSoFar LinkedHashMap time 123044 gen 42 score 295342 cov 298 BestSoFar LinkedHashMap time 127230 gen 43 score 295342 cov 298 BestSoFar LinkedHashMap time 131428 gen 44 score 296526 cov 299 BestSoFar LinkedHashMap time 135834 gen 45 score 296526 cov 299 BestSoFar LinkedHashMap time 140359 gen 46 score 296526 cov 299 BestSoFar LinkedHashMap time 144670 gen 47 score 296526 cov 299 BestSoFar LinkedHashMap time 148812 gen 48 score 296526 cov 299 BestSoFar LinkedHashMap time 152335 gen 49 score 296526 cov 299 BestSoFar LinkedHashMap time 156284 gen 50 score 296526 cov 299 BestSoFar LinkedHashSet time 4068 gen 1 score 257405 cov 258 BestSoFar LinkedHashSet time 6197 gen 2 score 257405 cov 258 BestSoFar LinkedHashSet time 8085 gen 3 score 257405 cov 258 BestSoFar LinkedHashSet time 9850 gen 4 score 259075 cov 260 BestSoFar LinkedHashSet time 11554 gen 5 score 259075 cov 260 BestSoFar LinkedHashSet time 13436 gen 6 score 264071 cov 265 BestSoFar LinkedHashSet time 15561 gen 7 score 264071 cov 265 BestSoFar LinkedHashSet time 18089 gen 8 score 268569 cov 270 BestSoFar LinkedHashSet time 20672 gen 9 score 269236 cov 271 BestSoFar LinkedHashSet time 23621 gen 10 score 270236 cov 272 BestSoFar LinkedHashSet time 26616 gen 11 score 270236 cov 272 BestSoFar LinkedHashSet time 29833 gen 12 score 270236 cov 272 BestSoFar LinkedHashSet time 32845 gen 13 score 270236 cov 272 BestSoFar LinkedHashSet time 35804 gen 14 score 270236 cov 272 BestSoFar LinkedHashSet time 38649 gen 15 score 270236 cov 272 BestSoFar LinkedHashSet time 41577 gen 16 score 270236 cov 272 BestSoFar LinkedHashSet time 44154 gen 17 score 270569 cov 272 BestSoFar LinkedHashSet time 46801 gen 18 score 270569 cov 272 BestSoFar LinkedHashSet time 49459 gen 19 score 270903 cov 273 BestSoFar LinkedHashSet time 51947 gen 20 score 270903 cov 273 BestSoFar LinkedHashSet time 54527 gen 21 score 270903 cov 273 BestSoFar LinkedHashSet time 57033 gen 22 score 270903 cov 273 BestSoFar LinkedHashSet time 59574 gen 23 score 270903 cov 273 BestSoFar LinkedHashSet time 62138 gen 24 score 270903 cov 273 BestSoFar LinkedHashSet time 64678 gen 25 score 270903 cov 273 BestSoFar LinkedHashSet time 67282 gen 26 score 270903 cov 273 BestSoFar LinkedHashSet time 69904 gen 27 score 270903 cov 273 BestSoFar LinkedHashSet time 72497 gen 28 score 270903 cov 273 BestSoFar LinkedHashSet time 75119 gen 29 score 270903 cov 273 BestSoFar LinkedHashSet time 77697 gen 30 score 271243 cov 273 BestSoFar LinkedHashSet time 80360 gen 31 score 271243 cov 273 BestSoFar LinkedHashSet time 82952 gen 32 score 271243 cov 273 BestSoFar LinkedHashSet time 85529 gen 33 score 271243 cov 273 BestSoFar LinkedHashSet time 88022 gen 34 score 271243 cov 273 BestSoFar LinkedHashSet time 90610 gen 35 score 271243 cov 273 BestSoFar LinkedHashSet time 93170 gen 36 score 271243 cov 273 BestSoFar LinkedHashSet time 95622 gen 37 score 271244 cov 273 BestSoFar LinkedHashSet time 97960 gen 38 score 271244 cov 273 BestSoFar LinkedHashSet time 100201 gen 39 score 271244 cov 273 BestSoFar LinkedHashSet time 102426 gen 40 score 271244 cov 273 BestSoFar LinkedHashSet time 104806 gen 41 score 271473 cov 273 BestSoFar LinkedHashSet time 107112 gen 42 score 271473 cov 273 BestSoFar LinkedHashSet time 109363 gen 43 score 271473 cov 273 BestSoFar LinkedHashSet time 111638 gen 44 score 271473 cov 273 BestSoFar LinkedHashSet time 113940 gen 45 score 271473 cov 273 BestSoFar LinkedHashSet time 116202 gen 46 score 271473 cov 273 BestSoFar LinkedHashSet time 118552 gen 47 score 271473 cov 273 BestSoFar LinkedHashSet time 120876 gen 48 score 271473 cov 273 BestSoFar LinkedHashSet time 123325 gen 49 score 271473 cov 273 BestSoFar LinkedHashSet time 125658 gen 50 score 271473 cov 273 BestSoFar LinkedList time 7230 gen 1 score 268424 cov 271 BestSoFar LinkedList time 11938 gen 2 score 269497 cov 273 BestSoFar LinkedList time 16423 gen 3 score 269497 cov 273 BestSoFar LinkedList time 21049 gen 4 score 269497 cov 273 BestSoFar LinkedList time 26139 gen 5 score 269497 cov 273 BestSoFar LinkedList time 31430 gen 6 score 269497 cov 273 BestSoFar LinkedList time 36458 gen 7 score 269497 cov 273 BestSoFar LinkedList time 41320 gen 8 score 269497 cov 273 BestSoFar LinkedList time 45950 gen 9 score 269497 cov 273 BestSoFar LinkedList time 50602 gen 10 score 271161 cov 275 BestSoFar LinkedList time 55661 gen 11 score 271161 cov 275 BestSoFar LinkedList time 60036 gen 12 score 271161 cov 275 BestSoFar LinkedList time 64531 gen 13 score 271161 cov 275 BestSoFar LinkedList time 69190 gen 14 score 271161 cov 275 BestSoFar LinkedList time 73690 gen 15 score 271161 cov 275 BestSoFar LinkedList time 78133 gen 16 score 271161 cov 275 BestSoFar LinkedList time 82574 gen 17 score 271161 cov 275 BestSoFar LinkedList time 87167 gen 18 score 271161 cov 275 BestSoFar LinkedList time 91795 gen 19 score 271496 cov 275 BestSoFar LinkedList time 96509 gen 20 score 271496 cov 275 BestSoFar LinkedList time 101200 gen 21 score 271496 cov 275 BestSoFar LinkedList time 105541 gen 22 score 271496 cov 275 BestSoFar LinkedList time 109960 gen 23 score 272163 cov 276 BestSoFar LinkedList time 114279 gen 24 score 272829 cov 276 BestSoFar LinkedList time 118607 gen 25 score 272829 cov 276 BestSoFar LinkedList time 124351 gen 26 score 272829 cov 276 BestSoFar LinkedList time 128964 gen 27 score 272829 cov 276 BestSoFar LinkedList time 162135 gen 28 score 272829 cov 276 BestSoFar LinkedList time 168932 gen 29 score 272829 cov 276 BestSoFar LinkedList time 188954 gen 30 score 272829 cov 276 BestSoFar LinkedList time 195736 gen 31 score 272829 cov 276 BestSoFar LinkedList time 215125 gen 32 score 272829 cov 276 BestSoFar LinkedList time 224813 gen 33 score 272829 cov 276 BestSoFar LinkedList time 229555 gen 34 score 272829 cov 276 BestSoFar LinkedList time 234325 gen 35 score 272829 cov 276 BestSoFar LinkedList time 241397 gen 36 score 272829 cov 276 BestSoFar LinkedList time 246368 gen 37 score 272829 cov 276 BestSoFar LinkedList time 274192 gen 38 score 272829 cov 276 BestSoFar LinkedList time 300114 gen 39 score 272829 cov 276 BestSoFar LinkedList time 330297 gen 40 score 272829 cov 276 BestSoFar LinkedList time 348696 gen 41 score 272829 cov 276 BestSoFar LinkedList time 353278 gen 42 score 272829 cov 276 BestSoFar LinkedList time 358822 gen 43 score 272829 cov 276 BestSoFar LinkedList time 375535 gen 44 score 272829 cov 276 BestSoFar LinkedList time 379976 gen 45 score 272829 cov 276 BestSoFar LinkedList time 384425 gen 46 score 272829 cov 276 BestSoFar LinkedList time 390478 gen 47 score 272829 cov 276 BestSoFar LinkedList time 394650 gen 48 score 272829 cov 276 BestSoFar LinkedList time 398839 gen 49 score 272829 cov 276 BestSoFar LinkedList time 403030 gen 50 score 272829 cov 276 BestSoFar PriorityQueue time 6553 gen 1 score 204954 cov 207 BestSoFar PriorityQueue time 10318 gen 2 score 206758 cov 209 BestSoFar PriorityQueue time 13969 gen 3 score 208954 cov 211 BestSoFar PriorityQueue time 17394 gen 4 score 210090 cov 213 BestSoFar PriorityQueue time 20658 gen 5 score 210090 cov 213 BestSoFar PriorityQueue time 23869 gen 6 score 210090 cov 213 BestSoFar PriorityQueue time 27045 gen 7 score 210090 cov 213 BestSoFar PriorityQueue time 30161 gen 8 score 210090 cov 213 BestSoFar PriorityQueue time 33217 gen 9 score 210090 cov 213 BestSoFar PriorityQueue time 36346 gen 10 score 210090 cov 213 BestSoFar PriorityQueue time 39895 gen 11 score 223425 cov 226 BestSoFar PriorityQueue time 43154 gen 12 score 223425 cov 226 BestSoFar PriorityQueue time 46377 gen 13 score 223425 cov 226 BestSoFar PriorityQueue time 49628 gen 14 score 223425 cov 226 BestSoFar PriorityQueue time 52916 gen 15 score 223425 cov 226 BestSoFar PriorityQueue time 56262 gen 16 score 223425 cov 226 BestSoFar PriorityQueue time 59624 gen 17 score 223425 cov 226 BestSoFar PriorityQueue time 62851 gen 18 score 223425 cov 226 BestSoFar PriorityQueue time 66065 gen 19 score 223425 cov 226 BestSoFar PriorityQueue time 69288 gen 20 score 223425 cov 226 BestSoFar PriorityQueue time 72830 gen 21 score 223425 cov 226 BestSoFar PriorityQueue time 75967 gen 22 score 223425 cov 226 BestSoFar PriorityQueue time 79213 gen 23 score 223425 cov 226 BestSoFar PriorityQueue time 82538 gen 24 score 223425 cov 226 BestSoFar PriorityQueue time 85723 gen 25 score 223425 cov 226 BestSoFar PriorityQueue time 88869 gen 26 score 223425 cov 226 BestSoFar PriorityQueue time 91991 gen 27 score 223425 cov 226 BestSoFar PriorityQueue time 95172 gen 28 score 223425 cov 226 BestSoFar PriorityQueue time 98394 gen 29 score 223425 cov 226 BestSoFar PriorityQueue time 101540 gen 30 score 223425 cov 226 BestSoFar PriorityQueue time 105098 gen 31 score 223425 cov 226 BestSoFar PriorityQueue time 108228 gen 32 score 223425 cov 226 BestSoFar PriorityQueue time 111374 gen 33 score 223425 cov 226 BestSoFar PriorityQueue time 114579 gen 34 score 223425 cov 226 BestSoFar PriorityQueue time 117838 gen 35 score 223425 cov 226 BestSoFar PriorityQueue time 121134 gen 36 score 223425 cov 226 BestSoFar PriorityQueue time 124431 gen 37 score 223425 cov 226 BestSoFar PriorityQueue time 127798 gen 38 score 223425 cov 226 BestSoFar PriorityQueue time 131171 gen 39 score 223425 cov 226 BestSoFar PriorityQueue time 134481 gen 40 score 223425 cov 226 BestSoFar PriorityQueue time 138197 gen 41 score 223425 cov 226 BestSoFar PriorityQueue time 141546 gen 42 score 223425 cov 226 BestSoFar PriorityQueue time 144831 gen 43 score 223761 cov 226 BestSoFar PriorityQueue time 148160 gen 44 score 223761 cov 226 BestSoFar PriorityQueue time 151608 gen 45 score 223761 cov 226 BestSoFar PriorityQueue time 155060 gen 46 score 223761 cov 226 BestSoFar PriorityQueue time 158378 gen 47 score 223761 cov 226 BestSoFar PriorityQueue time 162072 gen 48 score 223761 cov 226 BestSoFar PriorityQueue time 165466 gen 49 score 223761 cov 226 BestSoFar PriorityQueue time 168924 gen 50 score 223761 cov 226 BestSoFar Properties time 70837 gen 1 score 293169 cov 295 BestSoFar Properties time 155025 gen 2 score 293169 cov 295 BestSoFar Properties time 267116 gen 3 score 293169 cov 295 BestSoFar Properties time 346466 gen 4 score 296502 cov 298 BestSoFar Properties time 400517 gen 5 score 296503 cov 298 BestSoFar Properties time 451009 gen 6 score 296503 cov 298 BestSoFar Properties time 498987 gen 7 score 296503 cov 298 BestSoFar Properties time 548936 gen 8 score 296503 cov 298 BestSoFar Properties time 599893 gen 9 score 296503 cov 298 BestSoFar Properties time 647390 gen 10 score 296503 cov 298 BestSoFar Properties time 696779 gen 11 score 297019 cov 299 BestSoFar Properties time 737752 gen 12 score 297019 cov 299 BestSoFar Properties time 777967 gen 13 score 297019 cov 299 BestSoFar Properties time 820322 gen 14 score 297019 cov 299 BestSoFar Properties time 864243 gen 15 score 297019 cov 299 BestSoFar Properties time 909854 gen 16 score 297019 cov 299 BestSoFar Properties time 957285 gen 17 score 297019 cov 299 BestSoFar Properties time 1002282 gen 18 score 297019 cov 299 BestSoFar Properties time 1046701 gen 19 score 297019 cov 299 BestSoFar Properties time 1091214 gen 20 score 297019 cov 299 BestSoFar Properties time 1133858 gen 21 score 297019 cov 299 BestSoFar Properties time 1172203 gen 22 score 297019 cov 299 BestSoFar Properties time 1208925 gen 23 score 297019 cov 299 BestSoFar Properties time 1248200 gen 24 score 297019 cov 299 BestSoFar Properties time 1287397 gen 25 score 297019 cov 299 BestSoFar Properties time 1329096 gen 26 score 297019 cov 299 BestSoFar Properties time 1374953 gen 27 score 297019 cov 299 BestSoFar Properties time 1416414 gen 28 score 297333 cov 299 BestSoFar Properties time 1459663 gen 29 score 297333 cov 299 BestSoFar Properties time 1502706 gen 30 score 297333 cov 299 BestSoFar Properties time 1543381 gen 31 score 297334 cov 299 BestSoFar Properties time 1579176 gen 32 score 297334 cov 299 BestSoFar Properties time 1614506 gen 33 score 297334 cov 299 BestSoFar Properties time 1652404 gen 34 score 297334 cov 299 BestSoFar Properties time 1689972 gen 35 score 297334 cov 299 BestSoFar Properties time 1731668 gen 36 score 297334 cov 299 BestSoFar Properties time 1771320 gen 37 score 297334 cov 299 BestSoFar Properties time 1808540 gen 38 score 297334 cov 299 BestSoFar Properties time 1847964 gen 39 score 297334 cov 299 BestSoFar Properties time 1882061 gen 40 score 297334 cov 299 BestSoFar Properties time 1914135 gen 41 score 297506 cov 299 BestSoFar Properties time 1944560 gen 42 score 297871 cov 299 BestSoFar Properties time 1972571 gen 43 score 297871 cov 299 BestSoFar Properties time 2000894 gen 44 score 297871 cov 299 BestSoFar Properties time 2027505 gen 45 score 297871 cov 299 BestSoFar Properties time 2054648 gen 46 score 297871 cov 299 BestSoFar Properties time 2084089 gen 47 score 297871 cov 299 BestSoFar Properties time 2109881 gen 48 score 297871 cov 299 BestSoFar Properties time 2137989 gen 49 score 297871 cov 299 BestSoFar Properties time 2165495 gen 50 score 297871 cov 299 BestSoFar Stack time 3259 gen 1 score 80208 cov 80 BestSoFar Stack time 4494 gen 2 score 83208 cov 83 BestSoFar Stack time 5729 gen 3 score 83208 cov 83 BestSoFar Stack time 6596 gen 4 score 83208 cov 83 BestSoFar Stack time 7328 gen 5 score 83208 cov 83 BestSoFar Stack time 8017 gen 6 score 83208 cov 83 BestSoFar Stack time 8763 gen 7 score 85547 cov 86 BestSoFar Stack time 9466 gen 8 score 85547 cov 86 BestSoFar Stack time 10206 gen 9 score 85880 cov 86 BestSoFar Stack time 10945 gen 10 score 86213 cov 86 BestSoFar Stack time 11689 gen 11 score 86213 cov 86 BestSoFar Stack time 12380 gen 12 score 86213 cov 86 BestSoFar Stack time 13067 gen 13 score 86213 cov 86 BestSoFar Stack time 13764 gen 14 score 86214 cov 86 BestSoFar Stack time 14527 gen 15 score 86214 cov 86 BestSoFar Stack time 15220 gen 16 score 86214 cov 86 BestSoFar Stack time 15893 gen 17 score 86214 cov 86 BestSoFar Stack time 16643 gen 18 score 86214 cov 86 BestSoFar Stack time 17315 gen 19 score 86214 cov 86 BestSoFar Stack time 18030 gen 20 score 86548 cov 87 BestSoFar Stack time 18804 gen 21 score 86548 cov 87 BestSoFar Stack time 19437 gen 22 score 86548 cov 87 BestSoFar Stack time 20164 gen 23 score 86548 cov 87 BestSoFar Stack time 20837 gen 24 score 86548 cov 87 BestSoFar Stack time 21478 gen 25 score 86548 cov 87 BestSoFar Stack time 22105 gen 26 score 86548 cov 87 BestSoFar Stack time 22816 gen 27 score 86548 cov 87 BestSoFar Stack time 23383 gen 28 score 86548 cov 87 BestSoFar Stack time 23951 gen 29 score 86548 cov 87 BestSoFar Stack time 24419 gen 30 score 86548 cov 87 BestSoFar Stack time 24826 gen 31 score 86548 cov 87 BestSoFar Stack time 25185 gen 32 score 86548 cov 87 BestSoFar Stack time 25617 gen 33 score 86548 cov 87 BestSoFar Stack time 26188 gen 34 score 86548 cov 87 BestSoFar Stack time 26518 gen 35 score 86548 cov 87 BestSoFar Stack time 26895 gen 36 score 86758 cov 87 BestSoFar Stack time 27211 gen 37 score 86758 cov 87 BestSoFar Stack time 27614 gen 38 score 86758 cov 87 BestSoFar Stack time 27945 gen 39 score 86758 cov 87 BestSoFar Stack time 28287 gen 40 score 86758 cov 87 BestSoFar Stack time 28710 gen 41 score 86758 cov 87 BestSoFar Stack time 29068 gen 42 score 86758 cov 87 BestSoFar Stack time 29427 gen 43 score 86758 cov 87 BestSoFar Stack time 29787 gen 44 score 86758 cov 87 BestSoFar Stack time 30159 gen 45 score 86758 cov 87 BestSoFar Stack time 30549 gen 46 score 86758 cov 87 BestSoFar Stack time 30946 gen 47 score 86758 cov 87 BestSoFar Stack time 31345 gen 48 score 86758 cov 87 BestSoFar Stack time 31691 gen 49 score 86758 cov 87 BestSoFar Stack time 32071 gen 50 score 86758 cov 87 BestSoFar TreeMap time 8293 gen 1 score 529424 cov 533 BestSoFar TreeMap time 13794 gen 2 score 529424 cov 533 BestSoFar TreeMap time 19020 gen 3 score 539424 cov 543 BestSoFar TreeMap time 24236 gen 4 score 539424 cov 543 BestSoFar TreeMap time 29149 gen 5 score 586091 cov 590 BestSoFar TreeMap time 34211 gen 6 score 586091 cov 590 BestSoFar TreeMap time 38939 gen 7 score 618092 cov 622 BestSoFar TreeMap time 43629 gen 8 score 618092 cov 622 BestSoFar TreeMap time 48315 gen 9 score 618092 cov 622 BestSoFar TreeMap time 53244 gen 10 score 621270 cov 626 BestSoFar TreeMap time 59340 gen 11 score 621270 cov 626 BestSoFar TreeMap time 64683 gen 12 score 631600 cov 636 BestSoFar TreeMap time 69972 gen 13 score 634933 cov 639 BestSoFar TreeMap time 75197 gen 14 score 634933 cov 639 BestSoFar TreeMap time 80429 gen 15 score 639600 cov 644 BestSoFar TreeMap time 85715 gen 16 score 641598 cov 646 BestSoFar TreeMap time 90966 gen 17 score 641598 cov 646 BestSoFar TreeMap time 96217 gen 18 score 641598 cov 646 BestSoFar TreeMap time 101502 gen 19 score 641598 cov 646 BestSoFar TreeMap time 106948 gen 20 score 655868 cov 661 BestSoFar TreeMap time 113342 gen 21 score 655868 cov 661 BestSoFar TreeMap time 119126 gen 22 score 655868 cov 661 BestSoFar TreeMap time 124931 gen 23 score 655868 cov 661 BestSoFar TreeMap time 130605 gen 24 score 665861 cov 671 BestSoFar TreeMap time 136243 gen 25 score 665861 cov 671 BestSoFar TreeMap time 141894 gen 26 score 665861 cov 671 BestSoFar TreeMap time 147645 gen 27 score 665861 cov 671 BestSoFar TreeMap time 153287 gen 28 score 665861 cov 671 BestSoFar TreeMap time 159007 gen 29 score 667529 cov 672 BestSoFar TreeMap time 164741 gen 30 score 667529 cov 672 BestSoFar TreeMap time 171330 gen 31 score 667529 cov 672 BestSoFar TreeMap time 177010 gen 32 score 667529 cov 672 BestSoFar TreeMap time 182614 gen 33 score 667529 cov 672 BestSoFar TreeMap time 188345 gen 34 score 667531 cov 672 BestSoFar TreeMap time 193967 gen 35 score 667531 cov 672 BestSoFar TreeMap time 199597 gen 36 score 667531 cov 672 BestSoFar TreeMap time 205345 gen 37 score 667531 cov 672 BestSoFar TreeMap time 211098 gen 38 score 667531 cov 672 BestSoFar TreeMap time 216710 gen 39 score 667531 cov 672 BestSoFar TreeMap time 222345 gen 40 score 667531 cov 672 BestSoFar TreeMap time 228835 gen 41 score 667531 cov 672 BestSoFar TreeMap time 234605 gen 42 score 667531 cov 672 BestSoFar TreeMap time 240232 gen 43 score 667531 cov 672 BestSoFar TreeMap time 245761 gen 44 score 667531 cov 672 BestSoFar TreeMap time 251371 gen 45 score 667531 cov 672 BestSoFar TreeMap time 257033 gen 46 score 667531 cov 672 BestSoFar TreeMap time 262720 gen 47 score 667531 cov 672 BestSoFar TreeMap time 268435 gen 48 score 667531 cov 672 BestSoFar TreeMap time 274136 gen 49 score 667531 cov 672 BestSoFar TreeMap time 279680 gen 50 score 667531 cov 672 BestSoFar TreeSet time 7956 gen 1 score 450442 cov 453 BestSoFar TreeSet time 13009 gen 2 score 468108 cov 470 BestSoFar TreeSet time 17047 gen 3 score 468108 cov 470 BestSoFar TreeSet time 20900 gen 4 score 510112 cov 512 BestSoFar TreeSet time 24704 gen 5 score 517112 cov 519 BestSoFar TreeSet time 28490 gen 6 score 536446 cov 539 BestSoFar TreeSet time 32272 gen 7 score 536446 cov 539 BestSoFar TreeSet time 36095 gen 8 score 580775 cov 583 BestSoFar TreeSet time 39877 gen 9 score 580775 cov 583 BestSoFar TreeSet time 43540 gen 10 score 586108 cov 588 BestSoFar TreeSet time 47750 gen 11 score 588109 cov 590 BestSoFar TreeSet time 51598 gen 12 score 588109 cov 590 BestSoFar TreeSet time 55401 gen 13 score 588109 cov 590 BestSoFar TreeSet time 59101 gen 14 score 588109 cov 590 BestSoFar TreeSet time 62808 gen 15 score 588109 cov 590 BestSoFar TreeSet time 66664 gen 16 score 588109 cov 590 BestSoFar TreeSet time 70603 gen 17 score 588774 cov 591 BestSoFar TreeSet time 74831 gen 18 score 588774 cov 591 BestSoFar TreeSet time 78630 gen 19 score 588774 cov 591 BestSoFar TreeSet time 82535 gen 20 score 591437 cov 594 BestSoFar TreeSet time 86929 gen 21 score 591437 cov 594 BestSoFar TreeSet time 91070 gen 22 score 591437 cov 594 BestSoFar TreeSet time 96034 gen 23 score 591437 cov 594 BestSoFar TreeSet time 101204 gen 24 score 591437 cov 594 BestSoFar TreeSet time 106277 gen 25 score 591828 cov 595 BestSoFar TreeSet time 111404 gen 26 score 591828 cov 595 BestSoFar TreeSet time 116394 gen 27 score 591828 cov 595 BestSoFar TreeSet time 121381 gen 28 score 591828 cov 595 BestSoFar TreeSet time 126385 gen 29 score 591828 cov 595 BestSoFar TreeSet time 131390 gen 30 score 591828 cov 595 BestSoFar TreeSet time 136916 gen 31 score 591828 cov 595 BestSoFar TreeSet time 142071 gen 32 score 591828 cov 595 BestSoFar TreeSet time 147205 gen 33 score 591828 cov 595 BestSoFar TreeSet time 152370 gen 34 score 591828 cov 595 BestSoFar TreeSet time 157407 gen 35 score 591828 cov 595 BestSoFar TreeSet time 162678 gen 36 score 591828 cov 595 BestSoFar TreeSet time 167792 gen 37 score 591828 cov 595 BestSoFar TreeSet time 173056 gen 38 score 591828 cov 595 BestSoFar TreeSet time 178174 gen 39 score 591886 cov 595 BestSoFar TreeSet time 183263 gen 40 score 592219 cov 595 BestSoFar TreeSet time 188687 gen 41 score 593220 cov 596 BestSoFar TreeSet time 193781 gen 42 score 593220 cov 596 BestSoFar TreeSet time 199076 gen 43 score 593220 cov 596 BestSoFar TreeSet time 204276 gen 44 score 593220 cov 596 BestSoFar TreeSet time 209637 gen 45 score 593220 cov 596 BestSoFar TreeSet time 214743 gen 46 score 593220 cov 596 BestSoFar TreeSet time 219643 gen 47 score 593220 cov 596 BestSoFar TreeSet time 224466 gen 48 score 593220 cov 596 BestSoFar TreeSet time 229449 gen 49 score 593220 cov 596 BestSoFar TreeSet time 234624 gen 50 score 593220 cov 596 BestSoFar Vector time 11181 gen 1 score 440008 cov 444 BestSoFar Vector time 18151 gen 2 score 446342 cov 451 BestSoFar Vector time 24899 gen 3 score 446671 cov 451 BestSoFar Vector time 31718 gen 4 score 446671 cov 451 BestSoFar Vector time 38706 gen 5 score 446671 cov 451 BestSoFar Vector time 45739 gen 6 score 446671 cov 451 BestSoFar Vector time 52559 gen 7 score 446671 cov 451 BestSoFar Vector time 59376 gen 8 score 446671 cov 451 BestSoFar Vector time 65694 gen 9 score 446671 cov 451 BestSoFar Vector time 72383 gen 10 score 446671 cov 451 BestSoFar Vector time 80372 gen 11 score 446671 cov 451 BestSoFar Vector time 87140 gen 12 score 446671 cov 451 BestSoFar Vector time 93903 gen 13 score 446671 cov 451 BestSoFar Vector time 100546 gen 14 score 446671 cov 451 BestSoFar Vector time 107188 gen 15 score 446671 cov 451 BestSoFar Vector time 113801 gen 16 score 446671 cov 451 BestSoFar Vector time 120228 gen 17 score 446671 cov 451 BestSoFar Vector time 126684 gen 18 score 446671 cov 451 BestSoFar Vector time 133191 gen 19 score 446671 cov 451 BestSoFar Vector time 139759 gen 20 score 446671 cov 451 BestSoFar Vector time 147626 gen 21 score 446671 cov 451 BestSoFar Vector time 154251 gen 22 score 446671 cov 451 BestSoFar Vector time 160935 gen 23 score 446671 cov 451 BestSoFar Vector time 167566 gen 24 score 446671 cov 451 BestSoFar Vector time 174139 gen 25 score 446671 cov 451 BestSoFar Vector time 180783 gen 26 score 446671 cov 451 BestSoFar Vector time 187599 gen 27 score 451586 cov 457 BestSoFar Vector time 194356 gen 28 score 453586 cov 459 BestSoFar Vector time 200892 gen 29 score 453586 cov 459 BestSoFar Vector time 207428 gen 30 score 453586 cov 459 BestSoFar Vector time 215322 gen 31 score 453586 cov 459 BestSoFar Vector time 221855 gen 32 score 453586 cov 459 BestSoFar Vector time 228476 gen 33 score 453586 cov 459 BestSoFar Vector time 235317 gen 34 score 455252 cov 460 BestSoFar Vector time 242268 gen 35 score 455252 cov 460 BestSoFar Vector time 249083 gen 36 score 455252 cov 460 BestSoFar Vector time 255723 gen 37 score 455252 cov 460 BestSoFar Vector time 262436 gen 38 score 455252 cov 460 BestSoFar Vector time 269008 gen 39 score 455252 cov 460 BestSoFar Vector time 276621 gen 40 score 455252 cov 460 BestSoFar Vector time 284183 gen 41 score 455252 cov 460 BestSoFar Vector time 290958 gen 42 score 455252 cov 460 BestSoFar Vector time 299337 gen 43 score 458251 cov 463 BestSoFar Vector time 306186 gen 44 score 458251 cov 463 BestSoFar Vector time 318820 gen 45 score 458251 cov 463 BestSoFar Vector time 325876 gen 46 score 458251 cov 463 BestSoFar Vector time 332510 gen 47 score 458251 cov 463 BestSoFar Vector time 339399 gen 48 score 458251 cov 463 BestSoFar Vector time 346526 gen 49 score 458251 cov 463 BestSoFar Vector time 354092 gen 50 score 458251 cov 463 BestSoFar WeakHashMap time 7331 gen 1 score 383075 cov 386 BestSoFar WeakHashMap time 11266 gen 2 score 384743 cov 388 BestSoFar WeakHashMap time 15097 gen 3 score 386409 cov 389 BestSoFar WeakHashMap time 19049 gen 4 score 392776 cov 396 BestSoFar WeakHashMap time 22864 gen 5 score 392776 cov 396 BestSoFar WeakHashMap time 26847 gen 6 score 392776 cov 396 BestSoFar WeakHashMap time 30737 gen 7 score 392776 cov 396 BestSoFar WeakHashMap time 34640 gen 8 score 392776 cov 396 BestSoFar WeakHashMap time 38444 gen 9 score 392776 cov 396 BestSoFar WeakHashMap time 42318 gen 10 score 392776 cov 396 BestSoFar WeakHashMap time 46728 gen 11 score 392776 cov 396 BestSoFar WeakHashMap time 50581 gen 12 score 392776 cov 396 BestSoFar WeakHashMap time 54427 gen 13 score 392776 cov 396 BestSoFar WeakHashMap time 58315 gen 14 score 392776 cov 396 BestSoFar WeakHashMap time 62289 gen 15 score 392776 cov 396 BestSoFar WeakHashMap time 66338 gen 16 score 392776 cov 396 BestSoFar WeakHashMap time 70363 gen 17 score 392776 cov 396 BestSoFar WeakHashMap time 74374 gen 18 score 398110 cov 401 BestSoFar WeakHashMap time 78504 gen 19 score 398110 cov 401 BestSoFar WeakHashMap time 82699 gen 20 score 398110 cov 401 BestSoFar WeakHashMap time 87605 gen 21 score 398110 cov 401 BestSoFar WeakHashMap time 92225 gen 22 score 398110 cov 401 BestSoFar WeakHashMap time 97090 gen 23 score 398545 cov 403 BestSoFar WeakHashMap time 102035 gen 24 score 401986 cov 406 BestSoFar WeakHashMap time 106953 gen 25 score 402653 cov 407 BestSoFar WeakHashMap time 111856 gen 26 score 407654 cov 412 BestSoFar WeakHashMap time 116871 gen 27 score 407654 cov 412 BestSoFar WeakHashMap time 121717 gen 28 score 407654 cov 412 BestSoFar WeakHashMap time 126551 gen 29 score 407654 cov 412 BestSoFar WeakHashMap time 131353 gen 30 score 407654 cov 412 BestSoFar WeakHashMap time 136851 gen 31 score 407654 cov 412 BestSoFar WeakHashMap time 142049 gen 32 score 407654 cov 412 BestSoFar WeakHashMap time 146913 gen 33 score 407654 cov 412 BestSoFar WeakHashMap time 151877 gen 34 score 407654 cov 412 BestSoFar WeakHashMap time 156821 gen 35 score 407654 cov 412 BestSoFar WeakHashMap time 161864 gen 36 score 407654 cov 412 BestSoFar WeakHashMap time 167130 gen 37 score 409991 cov 415 BestSoFar WeakHashMap time 172362 gen 38 score 409991 cov 415 BestSoFar WeakHashMap time 177855 gen 39 score 409991 cov 415 BestSoFar WeakHashMap time 183769 gen 40 score 409991 cov 415 BestSoFar WeakHashMap time 190375 gen 41 score 409991 cov 415 BestSoFar WeakHashMap time 196455 gen 42 score 410992 cov 416 BestSoFar WeakHashMap time 202349 gen 43 score 410992 cov 416 BestSoFar WeakHashMap time 208250 gen 44 score 410992 cov 416 BestSoFar WeakHashMap time 214220 gen 45 score 411332 cov 416 BestSoFar WeakHashMap time 220154 gen 46 score 411332 cov 416 BestSoFar WeakHashMap time 226257 gen 47 score 411332 cov 416 BestSoFar WeakHashMap time 232346 gen 48 score 411332 cov 416 BestSoFar WeakHashMap time 238311 gen 49 score 411332 cov 416 BestSoFar WeakHashMap time 244302 gen 50 score 412992 cov 418