Sat Mar 14 01:49:57 EDT 2009 BestSoFar ArrayList time 2153 gen 1 score 201275 cov 202 BestSoFar ArrayList time 3349 gen 2 score 201275 cov 202 BestSoFar ArrayList time 5313 gen 3 score 202608 cov 203 BestSoFar ArrayList time 7241 gen 4 score 204010 cov 205 BestSoFar ArrayList time 9518 gen 5 score 204010 cov 205 BestSoFar ArrayList time 11723 gen 6 score 204010 cov 205 BestSoFar ArrayList time 13887 gen 7 score 204010 cov 205 BestSoFar ArrayList time 16439 gen 8 score 204010 cov 205 BestSoFar ArrayList time 19125 gen 9 score 204010 cov 205 BestSoFar ArrayList time 21799 gen 10 score 204010 cov 205 BestSoFar ArrayList time 24343 gen 11 score 204153 cov 206 BestSoFar ArrayList time 26630 gen 12 score 204153 cov 206 BestSoFar ArrayList time 29449 gen 13 score 204153 cov 206 BestSoFar ArrayList time 32399 gen 14 score 204153 cov 206 BestSoFar ArrayList time 35292 gen 15 score 204153 cov 206 BestSoFar ArrayList time 38446 gen 16 score 204153 cov 206 BestSoFar ArrayList time 41666 gen 17 score 204153 cov 206 BestSoFar ArrayList time 44816 gen 18 score 204820 cov 207 BestSoFar ArrayList time 47946 gen 19 score 204820 cov 207 BestSoFar ArrayList time 51067 gen 20 score 204820 cov 207 BestSoFar ArrayList time 54402 gen 21 score 206487 cov 209 BestSoFar ArrayList time 57701 gen 22 score 206487 cov 209 BestSoFar ArrayList time 61479 gen 23 score 206487 cov 209 BestSoFar ArrayList time 65145 gen 24 score 206487 cov 209 BestSoFar ArrayList time 68665 gen 25 score 206487 cov 209 BestSoFar ArrayList time 72201 gen 26 score 206487 cov 209 BestSoFar ArrayList time 76105 gen 27 score 206487 cov 209 BestSoFar ArrayList time 80030 gen 28 score 206487 cov 209 BestSoFar ArrayList time 84134 gen 29 score 206487 cov 209 BestSoFar ArrayList time 88583 gen 30 score 206487 cov 209 BestSoFar ArrayList time 93003 gen 31 score 206487 cov 209 BestSoFar ArrayList time 97445 gen 32 score 206487 cov 209 BestSoFar ArrayList time 101742 gen 33 score 206487 cov 209 BestSoFar ArrayList time 106081 gen 34 score 206487 cov 209 BestSoFar ArrayList time 110508 gen 35 score 206487 cov 209 BestSoFar ArrayList time 114706 gen 36 score 206487 cov 209 BestSoFar ArrayList time 118729 gen 37 score 206487 cov 209 BestSoFar ArrayList time 122990 gen 38 score 206487 cov 209 BestSoFar ArrayList time 127489 gen 39 score 206487 cov 209 BestSoFar ArrayList time 132156 gen 40 score 206487 cov 209 BestSoFar ArrayList time 136785 gen 41 score 206487 cov 209 BestSoFar ArrayList time 140763 gen 42 score 206487 cov 209 BestSoFar ArrayList time 145076 gen 43 score 206487 cov 209 BestSoFar ArrayList time 149590 gen 44 score 206487 cov 209 BestSoFar ArrayList time 154014 gen 45 score 206487 cov 209 BestSoFar ArrayList time 158593 gen 46 score 206487 cov 209 BestSoFar ArrayList time 163237 gen 47 score 206487 cov 209 BestSoFar ArrayList time 167845 gen 48 score 206487 cov 209 BestSoFar ArrayList time 172602 gen 49 score 206487 cov 209 BestSoFar ArrayList time 177013 gen 50 score 206487 cov 209 BestSoFar EnumMap time 2092 gen 1 score 3652 cov 3 BestSoFar EnumMap time 2837 gen 2 score 3652 cov 3 BestSoFar EnumMap time 3463 gen 3 score 3652 cov 3 BestSoFar EnumMap time 4043 gen 4 score 3658 cov 3 BestSoFar EnumMap time 4626 gen 5 score 5990 cov 6 BestSoFar EnumMap time 5200 gen 6 score 5990 cov 6 BestSoFar EnumMap time 5761 gen 7 score 5990 cov 6 BestSoFar EnumMap time 6409 gen 8 score 5990 cov 6 BestSoFar EnumMap time 7013 gen 9 score 5990 cov 6 BestSoFar EnumMap time 7560 gen 10 score 5993 cov 6 BestSoFar EnumMap time 8777 gen 11 score 5993 cov 6 BestSoFar EnumMap time 9432 gen 12 score 5993 cov 6 BestSoFar EnumMap time 10123 gen 13 score 5993 cov 6 BestSoFar EnumMap time 10798 gen 14 score 5993 cov 6 BestSoFar EnumMap time 11421 gen 15 score 5994 cov 6 BestSoFar EnumMap time 12042 gen 16 score 5994 cov 6 BestSoFar EnumMap time 12676 gen 17 score 5994 cov 6 BestSoFar EnumMap time 13340 gen 18 score 5994 cov 6 BestSoFar EnumMap time 13946 gen 19 score 5994 cov 6 BestSoFar EnumMap time 14574 gen 20 score 5994 cov 6 BestSoFar EnumMap time 15840 gen 21 score 5994 cov 6 BestSoFar EnumMap time 16477 gen 22 score 5994 cov 6 BestSoFar EnumMap time 17125 gen 23 score 5994 cov 6 BestSoFar EnumMap time 17801 gen 24 score 5994 cov 6 BestSoFar EnumMap time 18508 gen 25 score 5994 cov 6 BestSoFar EnumMap time 19245 gen 26 score 5994 cov 6 BestSoFar EnumMap time 19981 gen 27 score 5994 cov 6 BestSoFar EnumMap time 20660 gen 28 score 5994 cov 6 BestSoFar EnumMap time 21335 gen 29 score 5994 cov 6 BestSoFar EnumMap time 22016 gen 30 score 5994 cov 6 BestSoFar EnumMap time 23243 gen 31 score 5994 cov 6 BestSoFar EnumMap time 23935 gen 32 score 5994 cov 6 BestSoFar EnumMap time 24629 gen 33 score 5994 cov 6 BestSoFar EnumMap time 25306 gen 34 score 5994 cov 6 BestSoFar EnumMap time 26045 gen 35 score 5994 cov 6 BestSoFar EnumMap time 26741 gen 36 score 5994 cov 6 BestSoFar EnumMap time 27447 gen 37 score 5995 cov 6 BestSoFar EnumMap time 28148 gen 38 score 5995 cov 6 BestSoFar EnumMap time 28887 gen 39 score 5995 cov 6 BestSoFar EnumMap time 29646 gen 40 score 5995 cov 6 BestSoFar EnumMap time 30940 gen 41 score 5995 cov 6 BestSoFar EnumMap time 31659 gen 42 score 5995 cov 6 BestSoFar EnumMap time 32386 gen 43 score 5995 cov 6 BestSoFar EnumMap time 33097 gen 44 score 5995 cov 6 BestSoFar EnumMap time 33818 gen 45 score 5995 cov 6 BestSoFar EnumMap time 34566 gen 46 score 8995 cov 9 BestSoFar EnumMap time 35360 gen 47 score 8995 cov 9 BestSoFar EnumMap time 36116 gen 48 score 8995 cov 9 BestSoFar EnumMap time 36880 gen 49 score 8995 cov 9 BestSoFar EnumMap time 37652 gen 50 score 8995 cov 9 BestSoFar HashMap time 3162 gen 1 score 380691 cov 382 BestSoFar HashMap time 4962 gen 2 score 380691 cov 382 BestSoFar HashMap time 7127 gen 3 score 389845 cov 391 BestSoFar HashMap time 9698 gen 4 score 389845 cov 391 BestSoFar HashMap time 12391 gen 5 score 389845 cov 391 BestSoFar HashMap time 15161 gen 6 score 406466 cov 408 BestSoFar HashMap time 18095 gen 7 score 406466 cov 408 BestSoFar HashMap time 20977 gen 8 score 406466 cov 408 BestSoFar HashMap time 24055 gen 9 score 409325 cov 412 BestSoFar HashMap time 27623 gen 10 score 410325 cov 413 BestSoFar HashMap time 31369 gen 11 score 410325 cov 413 BestSoFar HashMap time 34923 gen 12 score 411992 cov 415 BestSoFar HashMap time 38280 gen 13 score 411992 cov 415 BestSoFar HashMap time 41597 gen 14 score 411992 cov 415 BestSoFar HashMap time 44970 gen 15 score 411992 cov 415 BestSoFar HashMap time 48408 gen 16 score 411992 cov 415 BestSoFar HashMap time 51715 gen 17 score 411992 cov 415 BestSoFar HashMap time 55111 gen 18 score 415992 cov 419 BestSoFar HashMap time 58727 gen 19 score 415992 cov 419 BestSoFar HashMap time 62757 gen 20 score 418227 cov 423 BestSoFar HashMap time 66986 gen 21 score 418227 cov 423 BestSoFar HashMap time 71028 gen 22 score 418227 cov 423 BestSoFar HashMap time 74926 gen 23 score 418227 cov 423 BestSoFar HashMap time 78459 gen 24 score 418227 cov 423 BestSoFar HashMap time 82103 gen 25 score 418227 cov 423 BestSoFar HashMap time 85706 gen 26 score 418227 cov 423 BestSoFar HashMap time 89681 gen 27 score 418227 cov 423 BestSoFar HashMap time 93965 gen 28 score 418227 cov 423 BestSoFar HashMap time 98121 gen 29 score 418227 cov 423 BestSoFar HashMap time 102701 gen 30 score 418227 cov 423 BestSoFar HashMap time 107978 gen 31 score 418227 cov 423 BestSoFar HashMap time 113058 gen 32 score 418227 cov 423 BestSoFar HashMap time 118425 gen 33 score 418227 cov 423 BestSoFar HashMap time 123821 gen 34 score 418227 cov 423 BestSoFar HashMap time 129195 gen 35 score 418227 cov 423 BestSoFar HashMap time 134971 gen 36 score 418852 cov 423 BestSoFar HashMap time 140695 gen 37 score 418852 cov 423 BestSoFar HashMap time 146342 gen 38 score 418852 cov 423 BestSoFar HashMap time 152146 gen 39 score 422186 cov 427 BestSoFar HashMap time 157982 gen 40 score 427519 cov 432 BestSoFar HashMap time 164927 gen 41 score 427519 cov 432 BestSoFar HashMap time 171125 gen 42 score 427519 cov 432 BestSoFar HashMap time 177264 gen 43 score 427519 cov 432 BestSoFar HashMap time 183450 gen 44 score 427519 cov 432 BestSoFar HashMap time 189689 gen 45 score 427519 cov 432 BestSoFar HashMap time 196082 gen 46 score 427519 cov 432 BestSoFar HashMap time 202244 gen 47 score 427519 cov 432 BestSoFar HashMap time 208367 gen 48 score 427519 cov 432 BestSoFar HashMap time 215118 gen 49 score 427519 cov 432 BestSoFar HashMap time 221346 gen 50 score 427519 cov 432 BestSoFar HashSet time 1866 gen 1 score 271478 cov 271 BestSoFar HashSet time 2977 gen 2 score 308908 cov 309 BestSoFar HashSet time 4552 gen 3 score 308908 cov 309 BestSoFar HashSet time 6995 gen 4 score 310877 cov 312 BestSoFar HashSet time 9835 gen 5 score 313673 cov 315 BestSoFar HashSet time 12180 gen 6 score 315712 cov 317 BestSoFar HashSet time 14471 gen 7 score 315712 cov 317 BestSoFar HashSet time 16914 gen 8 score 315712 cov 317 BestSoFar HashSet time 19132 gen 9 score 315712 cov 317 BestSoFar HashSet time 21281 gen 10 score 315712 cov 317 BestSoFar HashSet time 23501 gen 11 score 316673 cov 318 BestSoFar HashSet time 25585 gen 12 score 316673 cov 318 BestSoFar HashSet time 27854 gen 13 score 318673 cov 320 BestSoFar HashSet time 30425 gen 14 score 318673 cov 320 BestSoFar HashSet time 32878 gen 15 score 318673 cov 320 BestSoFar HashSet time 35183 gen 16 score 318673 cov 320 BestSoFar HashSet time 37513 gen 17 score 318673 cov 320 BestSoFar HashSet time 39766 gen 18 score 318673 cov 320 BestSoFar HashSet time 41873 gen 19 score 318673 cov 320 BestSoFar HashSet time 44269 gen 20 score 318673 cov 320 BestSoFar HashSet time 46632 gen 21 score 318673 cov 320 BestSoFar HashSet time 49060 gen 22 score 318673 cov 320 BestSoFar HashSet time 51420 gen 23 score 318673 cov 320 BestSoFar HashSet time 53683 gen 24 score 318673 cov 320 BestSoFar HashSet time 55987 gen 25 score 318673 cov 320 BestSoFar HashSet time 58434 gen 26 score 318673 cov 320 BestSoFar HashSet time 60727 gen 27 score 318673 cov 320 BestSoFar HashSet time 63104 gen 28 score 318673 cov 320 BestSoFar HashSet time 65591 gen 29 score 318673 cov 320 BestSoFar HashSet time 68056 gen 30 score 318673 cov 320 BestSoFar HashSet time 70488 gen 31 score 318673 cov 320 BestSoFar HashSet time 72957 gen 32 score 318673 cov 320 BestSoFar HashSet time 75455 gen 33 score 318673 cov 320 BestSoFar HashSet time 77889 gen 34 score 318673 cov 320 BestSoFar HashSet time 80358 gen 35 score 318673 cov 320 BestSoFar HashSet time 82713 gen 36 score 318673 cov 320 BestSoFar HashSet time 85294 gen 37 score 318673 cov 320 BestSoFar HashSet time 87615 gen 38 score 318673 cov 320 BestSoFar HashSet time 90026 gen 39 score 318673 cov 320 BestSoFar HashSet time 92741 gen 40 score 318673 cov 320 BestSoFar HashSet time 95682 gen 41 score 318673 cov 320 BestSoFar HashSet time 98858 gen 42 score 318673 cov 320 BestSoFar HashSet time 101981 gen 43 score 318673 cov 320 BestSoFar HashSet time 105218 gen 44 score 318673 cov 320 BestSoFar HashSet time 108560 gen 45 score 318673 cov 320 BestSoFar HashSet time 111853 gen 46 score 318673 cov 320 BestSoFar HashSet time 115144 gen 47 score 318673 cov 320 BestSoFar HashSet time 118563 gen 48 score 318673 cov 320 BestSoFar HashSet time 122105 gen 49 score 318673 cov 320 BestSoFar HashSet time 125391 gen 50 score 318673 cov 320 BestSoFar Hashtable time 2935 gen 1 score 361283 cov 361 BestSoFar Hashtable time 4458 gen 2 score 361283 cov 361 BestSoFar Hashtable time 5776 gen 3 score 382998 cov 384 BestSoFar Hashtable time 7219 gen 4 score 382998 cov 384 BestSoFar Hashtable time 8958 gen 5 score 382998 cov 384 BestSoFar Hashtable time 10595 gen 6 score 382998 cov 384 BestSoFar Hashtable time 12360 gen 7 score 385968 cov 387 BestSoFar Hashtable time 14488 gen 8 score 387302 cov 389 BestSoFar Hashtable time 16924 gen 9 score 389302 cov 391 BestSoFar Hashtable time 19054 gen 10 score 394968 cov 396 BestSoFar Hashtable time 21468 gen 11 score 399635 cov 401 BestSoFar Hashtable time 23753 gen 12 score 399635 cov 401 BestSoFar Hashtable time 25999 gen 13 score 399635 cov 401 BestSoFar Hashtable time 28078 gen 14 score 399635 cov 401 BestSoFar Hashtable time 30136 gen 15 score 399635 cov 401 BestSoFar Hashtable time 32213 gen 16 score 399635 cov 401 BestSoFar Hashtable time 34270 gen 17 score 399635 cov 401 BestSoFar Hashtable time 36450 gen 18 score 399635 cov 401 BestSoFar Hashtable time 38738 gen 19 score 399635 cov 401 BestSoFar Hashtable time 41494 gen 20 score 399635 cov 401 BestSoFar Hashtable time 44746 gen 21 score 399635 cov 401 BestSoFar Hashtable time 47757 gen 22 score 399635 cov 401 BestSoFar Hashtable time 50802 gen 23 score 399635 cov 401 BestSoFar Hashtable time 53844 gen 24 score 399635 cov 401 BestSoFar Hashtable time 56892 gen 25 score 399635 cov 401 BestSoFar Hashtable time 60448 gen 26 score 399635 cov 401 BestSoFar Hashtable time 64418 gen 27 score 399635 cov 401 BestSoFar Hashtable time 68193 gen 28 score 399635 cov 401 BestSoFar Hashtable time 72217 gen 29 score 399635 cov 401 BestSoFar Hashtable time 76323 gen 30 score 399635 cov 401 BestSoFar Hashtable time 80618 gen 31 score 399635 cov 401 BestSoFar Hashtable time 84308 gen 32 score 399635 cov 401 BestSoFar Hashtable time 87889 gen 33 score 399635 cov 401 BestSoFar Hashtable time 91470 gen 34 score 405635 cov 408 BestSoFar Hashtable time 95196 gen 35 score 405635 cov 408 BestSoFar Hashtable time 98755 gen 36 score 405635 cov 408 BestSoFar Hashtable time 102367 gen 37 score 405635 cov 408 BestSoFar Hashtable time 106270 gen 38 score 405635 cov 408 BestSoFar Hashtable time 109986 gen 39 score 405635 cov 408 BestSoFar Hashtable time 113819 gen 40 score 405635 cov 408 BestSoFar Hashtable time 118197 gen 41 score 405635 cov 408 BestSoFar Hashtable time 122318 gen 42 score 405635 cov 408 BestSoFar Hashtable time 126432 gen 43 score 405635 cov 408 BestSoFar Hashtable time 130802 gen 44 score 405635 cov 408 BestSoFar Hashtable time 135393 gen 45 score 405635 cov 408 BestSoFar Hashtable time 140609 gen 46 score 405635 cov 408 BestSoFar Hashtable time 145498 gen 47 score 405635 cov 408 BestSoFar Hashtable time 150340 gen 48 score 405635 cov 408 BestSoFar Hashtable time 155182 gen 49 score 405635 cov 408 BestSoFar Hashtable time 160615 gen 50 score 405635 cov 408 BestSoFar IdentityHashMap time 2745 gen 1 score 346657 cov 347 BestSoFar IdentityHashMap time 4573 gen 2 score 346657 cov 347 BestSoFar IdentityHashMap time 5532 gen 3 score 346657 cov 347 BestSoFar IdentityHashMap time 6367 gen 4 score 346657 cov 347 BestSoFar IdentityHashMap time 7533 gen 5 score 370233 cov 371 BestSoFar IdentityHashMap time 9440 gen 6 score 376566 cov 377 BestSoFar IdentityHashMap time 11182 gen 7 score 376566 cov 377 BestSoFar IdentityHashMap time 12847 gen 8 score 376566 cov 377 BestSoFar IdentityHashMap time 14628 gen 9 score 376566 cov 377 BestSoFar IdentityHashMap time 16421 gen 10 score 376566 cov 377 BestSoFar IdentityHashMap time 18455 gen 11 score 376566 cov 377 BestSoFar IdentityHashMap time 20513 gen 12 score 381182 cov 383 BestSoFar IdentityHashMap time 22610 gen 13 score 382182 cov 384 BestSoFar IdentityHashMap time 24634 gen 14 score 382182 cov 384 BestSoFar IdentityHashMap time 26913 gen 15 score 384182 cov 386 BestSoFar IdentityHashMap time 29168 gen 16 score 384182 cov 386 BestSoFar IdentityHashMap time 31669 gen 17 score 392295 cov 395 BestSoFar IdentityHashMap time 34403 gen 18 score 395628 cov 398 BestSoFar IdentityHashMap time 37419 gen 19 score 401295 cov 404 BestSoFar IdentityHashMap time 40405 gen 20 score 402182 cov 404 BestSoFar IdentityHashMap time 43730 gen 21 score 402961 cov 405 BestSoFar IdentityHashMap time 47281 gen 22 score 402961 cov 405 BestSoFar IdentityHashMap time 50727 gen 23 score 402961 cov 405 BestSoFar IdentityHashMap time 54165 gen 24 score 402961 cov 405 BestSoFar IdentityHashMap time 57716 gen 25 score 402961 cov 405 BestSoFar IdentityHashMap time 61124 gen 26 score 402961 cov 405 BestSoFar IdentityHashMap time 64693 gen 27 score 406794 cov 410 BestSoFar IdentityHashMap time 68441 gen 28 score 406794 cov 410 BestSoFar IdentityHashMap time 72074 gen 29 score 406794 cov 410 BestSoFar IdentityHashMap time 75608 gen 30 score 406794 cov 410 BestSoFar IdentityHashMap time 79465 gen 31 score 406794 cov 410 BestSoFar IdentityHashMap time 83186 gen 32 score 406794 cov 410 BestSoFar IdentityHashMap time 87565 gen 33 score 406794 cov 410 BestSoFar IdentityHashMap time 92163 gen 34 score 406794 cov 410 BestSoFar IdentityHashMap time 96980 gen 35 score 406794 cov 410 BestSoFar IdentityHashMap time 101988 gen 36 score 406794 cov 410 BestSoFar IdentityHashMap time 107556 gen 37 score 406794 cov 410 BestSoFar IdentityHashMap time 112115 gen 38 score 406794 cov 410 BestSoFar IdentityHashMap time 116764 gen 39 score 406794 cov 410 BestSoFar IdentityHashMap time 121283 gen 40 score 406794 cov 410 BestSoFar IdentityHashMap time 126086 gen 41 score 407848 cov 412 BestSoFar IdentityHashMap time 130751 gen 42 score 407848 cov 412 BestSoFar IdentityHashMap time 135174 gen 43 score 407848 cov 412 BestSoFar IdentityHashMap time 139571 gen 44 score 407848 cov 412 BestSoFar IdentityHashMap time 144119 gen 45 score 407848 cov 412 BestSoFar IdentityHashMap time 148858 gen 46 score 407848 cov 412 BestSoFar IdentityHashMap time 153424 gen 47 score 407848 cov 412 BestSoFar IdentityHashMap time 157900 gen 48 score 407848 cov 412 BestSoFar IdentityHashMap time 162533 gen 49 score 407848 cov 412 BestSoFar IdentityHashMap time 167154 gen 50 score 407848 cov 412 BestSoFar LinkedHashMap time 1603 gen 1 score 205180 cov 205 BestSoFar LinkedHashMap time 2554 gen 2 score 217180 cov 217 BestSoFar LinkedHashMap time 3826 gen 3 score 265237 cov 266 BestSoFar LinkedHashMap time 5811 gen 4 score 266237 cov 267 BestSoFar LinkedHashMap time 7540 gen 5 score 268237 cov 269 BestSoFar LinkedHashMap time 8915 gen 6 score 279378 cov 280 BestSoFar LinkedHashMap time 10456 gen 7 score 279378 cov 280 BestSoFar LinkedHashMap time 12062 gen 8 score 279378 cov 280 BestSoFar LinkedHashMap time 13953 gen 9 score 279378 cov 280 BestSoFar LinkedHashMap time 15814 gen 10 score 281588 cov 283 BestSoFar LinkedHashMap time 18167 gen 11 score 286255 cov 288 BestSoFar LinkedHashMap time 20597 gen 12 score 292273 cov 295 BestSoFar LinkedHashMap time 23245 gen 13 score 292273 cov 295 BestSoFar LinkedHashMap time 25883 gen 14 score 292273 cov 295 BestSoFar LinkedHashMap time 28626 gen 15 score 292273 cov 295 BestSoFar LinkedHashMap time 31427 gen 16 score 292273 cov 295 BestSoFar LinkedHashMap time 34235 gen 17 score 292273 cov 295 BestSoFar LinkedHashMap time 37021 gen 18 score 292273 cov 295 BestSoFar LinkedHashMap time 39837 gen 19 score 292273 cov 295 BestSoFar LinkedHashMap time 42695 gen 20 score 292273 cov 295 BestSoFar LinkedHashMap time 45709 gen 21 score 292273 cov 295 BestSoFar LinkedHashMap time 48516 gen 22 score 292273 cov 295 BestSoFar LinkedHashMap time 51271 gen 23 score 292273 cov 295 BestSoFar LinkedHashMap time 54024 gen 24 score 292273 cov 295 BestSoFar LinkedHashMap time 56832 gen 25 score 292273 cov 295 BestSoFar LinkedHashMap time 59749 gen 26 score 292273 cov 295 BestSoFar LinkedHashMap time 62685 gen 27 score 292273 cov 295 BestSoFar LinkedHashMap time 65665 gen 28 score 292273 cov 295 BestSoFar LinkedHashMap time 68787 gen 29 score 292273 cov 295 BestSoFar LinkedHashMap time 71778 gen 30 score 292273 cov 295 BestSoFar LinkedHashMap time 74942 gen 31 score 292273 cov 295 BestSoFar LinkedHashMap time 78453 gen 32 score 292273 cov 295 BestSoFar LinkedHashMap time 82210 gen 33 score 292273 cov 295 BestSoFar LinkedHashMap time 85787 gen 34 score 292273 cov 295 BestSoFar LinkedHashMap time 89177 gen 35 score 292293 cov 295 BestSoFar LinkedHashMap time 92600 gen 36 score 292293 cov 295 BestSoFar LinkedHashMap time 96116 gen 37 score 293462 cov 296 BestSoFar LinkedHashMap time 99776 gen 38 score 293462 cov 296 BestSoFar LinkedHashMap time 103558 gen 39 score 293796 cov 297 BestSoFar LinkedHashMap time 107321 gen 40 score 293796 cov 297 BestSoFar LinkedHashMap time 111077 gen 41 score 296129 cov 299 BestSoFar LinkedHashMap time 114787 gen 42 score 296129 cov 299 BestSoFar LinkedHashMap time 118422 gen 43 score 296129 cov 299 BestSoFar LinkedHashMap time 122166 gen 44 score 296129 cov 299 BestSoFar LinkedHashMap time 126015 gen 45 score 296129 cov 299 BestSoFar LinkedHashMap time 129865 gen 46 score 296129 cov 299 BestSoFar LinkedHashMap time 133851 gen 47 score 296129 cov 299 BestSoFar LinkedHashMap time 138044 gen 48 score 296129 cov 299 BestSoFar LinkedHashMap time 142057 gen 49 score 296129 cov 299 BestSoFar LinkedHashMap time 146010 gen 50 score 296129 cov 299 BestSoFar LinkedHashSet time 1753 gen 1 score 230533 cov 230 BestSoFar LinkedHashSet time 3166 gen 2 score 264328 cov 265 BestSoFar LinkedHashSet time 4991 gen 3 score 264328 cov 265 BestSoFar LinkedHashSet time 7162 gen 4 score 264328 cov 265 BestSoFar LinkedHashSet time 9213 gen 5 score 264328 cov 265 BestSoFar LinkedHashSet time 11036 gen 6 score 264328 cov 265 BestSoFar LinkedHashSet time 12763 gen 7 score 264328 cov 265 BestSoFar LinkedHashSet time 14496 gen 8 score 266995 cov 268 BestSoFar LinkedHashSet time 16203 gen 9 score 268662 cov 270 BestSoFar LinkedHashSet time 17997 gen 10 score 268757 cov 270 BestSoFar LinkedHashSet time 19910 gen 11 score 268757 cov 270 BestSoFar LinkedHashSet time 21922 gen 12 score 268757 cov 270 BestSoFar LinkedHashSet time 24001 gen 13 score 268757 cov 270 BestSoFar LinkedHashSet time 26008 gen 14 score 268995 cov 270 BestSoFar LinkedHashSet time 28171 gen 15 score 268995 cov 270 BestSoFar LinkedHashSet time 30399 gen 16 score 270995 cov 272 BestSoFar LinkedHashSet time 32728 gen 17 score 270995 cov 272 BestSoFar LinkedHashSet time 34969 gen 18 score 270995 cov 272 BestSoFar LinkedHashSet time 37377 gen 19 score 270995 cov 272 BestSoFar LinkedHashSet time 39853 gen 20 score 270995 cov 272 BestSoFar LinkedHashSet time 42312 gen 21 score 270995 cov 272 BestSoFar LinkedHashSet time 44773 gen 22 score 270995 cov 272 BestSoFar LinkedHashSet time 47096 gen 23 score 270995 cov 272 BestSoFar LinkedHashSet time 49524 gen 24 score 270995 cov 272 BestSoFar LinkedHashSet time 52211 gen 25 score 270995 cov 272 BestSoFar LinkedHashSet time 54779 gen 26 score 270995 cov 272 BestSoFar LinkedHashSet time 57027 gen 27 score 270995 cov 272 BestSoFar LinkedHashSet time 59380 gen 28 score 270995 cov 272 BestSoFar LinkedHashSet time 61942 gen 29 score 270995 cov 272 BestSoFar LinkedHashSet time 64897 gen 30 score 270995 cov 272 BestSoFar LinkedHashSet time 68431 gen 31 score 270995 cov 272 BestSoFar LinkedHashSet time 71784 gen 32 score 270995 cov 272 BestSoFar LinkedHashSet time 75298 gen 33 score 270995 cov 272 BestSoFar LinkedHashSet time 78719 gen 34 score 270995 cov 272 BestSoFar LinkedHashSet time 82191 gen 35 score 270995 cov 272 BestSoFar LinkedHashSet time 85535 gen 36 score 270995 cov 272 BestSoFar LinkedHashSet time 89210 gen 37 score 270995 cov 272 BestSoFar LinkedHashSet time 92906 gen 38 score 270995 cov 272 BestSoFar LinkedHashSet time 96563 gen 39 score 270995 cov 272 BestSoFar LinkedHashSet time 100070 gen 40 score 270995 cov 272 BestSoFar LinkedHashSet time 103621 gen 41 score 270995 cov 272 BestSoFar LinkedHashSet time 107080 gen 42 score 270995 cov 272 BestSoFar LinkedHashSet time 110530 gen 43 score 270995 cov 272 BestSoFar LinkedHashSet time 114026 gen 44 score 270995 cov 272 BestSoFar LinkedHashSet time 117765 gen 45 score 270995 cov 272 BestSoFar LinkedHashSet time 121473 gen 46 score 270995 cov 272 BestSoFar LinkedHashSet time 125198 gen 47 score 270995 cov 272 BestSoFar LinkedHashSet time 128451 gen 48 score 270995 cov 272 BestSoFar LinkedHashSet time 131702 gen 49 score 270995 cov 272 BestSoFar LinkedHashSet time 134832 gen 50 score 270995 cov 272 BestSoFar LinkedList time 2402 gen 1 score 238702 cov 239 BestSoFar LinkedList time 3888 gen 2 score 259053 cov 259 BestSoFar LinkedList time 4957 gen 3 score 259053 cov 259 BestSoFar LinkedList time 6258 gen 4 score 259053 cov 259 BestSoFar LinkedList time 7788 gen 5 score 264075 cov 266 BestSoFar LinkedList time 9582 gen 6 score 266408 cov 268 BestSoFar LinkedList time 11889 gen 7 score 266408 cov 268 BestSoFar LinkedList time 14389 gen 8 score 266408 cov 268 BestSoFar LinkedList time 16842 gen 9 score 268075 cov 270 BestSoFar LinkedList time 19262 gen 10 score 268075 cov 270 BestSoFar LinkedList time 21878 gen 11 score 268075 cov 270 BestSoFar LinkedList time 24389 gen 12 score 268075 cov 270 BestSoFar LinkedList time 26898 gen 13 score 268075 cov 270 BestSoFar LinkedList time 29299 gen 14 score 268075 cov 270 BestSoFar LinkedList time 31670 gen 15 score 268075 cov 270 BestSoFar LinkedList time 34012 gen 16 score 268075 cov 270 BestSoFar LinkedList time 36496 gen 17 score 268075 cov 270 BestSoFar LinkedList time 38923 gen 18 score 268281 cov 270 BestSoFar LinkedList time 41357 gen 19 score 268281 cov 270 BestSoFar LinkedList time 43873 gen 20 score 268281 cov 270 BestSoFar LinkedList time 46379 gen 21 score 268281 cov 270 BestSoFar LinkedList time 48816 gen 22 score 268281 cov 270 BestSoFar LinkedList time 51504 gen 23 score 269930 cov 272 BestSoFar LinkedList time 54268 gen 24 score 269930 cov 272 BestSoFar LinkedList time 57224 gen 25 score 269930 cov 272 BestSoFar LinkedList time 60242 gen 26 score 269930 cov 272 BestSoFar LinkedList time 63338 gen 27 score 269930 cov 272 BestSoFar LinkedList time 66737 gen 28 score 269930 cov 272 BestSoFar LinkedList time 70381 gen 29 score 269930 cov 272 BestSoFar LinkedList time 73959 gen 30 score 269930 cov 272 BestSoFar LinkedList time 78076 gen 31 score 269930 cov 272 BestSoFar LinkedList time 82223 gen 32 score 269930 cov 272 BestSoFar LinkedList time 86578 gen 33 score 269930 cov 272 BestSoFar LinkedList time 90392 gen 34 score 269930 cov 272 BestSoFar LinkedList time 94547 gen 35 score 269930 cov 272 BestSoFar LinkedList time 98657 gen 36 score 269930 cov 272 BestSoFar LinkedList time 102819 gen 37 score 269930 cov 272 BestSoFar LinkedList time 107212 gen 38 score 269930 cov 272 BestSoFar LinkedList time 111745 gen 39 score 269930 cov 272 BestSoFar LinkedList time 116401 gen 40 score 269930 cov 272 BestSoFar LinkedList time 121202 gen 41 score 270328 cov 274 BestSoFar LinkedList time 125860 gen 42 score 270328 cov 274 BestSoFar LinkedList time 130459 gen 43 score 270328 cov 274 BestSoFar LinkedList time 135023 gen 44 score 270328 cov 274 BestSoFar LinkedList time 139852 gen 45 score 270328 cov 274 BestSoFar LinkedList time 145320 gen 46 score 270328 cov 274 BestSoFar LinkedList time 151991 gen 47 score 270328 cov 274 BestSoFar LinkedList time 158594 gen 48 score 270328 cov 274 BestSoFar LinkedList time 165420 gen 49 score 270328 cov 274 BestSoFar LinkedList time 172176 gen 50 score 270706 cov 276 BestSoFar PriorityQueue time 2435 gen 1 score 202547 cov 203 BestSoFar PriorityQueue time 4113 gen 2 score 206597 cov 208 BestSoFar PriorityQueue time 5855 gen 3 score 215370 cov 216 BestSoFar PriorityQueue time 7678 gen 4 score 215370 cov 216 BestSoFar PriorityQueue time 9343 gen 5 score 215370 cov 216 BestSoFar PriorityQueue time 10977 gen 6 score 215370 cov 216 BestSoFar PriorityQueue time 12387 gen 7 score 227703 cov 228 BestSoFar PriorityQueue time 13913 gen 8 score 227703 cov 228 BestSoFar PriorityQueue time 15649 gen 9 score 227703 cov 228 BestSoFar PriorityQueue time 17484 gen 10 score 227703 cov 228 BestSoFar PriorityQueue time 19756 gen 11 score 227703 cov 228 BestSoFar PriorityQueue time 22048 gen 12 score 227703 cov 228 BestSoFar PriorityQueue time 24260 gen 13 score 227703 cov 228 BestSoFar PriorityQueue time 26471 gen 14 score 227703 cov 228 BestSoFar PriorityQueue time 28631 gen 15 score 227703 cov 228 BestSoFar PriorityQueue time 30784 gen 16 score 227703 cov 228 BestSoFar PriorityQueue time 33038 gen 17 score 232631 cov 235 BestSoFar PriorityQueue time 35376 gen 18 score 232631 cov 235 BestSoFar PriorityQueue time 37745 gen 19 score 232631 cov 235 BestSoFar PriorityQueue time 40540 gen 20 score 232631 cov 235 BestSoFar PriorityQueue time 43780 gen 21 score 232631 cov 235 BestSoFar PriorityQueue time 47002 gen 22 score 232631 cov 235 BestSoFar PriorityQueue time 50343 gen 23 score 232631 cov 235 BestSoFar PriorityQueue time 53816 gen 24 score 232631 cov 235 BestSoFar PriorityQueue time 57284 gen 25 score 232631 cov 235 BestSoFar PriorityQueue time 60567 gen 26 score 232631 cov 235 BestSoFar PriorityQueue time 63670 gen 27 score 232631 cov 235 BestSoFar PriorityQueue time 66676 gen 28 score 232631 cov 235 BestSoFar PriorityQueue time 69654 gen 29 score 232631 cov 235 BestSoFar PriorityQueue time 72679 gen 30 score 232631 cov 235 BestSoFar PriorityQueue time 75845 gen 31 score 232631 cov 235 BestSoFar PriorityQueue time 78946 gen 32 score 232631 cov 235 BestSoFar PriorityQueue time 82141 gen 33 score 232631 cov 235 BestSoFar PriorityQueue time 85447 gen 34 score 232631 cov 235 BestSoFar PriorityQueue time 88771 gen 35 score 232631 cov 235 BestSoFar PriorityQueue time 92382 gen 36 score 232631 cov 235 BestSoFar PriorityQueue time 96434 gen 37 score 232631 cov 235 BestSoFar PriorityQueue time 100436 gen 38 score 232631 cov 235 BestSoFar PriorityQueue time 104258 gen 39 score 232631 cov 235 BestSoFar PriorityQueue time 108261 gen 40 score 232631 cov 235 BestSoFar PriorityQueue time 112328 gen 41 score 232631 cov 235 BestSoFar PriorityQueue time 116246 gen 42 score 232631 cov 235 BestSoFar PriorityQueue time 120418 gen 43 score 232631 cov 235 BestSoFar PriorityQueue time 124424 gen 44 score 232631 cov 235 BestSoFar PriorityQueue time 128568 gen 45 score 232631 cov 235 BestSoFar PriorityQueue time 132649 gen 46 score 232631 cov 235 BestSoFar PriorityQueue time 136556 gen 47 score 232631 cov 235 BestSoFar PriorityQueue time 140423 gen 48 score 232631 cov 235 BestSoFar PriorityQueue time 144392 gen 49 score 232631 cov 235 BestSoFar PriorityQueue time 148442 gen 50 score 232819 cov 236 BestSoFar Properties time 5502 gen 1 score 258769 cov 259 BestSoFar Properties time 12194 gen 2 score 296864 cov 297 BestSoFar Properties time 25012 gen 3 score 296864 cov 297 BestSoFar Properties time 40017 gen 4 score 296864 cov 297 BestSoFar Properties time 50117 gen 5 score 296864 cov 297 BestSoFar Properties time 67060 gen 6 score 297252 cov 298 BestSoFar Properties time 80387 gen 7 score 297252 cov 298 BestSoFar Properties time 90989 gen 8 score 297919 cov 299 BestSoFar Properties time 100296 gen 9 score 297919 cov 299 BestSoFar Properties time 110051 gen 10 score 297919 cov 299 BestSoFar Properties time 125891 gen 11 score 297919 cov 299 BestSoFar Properties time 135666 gen 12 score 297919 cov 299 BestSoFar Properties time 148007 gen 13 score 297919 cov 299 BestSoFar Properties time 162728 gen 14 score 297919 cov 299 BestSoFar Properties time 172820 gen 15 score 297919 cov 299 BestSoFar Properties time 181076 gen 16 score 297919 cov 299 BestSoFar Properties time 188685 gen 17 score 297919 cov 299 BestSoFar Properties time 198707 gen 18 score 297919 cov 299 BestSoFar Properties time 207002 gen 19 score 297919 cov 299 BestSoFar Properties time 216191 gen 20 score 297919 cov 299 BestSoFar Properties time 226079 gen 21 score 297919 cov 299 BestSoFar Properties time 241608 gen 22 score 297919 cov 299 BestSoFar Properties time 266280 gen 23 score 297919 cov 299 BestSoFar Properties time 286283 gen 24 score 297919 cov 299 BestSoFar Properties time 306176 gen 25 score 297919 cov 299 BestSoFar Properties time 326075 gen 26 score 297919 cov 299 BestSoFar Properties time 339837 gen 27 score 297919 cov 299 BestSoFar Properties time 360135 gen 28 score 297919 cov 299 BestSoFar Properties time 378041 gen 29 score 297919 cov 299 BestSoFar Properties time 404094 gen 30 score 297919 cov 299 BestSoFar Properties time 429686 gen 31 score 297919 cov 299 BestSoFar Properties time 447704 gen 32 score 297919 cov 299 BestSoFar Properties time 480941 gen 33 score 297919 cov 299 BestSoFar Properties time 506728 gen 34 score 297919 cov 299 BestSoFar Properties time 535690 gen 35 score 297919 cov 299 BestSoFar Properties time 568652 gen 36 score 297919 cov 299 BestSoFar Properties time 598964 gen 37 score 297919 cov 299 BestSoFar Properties time 650194 gen 38 score 297919 cov 299 BestSoFar Properties time 693660 gen 39 score 297919 cov 299 BestSoFar Properties time 739750 gen 40 score 297919 cov 299 BestSoFar Properties time 781968 gen 41 score 297919 cov 299 BestSoFar Properties time 823507 gen 42 score 297919 cov 299 BestSoFar Properties time 860615 gen 43 score 297919 cov 299 BestSoFar Properties time 889075 gen 44 score 297919 cov 299 BestSoFar Properties time 929591 gen 45 score 297919 cov 299 BestSoFar Properties time 970536 gen 46 score 297919 cov 299 BestSoFar Properties time 1010200 gen 47 score 297919 cov 299 BestSoFar Properties time 1045308 gen 48 score 297919 cov 299 BestSoFar Properties time 1073798 gen 49 score 297919 cov 299 BestSoFar Properties time 1108965 gen 50 score 297919 cov 299 BestSoFar Stack time 2602 gen 1 score 84118 cov 84 BestSoFar Stack time 3903 gen 2 score 86271 cov 86 BestSoFar Stack time 5108 gen 3 score 86271 cov 86 BestSoFar Stack time 5897 gen 4 score 86271 cov 86 BestSoFar Stack time 6659 gen 5 score 86271 cov 86 BestSoFar Stack time 7607 gen 6 score 86271 cov 86 BestSoFar Stack time 8363 gen 7 score 86271 cov 86 BestSoFar Stack time 9028 gen 8 score 86271 cov 86 BestSoFar Stack time 9704 gen 9 score 86271 cov 86 BestSoFar Stack time 10380 gen 10 score 86271 cov 86 BestSoFar Stack time 11350 gen 11 score 86271 cov 86 BestSoFar Stack time 12117 gen 12 score 86271 cov 86 BestSoFar Stack time 12765 gen 13 score 86271 cov 86 BestSoFar Stack time 13405 gen 14 score 86271 cov 86 BestSoFar Stack time 14042 gen 15 score 86271 cov 86 BestSoFar Stack time 14699 gen 16 score 86271 cov 86 BestSoFar Stack time 15392 gen 17 score 86271 cov 86 BestSoFar Stack time 16294 gen 18 score 86271 cov 86 BestSoFar Stack time 17153 gen 19 score 86271 cov 86 BestSoFar Stack time 17727 gen 20 score 86271 cov 86 BestSoFar Stack time 18486 gen 21 score 86271 cov 86 BestSoFar Stack time 19051 gen 22 score 86271 cov 86 BestSoFar Stack time 19643 gen 23 score 86271 cov 86 BestSoFar Stack time 20574 gen 24 score 86271 cov 86 BestSoFar Stack time 21092 gen 25 score 86271 cov 86 BestSoFar Stack time 21592 gen 26 score 86271 cov 86 BestSoFar Stack time 22110 gen 27 score 86271 cov 86 BestSoFar Stack time 22698 gen 28 score 86271 cov 86 BestSoFar Stack time 23247 gen 29 score 86271 cov 86 BestSoFar Stack time 23953 gen 30 score 86271 cov 86 BestSoFar Stack time 25098 gen 31 score 86271 cov 86 BestSoFar Stack time 25697 gen 32 score 86271 cov 86 BestSoFar Stack time 26341 gen 33 score 86271 cov 86 BestSoFar Stack time 27010 gen 34 score 86271 cov 86 BestSoFar Stack time 27672 gen 35 score 86271 cov 86 BestSoFar Stack time 28323 gen 36 score 86271 cov 86 BestSoFar Stack time 28988 gen 37 score 86271 cov 86 BestSoFar Stack time 29605 gen 38 score 86271 cov 86 BestSoFar Stack time 30275 gen 39 score 86271 cov 86 BestSoFar Stack time 30917 gen 40 score 86340 cov 86 BestSoFar Stack time 31597 gen 41 score 86674 cov 87 BestSoFar Stack time 32342 gen 42 score 86674 cov 87 BestSoFar Stack time 33162 gen 43 score 86674 cov 87 BestSoFar Stack time 34482 gen 44 score 86674 cov 87 BestSoFar Stack time 35125 gen 45 score 86674 cov 87 BestSoFar Stack time 35696 gen 46 score 86674 cov 87 BestSoFar Stack time 36281 gen 47 score 86674 cov 87 BestSoFar Stack time 36953 gen 48 score 86674 cov 87 BestSoFar Stack time 37596 gen 49 score 86674 cov 87 BestSoFar Stack time 38249 gen 50 score 86674 cov 87 BestSoFar TreeMap time 3803 gen 1 score 448251 cov 448 BestSoFar TreeMap time 5643 gen 2 score 482449 cov 483 BestSoFar TreeMap time 7688 gen 3 score 499116 cov 500 BestSoFar TreeMap time 9936 gen 4 score 499116 cov 500 BestSoFar TreeMap time 12195 gen 5 score 503263 cov 505 BestSoFar TreeMap time 14663 gen 6 score 528263 cov 530 BestSoFar TreeMap time 17197 gen 7 score 528596 cov 530 BestSoFar TreeMap time 19761 gen 8 score 539596 cov 541 BestSoFar TreeMap time 22501 gen 9 score 584263 cov 586 BestSoFar TreeMap time 25435 gen 10 score 584263 cov 586 BestSoFar TreeMap time 28663 gen 11 score 584263 cov 586 BestSoFar TreeMap time 31250 gen 12 score 584263 cov 586 BestSoFar TreeMap time 34006 gen 13 score 584263 cov 586 BestSoFar TreeMap time 36946 gen 14 score 584263 cov 586 BestSoFar TreeMap time 39797 gen 15 score 584263 cov 586 BestSoFar TreeMap time 42760 gen 16 score 584263 cov 586 BestSoFar TreeMap time 46000 gen 17 score 584263 cov 586 BestSoFar TreeMap time 49307 gen 18 score 584263 cov 586 BestSoFar TreeMap time 53107 gen 19 score 598756 cov 601 BestSoFar TreeMap time 57115 gen 20 score 614638 cov 618 BestSoFar TreeMap time 62691 gen 21 score 631756 cov 634 BestSoFar TreeMap time 66710 gen 22 score 631756 cov 634 BestSoFar TreeMap time 70716 gen 23 score 631756 cov 634 BestSoFar TreeMap time 74856 gen 24 score 631756 cov 634 BestSoFar TreeMap time 78962 gen 25 score 631756 cov 634 BestSoFar TreeMap time 83274 gen 26 score 631756 cov 634 BestSoFar TreeMap time 87491 gen 27 score 631756 cov 634 BestSoFar TreeMap time 91589 gen 28 score 631756 cov 634 BestSoFar TreeMap time 95743 gen 29 score 634304 cov 637 BestSoFar TreeMap time 99896 gen 30 score 634304 cov 637 BestSoFar TreeMap time 104758 gen 31 score 634304 cov 637 BestSoFar TreeMap time 108961 gen 32 score 634304 cov 637 BestSoFar TreeMap time 113235 gen 33 score 634304 cov 637 BestSoFar TreeMap time 117613 gen 34 score 639304 cov 642 BestSoFar TreeMap time 122051 gen 35 score 648304 cov 651 BestSoFar TreeMap time 126423 gen 36 score 648304 cov 651 BestSoFar TreeMap time 130824 gen 37 score 648304 cov 651 BestSoFar TreeMap time 135234 gen 38 score 648304 cov 651 BestSoFar TreeMap time 139673 gen 39 score 648304 cov 651 BestSoFar TreeMap time 144317 gen 40 score 648304 cov 651 BestSoFar TreeMap time 149798 gen 41 score 648304 cov 651 BestSoFar TreeMap time 154820 gen 42 score 656315 cov 660 BestSoFar TreeMap time 160170 gen 43 score 656315 cov 660 BestSoFar TreeMap time 165232 gen 44 score 656315 cov 660 BestSoFar TreeMap time 170261 gen 45 score 656315 cov 660 BestSoFar TreeMap time 175472 gen 46 score 659981 cov 663 BestSoFar TreeMap time 180525 gen 47 score 659981 cov 663 BestSoFar TreeMap time 185746 gen 48 score 659981 cov 663 BestSoFar TreeMap time 190820 gen 49 score 659981 cov 663 BestSoFar TreeMap time 195654 gen 50 score 659981 cov 663 BestSoFar TreeSet time 3327 gen 1 score 442100 cov 443 BestSoFar TreeSet time 5114 gen 2 score 474433 cov 475 BestSoFar TreeSet time 7876 gen 3 score 474433 cov 475 BestSoFar TreeSet time 10272 gen 4 score 474433 cov 475 BestSoFar TreeSet time 12340 gen 5 score 506767 cov 508 BestSoFar TreeSet time 14335 gen 6 score 506767 cov 508 BestSoFar TreeSet time 16360 gen 7 score 506767 cov 508 BestSoFar TreeSet time 18554 gen 8 score 506767 cov 508 BestSoFar TreeSet time 20758 gen 9 score 506767 cov 508 BestSoFar TreeSet time 23257 gen 10 score 507321 cov 509 BestSoFar TreeSet time 26572 gen 11 score 552493 cov 555 BestSoFar TreeSet time 29990 gen 12 score 552493 cov 555 BestSoFar TreeSet time 33466 gen 13 score 552493 cov 555 BestSoFar TreeSet time 36885 gen 14 score 552493 cov 555 BestSoFar TreeSet time 40436 gen 15 score 558355 cov 561 BestSoFar TreeSet time 43948 gen 16 score 563021 cov 565 BestSoFar TreeSet time 47552 gen 17 score 563021 cov 565 BestSoFar TreeSet time 51007 gen 18 score 563021 cov 565 BestSoFar TreeSet time 54473 gen 19 score 563021 cov 565 BestSoFar TreeSet time 57963 gen 20 score 569876 cov 572 BestSoFar TreeSet time 62224 gen 21 score 570876 cov 573 BestSoFar TreeSet time 65729 gen 22 score 570876 cov 573 BestSoFar TreeSet time 69349 gen 23 score 573210 cov 576 BestSoFar TreeSet time 72885 gen 24 score 573210 cov 576 BestSoFar TreeSet time 76496 gen 25 score 573210 cov 576 BestSoFar TreeSet time 80053 gen 26 score 573210 cov 576 BestSoFar TreeSet time 83575 gen 27 score 573210 cov 576 BestSoFar TreeSet time 87065 gen 28 score 573210 cov 576 BestSoFar TreeSet time 90634 gen 29 score 573210 cov 576 BestSoFar TreeSet time 94136 gen 30 score 573210 cov 576 BestSoFar TreeSet time 97778 gen 31 score 573210 cov 576 BestSoFar TreeSet time 101205 gen 32 score 573210 cov 576 BestSoFar TreeSet time 104492 gen 33 score 573210 cov 576 BestSoFar TreeSet time 107738 gen 34 score 573210 cov 576 BestSoFar TreeSet time 111195 gen 35 score 578813 cov 582 BestSoFar TreeSet time 114651 gen 36 score 586479 cov 589 BestSoFar TreeSet time 118500 gen 37 score 586479 cov 589 BestSoFar TreeSet time 122726 gen 38 score 586479 cov 589 BestSoFar TreeSet time 126838 gen 39 score 586479 cov 589 BestSoFar TreeSet time 130843 gen 40 score 586479 cov 589 BestSoFar TreeSet time 135151 gen 41 score 586479 cov 589 BestSoFar TreeSet time 139274 gen 42 score 589479 cov 592 BestSoFar TreeSet time 143446 gen 43 score 589479 cov 592 BestSoFar TreeSet time 147544 gen 44 score 589813 cov 593 BestSoFar TreeSet time 151666 gen 45 score 589813 cov 593 BestSoFar TreeSet time 155725 gen 46 score 589813 cov 593 BestSoFar TreeSet time 159820 gen 47 score 589813 cov 593 BestSoFar TreeSet time 163927 gen 48 score 589813 cov 593 BestSoFar TreeSet time 168021 gen 49 score 589813 cov 593 BestSoFar TreeSet time 172260 gen 50 score 589813 cov 593 BestSoFar Vector time 4493 gen 1 score 290527 cov 291 BestSoFar Vector time 6178 gen 2 score 325238 cov 326 BestSoFar Vector time 7798 gen 3 score 337571 cov 338 BestSoFar Vector time 9849 gen 4 score 400599 cov 402 BestSoFar Vector time 12099 gen 5 score 400599 cov 402 BestSoFar Vector time 14697 gen 6 score 400599 cov 402 BestSoFar Vector time 17741 gen 7 score 400599 cov 402 BestSoFar Vector time 20567 gen 8 score 400599 cov 402 BestSoFar Vector time 23555 gen 9 score 400599 cov 402 BestSoFar Vector time 26533 gen 10 score 400599 cov 402 BestSoFar Vector time 29858 gen 11 score 418599 cov 420 BestSoFar Vector time 32917 gen 12 score 418599 cov 420 BestSoFar Vector time 35888 gen 13 score 418599 cov 420 BestSoFar Vector time 39181 gen 14 score 418599 cov 420 BestSoFar Vector time 42993 gen 15 score 419061 cov 422 BestSoFar Vector time 47596 gen 16 score 419061 cov 422 BestSoFar Vector time 52266 gen 17 score 419061 cov 422 BestSoFar Vector time 57063 gen 18 score 419061 cov 422 BestSoFar Vector time 62488 gen 19 score 423896 cov 428 BestSoFar Vector time 67974 gen 20 score 423896 cov 428 BestSoFar Vector time 73950 gen 21 score 423896 cov 428 BestSoFar Vector time 79303 gen 22 score 424896 cov 429 BestSoFar Vector time 84794 gen 23 score 424896 cov 429 BestSoFar Vector time 90165 gen 24 score 424896 cov 429 BestSoFar Vector time 95532 gen 25 score 424896 cov 429 BestSoFar Vector time 100895 gen 26 score 441562 cov 445 BestSoFar Vector time 106376 gen 27 score 441562 cov 445 BestSoFar Vector time 112016 gen 28 score 441562 cov 445 BestSoFar Vector time 117399 gen 29 score 441562 cov 445 BestSoFar Vector time 122884 gen 30 score 441562 cov 445 BestSoFar Vector time 128641 gen 31 score 446896 cov 451 BestSoFar Vector time 133879 gen 32 score 446896 cov 451 BestSoFar Vector time 139262 gen 33 score 454562 cov 458 BestSoFar Vector time 153353 gen 34 score 454562 cov 458 BestSoFar Vector time 158821 gen 35 score 454562 cov 458 BestSoFar Vector time 164721 gen 36 score 454562 cov 458 BestSoFar Vector time 171785 gen 37 score 455533 cov 459 BestSoFar Vector time 185213 gen 38 score 457533 cov 461 BestSoFar Vector time 191868 gen 39 score 457533 cov 461 BestSoFar Vector time 197692 gen 40 score 457533 cov 461 BestSoFar Vector time 204188 gen 41 score 457533 cov 461 BestSoFar Vector time 219307 gen 42 score 457533 cov 461 BestSoFar Vector time 235039 gen 43 score 457533 cov 461 BestSoFar Vector time 242365 gen 44 score 457533 cov 461 BestSoFar Vector time 256565 gen 45 score 457533 cov 461 BestSoFar Vector time 279934 gen 46 score 457533 cov 461 BestSoFar Vector time 286417 gen 47 score 457533 cov 461 BestSoFar Vector time 295326 gen 48 score 457533 cov 461 BestSoFar Vector time 311613 gen 49 score 457533 cov 461 BestSoFar Vector time 327129 gen 50 score 457533 cov 461 BestSoFar WeakHashMap time 3607 gen 1 score 333333 cov 333 BestSoFar WeakHashMap time 4900 gen 2 score 333333 cov 333 BestSoFar WeakHashMap time 5996 gen 3 score 371523 cov 372 BestSoFar WeakHashMap time 7456 gen 4 score 379258 cov 381 BestSoFar WeakHashMap time 9178 gen 5 score 379258 cov 381 BestSoFar WeakHashMap time 11154 gen 6 score 379258 cov 381 BestSoFar WeakHashMap time 13239 gen 7 score 379591 cov 381 BestSoFar WeakHashMap time 15413 gen 8 score 379591 cov 381 BestSoFar WeakHashMap time 17567 gen 9 score 379591 cov 381 BestSoFar WeakHashMap time 19658 gen 10 score 380591 cov 382 BestSoFar WeakHashMap time 22137 gen 11 score 380591 cov 382 BestSoFar WeakHashMap time 24310 gen 12 score 380591 cov 382 BestSoFar WeakHashMap time 26521 gen 13 score 380591 cov 382 BestSoFar WeakHashMap time 28600 gen 14 score 380591 cov 382 BestSoFar WeakHashMap time 30665 gen 15 score 380591 cov 382 BestSoFar WeakHashMap time 32733 gen 16 score 382924 cov 384 BestSoFar WeakHashMap time 34805 gen 17 score 382924 cov 384 BestSoFar WeakHashMap time 36837 gen 18 score 382924 cov 384 BestSoFar WeakHashMap time 38838 gen 19 score 382924 cov 384 BestSoFar WeakHashMap time 40687 gen 20 score 391591 cov 393 BestSoFar WeakHashMap time 43306 gen 21 score 391591 cov 393 BestSoFar WeakHashMap time 45337 gen 22 score 391591 cov 393 BestSoFar WeakHashMap time 47410 gen 23 score 391591 cov 393 BestSoFar WeakHashMap time 49740 gen 24 score 395082 cov 397 BestSoFar WeakHashMap time 52347 gen 25 score 396930 cov 400 BestSoFar WeakHashMap time 55051 gen 26 score 398472 cov 401 BestSoFar WeakHashMap time 58355 gen 27 score 399263 cov 402 BestSoFar WeakHashMap time 61860 gen 28 score 399263 cov 402 BestSoFar WeakHashMap time 65256 gen 29 score 399263 cov 402 BestSoFar WeakHashMap time 68988 gen 30 score 399263 cov 402 BestSoFar WeakHashMap time 73206 gen 31 score 399263 cov 402 BestSoFar WeakHashMap time 77209 gen 32 score 399263 cov 402 BestSoFar WeakHashMap time 81400 gen 33 score 399263 cov 402 BestSoFar WeakHashMap time 85415 gen 34 score 399263 cov 402 BestSoFar WeakHashMap time 89243 gen 35 score 399263 cov 402 BestSoFar WeakHashMap time 92975 gen 36 score 399263 cov 402 BestSoFar WeakHashMap time 96425 gen 37 score 399263 cov 402 BestSoFar WeakHashMap time 99904 gen 38 score 399263 cov 402 BestSoFar WeakHashMap time 103546 gen 39 score 399263 cov 402 BestSoFar WeakHashMap time 106904 gen 40 score 399263 cov 402 BestSoFar WeakHashMap time 111195 gen 41 score 399263 cov 402 BestSoFar WeakHashMap time 114629 gen 42 score 399263 cov 402 BestSoFar WeakHashMap time 118059 gen 43 score 402930 cov 406 BestSoFar WeakHashMap time 121472 gen 44 score 402930 cov 406 BestSoFar WeakHashMap time 124887 gen 45 score 402930 cov 406 BestSoFar WeakHashMap time 128277 gen 46 score 402930 cov 406 BestSoFar WeakHashMap time 131669 gen 47 score 402930 cov 406 BestSoFar WeakHashMap time 134997 gen 48 score 402930 cov 406 BestSoFar WeakHashMap time 138414 gen 49 score 402930 cov 406 BestSoFar WeakHashMap time 142111 gen 50 score 402930 cov 406