Fri Mar 13 23:36:44 EDT 2009 BestSoFar ArrayList time 2247 gen 1 score 200018 cov 200 BestSoFar ArrayList time 3716 gen 2 score 202143 cov 203 BestSoFar ArrayList time 5237 gen 3 score 202143 cov 203 BestSoFar ArrayList time 6692 gen 4 score 202143 cov 203 BestSoFar ArrayList time 8316 gen 5 score 204596 cov 206 BestSoFar ArrayList time 10065 gen 6 score 204596 cov 206 BestSoFar ArrayList time 12117 gen 7 score 204596 cov 206 BestSoFar ArrayList time 14348 gen 8 score 204596 cov 206 BestSoFar ArrayList time 16507 gen 9 score 204596 cov 206 BestSoFar ArrayList time 18770 gen 10 score 204596 cov 206 BestSoFar ArrayList time 20958 gen 11 score 204596 cov 206 BestSoFar ArrayList time 23035 gen 12 score 204596 cov 206 BestSoFar ArrayList time 25135 gen 13 score 204596 cov 206 BestSoFar ArrayList time 27337 gen 14 score 204596 cov 206 BestSoFar ArrayList time 29543 gen 15 score 204596 cov 206 BestSoFar ArrayList time 31839 gen 16 score 204596 cov 206 BestSoFar ArrayList time 34226 gen 17 score 204596 cov 206 BestSoFar ArrayList time 36660 gen 18 score 204596 cov 206 BestSoFar ArrayList time 39018 gen 19 score 204596 cov 206 BestSoFar ArrayList time 41403 gen 20 score 204596 cov 206 BestSoFar ArrayList time 43911 gen 21 score 204596 cov 206 BestSoFar ArrayList time 46338 gen 22 score 204596 cov 206 BestSoFar ArrayList time 48914 gen 23 score 204596 cov 206 BestSoFar ArrayList time 51313 gen 24 score 204596 cov 206 BestSoFar ArrayList time 53657 gen 25 score 204596 cov 206 BestSoFar ArrayList time 56028 gen 26 score 204596 cov 206 BestSoFar ArrayList time 58425 gen 27 score 204596 cov 206 BestSoFar ArrayList time 60791 gen 28 score 204596 cov 206 BestSoFar ArrayList time 63275 gen 29 score 204596 cov 206 BestSoFar ArrayList time 65842 gen 30 score 204596 cov 206 BestSoFar ArrayList time 68492 gen 31 score 204596 cov 206 BestSoFar ArrayList time 71102 gen 32 score 204596 cov 206 BestSoFar ArrayList time 73709 gen 33 score 204596 cov 206 BestSoFar ArrayList time 76237 gen 34 score 204596 cov 206 BestSoFar ArrayList time 78822 gen 35 score 204596 cov 206 BestSoFar ArrayList time 81498 gen 36 score 204596 cov 206 BestSoFar ArrayList time 84405 gen 37 score 204596 cov 206 BestSoFar ArrayList time 87860 gen 38 score 204596 cov 206 BestSoFar ArrayList time 91408 gen 39 score 204974 cov 207 BestSoFar ArrayList time 94991 gen 40 score 204974 cov 207 BestSoFar ArrayList time 98666 gen 41 score 205308 cov 208 BestSoFar ArrayList time 102364 gen 42 score 205308 cov 208 BestSoFar ArrayList time 106005 gen 43 score 206308 cov 209 BestSoFar ArrayList time 109659 gen 44 score 206308 cov 209 BestSoFar ArrayList time 113209 gen 45 score 206308 cov 209 BestSoFar ArrayList time 116812 gen 46 score 206308 cov 209 BestSoFar ArrayList time 120897 gen 47 score 206308 cov 209 BestSoFar ArrayList time 124512 gen 48 score 206308 cov 209 BestSoFar ArrayList time 128283 gen 49 score 206308 cov 209 BestSoFar ArrayList time 132216 gen 50 score 206308 cov 209 BestSoFar EnumMap time 2066 gen 1 score 6322 cov 6 BestSoFar EnumMap time 2801 gen 2 score 6322 cov 6 BestSoFar EnumMap time 3458 gen 3 score 6322 cov 6 BestSoFar EnumMap time 4070 gen 4 score 6322 cov 6 BestSoFar EnumMap time 4716 gen 5 score 6322 cov 6 BestSoFar EnumMap time 5322 gen 6 score 6322 cov 6 BestSoFar EnumMap time 6017 gen 7 score 6322 cov 6 BestSoFar EnumMap time 6655 gen 8 score 6322 cov 6 BestSoFar EnumMap time 7284 gen 9 score 6322 cov 6 BestSoFar EnumMap time 7894 gen 10 score 6322 cov 6 BestSoFar EnumMap time 9353 gen 11 score 6322 cov 6 BestSoFar EnumMap time 9969 gen 12 score 6322 cov 6 BestSoFar EnumMap time 10562 gen 13 score 6322 cov 6 BestSoFar EnumMap time 11151 gen 14 score 6322 cov 6 BestSoFar EnumMap time 11742 gen 15 score 6322 cov 6 BestSoFar EnumMap time 12376 gen 16 score 6322 cov 6 BestSoFar EnumMap time 12971 gen 17 score 6322 cov 6 BestSoFar EnumMap time 13568 gen 18 score 6322 cov 6 BestSoFar EnumMap time 14142 gen 19 score 6322 cov 6 BestSoFar EnumMap time 14732 gen 20 score 6322 cov 6 BestSoFar EnumMap time 16011 gen 21 score 6322 cov 6 BestSoFar EnumMap time 16569 gen 22 score 6322 cov 6 BestSoFar EnumMap time 17118 gen 23 score 6322 cov 6 BestSoFar EnumMap time 17663 gen 24 score 6322 cov 6 BestSoFar EnumMap time 18216 gen 25 score 6322 cov 6 BestSoFar EnumMap time 18773 gen 26 score 6322 cov 6 BestSoFar EnumMap time 19313 gen 27 score 6322 cov 6 BestSoFar EnumMap time 19872 gen 28 score 6322 cov 6 BestSoFar EnumMap time 20454 gen 29 score 6322 cov 6 BestSoFar EnumMap time 21027 gen 30 score 6322 cov 6 BestSoFar EnumMap time 22224 gen 31 score 6322 cov 6 BestSoFar EnumMap time 22767 gen 32 score 6322 cov 6 BestSoFar EnumMap time 23339 gen 33 score 6322 cov 6 BestSoFar EnumMap time 23895 gen 34 score 6322 cov 6 BestSoFar EnumMap time 24436 gen 35 score 6322 cov 6 BestSoFar EnumMap time 24983 gen 36 score 6322 cov 6 BestSoFar EnumMap time 25551 gen 37 score 6322 cov 6 BestSoFar EnumMap time 26104 gen 38 score 6322 cov 6 BestSoFar EnumMap time 26668 gen 39 score 6322 cov 6 BestSoFar EnumMap time 27226 gen 40 score 6322 cov 6 BestSoFar EnumMap time 28371 gen 41 score 6322 cov 6 BestSoFar EnumMap time 28921 gen 42 score 6322 cov 6 BestSoFar EnumMap time 29472 gen 43 score 6322 cov 6 BestSoFar EnumMap time 30019 gen 44 score 6322 cov 6 BestSoFar EnumMap time 30584 gen 45 score 6322 cov 6 BestSoFar EnumMap time 31147 gen 46 score 6322 cov 6 BestSoFar EnumMap time 31707 gen 47 score 6322 cov 6 BestSoFar EnumMap time 32256 gen 48 score 6322 cov 6 BestSoFar EnumMap time 32811 gen 49 score 6322 cov 6 BestSoFar EnumMap time 33366 gen 50 score 6322 cov 6 BestSoFar HashMap time 2972 gen 1 score 329657 cov 330 BestSoFar HashMap time 4528 gen 2 score 337657 cov 338 BestSoFar HashMap time 5492 gen 3 score 339990 cov 340 BestSoFar HashMap time 6364 gen 4 score 339990 cov 340 BestSoFar HashMap time 7456 gen 5 score 359175 cov 360 BestSoFar HashMap time 8973 gen 6 score 389793 cov 391 BestSoFar HashMap time 11334 gen 7 score 403813 cov 406 BestSoFar HashMap time 14496 gen 8 score 403813 cov 406 BestSoFar HashMap time 18132 gen 9 score 403813 cov 406 BestSoFar HashMap time 22186 gen 10 score 407476 cov 410 BestSoFar HashMap time 26678 gen 11 score 409991 cov 413 BestSoFar HashMap time 31081 gen 12 score 409991 cov 413 BestSoFar HashMap time 35440 gen 13 score 409991 cov 413 BestSoFar HashMap time 39596 gen 14 score 409991 cov 413 BestSoFar HashMap time 44044 gen 15 score 412323 cov 416 BestSoFar HashMap time 48505 gen 16 score 412323 cov 416 BestSoFar HashMap time 52852 gen 17 score 412323 cov 416 BestSoFar HashMap time 57196 gen 18 score 412323 cov 416 BestSoFar HashMap time 61646 gen 19 score 412323 cov 416 BestSoFar HashMap time 66295 gen 20 score 416399 cov 421 BestSoFar HashMap time 71162 gen 21 score 416732 cov 421 BestSoFar HashMap time 75793 gen 22 score 416732 cov 421 BestSoFar HashMap time 80578 gen 23 score 423399 cov 428 BestSoFar HashMap time 85641 gen 24 score 423399 cov 428 BestSoFar HashMap time 91138 gen 25 score 423399 cov 428 BestSoFar HashMap time 96768 gen 26 score 425065 cov 429 BestSoFar HashMap time 102233 gen 27 score 425065 cov 429 BestSoFar HashMap time 107995 gen 28 score 425065 cov 429 BestSoFar HashMap time 113633 gen 29 score 425065 cov 429 BestSoFar HashMap time 119396 gen 30 score 425065 cov 429 BestSoFar HashMap time 125262 gen 31 score 425065 cov 429 BestSoFar HashMap time 130739 gen 32 score 428554 cov 433 BestSoFar HashMap time 136018 gen 33 score 430554 cov 435 BestSoFar HashMap time 141163 gen 34 score 430554 cov 435 BestSoFar HashMap time 146285 gen 35 score 430554 cov 435 BestSoFar HashMap time 151382 gen 36 score 430554 cov 435 BestSoFar HashMap time 156418 gen 37 score 430554 cov 435 BestSoFar HashMap time 161405 gen 38 score 430554 cov 435 BestSoFar HashMap time 166609 gen 39 score 430554 cov 435 BestSoFar HashMap time 172431 gen 40 score 430554 cov 435 BestSoFar HashMap time 177846 gen 41 score 430554 cov 435 BestSoFar HashMap time 183241 gen 42 score 430554 cov 435 BestSoFar HashMap time 188668 gen 43 score 430556 cov 435 BestSoFar HashMap time 194354 gen 44 score 430556 cov 435 BestSoFar HashMap time 199738 gen 45 score 430556 cov 435 BestSoFar HashMap time 205286 gen 46 score 430556 cov 435 BestSoFar HashMap time 210871 gen 47 score 430556 cov 435 BestSoFar HashMap time 216502 gen 48 score 430556 cov 435 BestSoFar HashMap time 222295 gen 49 score 430556 cov 435 BestSoFar HashMap time 228610 gen 50 score 430556 cov 435 BestSoFar HashSet time 1924 gen 1 score 272478 cov 272 BestSoFar HashSet time 3090 gen 2 score 272478 cov 272 BestSoFar HashSet time 4179 gen 3 score 294288 cov 294 BestSoFar HashSet time 5236 gen 4 score 294288 cov 294 BestSoFar HashSet time 6439 gen 5 score 306860 cov 307 BestSoFar HashSet time 8075 gen 6 score 306860 cov 307 BestSoFar HashSet time 9906 gen 7 score 307894 cov 309 BestSoFar HashSet time 12016 gen 8 score 309559 cov 311 BestSoFar HashSet time 13971 gen 9 score 311228 cov 313 BestSoFar HashSet time 16141 gen 10 score 316226 cov 318 BestSoFar HashSet time 19023 gen 11 score 316226 cov 318 BestSoFar HashSet time 21752 gen 12 score 316226 cov 318 BestSoFar HashSet time 24272 gen 13 score 316226 cov 318 BestSoFar HashSet time 26719 gen 14 score 316226 cov 318 BestSoFar HashSet time 29301 gen 15 score 317892 cov 319 BestSoFar HashSet time 31738 gen 16 score 317892 cov 319 BestSoFar HashSet time 34011 gen 17 score 317892 cov 319 BestSoFar HashSet time 36233 gen 18 score 317892 cov 319 BestSoFar HashSet time 38402 gen 19 score 317892 cov 319 BestSoFar HashSet time 40479 gen 20 score 317892 cov 319 BestSoFar HashSet time 42473 gen 21 score 317892 cov 319 BestSoFar HashSet time 44382 gen 22 score 317892 cov 319 BestSoFar HashSet time 46314 gen 23 score 317892 cov 319 BestSoFar HashSet time 48243 gen 24 score 317892 cov 319 BestSoFar HashSet time 50145 gen 25 score 317892 cov 319 BestSoFar HashSet time 52039 gen 26 score 317892 cov 319 BestSoFar HashSet time 54010 gen 27 score 317892 cov 319 BestSoFar HashSet time 56155 gen 28 score 317892 cov 319 BestSoFar HashSet time 58416 gen 29 score 317892 cov 319 BestSoFar HashSet time 60581 gen 30 score 317892 cov 319 BestSoFar HashSet time 63227 gen 31 score 317892 cov 319 BestSoFar HashSet time 65884 gen 32 score 317892 cov 319 BestSoFar HashSet time 68687 gen 33 score 317892 cov 319 BestSoFar HashSet time 71569 gen 34 score 317892 cov 319 BestSoFar HashSet time 74515 gen 35 score 317892 cov 319 BestSoFar HashSet time 77511 gen 36 score 317892 cov 319 BestSoFar HashSet time 80595 gen 37 score 317892 cov 319 BestSoFar HashSet time 83612 gen 38 score 317892 cov 319 BestSoFar HashSet time 86704 gen 39 score 317892 cov 319 BestSoFar HashSet time 89927 gen 40 score 317892 cov 319 BestSoFar HashSet time 92998 gen 41 score 317892 cov 319 BestSoFar HashSet time 95632 gen 42 score 317892 cov 319 BestSoFar HashSet time 99924 gen 43 score 317892 cov 319 BestSoFar HashSet time 102528 gen 44 score 317892 cov 319 BestSoFar HashSet time 105206 gen 45 score 317892 cov 319 BestSoFar HashSet time 107764 gen 46 score 317892 cov 319 BestSoFar HashSet time 110452 gen 47 score 317892 cov 319 BestSoFar HashSet time 113205 gen 48 score 317969 cov 320 BestSoFar HashSet time 115911 gen 49 score 317969 cov 320 BestSoFar HashSet time 118630 gen 50 score 317969 cov 320 BestSoFar Hashtable time 2869 gen 1 score 328617 cov 329 BestSoFar Hashtable time 4336 gen 2 score 336283 cov 336 BestSoFar Hashtable time 5757 gen 3 score 368817 cov 370 BestSoFar Hashtable time 7668 gen 4 score 371260 cov 372 BestSoFar Hashtable time 9637 gen 5 score 371260 cov 372 BestSoFar Hashtable time 11798 gen 6 score 384859 cov 387 BestSoFar Hashtable time 13964 gen 7 score 384859 cov 387 BestSoFar Hashtable time 16314 gen 8 score 384859 cov 387 BestSoFar Hashtable time 18662 gen 9 score 384859 cov 387 BestSoFar Hashtable time 21226 gen 10 score 384859 cov 387 BestSoFar Hashtable time 24161 gen 11 score 384859 cov 387 BestSoFar Hashtable time 26824 gen 12 score 387521 cov 389 BestSoFar Hashtable time 29408 gen 13 score 390188 cov 392 BestSoFar Hashtable time 32121 gen 14 score 390188 cov 392 BestSoFar Hashtable time 35073 gen 15 score 393212 cov 396 BestSoFar Hashtable time 38270 gen 16 score 393212 cov 396 BestSoFar Hashtable time 41611 gen 17 score 393212 cov 396 BestSoFar Hashtable time 44912 gen 18 score 393212 cov 396 BestSoFar Hashtable time 48123 gen 19 score 394212 cov 397 BestSoFar Hashtable time 51310 gen 20 score 394212 cov 397 BestSoFar Hashtable time 54742 gen 21 score 397878 cov 400 BestSoFar Hashtable time 57830 gen 22 score 397878 cov 400 BestSoFar Hashtable time 61043 gen 23 score 397878 cov 400 BestSoFar Hashtable time 64230 gen 24 score 397878 cov 400 BestSoFar Hashtable time 67558 gen 25 score 397878 cov 400 BestSoFar Hashtable time 71011 gen 26 score 397878 cov 400 BestSoFar Hashtable time 74243 gen 27 score 397878 cov 400 BestSoFar Hashtable time 77504 gen 28 score 400878 cov 403 BestSoFar Hashtable time 80716 gen 29 score 400878 cov 403 BestSoFar Hashtable time 83934 gen 30 score 400878 cov 403 BestSoFar Hashtable time 87358 gen 31 score 400878 cov 403 BestSoFar Hashtable time 90679 gen 32 score 400878 cov 403 BestSoFar Hashtable time 94172 gen 33 score 400878 cov 403 BestSoFar Hashtable time 97494 gen 34 score 400878 cov 403 BestSoFar Hashtable time 100904 gen 35 score 400878 cov 403 BestSoFar Hashtable time 104394 gen 36 score 401216 cov 404 BestSoFar Hashtable time 107741 gen 37 score 401216 cov 404 BestSoFar Hashtable time 111270 gen 38 score 401216 cov 404 BestSoFar Hashtable time 114777 gen 39 score 401216 cov 404 BestSoFar Hashtable time 118088 gen 40 score 401216 cov 404 BestSoFar Hashtable time 121513 gen 41 score 401216 cov 404 BestSoFar Hashtable time 124753 gen 42 score 401216 cov 404 BestSoFar Hashtable time 128150 gen 43 score 405551 cov 408 BestSoFar Hashtable time 131568 gen 44 score 409218 cov 412 BestSoFar Hashtable time 134790 gen 45 score 409218 cov 412 BestSoFar Hashtable time 137969 gen 46 score 409218 cov 412 BestSoFar Hashtable time 141210 gen 47 score 409218 cov 412 BestSoFar Hashtable time 144534 gen 48 score 409218 cov 412 BestSoFar Hashtable time 148156 gen 49 score 409218 cov 412 BestSoFar Hashtable time 151860 gen 50 score 409218 cov 412 BestSoFar IdentityHashMap time 3246 gen 1 score 365762 cov 367 BestSoFar IdentityHashMap time 4889 gen 2 score 368762 cov 370 BestSoFar IdentityHashMap time 6762 gen 3 score 388432 cov 389 BestSoFar IdentityHashMap time 8925 gen 4 score 388432 cov 389 BestSoFar IdentityHashMap time 11360 gen 5 score 388432 cov 389 BestSoFar IdentityHashMap time 14169 gen 6 score 393979 cov 396 BestSoFar IdentityHashMap time 16953 gen 7 score 398013 cov 400 BestSoFar IdentityHashMap time 19776 gen 8 score 398013 cov 400 BestSoFar IdentityHashMap time 22578 gen 9 score 399645 cov 401 BestSoFar IdentityHashMap time 25344 gen 10 score 399645 cov 401 BestSoFar IdentityHashMap time 28269 gen 11 score 399645 cov 401 BestSoFar IdentityHashMap time 31165 gen 12 score 406531 cov 409 BestSoFar IdentityHashMap time 34268 gen 13 score 407200 cov 410 BestSoFar IdentityHashMap time 37875 gen 14 score 407200 cov 410 BestSoFar IdentityHashMap time 41571 gen 15 score 407200 cov 410 BestSoFar IdentityHashMap time 45315 gen 16 score 407200 cov 410 BestSoFar IdentityHashMap time 49061 gen 17 score 407200 cov 410 BestSoFar IdentityHashMap time 52912 gen 18 score 407564 cov 411 BestSoFar IdentityHashMap time 57059 gen 19 score 407564 cov 411 BestSoFar IdentityHashMap time 61252 gen 20 score 407564 cov 411 BestSoFar IdentityHashMap time 66557 gen 21 score 407564 cov 411 BestSoFar IdentityHashMap time 72182 gen 22 score 408251 cov 413 BestSoFar IdentityHashMap time 78011 gen 23 score 408251 cov 413 BestSoFar IdentityHashMap time 83903 gen 24 score 408251 cov 413 BestSoFar IdentityHashMap time 89977 gen 25 score 408251 cov 413 BestSoFar IdentityHashMap time 96105 gen 26 score 408251 cov 413 BestSoFar IdentityHashMap time 101995 gen 27 score 408251 cov 413 BestSoFar IdentityHashMap time 108063 gen 28 score 408251 cov 413 BestSoFar IdentityHashMap time 113764 gen 29 score 408251 cov 413 BestSoFar IdentityHashMap time 119537 gen 30 score 408251 cov 413 BestSoFar IdentityHashMap time 125492 gen 31 score 408251 cov 413 BestSoFar IdentityHashMap time 131180 gen 32 score 408251 cov 413 BestSoFar IdentityHashMap time 136817 gen 33 score 408251 cov 413 BestSoFar IdentityHashMap time 142247 gen 34 score 408908 cov 414 BestSoFar IdentityHashMap time 147572 gen 35 score 408908 cov 414 BestSoFar IdentityHashMap time 152776 gen 36 score 408908 cov 414 BestSoFar IdentityHashMap time 158065 gen 37 score 408908 cov 414 BestSoFar IdentityHashMap time 163198 gen 38 score 408908 cov 414 BestSoFar IdentityHashMap time 168370 gen 39 score 408908 cov 414 BestSoFar IdentityHashMap time 173607 gen 40 score 408908 cov 414 BestSoFar IdentityHashMap time 178884 gen 41 score 408908 cov 414 BestSoFar IdentityHashMap time 183990 gen 42 score 410251 cov 415 BestSoFar IdentityHashMap time 189335 gen 43 score 410584 cov 415 BestSoFar IdentityHashMap time 194754 gen 44 score 410584 cov 415 BestSoFar IdentityHashMap time 200138 gen 45 score 410584 cov 415 BestSoFar IdentityHashMap time 205602 gen 46 score 410584 cov 415 BestSoFar IdentityHashMap time 210944 gen 47 score 410584 cov 415 BestSoFar IdentityHashMap time 216294 gen 48 score 410584 cov 415 BestSoFar IdentityHashMap time 221667 gen 49 score 410584 cov 415 BestSoFar IdentityHashMap time 226885 gen 50 score 410584 cov 415 BestSoFar LinkedHashMap time 2284 gen 1 score 264698 cov 265 BestSoFar LinkedHashMap time 3531 gen 2 score 274700 cov 275 BestSoFar LinkedHashMap time 5211 gen 3 score 274700 cov 275 BestSoFar LinkedHashMap time 6676 gen 4 score 274700 cov 275 BestSoFar LinkedHashMap time 7979 gen 5 score 274700 cov 275 BestSoFar LinkedHashMap time 9329 gen 6 score 280527 cov 282 BestSoFar LinkedHashMap time 10791 gen 7 score 283193 cov 284 BestSoFar LinkedHashMap time 12575 gen 8 score 287310 cov 289 BestSoFar LinkedHashMap time 15034 gen 9 score 287310 cov 289 BestSoFar LinkedHashMap time 17763 gen 10 score 287422 cov 290 BestSoFar LinkedHashMap time 20797 gen 11 score 290754 cov 294 BestSoFar LinkedHashMap time 23965 gen 12 score 290754 cov 294 BestSoFar LinkedHashMap time 27026 gen 13 score 290754 cov 294 BestSoFar LinkedHashMap time 30472 gen 14 score 291087 cov 294 BestSoFar LinkedHashMap time 33742 gen 15 score 291087 cov 294 BestSoFar LinkedHashMap time 37036 gen 16 score 291087 cov 294 BestSoFar LinkedHashMap time 40270 gen 17 score 291087 cov 294 BestSoFar LinkedHashMap time 43809 gen 18 score 291087 cov 294 BestSoFar LinkedHashMap time 47405 gen 19 score 291087 cov 294 BestSoFar LinkedHashMap time 51265 gen 20 score 291666 cov 295 BestSoFar LinkedHashMap time 55328 gen 21 score 294999 cov 298 BestSoFar LinkedHashMap time 59894 gen 22 score 294999 cov 298 BestSoFar LinkedHashMap time 64595 gen 23 score 294999 cov 298 BestSoFar LinkedHashMap time 69273 gen 24 score 295003 cov 298 BestSoFar LinkedHashMap time 74084 gen 25 score 295003 cov 298 BestSoFar LinkedHashMap time 78952 gen 26 score 295003 cov 298 BestSoFar LinkedHashMap time 84052 gen 27 score 295003 cov 298 BestSoFar LinkedHashMap time 88815 gen 28 score 295003 cov 298 BestSoFar LinkedHashMap time 93319 gen 29 score 295003 cov 298 BestSoFar LinkedHashMap time 97465 gen 30 score 295003 cov 298 BestSoFar LinkedHashMap time 101437 gen 31 score 295003 cov 298 BestSoFar LinkedHashMap time 105259 gen 32 score 295003 cov 298 BestSoFar LinkedHashMap time 109038 gen 33 score 295334 cov 298 BestSoFar LinkedHashMap time 112869 gen 34 score 295334 cov 298 BestSoFar LinkedHashMap time 116678 gen 35 score 295334 cov 298 BestSoFar LinkedHashMap time 120653 gen 36 score 295334 cov 298 BestSoFar LinkedHashMap time 124798 gen 37 score 295334 cov 298 BestSoFar LinkedHashMap time 128776 gen 38 score 295334 cov 298 BestSoFar LinkedHashMap time 133048 gen 39 score 295334 cov 298 BestSoFar LinkedHashMap time 137402 gen 40 score 295334 cov 298 BestSoFar LinkedHashMap time 141813 gen 41 score 295334 cov 298 BestSoFar LinkedHashMap time 146059 gen 42 score 295334 cov 298 BestSoFar LinkedHashMap time 150467 gen 43 score 295334 cov 298 BestSoFar LinkedHashMap time 154897 gen 44 score 295334 cov 298 BestSoFar LinkedHashMap time 158902 gen 45 score 295486 cov 299 BestSoFar LinkedHashMap time 162952 gen 46 score 295486 cov 299 BestSoFar LinkedHashMap time 166956 gen 47 score 295486 cov 299 BestSoFar LinkedHashMap time 171073 gen 48 score 295486 cov 299 BestSoFar LinkedHashMap time 175257 gen 49 score 295486 cov 299 BestSoFar LinkedHashMap time 179331 gen 50 score 295486 cov 299 BestSoFar LinkedHashSet time 1747 gen 1 score 214533 cov 214 BestSoFar LinkedHashSet time 2775 gen 2 score 227200 cov 227 BestSoFar LinkedHashSet time 4057 gen 3 score 262461 cov 263 BestSoFar LinkedHashSet time 5624 gen 4 score 262461 cov 263 BestSoFar LinkedHashSet time 7622 gen 5 score 262461 cov 263 BestSoFar LinkedHashSet time 9230 gen 6 score 262461 cov 263 BestSoFar LinkedHashSet time 10604 gen 7 score 266461 cov 267 BestSoFar LinkedHashSet time 11827 gen 8 score 270128 cov 271 BestSoFar LinkedHashSet time 13019 gen 9 score 270128 cov 271 BestSoFar LinkedHashSet time 14149 gen 10 score 270128 cov 271 BestSoFar LinkedHashSet time 15285 gen 11 score 270128 cov 271 BestSoFar LinkedHashSet time 16341 gen 12 score 270128 cov 271 BestSoFar LinkedHashSet time 17392 gen 13 score 270128 cov 271 BestSoFar LinkedHashSet time 18412 gen 14 score 270128 cov 271 BestSoFar LinkedHashSet time 19545 gen 15 score 270128 cov 271 BestSoFar LinkedHashSet time 20770 gen 16 score 270128 cov 271 BestSoFar LinkedHashSet time 22034 gen 17 score 270128 cov 271 BestSoFar LinkedHashSet time 23368 gen 18 score 270128 cov 271 BestSoFar LinkedHashSet time 24686 gen 19 score 270128 cov 271 BestSoFar LinkedHashSet time 26233 gen 20 score 270128 cov 271 BestSoFar LinkedHashSet time 27918 gen 21 score 270128 cov 271 BestSoFar LinkedHashSet time 29430 gen 22 score 270128 cov 271 BestSoFar LinkedHashSet time 31084 gen 23 score 270128 cov 271 BestSoFar LinkedHashSet time 32946 gen 24 score 270128 cov 271 BestSoFar LinkedHashSet time 34606 gen 25 score 270128 cov 271 BestSoFar LinkedHashSet time 36261 gen 26 score 270128 cov 271 BestSoFar LinkedHashSet time 37880 gen 27 score 270128 cov 271 BestSoFar LinkedHashSet time 39524 gen 28 score 270128 cov 271 BestSoFar LinkedHashSet time 41337 gen 29 score 270128 cov 271 BestSoFar LinkedHashSet time 43299 gen 30 score 270128 cov 271 BestSoFar LinkedHashSet time 45376 gen 31 score 270128 cov 271 BestSoFar LinkedHashSet time 47471 gen 32 score 270128 cov 271 BestSoFar LinkedHashSet time 49530 gen 33 score 270128 cov 271 BestSoFar LinkedHashSet time 51589 gen 34 score 270205 cov 272 BestSoFar LinkedHashSet time 53683 gen 35 score 270205 cov 272 BestSoFar LinkedHashSet time 55793 gen 36 score 270205 cov 272 BestSoFar LinkedHashSet time 57935 gen 37 score 270205 cov 272 BestSoFar LinkedHashSet time 59975 gen 38 score 270205 cov 272 BestSoFar LinkedHashSet time 62016 gen 39 score 270205 cov 272 BestSoFar LinkedHashSet time 64128 gen 40 score 270205 cov 272 BestSoFar LinkedHashSet time 66265 gen 41 score 270205 cov 272 BestSoFar LinkedHashSet time 68324 gen 42 score 270284 cov 272 BestSoFar LinkedHashSet time 70421 gen 43 score 270284 cov 272 BestSoFar LinkedHashSet time 72458 gen 44 score 270284 cov 272 BestSoFar LinkedHashSet time 74500 gen 45 score 270284 cov 272 BestSoFar LinkedHashSet time 76471 gen 46 score 270284 cov 272 BestSoFar LinkedHashSet time 78484 gen 47 score 270284 cov 272 BestSoFar LinkedHashSet time 80463 gen 48 score 270284 cov 272 BestSoFar LinkedHashSet time 82421 gen 49 score 270284 cov 272 BestSoFar LinkedHashSet time 84367 gen 50 score 270284 cov 272 BestSoFar LinkedList time 2440 gen 1 score 239035 cov 239 BestSoFar LinkedList time 3858 gen 2 score 240702 cov 241 BestSoFar LinkedList time 5100 gen 3 score 258486 cov 259 BestSoFar LinkedList time 6506 gen 4 score 263820 cov 265 BestSoFar LinkedList time 8633 gen 5 score 263820 cov 265 BestSoFar LinkedList time 10906 gen 6 score 268036 cov 270 BestSoFar LinkedList time 13523 gen 7 score 268036 cov 270 BestSoFar LinkedList time 16233 gen 8 score 268905 cov 270 BestSoFar LinkedList time 18800 gen 9 score 268905 cov 270 BestSoFar LinkedList time 21594 gen 10 score 269624 cov 272 BestSoFar LinkedList time 24593 gen 11 score 269624 cov 272 BestSoFar LinkedList time 28099 gen 12 score 269624 cov 272 BestSoFar LinkedList time 31577 gen 13 score 269624 cov 272 BestSoFar LinkedList time 35612 gen 14 score 269624 cov 272 BestSoFar LinkedList time 39688 gen 15 score 269624 cov 272 BestSoFar LinkedList time 43841 gen 16 score 270919 cov 274 BestSoFar LinkedList time 48153 gen 17 score 270919 cov 274 BestSoFar LinkedList time 52488 gen 18 score 270919 cov 274 BestSoFar LinkedList time 56956 gen 19 score 270919 cov 274 BestSoFar LinkedList time 61811 gen 20 score 270919 cov 274 BestSoFar LinkedList time 67197 gen 21 score 270919 cov 274 BestSoFar LinkedList time 72365 gen 22 score 270919 cov 274 BestSoFar LinkedList time 77424 gen 23 score 271380 cov 275 BestSoFar LinkedList time 82430 gen 24 score 271380 cov 275 BestSoFar LinkedList time 87410 gen 25 score 271380 cov 275 BestSoFar LinkedList time 92404 gen 26 score 271380 cov 275 BestSoFar LinkedList time 97464 gen 27 score 271380 cov 275 BestSoFar LinkedList time 102567 gen 28 score 271572 cov 276 BestSoFar LinkedList time 107818 gen 29 score 271572 cov 276 BestSoFar LinkedList time 112878 gen 30 score 271572 cov 276 BestSoFar LinkedList time 118083 gen 31 score 272047 cov 276 BestSoFar LinkedList time 123253 gen 32 score 272047 cov 276 BestSoFar LinkedList time 128247 gen 33 score 272047 cov 276 BestSoFar LinkedList time 133190 gen 34 score 272047 cov 276 BestSoFar LinkedList time 138130 gen 35 score 272047 cov 276 BestSoFar LinkedList time 143056 gen 36 score 272047 cov 276 BestSoFar LinkedList time 147936 gen 37 score 272047 cov 276 BestSoFar LinkedList time 153270 gen 38 score 272047 cov 276 BestSoFar LinkedList time 158299 gen 39 score 272047 cov 276 BestSoFar LinkedList time 163265 gen 40 score 272047 cov 276 BestSoFar LinkedList time 168065 gen 41 score 272047 cov 276 BestSoFar LinkedList time 172755 gen 42 score 272051 cov 276 BestSoFar LinkedList time 177451 gen 43 score 272051 cov 276 BestSoFar LinkedList time 182114 gen 44 score 272051 cov 276 BestSoFar LinkedList time 186868 gen 45 score 272051 cov 276 BestSoFar LinkedList time 191531 gen 46 score 272051 cov 276 BestSoFar LinkedList time 196315 gen 47 score 272051 cov 276 BestSoFar LinkedList time 201048 gen 48 score 272051 cov 276 BestSoFar LinkedList time 205746 gen 49 score 272051 cov 276 BestSoFar LinkedList time 210421 gen 50 score 272051 cov 276 BestSoFar PriorityQueue time 2415 gen 1 score 169702 cov 170 BestSoFar PriorityQueue time 3477 gen 2 score 175704 cov 176 BestSoFar PriorityQueue time 4470 gen 3 score 191982 cov 192 BestSoFar PriorityQueue time 5461 gen 4 score 191982 cov 192 BestSoFar PriorityQueue time 6790 gen 5 score 204196 cov 205 BestSoFar PriorityQueue time 8196 gen 6 score 204196 cov 205 BestSoFar PriorityQueue time 9529 gen 7 score 204196 cov 205 BestSoFar PriorityQueue time 10842 gen 8 score 204196 cov 205 BestSoFar PriorityQueue time 12102 gen 9 score 204196 cov 205 BestSoFar PriorityQueue time 13422 gen 10 score 209471 cov 210 BestSoFar PriorityQueue time 14783 gen 11 score 209471 cov 210 BestSoFar PriorityQueue time 15971 gen 12 score 209471 cov 210 BestSoFar PriorityQueue time 17358 gen 13 score 209471 cov 210 BestSoFar PriorityQueue time 18770 gen 14 score 209471 cov 210 BestSoFar PriorityQueue time 20214 gen 15 score 209471 cov 210 BestSoFar PriorityQueue time 21671 gen 16 score 209471 cov 210 BestSoFar PriorityQueue time 23226 gen 17 score 209471 cov 210 BestSoFar PriorityQueue time 24870 gen 18 score 209471 cov 210 BestSoFar PriorityQueue time 26695 gen 19 score 209471 cov 210 BestSoFar PriorityQueue time 28651 gen 20 score 209471 cov 210 BestSoFar PriorityQueue time 31458 gen 21 score 209471 cov 210 BestSoFar PriorityQueue time 34040 gen 22 score 209471 cov 210 BestSoFar PriorityQueue time 36607 gen 23 score 209471 cov 210 BestSoFar PriorityQueue time 39376 gen 24 score 209471 cov 210 BestSoFar PriorityQueue time 42145 gen 25 score 209471 cov 210 BestSoFar PriorityQueue time 45157 gen 26 score 209471 cov 210 BestSoFar PriorityQueue time 48255 gen 27 score 209471 cov 210 BestSoFar PriorityQueue time 51516 gen 28 score 209471 cov 210 BestSoFar PriorityQueue time 54953 gen 29 score 209471 cov 210 BestSoFar PriorityQueue time 58586 gen 30 score 209471 cov 210 BestSoFar PriorityQueue time 62651 gen 31 score 214828 cov 218 BestSoFar PriorityQueue time 66583 gen 32 score 219828 cov 223 BestSoFar PriorityQueue time 70681 gen 33 score 219828 cov 223 BestSoFar PriorityQueue time 75128 gen 34 score 219828 cov 223 BestSoFar PriorityQueue time 79588 gen 35 score 219828 cov 223 BestSoFar PriorityQueue time 84052 gen 36 score 219828 cov 223 BestSoFar PriorityQueue time 88548 gen 37 score 219828 cov 223 BestSoFar PriorityQueue time 92805 gen 38 score 219828 cov 223 BestSoFar PriorityQueue time 97244 gen 39 score 219828 cov 223 BestSoFar PriorityQueue time 101612 gen 40 score 219828 cov 223 BestSoFar PriorityQueue time 106116 gen 41 score 219828 cov 223 BestSoFar PriorityQueue time 110431 gen 42 score 219828 cov 223 BestSoFar PriorityQueue time 114754 gen 43 score 219828 cov 223 BestSoFar PriorityQueue time 119007 gen 44 score 220562 cov 224 BestSoFar PriorityQueue time 123345 gen 45 score 220562 cov 224 BestSoFar PriorityQueue time 127774 gen 46 score 220562 cov 224 BestSoFar PriorityQueue time 132311 gen 47 score 220562 cov 224 BestSoFar PriorityQueue time 136900 gen 48 score 220562 cov 224 BestSoFar PriorityQueue time 141207 gen 49 score 220562 cov 224 BestSoFar PriorityQueue time 145446 gen 50 score 220562 cov 224 BestSoFar Properties time 6715 gen 1 score 271529 cov 272 BestSoFar Properties time 18808 gen 2 score 291529 cov 292 BestSoFar Properties time 33602 gen 3 score 296862 cov 297 BestSoFar Properties time 44218 gen 4 score 298200 cov 299 BestSoFar Properties time 53099 gen 5 score 298200 cov 299 BestSoFar Properties time 61468 gen 6 score 298200 cov 299 BestSoFar Properties time 68018 gen 7 score 298200 cov 299 BestSoFar Properties time 76309 gen 8 score 298200 cov 299 BestSoFar Properties time 83668 gen 9 score 298200 cov 299 BestSoFar Properties time 90806 gen 10 score 298200 cov 299 BestSoFar Properties time 98299 gen 11 score 298200 cov 299 BestSoFar Properties time 107527 gen 12 score 298200 cov 299 BestSoFar Properties time 118607 gen 13 score 298200 cov 299 BestSoFar Properties time 130987 gen 14 score 298200 cov 299 BestSoFar Properties time 145869 gen 15 score 298200 cov 299 BestSoFar Properties time 165163 gen 16 score 298200 cov 299 BestSoFar Properties time 184415 gen 17 score 298200 cov 299 BestSoFar Properties time 204887 gen 18 score 298200 cov 299 BestSoFar Properties time 229616 gen 19 score 298200 cov 299 BestSoFar Properties time 258432 gen 20 score 298200 cov 299 BestSoFar Properties time 287114 gen 21 score 298200 cov 299 BestSoFar Properties time 310541 gen 22 score 298200 cov 299 BestSoFar Properties time 333754 gen 23 score 298200 cov 299 BestSoFar Properties time 359248 gen 24 score 298200 cov 299 BestSoFar Properties time 380819 gen 25 score 298200 cov 299 BestSoFar Properties time 402614 gen 26 score 298200 cov 299 BestSoFar Properties time 420439 gen 27 score 298200 cov 299 BestSoFar Properties time 440591 gen 28 score 298200 cov 299 BestSoFar Properties time 464832 gen 29 score 298200 cov 299 BestSoFar Properties time 487233 gen 30 score 298200 cov 299 BestSoFar Properties time 511934 gen 31 score 298200 cov 299 BestSoFar Properties time 539640 gen 32 score 298200 cov 299 BestSoFar Properties time 568297 gen 33 score 298200 cov 299 BestSoFar Properties time 600133 gen 34 score 298200 cov 299 BestSoFar Properties time 636640 gen 35 score 298200 cov 299 BestSoFar Properties time 675642 gen 36 score 298200 cov 299 BestSoFar Properties time 699469 gen 37 score 298200 cov 299 BestSoFar Properties time 737865 gen 38 score 298200 cov 299 BestSoFar Properties time 770187 gen 39 score 298200 cov 299 BestSoFar Properties time 803127 gen 40 score 298200 cov 299 BestSoFar Properties time 827153 gen 41 score 298200 cov 299 BestSoFar Properties time 850434 gen 42 score 298200 cov 299 BestSoFar Properties time 882796 gen 43 score 298200 cov 299 BestSoFar Properties time 912567 gen 44 score 298200 cov 299 BestSoFar Properties time 947917 gen 45 score 298200 cov 299 BestSoFar Properties time 983743 gen 46 score 298200 cov 299 BestSoFar Properties time 1018850 gen 47 score 298200 cov 299 BestSoFar Properties time 1052356 gen 48 score 298200 cov 299 BestSoFar Properties time 1089209 gen 49 score 298200 cov 299 BestSoFar Properties time 1131563 gen 50 score 298200 cov 299 BestSoFar Stack time 1983 gen 1 score 84981 cov 85 BestSoFar Stack time 4184 gen 2 score 84981 cov 85 BestSoFar Stack time 5741 gen 3 score 85189 cov 86 BestSoFar Stack time 7565 gen 4 score 85361 cov 86 BestSoFar Stack time 8938 gen 5 score 85361 cov 86 BestSoFar Stack time 10192 gen 6 score 85694 cov 86 BestSoFar Stack time 11726 gen 7 score 85694 cov 86 BestSoFar Stack time 12804 gen 8 score 86027 cov 86 BestSoFar Stack time 13999 gen 9 score 86027 cov 86 BestSoFar Stack time 15179 gen 10 score 86027 cov 86 BestSoFar Stack time 16294 gen 11 score 86027 cov 86 BestSoFar Stack time 17364 gen 12 score 86027 cov 86 BestSoFar Stack time 18422 gen 13 score 86027 cov 86 BestSoFar Stack time 19370 gen 14 score 86027 cov 86 BestSoFar Stack time 20401 gen 15 score 86363 cov 87 BestSoFar Stack time 21441 gen 16 score 86363 cov 87 BestSoFar Stack time 22526 gen 17 score 86363 cov 87 BestSoFar Stack time 23547 gen 18 score 86363 cov 87 BestSoFar Stack time 24577 gen 19 score 86363 cov 87 BestSoFar Stack time 25626 gen 20 score 86363 cov 87 BestSoFar Stack time 26637 gen 21 score 86363 cov 87 BestSoFar Stack time 27646 gen 22 score 86363 cov 87 BestSoFar Stack time 28581 gen 23 score 86486 cov 87 BestSoFar Stack time 29557 gen 24 score 86486 cov 87 BestSoFar Stack time 30472 gen 25 score 86486 cov 87 BestSoFar Stack time 31309 gen 26 score 86486 cov 87 BestSoFar Stack time 32127 gen 27 score 86486 cov 87 BestSoFar Stack time 32952 gen 28 score 86486 cov 87 BestSoFar Stack time 33697 gen 29 score 86486 cov 87 BestSoFar Stack time 34456 gen 30 score 86486 cov 87 BestSoFar Stack time 35279 gen 31 score 86486 cov 87 BestSoFar Stack time 36069 gen 32 score 86486 cov 87 BestSoFar Stack time 36837 gen 33 score 86486 cov 87 BestSoFar Stack time 37489 gen 34 score 86486 cov 87 BestSoFar Stack time 38121 gen 35 score 86486 cov 87 BestSoFar Stack time 38750 gen 36 score 86486 cov 87 BestSoFar Stack time 39454 gen 37 score 86486 cov 87 BestSoFar Stack time 40035 gen 38 score 86486 cov 87 BestSoFar Stack time 40689 gen 39 score 86486 cov 87 BestSoFar Stack time 41347 gen 40 score 86486 cov 87 BestSoFar Stack time 41970 gen 41 score 86486 cov 87 BestSoFar Stack time 42568 gen 42 score 86580 cov 87 BestSoFar Stack time 43112 gen 43 score 86580 cov 87 BestSoFar Stack time 43695 gen 44 score 86580 cov 87 BestSoFar Stack time 44330 gen 45 score 86580 cov 87 BestSoFar Stack time 44944 gen 46 score 86580 cov 87 BestSoFar Stack time 45561 gen 47 score 86580 cov 87 BestSoFar Stack time 46218 gen 48 score 86580 cov 87 BestSoFar Stack time 46940 gen 49 score 86580 cov 87 BestSoFar Stack time 47665 gen 50 score 86580 cov 87 BestSoFar TreeMap time 3105 gen 1 score 403258 cov 403 BestSoFar TreeMap time 4711 gen 2 score 418927 cov 419 BestSoFar TreeMap time 6517 gen 3 score 503962 cov 505 BestSoFar TreeMap time 8484 gen 4 score 509962 cov 511 BestSoFar TreeMap time 10355 gen 5 score 554888 cov 556 BestSoFar TreeMap time 12389 gen 6 score 554888 cov 556 BestSoFar TreeMap time 14603 gen 7 score 554888 cov 556 BestSoFar TreeMap time 16849 gen 8 score 554888 cov 556 BestSoFar TreeMap time 19182 gen 9 score 575223 cov 576 BestSoFar TreeMap time 21409 gen 10 score 575223 cov 576 BestSoFar TreeMap time 23979 gen 11 score 575223 cov 576 BestSoFar TreeMap time 26097 gen 12 score 575223 cov 576 BestSoFar TreeMap time 28299 gen 13 score 575223 cov 576 BestSoFar TreeMap time 30366 gen 14 score 575223 cov 576 BestSoFar TreeMap time 32442 gen 15 score 575223 cov 576 BestSoFar TreeMap time 34514 gen 16 score 575223 cov 576 BestSoFar TreeMap time 36498 gen 17 score 575223 cov 576 BestSoFar TreeMap time 38553 gen 18 score 580888 cov 582 BestSoFar TreeMap time 40624 gen 19 score 580888 cov 582 BestSoFar TreeMap time 42736 gen 20 score 584047 cov 585 BestSoFar TreeMap time 45118 gen 21 score 584047 cov 585 BestSoFar TreeMap time 47403 gen 22 score 595043 cov 596 BestSoFar TreeMap time 49498 gen 23 score 595043 cov 596 BestSoFar TreeMap time 51678 gen 24 score 595043 cov 596 BestSoFar TreeMap time 53784 gen 25 score 595043 cov 596 BestSoFar TreeMap time 56357 gen 26 score 602978 cov 606 BestSoFar TreeMap time 59329 gen 27 score 602978 cov 606 BestSoFar TreeMap time 62351 gen 28 score 602978 cov 606 BestSoFar TreeMap time 65492 gen 29 score 602978 cov 606 BestSoFar TreeMap time 68679 gen 30 score 602978 cov 606 BestSoFar TreeMap time 72327 gen 31 score 606978 cov 610 BestSoFar TreeMap time 75902 gen 32 score 606978 cov 610 BestSoFar TreeMap time 79653 gen 33 score 612644 cov 615 BestSoFar TreeMap time 83411 gen 34 score 616311 cov 619 BestSoFar TreeMap time 87357 gen 35 score 616311 cov 619 BestSoFar TreeMap time 91557 gen 36 score 653962 cov 658 BestSoFar TreeMap time 96447 gen 37 score 653962 cov 658 BestSoFar TreeMap time 101194 gen 38 score 653962 cov 658 BestSoFar TreeMap time 105800 gen 39 score 653962 cov 658 BestSoFar TreeMap time 110736 gen 40 score 655342 cov 660 BestSoFar TreeMap time 116698 gen 41 score 659342 cov 664 BestSoFar TreeMap time 122492 gen 42 score 659342 cov 664 BestSoFar TreeMap time 128789 gen 43 score 661644 cov 667 BestSoFar TreeMap time 135230 gen 44 score 661644 cov 667 BestSoFar TreeMap time 141612 gen 45 score 661644 cov 667 BestSoFar TreeMap time 148023 gen 46 score 661644 cov 667 BestSoFar TreeMap time 154431 gen 47 score 661644 cov 667 BestSoFar TreeMap time 160773 gen 48 score 661644 cov 667 BestSoFar TreeMap time 167149 gen 49 score 661644 cov 667 BestSoFar TreeMap time 173685 gen 50 score 661644 cov 667 BestSoFar TreeSet time 2611 gen 1 score 422817 cov 423 BestSoFar TreeSet time 4127 gen 2 score 478484 cov 479 BestSoFar TreeSet time 6174 gen 3 score 478484 cov 479 BestSoFar TreeSet time 8186 gen 4 score 478484 cov 479 BestSoFar TreeSet time 9897 gen 5 score 505817 cov 506 BestSoFar TreeSet time 11435 gen 6 score 505817 cov 506 BestSoFar TreeSet time 12905 gen 7 score 505817 cov 506 BestSoFar TreeSet time 14406 gen 8 score 505817 cov 506 BestSoFar TreeSet time 15799 gen 9 score 505817 cov 506 BestSoFar TreeSet time 17310 gen 10 score 505817 cov 506 BestSoFar TreeSet time 19093 gen 11 score 509484 cov 510 BestSoFar TreeSet time 20869 gen 12 score 509484 cov 510 BestSoFar TreeSet time 23191 gen 13 score 515065 cov 516 BestSoFar TreeSet time 25693 gen 14 score 556399 cov 558 BestSoFar TreeSet time 28157 gen 15 score 556399 cov 558 BestSoFar TreeSet time 30580 gen 16 score 556399 cov 558 BestSoFar TreeSet time 32992 gen 17 score 556399 cov 558 BestSoFar TreeSet time 35502 gen 18 score 556399 cov 558 BestSoFar TreeSet time 38255 gen 19 score 568278 cov 570 BestSoFar TreeSet time 41216 gen 20 score 568278 cov 570 BestSoFar TreeSet time 44907 gen 21 score 578276 cov 580 BestSoFar TreeSet time 48595 gen 22 score 578276 cov 580 BestSoFar TreeSet time 52268 gen 23 score 581276 cov 583 BestSoFar TreeSet time 56112 gen 24 score 584276 cov 586 BestSoFar TreeSet time 59982 gen 25 score 585610 cov 588 BestSoFar TreeSet time 64055 gen 26 score 585610 cov 588 BestSoFar TreeSet time 68110 gen 27 score 585610 cov 588 BestSoFar TreeSet time 72626 gen 28 score 585610 cov 588 BestSoFar TreeSet time 77549 gen 29 score 588139 cov 591 BestSoFar TreeSet time 82597 gen 30 score 588139 cov 591 BestSoFar TreeSet time 87941 gen 31 score 588139 cov 591 BestSoFar TreeSet time 92867 gen 32 score 588139 cov 591 BestSoFar TreeSet time 97568 gen 33 score 588139 cov 591 BestSoFar TreeSet time 102478 gen 34 score 588484 cov 591 BestSoFar TreeSet time 107382 gen 35 score 591509 cov 594 BestSoFar TreeSet time 112895 gen 36 score 591509 cov 594 BestSoFar TreeSet time 119232 gen 37 score 591509 cov 594 BestSoFar TreeSet time 125442 gen 38 score 591509 cov 594 BestSoFar TreeSet time 131870 gen 39 score 591509 cov 594 BestSoFar TreeSet time 138197 gen 40 score 591509 cov 594 BestSoFar TreeSet time 144722 gen 41 score 591509 cov 594 BestSoFar TreeSet time 151028 gen 42 score 591509 cov 594 BestSoFar TreeSet time 156972 gen 43 score 591509 cov 594 BestSoFar TreeSet time 163052 gen 44 score 591509 cov 594 BestSoFar TreeSet time 168861 gen 45 score 591509 cov 594 BestSoFar TreeSet time 174627 gen 46 score 591509 cov 594 BestSoFar TreeSet time 180438 gen 47 score 591509 cov 594 BestSoFar TreeSet time 186459 gen 48 score 591509 cov 594 BestSoFar TreeSet time 192607 gen 49 score 591509 cov 594 BestSoFar TreeSet time 198736 gen 50 score 591509 cov 594 BestSoFar Vector time 4157 gen 1 score 293195 cov 293 BestSoFar Vector time 6652 gen 2 score 354872 cov 356 BestSoFar Vector time 9010 gen 3 score 385872 cov 387 BestSoFar Vector time 11598 gen 4 score 400872 cov 402 BestSoFar Vector time 14154 gen 5 score 400872 cov 402 BestSoFar Vector time 16559 gen 6 score 400872 cov 402 BestSoFar Vector time 18964 gen 7 score 400872 cov 402 BestSoFar Vector time 21401 gen 8 score 400872 cov 402 BestSoFar Vector time 23939 gen 9 score 400872 cov 402 BestSoFar Vector time 26427 gen 10 score 400872 cov 402 BestSoFar Vector time 29477 gen 11 score 400872 cov 402 BestSoFar Vector time 32086 gen 12 score 400872 cov 402 BestSoFar Vector time 34795 gen 13 score 402783 cov 404 BestSoFar Vector time 37703 gen 14 score 402783 cov 404 BestSoFar Vector time 41372 gen 15 score 432519 cov 436 BestSoFar Vector time 45317 gen 16 score 432519 cov 436 BestSoFar Vector time 50570 gen 17 score 441681 cov 446 BestSoFar Vector time 55886 gen 18 score 441681 cov 446 BestSoFar Vector time 61110 gen 19 score 441681 cov 446 BestSoFar Vector time 65854 gen 20 score 441681 cov 446 BestSoFar Vector time 70955 gen 21 score 441681 cov 446 BestSoFar Vector time 75748 gen 22 score 441681 cov 446 BestSoFar Vector time 80438 gen 23 score 441681 cov 446 BestSoFar Vector time 85279 gen 24 score 441681 cov 446 BestSoFar Vector time 90211 gen 25 score 441681 cov 446 BestSoFar Vector time 95145 gen 26 score 441681 cov 446 BestSoFar Vector time 100275 gen 27 score 441681 cov 446 BestSoFar Vector time 105323 gen 28 score 441681 cov 446 BestSoFar Vector time 110327 gen 29 score 444035 cov 448 BestSoFar Vector time 115708 gen 30 score 445329 cov 449 BestSoFar Vector time 121893 gen 31 score 445329 cov 449 BestSoFar Vector time 128024 gen 32 score 445329 cov 449 BestSoFar Vector time 133902 gen 33 score 445329 cov 449 BestSoFar Vector time 139920 gen 34 score 445329 cov 449 BestSoFar Vector time 145698 gen 35 score 452388 cov 456 BestSoFar Vector time 151703 gen 36 score 452388 cov 456 BestSoFar Vector time 157428 gen 37 score 452388 cov 456 BestSoFar Vector time 163193 gen 38 score 452388 cov 456 BestSoFar Vector time 169245 gen 39 score 452388 cov 456 BestSoFar Vector time 175338 gen 40 score 452388 cov 456 BestSoFar Vector time 182379 gen 41 score 452388 cov 456 BestSoFar Vector time 189499 gen 42 score 452388 cov 456 BestSoFar Vector time 197006 gen 43 score 452388 cov 456 BestSoFar Vector time 204171 gen 44 score 452388 cov 456 BestSoFar Vector time 210876 gen 45 score 453832 cov 459 BestSoFar Vector time 217680 gen 46 score 453832 cov 459 BestSoFar Vector time 224389 gen 47 score 455498 cov 460 BestSoFar Vector time 231174 gen 48 score 455498 cov 460 BestSoFar Vector time 238056 gen 49 score 455498 cov 460 BestSoFar Vector time 245004 gen 50 score 455498 cov 460 BestSoFar WeakHashMap time 2704 gen 1 score 322000 cov 322 BestSoFar WeakHashMap time 4420 gen 2 score 334333 cov 334 BestSoFar WeakHashMap time 5694 gen 3 score 340747 cov 341 BestSoFar WeakHashMap time 7231 gen 4 score 359083 cov 360 BestSoFar WeakHashMap time 9044 gen 5 score 367134 cov 368 BestSoFar WeakHashMap time 10670 gen 6 score 377085 cov 378 BestSoFar WeakHashMap time 12475 gen 7 score 377085 cov 378 BestSoFar WeakHashMap time 14178 gen 8 score 382140 cov 383 BestSoFar WeakHashMap time 15884 gen 9 score 382140 cov 383 BestSoFar WeakHashMap time 17957 gen 10 score 384154 cov 385 BestSoFar WeakHashMap time 20534 gen 11 score 384154 cov 385 BestSoFar WeakHashMap time 23146 gen 12 score 385158 cov 387 BestSoFar WeakHashMap time 25803 gen 13 score 388158 cov 390 BestSoFar WeakHashMap time 28686 gen 14 score 388158 cov 390 BestSoFar WeakHashMap time 31487 gen 15 score 388158 cov 390 BestSoFar WeakHashMap time 34276 gen 16 score 388158 cov 390 BestSoFar WeakHashMap time 37100 gen 17 score 388158 cov 390 BestSoFar WeakHashMap time 40019 gen 18 score 388158 cov 390 BestSoFar WeakHashMap time 43139 gen 19 score 388158 cov 390 BestSoFar WeakHashMap time 46585 gen 20 score 388158 cov 390 BestSoFar WeakHashMap time 50456 gen 21 score 398904 cov 402 BestSoFar WeakHashMap time 54164 gen 22 score 398904 cov 402 BestSoFar WeakHashMap time 57907 gen 23 score 398904 cov 402 BestSoFar WeakHashMap time 61748 gen 24 score 398904 cov 402 BestSoFar WeakHashMap time 65520 gen 25 score 402904 cov 406 BestSoFar WeakHashMap time 69498 gen 26 score 402904 cov 406 BestSoFar WeakHashMap time 73563 gen 27 score 402904 cov 406 BestSoFar WeakHashMap time 77527 gen 28 score 403571 cov 407 BestSoFar WeakHashMap time 81450 gen 29 score 403571 cov 407 BestSoFar WeakHashMap time 85476 gen 30 score 403571 cov 407 BestSoFar WeakHashMap time 89569 gen 31 score 403571 cov 407 BestSoFar WeakHashMap time 93483 gen 32 score 403571 cov 407 BestSoFar WeakHashMap time 97118 gen 33 score 403571 cov 407 BestSoFar WeakHashMap time 100860 gen 34 score 403571 cov 407 BestSoFar WeakHashMap time 104647 gen 35 score 403571 cov 407 BestSoFar WeakHashMap time 108409 gen 36 score 408904 cov 412 BestSoFar WeakHashMap time 112366 gen 37 score 408904 cov 412 BestSoFar WeakHashMap time 116299 gen 38 score 409904 cov 413 BestSoFar WeakHashMap time 120168 gen 39 score 409904 cov 413 BestSoFar WeakHashMap time 124067 gen 40 score 409904 cov 413 BestSoFar WeakHashMap time 128133 gen 41 score 409904 cov 413 BestSoFar WeakHashMap time 131912 gen 42 score 409904 cov 413 BestSoFar WeakHashMap time 136114 gen 43 score 409904 cov 413 BestSoFar WeakHashMap time 140313 gen 44 score 409904 cov 413 BestSoFar WeakHashMap time 144406 gen 45 score 409904 cov 413 BestSoFar WeakHashMap time 148428 gen 46 score 409904 cov 413 BestSoFar WeakHashMap time 159812 gen 47 score 409904 cov 413 BestSoFar WeakHashMap time 164387 gen 48 score 409904 cov 413 BestSoFar WeakHashMap time 169038 gen 49 score 409904 cov 413 BestSoFar WeakHashMap time 174090 gen 50 score 409904 cov 413