Mon Mar 16 11:07:33 EDT 2009 BestSoFar ArrayList time 1548 gen 1 score 165115 cov 165 BestSoFar ArrayList time 2552 gen 2 score 200738 cov 201 BestSoFar ArrayList time 3807 gen 3 score 200738 cov 201 BestSoFar ArrayList time 5561 gen 4 score 204504 cov 206 BestSoFar ArrayList time 7380 gen 5 score 204504 cov 206 BestSoFar ArrayList time 9027 gen 6 score 205045 cov 206 BestSoFar ArrayList time 10878 gen 7 score 206045 cov 207 BestSoFar ArrayList time 12868 gen 8 score 206379 cov 208 BestSoFar ArrayList time 14846 gen 9 score 206379 cov 208 BestSoFar ArrayList time 16727 gen 10 score 206379 cov 208 BestSoFar ArrayList time 18687 gen 11 score 206379 cov 208 BestSoFar ArrayList time 20586 gen 12 score 206379 cov 208 BestSoFar ArrayList time 22473 gen 13 score 206379 cov 208 BestSoFar ArrayList time 24525 gen 14 score 206379 cov 208 BestSoFar ArrayList time 26392 gen 15 score 206712 cov 208 BestSoFar ArrayList time 28387 gen 16 score 206712 cov 208 BestSoFar ArrayList time 30643 gen 17 score 206712 cov 208 BestSoFar ArrayList time 34283 gen 18 score 206712 cov 208 BestSoFar ArrayList time 36493 gen 19 score 206712 cov 208 BestSoFar ArrayList time 38867 gen 20 score 206712 cov 208 BestSoFar ArrayList time 42439 gen 21 score 206712 cov 208 BestSoFar ArrayList time 46352 gen 22 score 206712 cov 208 BestSoFar ArrayList time 50072 gen 23 score 206712 cov 208 BestSoFar ArrayList time 63001 gen 24 score 206712 cov 208 BestSoFar ArrayList time 66628 gen 25 score 206712 cov 208 BestSoFar ArrayList time 70034 gen 26 score 206712 cov 208 BestSoFar ArrayList time 73692 gen 27 score 206771 cov 209 BestSoFar ArrayList time 77528 gen 28 score 206771 cov 209 BestSoFar ArrayList time 102880 gen 29 score 206771 cov 209 BestSoFar ArrayList time 106659 gen 30 score 206771 cov 209 BestSoFar ArrayList time 110717 gen 31 score 206771 cov 209 BestSoFar ArrayList time 114746 gen 32 score 206771 cov 209 BestSoFar ArrayList time 118683 gen 33 score 206771 cov 209 BestSoFar ArrayList time 122616 gen 34 score 206771 cov 209 BestSoFar ArrayList time 126446 gen 35 score 206771 cov 209 BestSoFar ArrayList time 130289 gen 36 score 206771 cov 209 BestSoFar ArrayList time 135053 gen 37 score 206771 cov 209 BestSoFar ArrayList time 138856 gen 38 score 206771 cov 209 BestSoFar ArrayList time 164971 gen 39 score 206771 cov 209 BestSoFar ArrayList time 169297 gen 40 score 206771 cov 209 BestSoFar ArrayList time 173145 gen 41 score 206771 cov 209 BestSoFar ArrayList time 177046 gen 42 score 206771 cov 209 BestSoFar ArrayList time 189279 gen 43 score 206771 cov 209 BestSoFar ArrayList time 193232 gen 44 score 206771 cov 209 BestSoFar ArrayList time 197042 gen 45 score 206771 cov 209 BestSoFar ArrayList time 224577 gen 46 score 206771 cov 209 BestSoFar ArrayList time 237854 gen 47 score 206771 cov 209 BestSoFar ArrayList time 241668 gen 48 score 206771 cov 209 BestSoFar ArrayList time 245380 gen 49 score 206771 cov 209 BestSoFar ArrayList time 250070 gen 50 score 206771 cov 209 BestSoFar EnumMap time 1725 gen 1 score 9324 cov 9 BestSoFar EnumMap time 2336 gen 2 score 9324 cov 9 BestSoFar EnumMap time 2866 gen 3 score 9324 cov 9 BestSoFar EnumMap time 3485 gen 4 score 9324 cov 9 BestSoFar EnumMap time 4087 gen 5 score 9324 cov 9 BestSoFar EnumMap time 4683 gen 6 score 9324 cov 9 BestSoFar EnumMap time 5242 gen 7 score 9324 cov 9 BestSoFar EnumMap time 5873 gen 8 score 9324 cov 9 BestSoFar EnumMap time 6562 gen 9 score 9324 cov 9 BestSoFar EnumMap time 7246 gen 10 score 9324 cov 9 BestSoFar EnumMap time 8384 gen 11 score 9324 cov 9 BestSoFar EnumMap time 9068 gen 12 score 9324 cov 9 BestSoFar EnumMap time 9758 gen 13 score 9324 cov 9 BestSoFar EnumMap time 10496 gen 14 score 9324 cov 9 BestSoFar EnumMap time 11240 gen 15 score 9324 cov 9 BestSoFar EnumMap time 11912 gen 16 score 9324 cov 9 BestSoFar EnumMap time 12593 gen 17 score 9324 cov 9 BestSoFar EnumMap time 13305 gen 18 score 9324 cov 9 BestSoFar EnumMap time 13967 gen 19 score 9324 cov 9 BestSoFar EnumMap time 14644 gen 20 score 9324 cov 9 BestSoFar EnumMap time 15776 gen 21 score 9324 cov 9 BestSoFar EnumMap time 16471 gen 22 score 9324 cov 9 BestSoFar EnumMap time 17186 gen 23 score 9324 cov 9 BestSoFar EnumMap time 17933 gen 24 score 9324 cov 9 BestSoFar EnumMap time 18685 gen 25 score 9324 cov 9 BestSoFar EnumMap time 19333 gen 26 score 9324 cov 9 BestSoFar EnumMap time 20040 gen 27 score 9324 cov 9 BestSoFar EnumMap time 20731 gen 28 score 9324 cov 9 BestSoFar EnumMap time 21404 gen 29 score 9324 cov 9 BestSoFar EnumMap time 22098 gen 30 score 9324 cov 9 BestSoFar EnumMap time 23102 gen 31 score 9324 cov 9 BestSoFar EnumMap time 23788 gen 32 score 9324 cov 9 BestSoFar EnumMap time 24440 gen 33 score 9324 cov 9 BestSoFar EnumMap time 25098 gen 34 score 9324 cov 9 BestSoFar EnumMap time 25808 gen 35 score 9324 cov 9 BestSoFar EnumMap time 26510 gen 36 score 9324 cov 9 BestSoFar EnumMap time 27217 gen 37 score 9324 cov 9 BestSoFar EnumMap time 27906 gen 38 score 9324 cov 9 BestSoFar EnumMap time 28564 gen 39 score 9324 cov 9 BestSoFar EnumMap time 29231 gen 40 score 9324 cov 9 BestSoFar EnumMap time 30246 gen 41 score 9324 cov 9 BestSoFar EnumMap time 30920 gen 42 score 9324 cov 9 BestSoFar EnumMap time 31557 gen 43 score 9324 cov 9 BestSoFar EnumMap time 32218 gen 44 score 9324 cov 9 BestSoFar EnumMap time 32891 gen 45 score 9324 cov 9 BestSoFar EnumMap time 33541 gen 46 score 9981 cov 10 BestSoFar EnumMap time 34202 gen 47 score 9981 cov 10 BestSoFar EnumMap time 34883 gen 48 score 9981 cov 10 BestSoFar EnumMap time 35587 gen 49 score 9981 cov 10 BestSoFar EnumMap time 36255 gen 50 score 9981 cov 10 BestSoFar HashMap time 2548 gen 1 score 328990 cov 329 BestSoFar HashMap time 3941 gen 2 score 387798 cov 389 BestSoFar HashMap time 5257 gen 3 score 387798 cov 389 BestSoFar HashMap time 7026 gen 4 score 387798 cov 389 BestSoFar HashMap time 9155 gen 5 score 391274 cov 393 BestSoFar HashMap time 11302 gen 6 score 391274 cov 393 BestSoFar HashMap time 13304 gen 7 score 391274 cov 393 BestSoFar HashMap time 15689 gen 8 score 393274 cov 395 BestSoFar HashMap time 18251 gen 9 score 393274 cov 395 BestSoFar HashMap time 21038 gen 10 score 393274 cov 395 BestSoFar HashMap time 24507 gen 11 score 402332 cov 405 BestSoFar HashMap time 28017 gen 12 score 402332 cov 405 BestSoFar HashMap time 31374 gen 13 score 408665 cov 411 BestSoFar HashMap time 34700 gen 14 score 408665 cov 411 BestSoFar HashMap time 38017 gen 15 score 408665 cov 411 BestSoFar HashMap time 41249 gen 16 score 408665 cov 411 BestSoFar HashMap time 44480 gen 17 score 408665 cov 411 BestSoFar HashMap time 47785 gen 18 score 408665 cov 411 BestSoFar HashMap time 51062 gen 19 score 408665 cov 411 BestSoFar HashMap time 54346 gen 20 score 408665 cov 411 BestSoFar HashMap time 57874 gen 21 score 408665 cov 411 BestSoFar HashMap time 61733 gen 22 score 408665 cov 411 BestSoFar HashMap time 65553 gen 23 score 408665 cov 411 BestSoFar HashMap time 69396 gen 24 score 413219 cov 417 BestSoFar HashMap time 73290 gen 25 score 413219 cov 417 BestSoFar HashMap time 77067 gen 26 score 413219 cov 417 BestSoFar HashMap time 80843 gen 27 score 413219 cov 417 BestSoFar HashMap time 84684 gen 28 score 413219 cov 417 BestSoFar HashMap time 88669 gen 29 score 413219 cov 417 BestSoFar HashMap time 92649 gen 30 score 413219 cov 417 BestSoFar HashMap time 96736 gen 31 score 413219 cov 417 BestSoFar HashMap time 100790 gen 32 score 415885 cov 419 BestSoFar HashMap time 104803 gen 33 score 415885 cov 419 BestSoFar HashMap time 109053 gen 34 score 415885 cov 419 BestSoFar HashMap time 113589 gen 35 score 418254 cov 423 BestSoFar HashMap time 118414 gen 36 score 418254 cov 423 BestSoFar HashMap time 123639 gen 37 score 418254 cov 423 BestSoFar HashMap time 128923 gen 38 score 418667 cov 424 BestSoFar HashMap time 134025 gen 39 score 418667 cov 424 BestSoFar HashMap time 139119 gen 40 score 418667 cov 424 BestSoFar HashMap time 144448 gen 41 score 418667 cov 424 BestSoFar HashMap time 150033 gen 42 score 418667 cov 424 BestSoFar HashMap time 155688 gen 43 score 418667 cov 424 BestSoFar HashMap time 161298 gen 44 score 418667 cov 424 BestSoFar HashMap time 167158 gen 45 score 418667 cov 424 BestSoFar HashMap time 172784 gen 46 score 418667 cov 424 BestSoFar HashMap time 178470 gen 47 score 418667 cov 424 BestSoFar HashMap time 184241 gen 48 score 418667 cov 424 BestSoFar HashMap time 189754 gen 49 score 418667 cov 424 BestSoFar HashMap time 195401 gen 50 score 418667 cov 424 BestSoFar HashSet time 1479 gen 1 score 271145 cov 271 BestSoFar HashSet time 2442 gen 2 score 309802 cov 310 BestSoFar HashSet time 3400 gen 3 score 310469 cov 311 BestSoFar HashSet time 4949 gen 4 score 312786 cov 313 BestSoFar HashSet time 6398 gen 5 score 312786 cov 313 BestSoFar HashSet time 8080 gen 6 score 316190 cov 318 BestSoFar HashSet time 10489 gen 7 score 316190 cov 318 BestSoFar HashSet time 12904 gen 8 score 316190 cov 318 BestSoFar HashSet time 15297 gen 9 score 316190 cov 318 BestSoFar HashSet time 18091 gen 10 score 316190 cov 318 BestSoFar HashSet time 21081 gen 11 score 316190 cov 318 BestSoFar HashSet time 24113 gen 12 score 316190 cov 318 BestSoFar HashSet time 27211 gen 13 score 316190 cov 318 BestSoFar HashSet time 30487 gen 14 score 316190 cov 318 BestSoFar HashSet time 33639 gen 15 score 316190 cov 318 BestSoFar HashSet time 36661 gen 16 score 316190 cov 318 BestSoFar HashSet time 39740 gen 17 score 316429 cov 319 BestSoFar HashSet time 43016 gen 18 score 316429 cov 319 BestSoFar HashSet time 46153 gen 19 score 316732 cov 320 BestSoFar HashSet time 49357 gen 20 score 316732 cov 320 BestSoFar HashSet time 53031 gen 21 score 317762 cov 320 BestSoFar HashSet time 56288 gen 22 score 317762 cov 320 BestSoFar HashSet time 59371 gen 23 score 317762 cov 320 BestSoFar HashSet time 62311 gen 24 score 317762 cov 320 BestSoFar HashSet time 65203 gen 25 score 317762 cov 320 BestSoFar HashSet time 68269 gen 26 score 318095 cov 320 BestSoFar HashSet time 71392 gen 27 score 318095 cov 320 BestSoFar HashSet time 74543 gen 28 score 318095 cov 320 BestSoFar HashSet time 77591 gen 29 score 318095 cov 320 BestSoFar HashSet time 80658 gen 30 score 318095 cov 320 BestSoFar HashSet time 83622 gen 31 score 318095 cov 320 BestSoFar HashSet time 86479 gen 32 score 318095 cov 320 BestSoFar HashSet time 89401 gen 33 score 318095 cov 320 BestSoFar HashSet time 92359 gen 34 score 318095 cov 320 BestSoFar HashSet time 95275 gen 35 score 318095 cov 320 BestSoFar HashSet time 98131 gen 36 score 318095 cov 320 BestSoFar HashSet time 101053 gen 37 score 318095 cov 320 BestSoFar HashSet time 103984 gen 38 score 318095 cov 320 BestSoFar HashSet time 107104 gen 39 score 318095 cov 320 BestSoFar HashSet time 110327 gen 40 score 318095 cov 320 BestSoFar HashSet time 113389 gen 41 score 318095 cov 320 BestSoFar HashSet time 116218 gen 42 score 318095 cov 320 BestSoFar HashSet time 119082 gen 43 score 318095 cov 320 BestSoFar HashSet time 121652 gen 44 score 318095 cov 320 BestSoFar HashSet time 124510 gen 45 score 318095 cov 320 BestSoFar HashSet time 127449 gen 46 score 318095 cov 320 BestSoFar HashSet time 130459 gen 47 score 318095 cov 320 BestSoFar HashSet time 133714 gen 48 score 318095 cov 320 BestSoFar HashSet time 136743 gen 49 score 318095 cov 320 BestSoFar HashSet time 139683 gen 50 score 318095 cov 320 BestSoFar Hashtable time 2898 gen 1 score 353283 cov 353 BestSoFar Hashtable time 4480 gen 2 score 353283 cov 353 BestSoFar Hashtable time 5660 gen 3 score 377166 cov 378 BestSoFar Hashtable time 6969 gen 4 score 377166 cov 378 BestSoFar Hashtable time 8897 gen 5 score 388026 cov 389 BestSoFar Hashtable time 11239 gen 6 score 394896 cov 397 BestSoFar Hashtable time 13656 gen 7 score 394896 cov 397 BestSoFar Hashtable time 16349 gen 8 score 394896 cov 397 BestSoFar Hashtable time 19200 gen 9 score 394896 cov 397 BestSoFar Hashtable time 21927 gen 10 score 394896 cov 397 BestSoFar Hashtable time 24790 gen 11 score 394896 cov 397 BestSoFar Hashtable time 27448 gen 12 score 394896 cov 397 BestSoFar Hashtable time 30028 gen 13 score 394896 cov 397 BestSoFar Hashtable time 32645 gen 14 score 394896 cov 397 BestSoFar Hashtable time 35350 gen 15 score 394896 cov 397 BestSoFar Hashtable time 38056 gen 16 score 394896 cov 397 BestSoFar Hashtable time 40618 gen 17 score 397262 cov 399 BestSoFar Hashtable time 43251 gen 18 score 397262 cov 399 BestSoFar Hashtable time 45882 gen 19 score 397262 cov 399 BestSoFar Hashtable time 48540 gen 20 score 397929 cov 400 BestSoFar Hashtable time 51358 gen 21 score 403350 cov 405 BestSoFar Hashtable time 53800 gen 22 score 403350 cov 405 BestSoFar Hashtable time 56194 gen 23 score 403350 cov 405 BestSoFar Hashtable time 58578 gen 24 score 403350 cov 405 BestSoFar Hashtable time 61148 gen 25 score 403350 cov 405 BestSoFar Hashtable time 63592 gen 26 score 403350 cov 405 BestSoFar Hashtable time 66007 gen 27 score 403350 cov 405 BestSoFar Hashtable time 68512 gen 28 score 406684 cov 409 BestSoFar Hashtable time 71018 gen 29 score 406684 cov 409 BestSoFar Hashtable time 73476 gen 30 score 406684 cov 409 BestSoFar Hashtable time 76082 gen 31 score 406684 cov 409 BestSoFar Hashtable time 78519 gen 32 score 406684 cov 409 BestSoFar Hashtable time 80965 gen 33 score 406684 cov 409 BestSoFar Hashtable time 83377 gen 34 score 406684 cov 409 BestSoFar Hashtable time 85785 gen 35 score 406684 cov 409 BestSoFar Hashtable time 88211 gen 36 score 406684 cov 409 BestSoFar Hashtable time 90634 gen 37 score 406684 cov 409 BestSoFar Hashtable time 93116 gen 38 score 406684 cov 409 BestSoFar Hashtable time 95550 gen 39 score 406684 cov 409 BestSoFar Hashtable time 98013 gen 40 score 406684 cov 409 BestSoFar Hashtable time 100592 gen 41 score 408350 cov 410 BestSoFar Hashtable time 103248 gen 42 score 408350 cov 410 BestSoFar Hashtable time 106279 gen 43 score 408350 cov 410 BestSoFar Hashtable time 109193 gen 44 score 408350 cov 410 BestSoFar Hashtable time 112396 gen 45 score 408350 cov 410 BestSoFar Hashtable time 115644 gen 46 score 408350 cov 410 BestSoFar Hashtable time 118973 gen 47 score 408350 cov 410 BestSoFar Hashtable time 122411 gen 48 score 408350 cov 410 BestSoFar Hashtable time 126014 gen 49 score 408350 cov 410 BestSoFar Hashtable time 129580 gen 50 score 408350 cov 410 BestSoFar IdentityHashMap time 2617 gen 1 score 305657 cov 306 BestSoFar IdentityHashMap time 4129 gen 2 score 314323 cov 314 BestSoFar IdentityHashMap time 5643 gen 3 score 358072 cov 359 BestSoFar IdentityHashMap time 7622 gen 4 score 361739 cov 363 BestSoFar IdentityHashMap time 9804 gen 5 score 377739 cov 379 BestSoFar IdentityHashMap time 12088 gen 6 score 377739 cov 379 BestSoFar IdentityHashMap time 14161 gen 7 score 377739 cov 379 BestSoFar IdentityHashMap time 16214 gen 8 score 377739 cov 379 BestSoFar IdentityHashMap time 18106 gen 9 score 385739 cov 387 BestSoFar IdentityHashMap time 20249 gen 10 score 385739 cov 387 BestSoFar IdentityHashMap time 22718 gen 11 score 392423 cov 394 BestSoFar IdentityHashMap time 25149 gen 12 score 392423 cov 394 BestSoFar IdentityHashMap time 27940 gen 13 score 392423 cov 394 BestSoFar IdentityHashMap time 30626 gen 14 score 392423 cov 394 BestSoFar IdentityHashMap time 33311 gen 15 score 392423 cov 394 BestSoFar IdentityHashMap time 35889 gen 16 score 398090 cov 400 BestSoFar IdentityHashMap time 38475 gen 17 score 398090 cov 400 BestSoFar IdentityHashMap time 41029 gen 18 score 398090 cov 400 BestSoFar IdentityHashMap time 43553 gen 19 score 398090 cov 400 BestSoFar IdentityHashMap time 46070 gen 20 score 398090 cov 400 BestSoFar IdentityHashMap time 48695 gen 21 score 398090 cov 400 BestSoFar IdentityHashMap time 51281 gen 22 score 398090 cov 400 BestSoFar IdentityHashMap time 53861 gen 23 score 398090 cov 400 BestSoFar IdentityHashMap time 56488 gen 24 score 398090 cov 400 BestSoFar IdentityHashMap time 59031 gen 25 score 398423 cov 400 BestSoFar IdentityHashMap time 61718 gen 26 score 398423 cov 400 BestSoFar IdentityHashMap time 64256 gen 27 score 398423 cov 400 BestSoFar IdentityHashMap time 66780 gen 28 score 398423 cov 400 BestSoFar IdentityHashMap time 69258 gen 29 score 398423 cov 400 BestSoFar IdentityHashMap time 71775 gen 30 score 398423 cov 400 BestSoFar IdentityHashMap time 74443 gen 31 score 398423 cov 400 BestSoFar IdentityHashMap time 77141 gen 32 score 398423 cov 400 BestSoFar IdentityHashMap time 79976 gen 33 score 400757 cov 403 BestSoFar IdentityHashMap time 83216 gen 34 score 400757 cov 403 BestSoFar IdentityHashMap time 86746 gen 35 score 400757 cov 403 BestSoFar IdentityHashMap time 90521 gen 36 score 401046 cov 404 BestSoFar IdentityHashMap time 94388 gen 37 score 401046 cov 404 BestSoFar IdentityHashMap time 98297 gen 38 score 401046 cov 404 BestSoFar IdentityHashMap time 102118 gen 39 score 401046 cov 404 BestSoFar IdentityHashMap time 106078 gen 40 score 401046 cov 404 BestSoFar IdentityHashMap time 110266 gen 41 score 401732 cov 406 BestSoFar IdentityHashMap time 114297 gen 42 score 401732 cov 406 BestSoFar IdentityHashMap time 118367 gen 43 score 401732 cov 406 BestSoFar IdentityHashMap time 122184 gen 44 score 401732 cov 406 BestSoFar IdentityHashMap time 126108 gen 45 score 401732 cov 406 BestSoFar IdentityHashMap time 129976 gen 46 score 401732 cov 406 BestSoFar IdentityHashMap time 133887 gen 47 score 401732 cov 406 BestSoFar IdentityHashMap time 138106 gen 48 score 401732 cov 406 BestSoFar IdentityHashMap time 142503 gen 49 score 401732 cov 406 BestSoFar IdentityHashMap time 147327 gen 50 score 404194 cov 409 BestSoFar LinkedHashMap time 1823 gen 1 score 270510 cov 271 BestSoFar LinkedHashMap time 3128 gen 2 score 270510 cov 271 BestSoFar LinkedHashMap time 5367 gen 3 score 280363 cov 282 BestSoFar LinkedHashMap time 7144 gen 4 score 280363 cov 282 BestSoFar LinkedHashMap time 8973 gen 5 score 282334 cov 283 BestSoFar LinkedHashMap time 10735 gen 6 score 282334 cov 283 BestSoFar LinkedHashMap time 12482 gen 7 score 282334 cov 283 BestSoFar LinkedHashMap time 14452 gen 8 score 282363 cov 284 BestSoFar LinkedHashMap time 16272 gen 9 score 282363 cov 284 BestSoFar LinkedHashMap time 18217 gen 10 score 282363 cov 284 BestSoFar LinkedHashMap time 22391 gen 11 score 282363 cov 284 BestSoFar LinkedHashMap time 24226 gen 12 score 282363 cov 284 BestSoFar LinkedHashMap time 26046 gen 13 score 282363 cov 284 BestSoFar LinkedHashMap time 27872 gen 14 score 282363 cov 284 BestSoFar LinkedHashMap time 29712 gen 15 score 285363 cov 287 BestSoFar LinkedHashMap time 31512 gen 16 score 285363 cov 287 BestSoFar LinkedHashMap time 33340 gen 17 score 288363 cov 290 BestSoFar LinkedHashMap time 35165 gen 18 score 288363 cov 290 BestSoFar LinkedHashMap time 37112 gen 19 score 290636 cov 292 BestSoFar LinkedHashMap time 39265 gen 20 score 290636 cov 292 BestSoFar LinkedHashMap time 41378 gen 21 score 291109 cov 293 BestSoFar LinkedHashMap time 43687 gen 22 score 291109 cov 293 BestSoFar LinkedHashMap time 46067 gen 23 score 292021 cov 295 BestSoFar LinkedHashMap time 49142 gen 24 score 294021 cov 297 BestSoFar LinkedHashMap time 52700 gen 25 score 294021 cov 297 BestSoFar LinkedHashMap time 56345 gen 26 score 294021 cov 297 BestSoFar LinkedHashMap time 59985 gen 27 score 295021 cov 298 BestSoFar LinkedHashMap time 63648 gen 28 score 295646 cov 299 BestSoFar LinkedHashMap time 67272 gen 29 score 296354 cov 299 BestSoFar LinkedHashMap time 71076 gen 30 score 296354 cov 299 BestSoFar LinkedHashMap time 75855 gen 31 score 296354 cov 299 BestSoFar LinkedHashMap time 80336 gen 32 score 296354 cov 299 BestSoFar LinkedHashMap time 84763 gen 33 score 296354 cov 299 BestSoFar LinkedHashMap time 89113 gen 34 score 296354 cov 299 BestSoFar LinkedHashMap time 93355 gen 35 score 296354 cov 299 BestSoFar LinkedHashMap time 97536 gen 36 score 296354 cov 299 BestSoFar LinkedHashMap time 101794 gen 37 score 296354 cov 299 BestSoFar LinkedHashMap time 105965 gen 38 score 296354 cov 299 BestSoFar LinkedHashMap time 110320 gen 39 score 296354 cov 299 BestSoFar LinkedHashMap time 114384 gen 40 score 296354 cov 299 BestSoFar LinkedHashMap time 118585 gen 41 score 296354 cov 299 BestSoFar LinkedHashMap time 122867 gen 42 score 296354 cov 299 BestSoFar LinkedHashMap time 127261 gen 43 score 296354 cov 299 BestSoFar LinkedHashMap time 131410 gen 44 score 296354 cov 299 BestSoFar LinkedHashMap time 135532 gen 45 score 296354 cov 299 BestSoFar LinkedHashMap time 139531 gen 46 score 296354 cov 299 BestSoFar LinkedHashMap time 143690 gen 47 score 296354 cov 299 BestSoFar LinkedHashMap time 147927 gen 48 score 296354 cov 299 BestSoFar LinkedHashMap time 152117 gen 49 score 296354 cov 299 BestSoFar LinkedHashMap time 156250 gen 50 score 296354 cov 299 BestSoFar LinkedHashSet time 1970 gen 1 score 258571 cov 259 BestSoFar LinkedHashSet time 3759 gen 2 score 258983 cov 259 BestSoFar LinkedHashSet time 5477 gen 3 score 263650 cov 264 BestSoFar LinkedHashSet time 7435 gen 4 score 264782 cov 266 BestSoFar LinkedHashSet time 9210 gen 5 score 267255 cov 268 BestSoFar LinkedHashSet time 10924 gen 6 score 269448 cov 270 BestSoFar LinkedHashSet time 12634 gen 7 score 269448 cov 270 BestSoFar LinkedHashSet time 14284 gen 8 score 269448 cov 270 BestSoFar LinkedHashSet time 15879 gen 9 score 269448 cov 270 BestSoFar LinkedHashSet time 17436 gen 10 score 269448 cov 270 BestSoFar LinkedHashSet time 19030 gen 11 score 269448 cov 270 BestSoFar LinkedHashSet time 20687 gen 12 score 269448 cov 270 BestSoFar LinkedHashSet time 22417 gen 13 score 269448 cov 270 BestSoFar LinkedHashSet time 24154 gen 14 score 269448 cov 270 BestSoFar LinkedHashSet time 26074 gen 15 score 269448 cov 270 BestSoFar LinkedHashSet time 27765 gen 16 score 269448 cov 270 BestSoFar LinkedHashSet time 29689 gen 17 score 269448 cov 270 BestSoFar LinkedHashSet time 31684 gen 18 score 269448 cov 270 BestSoFar LinkedHashSet time 33815 gen 19 score 269448 cov 270 BestSoFar LinkedHashSet time 36061 gen 20 score 271187 cov 273 BestSoFar LinkedHashSet time 38332 gen 21 score 271187 cov 273 BestSoFar LinkedHashSet time 40610 gen 22 score 271187 cov 273 BestSoFar LinkedHashSet time 42829 gen 23 score 271187 cov 273 BestSoFar LinkedHashSet time 45030 gen 24 score 271187 cov 273 BestSoFar LinkedHashSet time 47260 gen 25 score 271187 cov 273 BestSoFar LinkedHashSet time 49546 gen 26 score 271187 cov 273 BestSoFar LinkedHashSet time 51821 gen 27 score 271187 cov 273 BestSoFar LinkedHashSet time 54062 gen 28 score 271187 cov 273 BestSoFar LinkedHashSet time 56370 gen 29 score 271187 cov 273 BestSoFar LinkedHashSet time 58617 gen 30 score 271187 cov 273 BestSoFar LinkedHashSet time 60883 gen 31 score 271187 cov 273 BestSoFar LinkedHashSet time 63172 gen 32 score 271187 cov 273 BestSoFar LinkedHashSet time 65350 gen 33 score 271187 cov 273 BestSoFar LinkedHashSet time 67612 gen 34 score 271187 cov 273 BestSoFar LinkedHashSet time 69788 gen 35 score 271187 cov 273 BestSoFar LinkedHashSet time 71970 gen 36 score 271187 cov 273 BestSoFar LinkedHashSet time 74152 gen 37 score 271187 cov 273 BestSoFar LinkedHashSet time 76121 gen 38 score 271187 cov 273 BestSoFar LinkedHashSet time 78132 gen 39 score 271187 cov 273 BestSoFar LinkedHashSet time 80104 gen 40 score 271187 cov 273 BestSoFar LinkedHashSet time 82264 gen 41 score 271187 cov 273 BestSoFar LinkedHashSet time 84332 gen 42 score 271187 cov 273 BestSoFar LinkedHashSet time 86460 gen 43 score 271187 cov 273 BestSoFar LinkedHashSet time 88455 gen 44 score 271187 cov 273 BestSoFar LinkedHashSet time 90644 gen 45 score 271187 cov 273 BestSoFar LinkedHashSet time 92632 gen 46 score 271187 cov 273 BestSoFar LinkedHashSet time 94744 gen 47 score 271187 cov 273 BestSoFar LinkedHashSet time 96955 gen 48 score 271187 cov 273 BestSoFar LinkedHashSet time 99073 gen 49 score 271187 cov 273 BestSoFar LinkedHashSet time 101273 gen 50 score 271187 cov 273 BestSoFar LinkedList time 2107 gen 1 score 237702 cov 238 BestSoFar LinkedList time 3300 gen 2 score 259632 cov 260 BestSoFar LinkedList time 4474 gen 3 score 261299 cov 262 BestSoFar LinkedList time 6328 gen 4 score 264299 cov 265 BestSoFar LinkedList time 8077 gen 5 score 264299 cov 265 BestSoFar LinkedList time 9700 gen 6 score 266632 cov 267 BestSoFar LinkedList time 11284 gen 7 score 266632 cov 267 BestSoFar LinkedList time 12785 gen 8 score 266632 cov 267 BestSoFar LinkedList time 14449 gen 9 score 266632 cov 267 BestSoFar LinkedList time 16328 gen 10 score 266632 cov 267 BestSoFar LinkedList time 18463 gen 11 score 269680 cov 271 BestSoFar LinkedList time 20569 gen 12 score 269680 cov 271 BestSoFar LinkedList time 22659 gen 13 score 270013 cov 271 BestSoFar LinkedList time 24914 gen 14 score 270156 cov 272 BestSoFar LinkedList time 27434 gen 15 score 270156 cov 272 BestSoFar LinkedList time 29907 gen 16 score 270156 cov 272 BestSoFar LinkedList time 32376 gen 17 score 270156 cov 272 BestSoFar LinkedList time 34888 gen 18 score 270156 cov 272 BestSoFar LinkedList time 37486 gen 19 score 270242 cov 272 BestSoFar LinkedList time 40264 gen 20 score 270242 cov 272 BestSoFar LinkedList time 42834 gen 21 score 270242 cov 272 BestSoFar LinkedList time 45287 gen 22 score 271575 cov 273 BestSoFar LinkedList time 47797 gen 23 score 271575 cov 273 BestSoFar LinkedList time 50309 gen 24 score 271575 cov 273 BestSoFar LinkedList time 52806 gen 25 score 271575 cov 273 BestSoFar LinkedList time 55365 gen 26 score 271575 cov 273 BestSoFar LinkedList time 57813 gen 27 score 271575 cov 273 BestSoFar LinkedList time 60327 gen 28 score 271575 cov 273 BestSoFar LinkedList time 62942 gen 29 score 272242 cov 274 BestSoFar LinkedList time 65762 gen 30 score 272242 cov 274 BestSoFar LinkedList time 69113 gen 31 score 272242 cov 274 BestSoFar LinkedList time 72611 gen 32 score 272242 cov 274 BestSoFar LinkedList time 76302 gen 33 score 272242 cov 274 BestSoFar LinkedList time 80246 gen 34 score 272242 cov 274 BestSoFar LinkedList time 84042 gen 35 score 272242 cov 274 BestSoFar LinkedList time 87401 gen 36 score 272242 cov 274 BestSoFar LinkedList time 90760 gen 37 score 272242 cov 274 BestSoFar LinkedList time 94081 gen 38 score 272384 cov 275 BestSoFar LinkedList time 97427 gen 39 score 272384 cov 275 BestSoFar LinkedList time 100901 gen 40 score 272775 cov 275 BestSoFar LinkedList time 104602 gen 41 score 272775 cov 275 BestSoFar LinkedList time 107881 gen 42 score 272775 cov 275 BestSoFar LinkedList time 111048 gen 43 score 272775 cov 275 BestSoFar LinkedList time 114293 gen 44 score 272775 cov 275 BestSoFar LinkedList time 117531 gen 45 score 272775 cov 275 BestSoFar LinkedList time 120906 gen 46 score 272775 cov 275 BestSoFar LinkedList time 124156 gen 47 score 272775 cov 275 BestSoFar LinkedList time 127700 gen 48 score 272775 cov 275 BestSoFar LinkedList time 131300 gen 49 score 272775 cov 275 BestSoFar LinkedList time 135097 gen 50 score 272775 cov 275 BestSoFar PriorityQueue time 2092 gen 1 score 172035 cov 172 BestSoFar PriorityQueue time 3601 gen 2 score 205973 cov 207 BestSoFar PriorityQueue time 5545 gen 3 score 207859 cov 209 BestSoFar PriorityQueue time 7571 gen 4 score 207859 cov 209 BestSoFar PriorityQueue time 10310 gen 5 score 210193 cov 212 BestSoFar PriorityQueue time 13063 gen 6 score 218526 cov 220 BestSoFar PriorityQueue time 15807 gen 7 score 218526 cov 220 BestSoFar PriorityQueue time 18368 gen 8 score 218526 cov 220 BestSoFar PriorityQueue time 20805 gen 9 score 218526 cov 220 BestSoFar PriorityQueue time 23006 gen 10 score 218526 cov 220 BestSoFar PriorityQueue time 25166 gen 11 score 218526 cov 220 BestSoFar PriorityQueue time 27203 gen 12 score 218526 cov 220 BestSoFar PriorityQueue time 29177 gen 13 score 221614 cov 223 BestSoFar PriorityQueue time 31163 gen 14 score 221614 cov 223 BestSoFar PriorityQueue time 33103 gen 15 score 221614 cov 223 BestSoFar PriorityQueue time 35044 gen 16 score 221614 cov 223 BestSoFar PriorityQueue time 37183 gen 17 score 221614 cov 223 BestSoFar PriorityQueue time 39538 gen 18 score 221614 cov 223 BestSoFar PriorityQueue time 42144 gen 19 score 221614 cov 223 BestSoFar PriorityQueue time 44744 gen 20 score 221614 cov 223 BestSoFar PriorityQueue time 47568 gen 21 score 221614 cov 223 BestSoFar PriorityQueue time 50356 gen 22 score 221614 cov 223 BestSoFar PriorityQueue time 53063 gen 23 score 221614 cov 223 BestSoFar PriorityQueue time 55709 gen 24 score 221614 cov 223 BestSoFar PriorityQueue time 58397 gen 25 score 221614 cov 223 BestSoFar PriorityQueue time 61146 gen 26 score 221614 cov 223 BestSoFar PriorityQueue time 64048 gen 27 score 221614 cov 223 BestSoFar PriorityQueue time 67051 gen 28 score 221614 cov 223 BestSoFar PriorityQueue time 69971 gen 29 score 221614 cov 223 BestSoFar PriorityQueue time 72780 gen 30 score 221614 cov 223 BestSoFar PriorityQueue time 75669 gen 31 score 221614 cov 223 BestSoFar PriorityQueue time 78398 gen 32 score 221614 cov 223 BestSoFar PriorityQueue time 81170 gen 33 score 221614 cov 223 BestSoFar PriorityQueue time 84062 gen 34 score 221614 cov 223 BestSoFar PriorityQueue time 86965 gen 35 score 221614 cov 223 BestSoFar PriorityQueue time 89927 gen 36 score 221614 cov 223 BestSoFar PriorityQueue time 92873 gen 37 score 221614 cov 223 BestSoFar PriorityQueue time 95909 gen 38 score 221614 cov 223 BestSoFar PriorityQueue time 99032 gen 39 score 221614 cov 223 BestSoFar PriorityQueue time 102375 gen 40 score 221614 cov 223 BestSoFar PriorityQueue time 105892 gen 41 score 221614 cov 223 BestSoFar PriorityQueue time 109467 gen 42 score 221614 cov 223 BestSoFar PriorityQueue time 113166 gen 43 score 221614 cov 223 BestSoFar PriorityQueue time 116691 gen 44 score 221614 cov 223 BestSoFar PriorityQueue time 120315 gen 45 score 221614 cov 223 BestSoFar PriorityQueue time 123896 gen 46 score 221614 cov 223 BestSoFar PriorityQueue time 127362 gen 47 score 221614 cov 223 BestSoFar PriorityQueue time 130863 gen 48 score 221614 cov 223 BestSoFar PriorityQueue time 134446 gen 49 score 221614 cov 223 BestSoFar PriorityQueue time 137957 gen 50 score 221614 cov 223 BestSoFar Properties time 4662 gen 1 score 237435 cov 237 BestSoFar Properties time 10525 gen 2 score 297604 cov 298 BestSoFar Properties time 17570 gen 3 score 297938 cov 299 BestSoFar Properties time 34757 gen 4 score 297938 cov 299 BestSoFar Properties time 54613 gen 5 score 297938 cov 299 BestSoFar Properties time 73629 gen 6 score 297938 cov 299 BestSoFar Properties time 91134 gen 7 score 297938 cov 299 BestSoFar Properties time 105930 gen 8 score 297938 cov 299 BestSoFar Properties time 119637 gen 9 score 297981 cov 299 BestSoFar Properties time 134310 gen 10 score 297981 cov 299 BestSoFar Properties time 149011 gen 11 score 297981 cov 299 BestSoFar Properties time 163747 gen 12 score 297981 cov 299 BestSoFar Properties time 177930 gen 13 score 297981 cov 299 BestSoFar Properties time 189606 gen 14 score 297981 cov 299 BestSoFar Properties time 201013 gen 15 score 297981 cov 299 BestSoFar Properties time 214114 gen 16 score 297981 cov 299 BestSoFar Properties time 228301 gen 17 score 297981 cov 299 BestSoFar Properties time 243188 gen 18 score 297981 cov 299 BestSoFar Properties time 258163 gen 19 score 298168 cov 299 BestSoFar Properties time 274326 gen 20 score 298168 cov 299 BestSoFar Properties time 285540 gen 21 score 298168 cov 299 BestSoFar Properties time 299051 gen 22 score 298168 cov 299 BestSoFar Properties time 311824 gen 23 score 298168 cov 299 BestSoFar Properties time 323685 gen 24 score 298168 cov 299 BestSoFar Properties time 336761 gen 25 score 298168 cov 299 BestSoFar Properties time 349215 gen 26 score 298168 cov 299 BestSoFar Properties time 359889 gen 27 score 298168 cov 299 BestSoFar Properties time 371300 gen 28 score 298168 cov 299 BestSoFar Properties time 382598 gen 29 score 298168 cov 299 BestSoFar Properties time 396572 gen 30 score 298168 cov 299 BestSoFar Properties time 407179 gen 31 score 298168 cov 299 BestSoFar Properties time 417837 gen 32 score 298168 cov 299 BestSoFar Properties time 428562 gen 33 score 298168 cov 299 BestSoFar Properties time 439758 gen 34 score 298168 cov 299 BestSoFar Properties time 450097 gen 35 score 298168 cov 299 BestSoFar Properties time 460476 gen 36 score 298380 cov 299 BestSoFar Properties time 473230 gen 37 score 298380 cov 299 BestSoFar Properties time 490844 gen 38 score 298380 cov 299 BestSoFar Properties time 508022 gen 39 score 298380 cov 299 BestSoFar Properties time 528594 gen 40 score 298380 cov 299 BestSoFar Properties time 550021 gen 41 score 298380 cov 299 BestSoFar Properties time 567150 gen 42 score 298380 cov 299 BestSoFar Properties time 586985 gen 43 score 298380 cov 299 BestSoFar Properties time 600596 gen 44 score 298380 cov 299 BestSoFar Properties time 613662 gen 45 score 298380 cov 299 BestSoFar Properties time 627101 gen 46 score 298380 cov 299 BestSoFar Properties time 639838 gen 47 score 298380 cov 299 BestSoFar Properties time 651557 gen 48 score 298380 cov 299 BestSoFar Properties time 660653 gen 49 score 298380 cov 299 BestSoFar Properties time 673090 gen 50 score 298380 cov 299 BestSoFar Stack time 1924 gen 1 score 85670 cov 86 BestSoFar Stack time 3314 gen 2 score 85670 cov 86 BestSoFar Stack time 5261 gen 3 score 85670 cov 86 BestSoFar Stack time 6957 gen 4 score 85670 cov 86 BestSoFar Stack time 8549 gen 5 score 85670 cov 86 BestSoFar Stack time 10079 gen 6 score 85670 cov 86 BestSoFar Stack time 11562 gen 7 score 85670 cov 86 BestSoFar Stack time 13055 gen 8 score 85670 cov 86 BestSoFar Stack time 14538 gen 9 score 86089 cov 87 BestSoFar Stack time 16050 gen 10 score 86089 cov 87 BestSoFar Stack time 17462 gen 11 score 86221 cov 87 BestSoFar Stack time 18877 gen 12 score 86221 cov 87 BestSoFar Stack time 20301 gen 13 score 86221 cov 87 BestSoFar Stack time 21677 gen 14 score 86221 cov 87 BestSoFar Stack time 22940 gen 15 score 86221 cov 87 BestSoFar Stack time 24076 gen 16 score 86221 cov 87 BestSoFar Stack time 25249 gen 17 score 86221 cov 87 BestSoFar Stack time 26658 gen 18 score 86221 cov 87 BestSoFar Stack time 27784 gen 19 score 86221 cov 87 BestSoFar Stack time 28882 gen 20 score 86221 cov 87 BestSoFar Stack time 29929 gen 21 score 86221 cov 87 BestSoFar Stack time 31041 gen 22 score 86221 cov 87 BestSoFar Stack time 32186 gen 23 score 86221 cov 87 BestSoFar Stack time 33230 gen 24 score 86221 cov 87 BestSoFar Stack time 34335 gen 25 score 86221 cov 87 BestSoFar Stack time 35346 gen 26 score 86221 cov 87 BestSoFar Stack time 36343 gen 27 score 86221 cov 87 BestSoFar Stack time 37387 gen 28 score 86221 cov 87 BestSoFar Stack time 38444 gen 29 score 86320 cov 87 BestSoFar Stack time 39469 gen 30 score 86320 cov 87 BestSoFar Stack time 40485 gen 31 score 86320 cov 87 BestSoFar Stack time 41530 gen 32 score 86320 cov 87 BestSoFar Stack time 42529 gen 33 score 86320 cov 87 BestSoFar Stack time 43530 gen 34 score 86320 cov 87 BestSoFar Stack time 44605 gen 35 score 86320 cov 87 BestSoFar Stack time 45612 gen 36 score 86320 cov 87 BestSoFar Stack time 46652 gen 37 score 86320 cov 87 BestSoFar Stack time 47688 gen 38 score 86320 cov 87 BestSoFar Stack time 48722 gen 39 score 86320 cov 87 BestSoFar Stack time 49716 gen 40 score 86320 cov 87 BestSoFar Stack time 50725 gen 41 score 86320 cov 87 BestSoFar Stack time 51758 gen 42 score 86320 cov 87 BestSoFar Stack time 52709 gen 43 score 86320 cov 87 BestSoFar Stack time 53773 gen 44 score 86320 cov 87 BestSoFar Stack time 54748 gen 45 score 86320 cov 87 BestSoFar Stack time 55789 gen 46 score 86320 cov 87 BestSoFar Stack time 56838 gen 47 score 86320 cov 87 BestSoFar Stack time 57891 gen 48 score 86320 cov 87 BestSoFar Stack time 59233 gen 49 score 86320 cov 87 BestSoFar Stack time 60263 gen 50 score 86320 cov 87 BestSoFar TreeMap time 3232 gen 1 score 495046 cov 496 BestSoFar TreeMap time 5050 gen 2 score 526046 cov 527 BestSoFar TreeMap time 7407 gen 3 score 526046 cov 527 BestSoFar TreeMap time 9778 gen 4 score 526046 cov 527 BestSoFar TreeMap time 12061 gen 5 score 532660 cov 534 BestSoFar TreeMap time 14276 gen 6 score 537993 cov 539 BestSoFar TreeMap time 16384 gen 7 score 537993 cov 539 BestSoFar TreeMap time 18647 gen 8 score 537993 cov 539 BestSoFar TreeMap time 21150 gen 9 score 537993 cov 539 BestSoFar TreeMap time 24095 gen 10 score 537993 cov 539 BestSoFar TreeMap time 27304 gen 11 score 537993 cov 539 BestSoFar TreeMap time 30235 gen 12 score 571687 cov 574 BestSoFar TreeMap time 33126 gen 13 score 571687 cov 574 BestSoFar TreeMap time 36195 gen 14 score 571687 cov 574 BestSoFar TreeMap time 39310 gen 15 score 571687 cov 574 BestSoFar TreeMap time 42418 gen 16 score 571687 cov 574 BestSoFar TreeMap time 46061 gen 17 score 571687 cov 574 BestSoFar TreeMap time 49710 gen 18 score 571687 cov 574 BestSoFar TreeMap time 53277 gen 19 score 571687 cov 574 BestSoFar TreeMap time 56969 gen 20 score 586378 cov 590 BestSoFar TreeMap time 60843 gen 21 score 586378 cov 590 BestSoFar TreeMap time 64496 gen 22 score 586378 cov 590 BestSoFar TreeMap time 68472 gen 23 score 586378 cov 590 BestSoFar TreeMap time 72473 gen 24 score 586378 cov 590 BestSoFar TreeMap time 76609 gen 25 score 588431 cov 591 BestSoFar TreeMap time 80487 gen 26 score 588431 cov 591 BestSoFar TreeMap time 84861 gen 27 score 598130 cov 602 BestSoFar TreeMap time 89750 gen 28 score 626240 cov 631 BestSoFar TreeMap time 95146 gen 29 score 626240 cov 631 BestSoFar TreeMap time 100647 gen 30 score 627573 cov 632 BestSoFar TreeMap time 106419 gen 31 score 627573 cov 632 BestSoFar TreeMap time 112213 gen 32 score 627573 cov 632 BestSoFar TreeMap time 118230 gen 33 score 627573 cov 632 BestSoFar TreeMap time 124043 gen 34 score 627573 cov 632 BestSoFar TreeMap time 130066 gen 35 score 627573 cov 632 BestSoFar TreeMap time 136023 gen 36 score 627573 cov 632 BestSoFar TreeMap time 142206 gen 37 score 632643 cov 638 BestSoFar TreeMap time 148588 gen 38 score 632643 cov 638 BestSoFar TreeMap time 155070 gen 39 score 639976 cov 645 BestSoFar TreeMap time 161479 gen 40 score 639976 cov 645 BestSoFar TreeMap time 168061 gen 41 score 639976 cov 645 BestSoFar TreeMap time 174406 gen 42 score 639976 cov 645 BestSoFar TreeMap time 181001 gen 43 score 639976 cov 645 BestSoFar TreeMap time 187604 gen 44 score 639976 cov 645 BestSoFar TreeMap time 194257 gen 45 score 642251 cov 647 BestSoFar TreeMap time 200820 gen 46 score 642251 cov 647 BestSoFar TreeMap time 207621 gen 47 score 642251 cov 647 BestSoFar TreeMap time 214528 gen 48 score 642251 cov 647 BestSoFar TreeMap time 222040 gen 49 score 642251 cov 647 BestSoFar TreeMap time 229335 gen 50 score 648021 cov 654 BestSoFar TreeSet time 1966 gen 1 score 375403 cov 375 BestSoFar TreeSet time 2775 gen 2 score 381403 cov 381 BestSoFar TreeSet time 3864 gen 3 score 462110 cov 463 BestSoFar TreeSet time 5601 gen 4 score 462110 cov 463 BestSoFar TreeSet time 7269 gen 5 score 462110 cov 463 BestSoFar TreeSet time 9092 gen 6 score 466961 cov 468 BestSoFar TreeSet time 11041 gen 7 score 466961 cov 468 BestSoFar TreeSet time 13296 gen 8 score 513035 cov 515 BestSoFar TreeSet time 15688 gen 9 score 513035 cov 515 BestSoFar TreeSet time 18282 gen 10 score 513035 cov 515 BestSoFar TreeSet time 20855 gen 11 score 527264 cov 529 BestSoFar TreeSet time 23253 gen 12 score 527264 cov 529 BestSoFar TreeSet time 25739 gen 13 score 527264 cov 529 BestSoFar TreeSet time 28145 gen 14 score 527264 cov 529 BestSoFar TreeSet time 30895 gen 15 score 540197 cov 542 BestSoFar TreeSet time 33902 gen 16 score 541197 cov 543 BestSoFar TreeSet time 37001 gen 17 score 541197 cov 543 BestSoFar TreeSet time 40162 gen 18 score 552864 cov 555 BestSoFar TreeSet time 43269 gen 19 score 557531 cov 560 BestSoFar TreeSet time 46304 gen 20 score 559864 cov 562 BestSoFar TreeSet time 49484 gen 21 score 559864 cov 562 BestSoFar TreeSet time 52671 gen 22 score 559864 cov 562 BestSoFar TreeSet time 55963 gen 23 score 559864 cov 562 BestSoFar TreeSet time 59239 gen 24 score 559864 cov 562 BestSoFar TreeSet time 62824 gen 25 score 559864 cov 562 BestSoFar TreeSet time 66813 gen 26 score 562596 cov 566 BestSoFar TreeSet time 71122 gen 27 score 562596 cov 566 BestSoFar TreeSet time 75650 gen 28 score 574798 cov 578 BestSoFar TreeSet time 80167 gen 29 score 575956 cov 580 BestSoFar TreeSet time 84792 gen 30 score 582787 cov 586 BestSoFar TreeSet time 89658 gen 31 score 582787 cov 586 BestSoFar TreeSet time 94404 gen 32 score 582787 cov 586 BestSoFar TreeSet time 99330 gen 33 score 582787 cov 586 BestSoFar TreeSet time 104256 gen 34 score 582787 cov 586 BestSoFar TreeSet time 109271 gen 35 score 582787 cov 586 BestSoFar TreeSet time 114279 gen 36 score 582787 cov 586 BestSoFar TreeSet time 119212 gen 37 score 582787 cov 586 BestSoFar TreeSet time 124071 gen 38 score 584289 cov 588 BestSoFar TreeSet time 128914 gen 39 score 584289 cov 588 BestSoFar TreeSet time 133706 gen 40 score 584289 cov 588 BestSoFar TreeSet time 138566 gen 41 score 584289 cov 588 BestSoFar TreeSet time 143257 gen 42 score 584289 cov 588 BestSoFar TreeSet time 147943 gen 43 score 584289 cov 588 BestSoFar TreeSet time 152565 gen 44 score 584289 cov 588 BestSoFar TreeSet time 157218 gen 45 score 584289 cov 588 BestSoFar TreeSet time 161876 gen 46 score 584289 cov 588 BestSoFar TreeSet time 166630 gen 47 score 584289 cov 588 BestSoFar TreeSet time 171244 gen 48 score 584289 cov 588 BestSoFar TreeSet time 175972 gen 49 score 584289 cov 588 BestSoFar TreeSet time 180563 gen 50 score 584289 cov 588 BestSoFar Vector time 4160 gen 1 score 378999 cov 380 BestSoFar Vector time 6248 gen 2 score 378999 cov 380 BestSoFar Vector time 8479 gen 3 score 378999 cov 380 BestSoFar Vector time 10540 gen 4 score 385999 cov 387 BestSoFar Vector time 12561 gen 5 score 385999 cov 387 BestSoFar Vector time 14750 gen 6 score 386332 cov 387 BestSoFar Vector time 17187 gen 7 score 386332 cov 387 BestSoFar Vector time 19436 gen 8 score 386332 cov 387 BestSoFar Vector time 21825 gen 9 score 386332 cov 387 BestSoFar Vector time 24181 gen 10 score 399589 cov 401 BestSoFar Vector time 26874 gen 11 score 399589 cov 401 BestSoFar Vector time 29463 gen 12 score 399589 cov 401 BestSoFar Vector time 31914 gen 13 score 399589 cov 401 BestSoFar Vector time 34350 gen 14 score 399589 cov 401 BestSoFar Vector time 36880 gen 15 score 399589 cov 401 BestSoFar Vector time 39571 gen 16 score 414317 cov 417 BestSoFar Vector time 42543 gen 17 score 414317 cov 417 BestSoFar Vector time 45638 gen 18 score 414962 cov 417 BestSoFar Vector time 48823 gen 19 score 414962 cov 417 BestSoFar Vector time 52505 gen 20 score 414962 cov 417 BestSoFar Vector time 56841 gen 21 score 414962 cov 417 BestSoFar Vector time 61356 gen 22 score 414962 cov 417 BestSoFar Vector time 65870 gen 23 score 414962 cov 417 BestSoFar Vector time 70492 gen 24 score 414962 cov 417 BestSoFar Vector time 75131 gen 25 score 426854 cov 430 BestSoFar Vector time 79785 gen 26 score 426854 cov 430 BestSoFar Vector time 84224 gen 27 score 428521 cov 432 BestSoFar Vector time 88647 gen 28 score 428521 cov 432 BestSoFar Vector time 93102 gen 29 score 428521 cov 432 BestSoFar Vector time 97590 gen 30 score 428521 cov 432 BestSoFar Vector time 102230 gen 31 score 428521 cov 432 BestSoFar Vector time 106637 gen 32 score 428521 cov 432 BestSoFar Vector time 111071 gen 33 score 428521 cov 432 BestSoFar Vector time 115425 gen 34 score 428521 cov 432 BestSoFar Vector time 119796 gen 35 score 428521 cov 432 BestSoFar Vector time 124174 gen 36 score 428521 cov 432 BestSoFar Vector time 128510 gen 37 score 428521 cov 432 BestSoFar Vector time 132986 gen 38 score 445854 cov 449 BestSoFar Vector time 137348 gen 39 score 445854 cov 449 BestSoFar Vector time 141703 gen 40 score 445854 cov 449 BestSoFar Vector time 146294 gen 41 score 445854 cov 449 BestSoFar Vector time 150759 gen 42 score 445854 cov 449 BestSoFar Vector time 155119 gen 43 score 445854 cov 449 BestSoFar Vector time 159497 gen 44 score 445854 cov 449 BestSoFar Vector time 163939 gen 45 score 451854 cov 455 BestSoFar Vector time 168466 gen 46 score 451854 cov 455 BestSoFar Vector time 172974 gen 47 score 451854 cov 455 BestSoFar Vector time 177408 gen 48 score 451854 cov 455 BestSoFar Vector time 181798 gen 49 score 451854 cov 455 BestSoFar Vector time 186315 gen 50 score 451854 cov 455 BestSoFar WeakHashMap time 2463 gen 1 score 324333 cov 324 BestSoFar WeakHashMap time 4050 gen 2 score 333333 cov 333 BestSoFar WeakHashMap time 5288 gen 3 score 340730 cov 341 BestSoFar WeakHashMap time 6328 gen 4 score 367730 cov 368 BestSoFar WeakHashMap time 7834 gen 5 score 367730 cov 368 BestSoFar WeakHashMap time 9507 gen 6 score 384338 cov 386 BestSoFar WeakHashMap time 11041 gen 7 score 384338 cov 386 BestSoFar WeakHashMap time 12711 gen 8 score 384338 cov 386 BestSoFar WeakHashMap time 14758 gen 9 score 384338 cov 386 BestSoFar WeakHashMap time 16873 gen 10 score 384338 cov 386 BestSoFar WeakHashMap time 19284 gen 11 score 387247 cov 389 BestSoFar WeakHashMap time 21671 gen 12 score 387247 cov 389 BestSoFar WeakHashMap time 24147 gen 13 score 387247 cov 389 BestSoFar WeakHashMap time 26481 gen 14 score 387247 cov 389 BestSoFar WeakHashMap time 28819 gen 15 score 387247 cov 389 BestSoFar WeakHashMap time 31150 gen 16 score 387247 cov 389 BestSoFar WeakHashMap time 33492 gen 17 score 387247 cov 389 BestSoFar WeakHashMap time 35762 gen 18 score 387247 cov 389 BestSoFar WeakHashMap time 38255 gen 19 score 387247 cov 389 BestSoFar WeakHashMap time 41108 gen 20 score 388436 cov 391 BestSoFar WeakHashMap time 44281 gen 21 score 388436 cov 391 BestSoFar WeakHashMap time 47367 gen 22 score 388436 cov 391 BestSoFar WeakHashMap time 50532 gen 23 score 388436 cov 391 BestSoFar WeakHashMap time 53949 gen 24 score 388436 cov 391 BestSoFar WeakHashMap time 57692 gen 25 score 388436 cov 391 BestSoFar WeakHashMap time 61589 gen 26 score 388436 cov 391 BestSoFar WeakHashMap time 65959 gen 27 score 388436 cov 391 BestSoFar WeakHashMap time 70215 gen 28 score 388492 cov 393 BestSoFar WeakHashMap time 74589 gen 29 score 389436 cov 394 BestSoFar WeakHashMap time 79139 gen 30 score 389436 cov 394 BestSoFar WeakHashMap time 83997 gen 31 score 389436 cov 394 BestSoFar WeakHashMap time 93574 gen 32 score 389436 cov 394 BestSoFar WeakHashMap time 97918 gen 33 score 392208 cov 396 BestSoFar WeakHashMap time 102255 gen 34 score 392208 cov 396 BestSoFar WeakHashMap time 106574 gen 35 score 392208 cov 396 BestSoFar WeakHashMap time 110970 gen 36 score 392208 cov 396 BestSoFar WeakHashMap time 115364 gen 37 score 392208 cov 396 BestSoFar WeakHashMap time 119923 gen 38 score 396876 cov 402 BestSoFar WeakHashMap time 124662 gen 39 score 396876 cov 402 BestSoFar WeakHashMap time 129293 gen 40 score 396876 cov 402 BestSoFar WeakHashMap time 133870 gen 41 score 396876 cov 402 BestSoFar WeakHashMap time 138548 gen 42 score 396876 cov 402 BestSoFar WeakHashMap time 143633 gen 43 score 396876 cov 402 BestSoFar WeakHashMap time 148734 gen 44 score 396876 cov 402 BestSoFar WeakHashMap time 154162 gen 45 score 396876 cov 402 BestSoFar WeakHashMap time 159441 gen 46 score 396876 cov 402 BestSoFar WeakHashMap time 164764 gen 47 score 396876 cov 402 BestSoFar WeakHashMap time 170079 gen 48 score 396876 cov 402 BestSoFar WeakHashMap time 175540 gen 49 score 396876 cov 402 BestSoFar WeakHashMap time 180879 gen 50 score 396876 cov 402