Mon Mar 16 00:01:46 EDT 2009 BestSoFar ArrayList time 1733 gen 1 score 165115 cov 165 BestSoFar ArrayList time 2633 gen 2 score 182487 cov 183 BestSoFar ArrayList time 3443 gen 3 score 190195 cov 190 BestSoFar ArrayList time 4404 gen 4 score 190195 cov 190 BestSoFar ArrayList time 5304 gen 5 score 195487 cov 196 BestSoFar ArrayList time 6324 gen 6 score 202677 cov 204 BestSoFar ArrayList time 7587 gen 7 score 204677 cov 206 BestSoFar ArrayList time 9438 gen 8 score 204677 cov 206 BestSoFar ArrayList time 11151 gen 9 score 204677 cov 206 BestSoFar ArrayList time 12840 gen 10 score 204677 cov 206 BestSoFar ArrayList time 14639 gen 11 score 204677 cov 206 BestSoFar ArrayList time 16343 gen 12 score 204677 cov 206 BestSoFar ArrayList time 18011 gen 13 score 204677 cov 206 BestSoFar ArrayList time 19852 gen 14 score 204677 cov 206 BestSoFar ArrayList time 22046 gen 15 score 204677 cov 206 BestSoFar ArrayList time 24344 gen 16 score 205638 cov 207 BestSoFar ArrayList time 26539 gen 17 score 205638 cov 207 BestSoFar ArrayList time 28772 gen 18 score 205638 cov 207 BestSoFar ArrayList time 31131 gen 19 score 205638 cov 207 BestSoFar ArrayList time 33564 gen 20 score 205638 cov 207 BestSoFar ArrayList time 36168 gen 21 score 205638 cov 207 BestSoFar ArrayList time 38631 gen 22 score 205638 cov 207 BestSoFar ArrayList time 41047 gen 23 score 205638 cov 207 BestSoFar ArrayList time 43888 gen 24 score 206104 cov 210 BestSoFar ArrayList time 47006 gen 25 score 206316 cov 209 BestSoFar ArrayList time 50568 gen 26 score 206316 cov 209 BestSoFar ArrayList time 54213 gen 27 score 206316 cov 209 BestSoFar ArrayList time 57573 gen 28 score 206316 cov 209 BestSoFar ArrayList time 60778 gen 29 score 207329 cov 210 BestSoFar ArrayList time 63989 gen 30 score 207329 cov 210 BestSoFar ArrayList time 67725 gen 31 score 207329 cov 210 BestSoFar ArrayList time 71062 gen 32 score 207329 cov 210 BestSoFar ArrayList time 74354 gen 33 score 207329 cov 210 BestSoFar ArrayList time 77619 gen 34 score 207329 cov 210 BestSoFar ArrayList time 80984 gen 35 score 207329 cov 210 BestSoFar ArrayList time 84386 gen 36 score 207329 cov 210 BestSoFar ArrayList time 87691 gen 37 score 207329 cov 210 BestSoFar ArrayList time 91020 gen 38 score 207329 cov 210 BestSoFar ArrayList time 94310 gen 39 score 207329 cov 210 BestSoFar ArrayList time 97581 gen 40 score 207329 cov 210 BestSoFar ArrayList time 100974 gen 41 score 207329 cov 210 BestSoFar ArrayList time 104345 gen 42 score 207329 cov 210 BestSoFar ArrayList time 107555 gen 43 score 207329 cov 210 BestSoFar ArrayList time 110794 gen 44 score 207329 cov 210 BestSoFar ArrayList time 117024 gen 45 score 207329 cov 210 BestSoFar ArrayList time 120338 gen 46 score 207329 cov 210 BestSoFar ArrayList time 123598 gen 47 score 207329 cov 210 BestSoFar ArrayList time 126823 gen 48 score 207329 cov 210 BestSoFar ArrayList time 130034 gen 49 score 207329 cov 210 BestSoFar ArrayList time 133184 gen 50 score 207329 cov 210 BestSoFar EnumMap time 1743 gen 1 score 6321 cov 6 BestSoFar EnumMap time 2353 gen 2 score 6321 cov 6 BestSoFar EnumMap time 2877 gen 3 score 6657 cov 6 BestSoFar EnumMap time 3477 gen 4 score 6657 cov 6 BestSoFar EnumMap time 4088 gen 5 score 6657 cov 6 BestSoFar EnumMap time 4754 gen 6 score 8982 cov 9 BestSoFar EnumMap time 5377 gen 7 score 8982 cov 9 BestSoFar EnumMap time 5927 gen 8 score 8982 cov 9 BestSoFar EnumMap time 6564 gen 9 score 8982 cov 9 BestSoFar EnumMap time 7215 gen 10 score 8982 cov 9 BestSoFar EnumMap time 8308 gen 11 score 8982 cov 9 BestSoFar EnumMap time 8960 gen 12 score 8982 cov 9 BestSoFar EnumMap time 9619 gen 13 score 8982 cov 9 BestSoFar EnumMap time 10322 gen 14 score 8982 cov 9 BestSoFar EnumMap time 11039 gen 15 score 8982 cov 9 BestSoFar EnumMap time 11692 gen 16 score 8982 cov 9 BestSoFar EnumMap time 12335 gen 17 score 8982 cov 9 BestSoFar EnumMap time 13051 gen 18 score 8982 cov 9 BestSoFar EnumMap time 13730 gen 19 score 8982 cov 9 BestSoFar EnumMap time 14433 gen 20 score 8982 cov 9 BestSoFar EnumMap time 15441 gen 21 score 8982 cov 9 BestSoFar EnumMap time 16081 gen 22 score 8982 cov 9 BestSoFar EnumMap time 16704 gen 23 score 8982 cov 9 BestSoFar EnumMap time 17378 gen 24 score 9315 cov 9 BestSoFar EnumMap time 18116 gen 25 score 9315 cov 9 BestSoFar EnumMap time 18887 gen 26 score 9315 cov 9 BestSoFar EnumMap time 19646 gen 27 score 9315 cov 9 BestSoFar EnumMap time 20297 gen 28 score 9315 cov 9 BestSoFar EnumMap time 20956 gen 29 score 9315 cov 9 BestSoFar EnumMap time 21744 gen 30 score 9642 cov 9 BestSoFar EnumMap time 22851 gen 31 score 9642 cov 9 BestSoFar EnumMap time 23638 gen 32 score 9642 cov 9 BestSoFar EnumMap time 24314 gen 33 score 9642 cov 9 BestSoFar EnumMap time 24975 gen 34 score 9642 cov 9 BestSoFar EnumMap time 25630 gen 35 score 9642 cov 9 BestSoFar EnumMap time 26271 gen 36 score 9642 cov 9 BestSoFar EnumMap time 26855 gen 37 score 9642 cov 9 BestSoFar EnumMap time 27432 gen 38 score 9642 cov 9 BestSoFar EnumMap time 28023 gen 39 score 9642 cov 9 BestSoFar EnumMap time 28597 gen 40 score 9642 cov 9 BestSoFar EnumMap time 29511 gen 41 score 9642 cov 9 BestSoFar EnumMap time 30113 gen 42 score 9642 cov 9 BestSoFar EnumMap time 30732 gen 43 score 9642 cov 9 BestSoFar EnumMap time 31363 gen 44 score 9642 cov 9 BestSoFar EnumMap time 31970 gen 45 score 9642 cov 9 BestSoFar EnumMap time 32610 gen 46 score 9642 cov 9 BestSoFar EnumMap time 33270 gen 47 score 9650 cov 9 BestSoFar EnumMap time 33927 gen 48 score 9650 cov 9 BestSoFar EnumMap time 34620 gen 49 score 9650 cov 9 BestSoFar EnumMap time 35302 gen 50 score 9650 cov 9 BestSoFar HashMap time 2665 gen 1 score 339990 cov 340 BestSoFar HashMap time 4035 gen 2 score 339990 cov 340 BestSoFar HashMap time 5339 gen 3 score 372668 cov 373 BestSoFar HashMap time 7230 gen 4 score 382200 cov 383 BestSoFar HashMap time 9063 gen 5 score 383533 cov 384 BestSoFar HashMap time 10799 gen 6 score 383533 cov 384 BestSoFar HashMap time 12479 gen 7 score 383533 cov 384 BestSoFar HashMap time 14008 gen 8 score 383533 cov 384 BestSoFar HashMap time 15581 gen 9 score 386495 cov 387 BestSoFar HashMap time 17133 gen 10 score 386495 cov 387 BestSoFar HashMap time 18758 gen 11 score 386495 cov 387 BestSoFar HashMap time 20282 gen 12 score 386495 cov 387 BestSoFar HashMap time 21731 gen 13 score 387162 cov 388 BestSoFar HashMap time 23231 gen 14 score 387162 cov 388 BestSoFar HashMap time 24723 gen 15 score 387162 cov 388 BestSoFar HashMap time 26238 gen 16 score 388856 cov 390 BestSoFar HashMap time 27752 gen 17 score 388856 cov 390 BestSoFar HashMap time 29326 gen 18 score 388856 cov 390 BestSoFar HashMap time 30934 gen 19 score 388856 cov 390 BestSoFar HashMap time 32655 gen 20 score 388856 cov 390 BestSoFar HashMap time 34562 gen 21 score 388856 cov 390 BestSoFar HashMap time 36437 gen 22 score 388856 cov 390 BestSoFar HashMap time 38563 gen 23 score 395017 cov 397 BestSoFar HashMap time 40775 gen 24 score 395017 cov 397 BestSoFar HashMap time 43041 gen 25 score 395017 cov 397 BestSoFar HashMap time 45447 gen 26 score 400017 cov 402 BestSoFar HashMap time 47773 gen 27 score 400017 cov 402 BestSoFar HashMap time 50298 gen 28 score 400017 cov 402 BestSoFar HashMap time 52813 gen 29 score 402350 cov 404 BestSoFar HashMap time 55301 gen 30 score 402350 cov 404 BestSoFar HashMap time 58111 gen 31 score 402350 cov 404 BestSoFar HashMap time 61094 gen 32 score 405441 cov 409 BestSoFar HashMap time 64092 gen 33 score 405441 cov 409 BestSoFar HashMap time 67133 gen 34 score 411107 cov 414 BestSoFar HashMap time 70187 gen 35 score 411107 cov 414 BestSoFar HashMap time 73212 gen 36 score 411107 cov 414 BestSoFar HashMap time 76471 gen 37 score 411107 cov 414 BestSoFar HashMap time 79627 gen 38 score 411107 cov 414 BestSoFar HashMap time 82919 gen 39 score 411107 cov 414 BestSoFar HashMap time 86260 gen 40 score 411107 cov 414 BestSoFar HashMap time 89745 gen 41 score 411107 cov 414 BestSoFar HashMap time 93309 gen 42 score 411107 cov 414 BestSoFar HashMap time 97131 gen 43 score 411107 cov 414 BestSoFar HashMap time 101175 gen 44 score 411107 cov 414 BestSoFar HashMap time 105267 gen 45 score 414139 cov 418 BestSoFar HashMap time 109675 gen 46 score 414139 cov 418 BestSoFar HashMap time 114220 gen 47 score 414139 cov 418 BestSoFar HashMap time 118626 gen 48 score 414139 cov 418 BestSoFar HashMap time 123146 gen 49 score 416806 cov 421 BestSoFar HashMap time 127710 gen 50 score 416806 cov 421 BestSoFar HashSet time 1763 gen 1 score 294940 cov 295 BestSoFar HashSet time 2565 gen 2 score 305607 cov 306 BestSoFar HashSet time 3495 gen 3 score 305607 cov 306 BestSoFar HashSet time 4753 gen 4 score 311978 cov 313 BestSoFar HashSet time 6343 gen 5 score 312311 cov 313 BestSoFar HashSet time 7969 gen 6 score 315311 cov 316 BestSoFar HashSet time 9504 gen 7 score 315311 cov 316 BestSoFar HashSet time 11321 gen 8 score 315311 cov 316 BestSoFar HashSet time 13167 gen 9 score 315311 cov 316 BestSoFar HashSet time 14975 gen 10 score 315613 cov 317 BestSoFar HashSet time 16701 gen 11 score 315613 cov 317 BestSoFar HashSet time 18360 gen 12 score 316279 cov 317 BestSoFar HashSet time 20160 gen 13 score 316526 cov 318 BestSoFar HashSet time 22344 gen 14 score 316526 cov 318 BestSoFar HashSet time 24934 gen 15 score 316526 cov 318 BestSoFar HashSet time 27479 gen 16 score 316526 cov 318 BestSoFar HashSet time 29907 gen 17 score 318526 cov 320 BestSoFar HashSet time 32320 gen 18 score 318526 cov 320 BestSoFar HashSet time 34772 gen 19 score 318526 cov 320 BestSoFar HashSet time 37177 gen 20 score 318526 cov 320 BestSoFar HashSet time 39700 gen 21 score 318526 cov 320 BestSoFar HashSet time 42244 gen 22 score 318526 cov 320 BestSoFar HashSet time 44782 gen 23 score 318526 cov 320 BestSoFar HashSet time 47463 gen 24 score 318526 cov 320 BestSoFar HashSet time 49954 gen 25 score 318526 cov 320 BestSoFar HashSet time 52478 gen 26 score 318526 cov 320 BestSoFar HashSet time 54963 gen 27 score 318526 cov 320 BestSoFar HashSet time 57330 gen 28 score 318526 cov 320 BestSoFar HashSet time 59692 gen 29 score 318526 cov 320 BestSoFar HashSet time 62076 gen 30 score 318526 cov 320 BestSoFar HashSet time 64489 gen 31 score 318526 cov 320 BestSoFar HashSet time 66796 gen 32 score 318526 cov 320 BestSoFar HashSet time 69056 gen 33 score 318526 cov 320 BestSoFar HashSet time 71374 gen 34 score 318526 cov 320 BestSoFar HashSet time 73725 gen 35 score 318526 cov 320 BestSoFar HashSet time 75996 gen 36 score 318526 cov 320 BestSoFar HashSet time 78181 gen 37 score 318526 cov 320 BestSoFar HashSet time 80355 gen 38 score 318526 cov 320 BestSoFar HashSet time 82752 gen 39 score 318526 cov 320 BestSoFar HashSet time 85600 gen 40 score 318526 cov 320 BestSoFar HashSet time 88450 gen 41 score 318526 cov 320 BestSoFar HashSet time 91605 gen 42 score 318526 cov 320 BestSoFar HashSet time 95000 gen 43 score 318526 cov 320 BestSoFar HashSet time 97905 gen 44 score 318526 cov 320 BestSoFar HashSet time 101148 gen 45 score 318526 cov 320 BestSoFar HashSet time 104243 gen 46 score 318526 cov 320 BestSoFar HashSet time 107101 gen 47 score 318526 cov 320 BestSoFar HashSet time 109937 gen 48 score 318526 cov 320 BestSoFar HashSet time 112707 gen 49 score 318526 cov 320 BestSoFar HashSet time 115512 gen 50 score 318526 cov 320 BestSoFar Hashtable time 2723 gen 1 score 349283 cov 349 BestSoFar Hashtable time 4175 gen 2 score 349283 cov 349 BestSoFar Hashtable time 5404 gen 3 score 370224 cov 371 BestSoFar Hashtable time 6736 gen 4 score 379224 cov 380 BestSoFar Hashtable time 8668 gen 5 score 379224 cov 380 BestSoFar Hashtable time 10766 gen 6 score 380224 cov 381 BestSoFar Hashtable time 13205 gen 7 score 396540 cov 399 BestSoFar Hashtable time 16341 gen 8 score 396540 cov 399 BestSoFar Hashtable time 19423 gen 9 score 396540 cov 399 BestSoFar Hashtable time 22530 gen 10 score 396540 cov 399 BestSoFar Hashtable time 26196 gen 11 score 396540 cov 399 BestSoFar Hashtable time 29855 gen 12 score 405877 cov 409 BestSoFar Hashtable time 33588 gen 13 score 405877 cov 409 BestSoFar Hashtable time 37294 gen 14 score 405877 cov 409 BestSoFar Hashtable time 40913 gen 15 score 405877 cov 409 BestSoFar Hashtable time 44570 gen 16 score 405877 cov 409 BestSoFar Hashtable time 48399 gen 17 score 405877 cov 409 BestSoFar Hashtable time 52030 gen 18 score 405877 cov 409 BestSoFar Hashtable time 55839 gen 19 score 405877 cov 409 BestSoFar Hashtable time 59567 gen 20 score 405877 cov 409 BestSoFar Hashtable time 63515 gen 21 score 405877 cov 409 BestSoFar Hashtable time 67405 gen 22 score 405877 cov 409 BestSoFar Hashtable time 71306 gen 23 score 405877 cov 409 BestSoFar Hashtable time 75513 gen 24 score 405877 cov 409 BestSoFar Hashtable time 79614 gen 25 score 405877 cov 409 BestSoFar Hashtable time 83687 gen 26 score 405877 cov 409 BestSoFar Hashtable time 87826 gen 27 score 405877 cov 409 BestSoFar Hashtable time 92070 gen 28 score 405877 cov 409 BestSoFar Hashtable time 96221 gen 29 score 405877 cov 409 BestSoFar Hashtable time 100397 gen 30 score 405877 cov 409 BestSoFar Hashtable time 104670 gen 31 score 405877 cov 409 BestSoFar Hashtable time 108856 gen 32 score 405877 cov 409 BestSoFar Hashtable time 113014 gen 33 score 405877 cov 409 BestSoFar Hashtable time 117219 gen 34 score 405877 cov 409 BestSoFar Hashtable time 121423 gen 35 score 405877 cov 409 BestSoFar Hashtable time 125758 gen 36 score 405877 cov 409 BestSoFar Hashtable time 130037 gen 37 score 405877 cov 409 BestSoFar Hashtable time 134328 gen 38 score 405877 cov 409 BestSoFar Hashtable time 138725 gen 39 score 405877 cov 409 BestSoFar Hashtable time 143019 gen 40 score 405877 cov 409 BestSoFar Hashtable time 147379 gen 41 score 405877 cov 409 BestSoFar Hashtable time 151546 gen 42 score 405877 cov 409 BestSoFar Hashtable time 155582 gen 43 score 405877 cov 409 BestSoFar Hashtable time 159642 gen 44 score 405877 cov 409 BestSoFar Hashtable time 163851 gen 45 score 405877 cov 409 BestSoFar Hashtable time 168300 gen 46 score 405877 cov 409 BestSoFar Hashtable time 172880 gen 47 score 405877 cov 409 BestSoFar Hashtable time 177384 gen 48 score 405877 cov 409 BestSoFar Hashtable time 181841 gen 49 score 405877 cov 409 BestSoFar Hashtable time 186430 gen 50 score 405877 cov 409 BestSoFar IdentityHashMap time 2917 gen 1 score 321323 cov 321 BestSoFar IdentityHashMap time 4186 gen 2 score 325323 cov 325 BestSoFar IdentityHashMap time 5171 gen 3 score 339092 cov 339 BestSoFar IdentityHashMap time 6172 gen 4 score 339092 cov 339 BestSoFar IdentityHashMap time 7435 gen 5 score 371115 cov 372 BestSoFar IdentityHashMap time 8996 gen 6 score 371115 cov 372 BestSoFar IdentityHashMap time 10848 gen 7 score 371115 cov 372 BestSoFar IdentityHashMap time 12868 gen 8 score 381444 cov 383 BestSoFar IdentityHashMap time 15035 gen 9 score 381444 cov 383 BestSoFar IdentityHashMap time 17090 gen 10 score 381444 cov 383 BestSoFar IdentityHashMap time 19186 gen 11 score 381444 cov 383 BestSoFar IdentityHashMap time 21298 gen 12 score 381444 cov 383 BestSoFar IdentityHashMap time 23570 gen 13 score 381444 cov 383 BestSoFar IdentityHashMap time 25850 gen 14 score 381444 cov 383 BestSoFar IdentityHashMap time 28165 gen 15 score 385196 cov 387 BestSoFar IdentityHashMap time 30803 gen 16 score 387863 cov 390 BestSoFar IdentityHashMap time 33870 gen 17 score 396703 cov 400 BestSoFar IdentityHashMap time 37253 gen 18 score 396703 cov 400 BestSoFar IdentityHashMap time 41018 gen 19 score 396703 cov 400 BestSoFar IdentityHashMap time 44995 gen 20 score 402339 cov 405 BestSoFar IdentityHashMap time 49099 gen 21 score 402339 cov 405 BestSoFar IdentityHashMap time 52755 gen 22 score 402339 cov 405 BestSoFar IdentityHashMap time 56393 gen 23 score 402339 cov 405 BestSoFar IdentityHashMap time 59984 gen 24 score 402339 cov 405 BestSoFar IdentityHashMap time 63648 gen 25 score 402339 cov 405 BestSoFar IdentityHashMap time 67478 gen 26 score 403339 cov 406 BestSoFar IdentityHashMap time 71321 gen 27 score 403339 cov 406 BestSoFar IdentityHashMap time 75292 gen 28 score 403339 cov 406 BestSoFar IdentityHashMap time 79429 gen 29 score 403339 cov 406 BestSoFar IdentityHashMap time 83630 gen 30 score 403339 cov 406 BestSoFar IdentityHashMap time 88149 gen 31 score 403339 cov 406 BestSoFar IdentityHashMap time 92609 gen 32 score 408881 cov 413 BestSoFar IdentityHashMap time 97139 gen 33 score 408881 cov 413 BestSoFar IdentityHashMap time 101733 gen 34 score 408881 cov 413 BestSoFar IdentityHashMap time 106313 gen 35 score 408881 cov 413 BestSoFar IdentityHashMap time 110863 gen 36 score 408881 cov 413 BestSoFar IdentityHashMap time 115529 gen 37 score 408881 cov 413 BestSoFar IdentityHashMap time 120065 gen 38 score 408881 cov 413 BestSoFar IdentityHashMap time 124721 gen 39 score 408881 cov 413 BestSoFar IdentityHashMap time 129430 gen 40 score 408881 cov 413 BestSoFar IdentityHashMap time 134309 gen 41 score 408881 cov 413 BestSoFar IdentityHashMap time 139130 gen 42 score 408881 cov 413 BestSoFar IdentityHashMap time 144003 gen 43 score 408881 cov 413 BestSoFar IdentityHashMap time 148916 gen 44 score 408881 cov 413 BestSoFar IdentityHashMap time 153883 gen 45 score 408881 cov 413 BestSoFar IdentityHashMap time 158885 gen 46 score 409250 cov 414 BestSoFar IdentityHashMap time 164090 gen 47 score 409250 cov 414 BestSoFar IdentityHashMap time 169211 gen 48 score 409250 cov 414 BestSoFar IdentityHashMap time 174400 gen 49 score 409250 cov 414 BestSoFar IdentityHashMap time 179633 gen 50 score 409250 cov 414 BestSoFar LinkedHashMap time 1575 gen 1 score 211513 cov 211 BestSoFar LinkedHashMap time 2334 gen 2 score 216180 cov 216 BestSoFar LinkedHashMap time 3245 gen 3 score 251833 cov 252 BestSoFar LinkedHashMap time 4670 gen 4 score 269524 cov 270 BestSoFar LinkedHashMap time 6898 gen 5 score 276934 cov 279 BestSoFar LinkedHashMap time 9230 gen 6 score 281601 cov 284 BestSoFar LinkedHashMap time 11742 gen 7 score 286601 cov 289 BestSoFar LinkedHashMap time 14326 gen 8 score 287934 cov 290 BestSoFar LinkedHashMap time 17158 gen 9 score 287934 cov 290 BestSoFar LinkedHashMap time 20118 gen 10 score 293268 cov 296 BestSoFar LinkedHashMap time 23165 gen 11 score 294268 cov 297 BestSoFar LinkedHashMap time 26116 gen 12 score 294268 cov 297 BestSoFar LinkedHashMap time 29025 gen 13 score 294268 cov 297 BestSoFar LinkedHashMap time 31986 gen 14 score 294268 cov 297 BestSoFar LinkedHashMap time 34931 gen 15 score 294268 cov 297 BestSoFar LinkedHashMap time 37959 gen 16 score 294999 cov 298 BestSoFar LinkedHashMap time 41051 gen 17 score 294999 cov 298 BestSoFar LinkedHashMap time 44218 gen 18 score 295601 cov 298 BestSoFar LinkedHashMap time 47488 gen 19 score 295601 cov 298 BestSoFar LinkedHashMap time 51294 gen 20 score 295601 cov 298 BestSoFar LinkedHashMap time 55315 gen 21 score 295601 cov 298 BestSoFar LinkedHashMap time 59816 gen 22 score 295601 cov 298 BestSoFar LinkedHashMap time 64313 gen 23 score 295601 cov 298 BestSoFar LinkedHashMap time 68770 gen 24 score 295601 cov 298 BestSoFar LinkedHashMap time 73127 gen 25 score 295601 cov 298 BestSoFar LinkedHashMap time 77351 gen 26 score 295601 cov 298 BestSoFar LinkedHashMap time 81560 gen 27 score 295601 cov 298 BestSoFar LinkedHashMap time 85728 gen 28 score 295601 cov 298 BestSoFar LinkedHashMap time 89832 gen 29 score 295601 cov 298 BestSoFar LinkedHashMap time 94099 gen 30 score 295601 cov 298 BestSoFar LinkedHashMap time 98477 gen 31 score 295601 cov 298 BestSoFar LinkedHashMap time 103192 gen 32 score 295601 cov 298 BestSoFar LinkedHashMap time 108355 gen 33 score 295601 cov 298 BestSoFar LinkedHashMap time 113243 gen 34 score 295601 cov 298 BestSoFar LinkedHashMap time 118059 gen 35 score 295601 cov 298 BestSoFar LinkedHashMap time 122598 gen 36 score 295601 cov 298 BestSoFar LinkedHashMap time 127186 gen 37 score 296488 cov 300 BestSoFar LinkedHashMap time 131509 gen 38 score 296488 cov 300 BestSoFar LinkedHashMap time 135618 gen 39 score 296488 cov 300 BestSoFar LinkedHashMap time 139719 gen 40 score 296488 cov 300 BestSoFar LinkedHashMap time 143827 gen 41 score 296488 cov 300 BestSoFar LinkedHashMap time 148002 gen 42 score 296488 cov 300 BestSoFar LinkedHashMap time 152193 gen 43 score 296488 cov 300 BestSoFar LinkedHashMap time 156325 gen 44 score 296488 cov 300 BestSoFar LinkedHashMap time 160464 gen 45 score 296488 cov 300 BestSoFar LinkedHashMap time 164621 gen 46 score 296488 cov 300 BestSoFar LinkedHashMap time 168747 gen 47 score 296488 cov 300 BestSoFar LinkedHashMap time 173082 gen 48 score 296488 cov 300 BestSoFar LinkedHashMap time 177266 gen 49 score 296488 cov 300 BestSoFar LinkedHashMap time 181400 gen 50 score 296488 cov 300 BestSoFar LinkedHashSet time 1613 gen 1 score 249578 cov 250 BestSoFar LinkedHashSet time 2934 gen 2 score 255607 cov 256 BestSoFar LinkedHashSet time 4611 gen 3 score 258770 cov 259 BestSoFar LinkedHashSet time 6304 gen 4 score 266442 cov 267 BestSoFar LinkedHashSet time 7767 gen 5 score 266442 cov 267 BestSoFar LinkedHashSet time 9265 gen 6 score 266810 cov 268 BestSoFar LinkedHashSet time 10926 gen 7 score 267580 cov 269 BestSoFar LinkedHashSet time 13008 gen 8 score 267580 cov 269 BestSoFar LinkedHashSet time 15217 gen 9 score 267580 cov 269 BestSoFar LinkedHashSet time 17661 gen 10 score 269913 cov 271 BestSoFar LinkedHashSet time 19785 gen 11 score 269913 cov 271 BestSoFar LinkedHashSet time 22194 gen 12 score 270144 cov 272 BestSoFar LinkedHashSet time 24723 gen 13 score 270810 cov 272 BestSoFar LinkedHashSet time 27425 gen 14 score 270810 cov 272 BestSoFar LinkedHashSet time 30264 gen 15 score 270810 cov 272 BestSoFar LinkedHashSet time 33233 gen 16 score 270810 cov 272 BestSoFar LinkedHashSet time 36138 gen 17 score 270810 cov 272 BestSoFar LinkedHashSet time 39104 gen 18 score 270810 cov 272 BestSoFar LinkedHashSet time 42106 gen 19 score 270810 cov 272 BestSoFar LinkedHashSet time 45283 gen 20 score 270810 cov 272 BestSoFar LinkedHashSet time 48477 gen 21 score 270810 cov 272 BestSoFar LinkedHashSet time 51671 gen 22 score 270810 cov 272 BestSoFar LinkedHashSet time 54788 gen 23 score 270810 cov 272 BestSoFar LinkedHashSet time 58048 gen 24 score 270810 cov 272 BestSoFar LinkedHashSet time 61314 gen 25 score 270810 cov 272 BestSoFar LinkedHashSet time 64479 gen 26 score 270810 cov 272 BestSoFar LinkedHashSet time 67665 gen 27 score 270810 cov 272 BestSoFar LinkedHashSet time 70858 gen 28 score 270810 cov 272 BestSoFar LinkedHashSet time 73931 gen 29 score 270810 cov 272 BestSoFar LinkedHashSet time 76974 gen 30 score 270810 cov 272 BestSoFar LinkedHashSet time 80056 gen 31 score 270810 cov 272 BestSoFar LinkedHashSet time 82925 gen 32 score 270810 cov 272 BestSoFar LinkedHashSet time 85703 gen 33 score 270810 cov 272 BestSoFar LinkedHashSet time 88444 gen 34 score 270810 cov 272 BestSoFar LinkedHashSet time 91214 gen 35 score 270810 cov 272 BestSoFar LinkedHashSet time 94035 gen 36 score 270810 cov 272 BestSoFar LinkedHashSet time 96729 gen 37 score 270810 cov 272 BestSoFar LinkedHashSet time 99418 gen 38 score 270810 cov 272 BestSoFar LinkedHashSet time 102172 gen 39 score 270810 cov 272 BestSoFar LinkedHashSet time 104893 gen 40 score 270810 cov 272 BestSoFar LinkedHashSet time 107784 gen 41 score 270810 cov 272 BestSoFar LinkedHashSet time 110556 gen 42 score 270810 cov 272 BestSoFar LinkedHashSet time 113290 gen 43 score 270810 cov 272 BestSoFar LinkedHashSet time 115984 gen 44 score 270810 cov 272 BestSoFar LinkedHashSet time 118716 gen 45 score 270810 cov 272 BestSoFar LinkedHashSet time 121394 gen 46 score 270879 cov 273 BestSoFar LinkedHashSet time 124136 gen 47 score 270879 cov 273 BestSoFar LinkedHashSet time 126828 gen 48 score 270879 cov 273 BestSoFar LinkedHashSet time 129422 gen 49 score 270879 cov 273 BestSoFar LinkedHashSet time 131989 gen 50 score 270879 cov 273 BestSoFar LinkedList time 2567 gen 1 score 263133 cov 264 BestSoFar LinkedList time 4508 gen 2 score 263133 cov 264 BestSoFar LinkedList time 6504 gen 3 score 267977 cov 269 BestSoFar LinkedList time 8501 gen 4 score 268009 cov 269 BestSoFar LinkedList time 10357 gen 5 score 268009 cov 269 BestSoFar LinkedList time 12390 gen 6 score 268009 cov 269 BestSoFar LinkedList time 14413 gen 7 score 268009 cov 269 BestSoFar LinkedList time 16387 gen 8 score 268009 cov 269 BestSoFar LinkedList time 18382 gen 9 score 269165 cov 270 BestSoFar LinkedList time 20362 gen 10 score 269165 cov 270 BestSoFar LinkedList time 22686 gen 11 score 269165 cov 270 BestSoFar LinkedList time 25136 gen 12 score 269165 cov 270 BestSoFar LinkedList time 28149 gen 13 score 269612 cov 273 BestSoFar LinkedList time 31326 gen 14 score 269612 cov 273 BestSoFar LinkedList time 34401 gen 15 score 269612 cov 273 BestSoFar LinkedList time 37551 gen 16 score 269612 cov 273 BestSoFar LinkedList time 40622 gen 17 score 269612 cov 273 BestSoFar LinkedList time 43885 gen 18 score 269612 cov 273 BestSoFar LinkedList time 47134 gen 19 score 269612 cov 273 BestSoFar LinkedList time 50093 gen 20 score 271005 cov 273 BestSoFar LinkedList time 53247 gen 21 score 271005 cov 273 BestSoFar LinkedList time 56150 gen 22 score 271338 cov 273 BestSoFar LinkedList time 59023 gen 23 score 271338 cov 273 BestSoFar LinkedList time 61931 gen 24 score 271338 cov 273 BestSoFar LinkedList time 64848 gen 25 score 272005 cov 274 BestSoFar LinkedList time 67596 gen 26 score 273338 cov 275 BestSoFar LinkedList time 70309 gen 27 score 273338 cov 275 BestSoFar LinkedList time 73028 gen 28 score 273338 cov 275 BestSoFar LinkedList time 75824 gen 29 score 273338 cov 275 BestSoFar LinkedList time 78750 gen 30 score 273338 cov 275 BestSoFar LinkedList time 82029 gen 31 score 273338 cov 275 BestSoFar LinkedList time 85379 gen 32 score 273338 cov 275 BestSoFar LinkedList time 89014 gen 33 score 273338 cov 275 BestSoFar LinkedList time 92596 gen 34 score 273338 cov 275 BestSoFar LinkedList time 96412 gen 35 score 273338 cov 275 BestSoFar LinkedList time 100117 gen 36 score 273338 cov 275 BestSoFar LinkedList time 104202 gen 37 score 273338 cov 275 BestSoFar LinkedList time 108650 gen 38 score 273338 cov 275 BestSoFar LinkedList time 112823 gen 39 score 273338 cov 275 BestSoFar LinkedList time 117370 gen 40 score 273338 cov 275 BestSoFar LinkedList time 122101 gen 41 score 273338 cov 275 BestSoFar LinkedList time 126738 gen 42 score 273338 cov 275 BestSoFar LinkedList time 131490 gen 43 score 273338 cov 275 BestSoFar LinkedList time 137645 gen 44 score 273338 cov 275 BestSoFar LinkedList time 142987 gen 45 score 273338 cov 275 BestSoFar LinkedList time 147653 gen 46 score 273338 cov 275 BestSoFar LinkedList time 152546 gen 47 score 273338 cov 275 BestSoFar LinkedList time 157975 gen 48 score 273338 cov 275 BestSoFar LinkedList time 168816 gen 49 score 273338 cov 275 BestSoFar LinkedList time 174114 gen 50 score 273338 cov 275 BestSoFar PriorityQueue time 2300 gen 1 score 203833 cov 205 BestSoFar PriorityQueue time 3612 gen 2 score 206166 cov 207 BestSoFar PriorityQueue time 5791 gen 3 score 206166 cov 207 BestSoFar PriorityQueue time 7893 gen 4 score 206166 cov 207 BestSoFar PriorityQueue time 9815 gen 5 score 208329 cov 210 BestSoFar PriorityQueue time 11906 gen 6 score 217824 cov 219 BestSoFar PriorityQueue time 14066 gen 7 score 217824 cov 219 BestSoFar PriorityQueue time 16099 gen 8 score 217824 cov 219 BestSoFar PriorityQueue time 18081 gen 9 score 217824 cov 219 BestSoFar PriorityQueue time 20055 gen 10 score 217824 cov 219 BestSoFar PriorityQueue time 22138 gen 11 score 217824 cov 219 BestSoFar PriorityQueue time 24115 gen 12 score 220195 cov 222 BestSoFar PriorityQueue time 26170 gen 13 score 220195 cov 222 BestSoFar PriorityQueue time 28018 gen 14 score 220195 cov 222 BestSoFar PriorityQueue time 30131 gen 15 score 220195 cov 222 BestSoFar PriorityQueue time 32176 gen 16 score 230113 cov 231 BestSoFar PriorityQueue time 34176 gen 17 score 230113 cov 231 BestSoFar PriorityQueue time 36528 gen 18 score 230113 cov 231 BestSoFar PriorityQueue time 38955 gen 19 score 230113 cov 231 BestSoFar PriorityQueue time 41651 gen 20 score 230113 cov 231 BestSoFar PriorityQueue time 44428 gen 21 score 230113 cov 231 BestSoFar PriorityQueue time 47143 gen 22 score 230113 cov 231 BestSoFar PriorityQueue time 49854 gen 23 score 230113 cov 231 BestSoFar PriorityQueue time 52569 gen 24 score 230113 cov 231 BestSoFar PriorityQueue time 55281 gen 25 score 230113 cov 231 BestSoFar PriorityQueue time 58052 gen 26 score 230113 cov 231 BestSoFar PriorityQueue time 60743 gen 27 score 230113 cov 231 BestSoFar PriorityQueue time 63424 gen 28 score 230113 cov 231 BestSoFar PriorityQueue time 66245 gen 29 score 230113 cov 231 BestSoFar PriorityQueue time 69184 gen 30 score 230113 cov 231 BestSoFar PriorityQueue time 72196 gen 31 score 230113 cov 231 BestSoFar PriorityQueue time 74986 gen 32 score 230113 cov 231 BestSoFar PriorityQueue time 77595 gen 33 score 230113 cov 231 BestSoFar PriorityQueue time 80216 gen 34 score 230113 cov 231 BestSoFar PriorityQueue time 82863 gen 35 score 230113 cov 231 BestSoFar PriorityQueue time 85567 gen 36 score 230113 cov 231 BestSoFar PriorityQueue time 88421 gen 37 score 230113 cov 231 BestSoFar PriorityQueue time 91238 gen 38 score 230113 cov 231 BestSoFar PriorityQueue time 94334 gen 39 score 230113 cov 231 BestSoFar PriorityQueue time 97353 gen 40 score 230113 cov 231 BestSoFar PriorityQueue time 101009 gen 41 score 230113 cov 231 BestSoFar PriorityQueue time 104376 gen 42 score 230113 cov 231 BestSoFar PriorityQueue time 107904 gen 43 score 230113 cov 231 BestSoFar PriorityQueue time 111499 gen 44 score 230113 cov 231 BestSoFar PriorityQueue time 115717 gen 45 score 230113 cov 231 BestSoFar PriorityQueue time 120059 gen 46 score 230113 cov 231 BestSoFar PriorityQueue time 124310 gen 47 score 230113 cov 231 BestSoFar PriorityQueue time 128462 gen 48 score 230113 cov 231 BestSoFar PriorityQueue time 132611 gen 49 score 230113 cov 231 BestSoFar PriorityQueue time 136657 gen 50 score 230113 cov 231 BestSoFar Properties time 4031 gen 1 score 257769 cov 258 BestSoFar Properties time 9451 gen 2 score 296870 cov 298 BestSoFar Properties time 19373 gen 3 score 296870 cov 298 BestSoFar Properties time 29369 gen 4 score 298418 cov 299 BestSoFar Properties time 34934 gen 5 score 298418 cov 299 BestSoFar Properties time 44039 gen 6 score 298418 cov 299 BestSoFar Properties time 52380 gen 7 score 298418 cov 299 BestSoFar Properties time 60945 gen 8 score 298418 cov 299 BestSoFar Properties time 70491 gen 9 score 298418 cov 299 BestSoFar Properties time 78476 gen 10 score 298418 cov 299 BestSoFar Properties time 87925 gen 11 score 298418 cov 299 BestSoFar Properties time 94944 gen 12 score 298418 cov 299 BestSoFar Properties time 103318 gen 13 score 298418 cov 299 BestSoFar Properties time 112760 gen 14 score 298418 cov 299 BestSoFar Properties time 121400 gen 15 score 298418 cov 299 BestSoFar Properties time 129500 gen 16 score 298418 cov 299 BestSoFar Properties time 137515 gen 17 score 298418 cov 299 BestSoFar Properties time 144944 gen 18 score 298418 cov 299 BestSoFar Properties time 151492 gen 19 score 298418 cov 299 BestSoFar Properties time 159841 gen 20 score 298418 cov 299 BestSoFar Properties time 167931 gen 21 score 298418 cov 299 BestSoFar Properties time 178109 gen 22 score 298418 cov 299 BestSoFar Properties time 188125 gen 23 score 298418 cov 299 BestSoFar Properties time 199862 gen 24 score 298418 cov 299 BestSoFar Properties time 211281 gen 25 score 298418 cov 299 BestSoFar Properties time 221660 gen 26 score 298418 cov 299 BestSoFar Properties time 230748 gen 27 score 298418 cov 299 BestSoFar Properties time 238561 gen 28 score 298418 cov 299 BestSoFar Properties time 248842 gen 29 score 298418 cov 299 BestSoFar Properties time 257318 gen 30 score 298418 cov 299 BestSoFar Properties time 266647 gen 31 score 298418 cov 299 BestSoFar Properties time 274986 gen 32 score 298418 cov 299 BestSoFar Properties time 285486 gen 33 score 298418 cov 299 BestSoFar Properties time 295541 gen 34 score 298418 cov 299 BestSoFar Properties time 305912 gen 35 score 298418 cov 299 BestSoFar Properties time 315340 gen 36 score 298418 cov 299 BestSoFar Properties time 324996 gen 37 score 298418 cov 299 BestSoFar Properties time 335623 gen 38 score 298418 cov 299 BestSoFar Properties time 344538 gen 39 score 298418 cov 299 BestSoFar Properties time 355278 gen 40 score 298418 cov 299 BestSoFar Properties time 367287 gen 41 score 298418 cov 299 BestSoFar Properties time 377062 gen 42 score 298418 cov 299 BestSoFar Properties time 386401 gen 43 score 298418 cov 299 BestSoFar Properties time 399043 gen 44 score 298418 cov 299 BestSoFar Properties time 409539 gen 45 score 298418 cov 299 BestSoFar Properties time 418588 gen 46 score 298418 cov 299 BestSoFar Properties time 429994 gen 47 score 298418 cov 299 BestSoFar Properties time 438444 gen 48 score 298418 cov 299 BestSoFar Properties time 446544 gen 49 score 298418 cov 299 BestSoFar Properties time 455294 gen 50 score 298418 cov 299 BestSoFar Stack time 1155 gen 1 score 78280 cov 78 BestSoFar Stack time 2155 gen 2 score 85336 cov 86 BestSoFar Stack time 3575 gen 3 score 85336 cov 86 BestSoFar Stack time 5006 gen 4 score 85336 cov 86 BestSoFar Stack time 6208 gen 5 score 85669 cov 86 BestSoFar Stack time 7306 gen 6 score 85669 cov 86 BestSoFar Stack time 8361 gen 7 score 85669 cov 86 BestSoFar Stack time 9324 gen 8 score 85669 cov 86 BestSoFar Stack time 10231 gen 9 score 85669 cov 86 BestSoFar Stack time 11159 gen 10 score 85669 cov 86 BestSoFar Stack time 12075 gen 11 score 85669 cov 86 BestSoFar Stack time 12964 gen 12 score 85862 cov 86 BestSoFar Stack time 13857 gen 13 score 86195 cov 86 BestSoFar Stack time 14732 gen 14 score 86195 cov 86 BestSoFar Stack time 15769 gen 15 score 86195 cov 86 BestSoFar Stack time 16767 gen 16 score 86195 cov 86 BestSoFar Stack time 17711 gen 17 score 86195 cov 86 BestSoFar Stack time 18704 gen 18 score 86429 cov 87 BestSoFar Stack time 20006 gen 19 score 86429 cov 87 BestSoFar Stack time 21122 gen 20 score 86429 cov 87 BestSoFar Stack time 21994 gen 21 score 86429 cov 87 BestSoFar Stack time 22805 gen 22 score 86429 cov 87 BestSoFar Stack time 23615 gen 23 score 86429 cov 87 BestSoFar Stack time 24605 gen 24 score 86429 cov 87 BestSoFar Stack time 25431 gen 25 score 86429 cov 87 BestSoFar Stack time 26242 gen 26 score 86429 cov 87 BestSoFar Stack time 27039 gen 27 score 86429 cov 87 BestSoFar Stack time 27897 gen 28 score 86429 cov 87 BestSoFar Stack time 28705 gen 29 score 86429 cov 87 BestSoFar Stack time 29517 gen 30 score 86429 cov 87 BestSoFar Stack time 30318 gen 31 score 86429 cov 87 BestSoFar Stack time 31136 gen 32 score 86429 cov 87 BestSoFar Stack time 31890 gen 33 score 86429 cov 87 BestSoFar Stack time 32776 gen 34 score 86429 cov 87 BestSoFar Stack time 33582 gen 35 score 86429 cov 87 BestSoFar Stack time 34381 gen 36 score 86429 cov 87 BestSoFar Stack time 35346 gen 37 score 86429 cov 87 BestSoFar Stack time 36200 gen 38 score 86429 cov 87 BestSoFar Stack time 37250 gen 39 score 86429 cov 87 BestSoFar Stack time 38084 gen 40 score 86429 cov 87 BestSoFar Stack time 39067 gen 41 score 86429 cov 87 BestSoFar Stack time 39917 gen 42 score 86429 cov 87 BestSoFar Stack time 40819 gen 43 score 86429 cov 87 BestSoFar Stack time 41702 gen 44 score 86429 cov 87 BestSoFar Stack time 42517 gen 45 score 86429 cov 87 BestSoFar Stack time 43352 gen 46 score 86429 cov 87 BestSoFar Stack time 44161 gen 47 score 86429 cov 87 BestSoFar Stack time 44988 gen 48 score 86429 cov 87 BestSoFar Stack time 45792 gen 49 score 86429 cov 87 BestSoFar Stack time 46532 gen 50 score 86429 cov 87 BestSoFar TreeMap time 3170 gen 1 score 461957 cov 463 BestSoFar TreeMap time 4907 gen 2 score 492957 cov 494 BestSoFar TreeMap time 7542 gen 3 score 515957 cov 517 BestSoFar TreeMap time 9939 gen 4 score 515957 cov 517 BestSoFar TreeMap time 12429 gen 5 score 544894 cov 546 BestSoFar TreeMap time 15203 gen 6 score 544894 cov 546 BestSoFar TreeMap time 17945 gen 7 score 544894 cov 546 BestSoFar TreeMap time 20777 gen 8 score 544894 cov 546 BestSoFar TreeMap time 23777 gen 9 score 544894 cov 546 BestSoFar TreeMap time 26754 gen 10 score 544894 cov 546 BestSoFar TreeMap time 29905 gen 11 score 544894 cov 546 BestSoFar TreeMap time 32829 gen 12 score 575419 cov 577 BestSoFar TreeMap time 35697 gen 13 score 575419 cov 577 BestSoFar TreeMap time 38514 gen 14 score 575419 cov 577 BestSoFar TreeMap time 41351 gen 15 score 575419 cov 577 BestSoFar TreeMap time 44097 gen 16 score 575419 cov 577 BestSoFar TreeMap time 46939 gen 17 score 575419 cov 577 BestSoFar TreeMap time 49929 gen 18 score 575419 cov 577 BestSoFar TreeMap time 52942 gen 19 score 575419 cov 577 BestSoFar TreeMap time 55491 gen 20 score 575419 cov 577 BestSoFar TreeMap time 58159 gen 21 score 575419 cov 577 BestSoFar TreeMap time 60727 gen 22 score 575419 cov 577 BestSoFar TreeMap time 63274 gen 23 score 575419 cov 577 BestSoFar TreeMap time 65937 gen 24 score 575419 cov 577 BestSoFar TreeMap time 68495 gen 25 score 575419 cov 577 BestSoFar TreeMap time 70926 gen 26 score 575419 cov 577 BestSoFar TreeMap time 73422 gen 27 score 575858 cov 577 BestSoFar TreeMap time 76017 gen 28 score 575858 cov 577 BestSoFar TreeMap time 78583 gen 29 score 575953 cov 578 BestSoFar TreeMap time 81282 gen 30 score 575953 cov 578 BestSoFar TreeMap time 84284 gen 31 score 575953 cov 578 BestSoFar TreeMap time 87179 gen 32 score 584061 cov 586 BestSoFar TreeMap time 90080 gen 33 score 584061 cov 586 BestSoFar TreeMap time 93016 gen 34 score 584061 cov 586 BestSoFar TreeMap time 95955 gen 35 score 584061 cov 586 BestSoFar TreeMap time 99071 gen 36 score 587620 cov 590 BestSoFar TreeMap time 101994 gen 37 score 587620 cov 590 BestSoFar TreeMap time 104896 gen 38 score 587620 cov 590 BestSoFar TreeMap time 107810 gen 39 score 587620 cov 590 BestSoFar TreeMap time 110667 gen 40 score 587620 cov 590 BestSoFar TreeMap time 113724 gen 41 score 587620 cov 590 BestSoFar TreeMap time 116539 gen 42 score 591410 cov 593 BestSoFar TreeMap time 119447 gen 43 score 591410 cov 593 BestSoFar TreeMap time 122439 gen 44 score 591410 cov 593 BestSoFar TreeMap time 125511 gen 45 score 592077 cov 594 BestSoFar TreeMap time 128821 gen 46 score 599077 cov 601 BestSoFar TreeMap time 131886 gen 47 score 599077 cov 601 BestSoFar TreeMap time 134698 gen 48 score 599744 cov 602 BestSoFar TreeMap time 137439 gen 49 score 599744 cov 602 BestSoFar TreeMap time 140117 gen 50 score 599744 cov 602 BestSoFar TreeSet time 2127 gen 1 score 376070 cov 376 BestSoFar TreeSet time 3368 gen 2 score 388070 cov 388 BestSoFar TreeSet time 4697 gen 3 score 388070 cov 388 BestSoFar TreeSet time 5759 gen 4 score 388070 cov 388 BestSoFar TreeSet time 6773 gen 5 score 447596 cov 448 BestSoFar TreeSet time 8374 gen 6 score 475786 cov 477 BestSoFar TreeSet time 10247 gen 7 score 475786 cov 477 BestSoFar TreeSet time 12286 gen 8 score 475786 cov 477 BestSoFar TreeSet time 14482 gen 9 score 475786 cov 477 BestSoFar TreeSet time 16748 gen 10 score 506832 cov 508 BestSoFar TreeSet time 19096 gen 11 score 513832 cov 515 BestSoFar TreeSet time 21777 gen 12 score 518593 cov 520 BestSoFar TreeSet time 24403 gen 13 score 518593 cov 520 BestSoFar TreeSet time 26985 gen 14 score 518593 cov 520 BestSoFar TreeSet time 29861 gen 15 score 525260 cov 527 BestSoFar TreeSet time 32662 gen 16 score 549593 cov 551 BestSoFar TreeSet time 35783 gen 17 score 549593 cov 551 BestSoFar TreeSet time 38981 gen 18 score 549593 cov 551 BestSoFar TreeSet time 42505 gen 19 score 549593 cov 551 BestSoFar TreeSet time 46480 gen 20 score 549593 cov 551 BestSoFar TreeSet time 50525 gen 21 score 549593 cov 551 BestSoFar TreeSet time 54374 gen 22 score 549593 cov 551 BestSoFar TreeSet time 58218 gen 23 score 549593 cov 551 BestSoFar TreeSet time 61963 gen 24 score 557414 cov 560 BestSoFar TreeSet time 65863 gen 25 score 557414 cov 560 BestSoFar TreeSet time 69542 gen 26 score 557414 cov 560 BestSoFar TreeSet time 73156 gen 27 score 557414 cov 560 BestSoFar TreeSet time 76853 gen 28 score 557414 cov 560 BestSoFar TreeSet time 80403 gen 29 score 562414 cov 565 BestSoFar TreeSet time 84010 gen 30 score 564747 cov 567 BestSoFar TreeSet time 87804 gen 31 score 564747 cov 567 BestSoFar TreeSet time 91544 gen 32 score 564747 cov 567 BestSoFar TreeSet time 95316 gen 33 score 564747 cov 567 BestSoFar TreeSet time 99186 gen 34 score 564747 cov 567 BestSoFar TreeSet time 102930 gen 35 score 564747 cov 567 BestSoFar TreeSet time 106709 gen 36 score 564747 cov 567 BestSoFar TreeSet time 110484 gen 37 score 564747 cov 567 BestSoFar TreeSet time 114236 gen 38 score 564747 cov 567 BestSoFar TreeSet time 117997 gen 39 score 564747 cov 567 BestSoFar TreeSet time 121786 gen 40 score 564747 cov 567 BestSoFar TreeSet time 125644 gen 41 score 564747 cov 567 BestSoFar TreeSet time 129441 gen 42 score 564747 cov 567 BestSoFar TreeSet time 133201 gen 43 score 564747 cov 567 BestSoFar TreeSet time 137038 gen 44 score 566568 cov 569 BestSoFar TreeSet time 140877 gen 45 score 570081 cov 573 BestSoFar TreeSet time 144695 gen 46 score 570081 cov 573 BestSoFar TreeSet time 148541 gen 47 score 570081 cov 573 BestSoFar TreeSet time 152400 gen 48 score 570081 cov 573 BestSoFar TreeSet time 156141 gen 49 score 570081 cov 573 BestSoFar TreeSet time 159927 gen 50 score 570081 cov 573 BestSoFar Vector time 4124 gen 1 score 350986 cov 352 BestSoFar Vector time 6204 gen 2 score 350986 cov 352 BestSoFar Vector time 8665 gen 3 score 356848 cov 358 BestSoFar Vector time 11036 gen 4 score 357319 cov 358 BestSoFar Vector time 13218 gen 5 score 357319 cov 358 BestSoFar Vector time 15415 gen 6 score 380319 cov 381 BestSoFar Vector time 17568 gen 7 score 380319 cov 381 BestSoFar Vector time 19925 gen 8 score 380319 cov 381 BestSoFar Vector time 22508 gen 9 score 380319 cov 381 BestSoFar Vector time 25058 gen 10 score 383628 cov 385 BestSoFar Vector time 28102 gen 11 score 396909 cov 399 BestSoFar Vector time 30961 gen 12 score 396909 cov 399 BestSoFar Vector time 34445 gen 13 score 406243 cov 409 BestSoFar Vector time 38152 gen 14 score 406243 cov 409 BestSoFar Vector time 41990 gen 15 score 406243 cov 409 BestSoFar Vector time 45824 gen 16 score 409243 cov 412 BestSoFar Vector time 49632 gen 17 score 419909 cov 422 BestSoFar Vector time 53351 gen 18 score 419909 cov 422 BestSoFar Vector time 57026 gen 19 score 419909 cov 422 BestSoFar Vector time 60641 gen 20 score 419909 cov 422 BestSoFar Vector time 64500 gen 21 score 423243 cov 426 BestSoFar Vector time 67859 gen 22 score 423243 cov 426 BestSoFar Vector time 71166 gen 23 score 423243 cov 426 BestSoFar Vector time 74473 gen 24 score 423243 cov 426 BestSoFar Vector time 77842 gen 25 score 423243 cov 426 BestSoFar Vector time 81541 gen 26 score 423243 cov 426 BestSoFar Vector time 85495 gen 27 score 423243 cov 426 BestSoFar Vector time 89671 gen 28 score 430449 cov 434 BestSoFar Vector time 94103 gen 29 score 430449 cov 434 BestSoFar Vector time 98599 gen 30 score 430449 cov 434 BestSoFar Vector time 103593 gen 31 score 430449 cov 434 BestSoFar Vector time 108900 gen 32 score 430449 cov 434 BestSoFar Vector time 114237 gen 33 score 430449 cov 434 BestSoFar Vector time 119759 gen 34 score 430449 cov 434 BestSoFar Vector time 125256 gen 35 score 430449 cov 434 BestSoFar Vector time 130777 gen 36 score 440783 cov 445 BestSoFar Vector time 136264 gen 37 score 440783 cov 445 BestSoFar Vector time 141794 gen 38 score 440783 cov 445 BestSoFar Vector time 147174 gen 39 score 440783 cov 445 BestSoFar Vector time 152734 gen 40 score 440783 cov 445 BestSoFar Vector time 158635 gen 41 score 440783 cov 445 BestSoFar Vector time 164413 gen 42 score 440783 cov 445 BestSoFar Vector time 170205 gen 43 score 440783 cov 445 BestSoFar Vector time 175925 gen 44 score 440783 cov 445 BestSoFar Vector time 181695 gen 45 score 440783 cov 445 BestSoFar Vector time 187533 gen 46 score 440783 cov 445 BestSoFar Vector time 193243 gen 47 score 440783 cov 445 BestSoFar Vector time 199002 gen 48 score 440783 cov 445 BestSoFar Vector time 204702 gen 49 score 440783 cov 445 BestSoFar Vector time 210439 gen 50 score 440783 cov 445 BestSoFar WeakHashMap time 2848 gen 1 score 352411 cov 353 BestSoFar WeakHashMap time 4886 gen 2 score 373745 cov 375 BestSoFar WeakHashMap time 7032 gen 3 score 375785 cov 377 BestSoFar WeakHashMap time 9468 gen 4 score 375785 cov 377 BestSoFar WeakHashMap time 11707 gen 5 score 379388 cov 381 BestSoFar WeakHashMap time 14012 gen 6 score 379641 cov 381 BestSoFar WeakHashMap time 16218 gen 7 score 379641 cov 381 BestSoFar WeakHashMap time 18358 gen 8 score 379641 cov 381 BestSoFar WeakHashMap time 20363 gen 9 score 379641 cov 381 BestSoFar WeakHashMap time 22597 gen 10 score 379641 cov 381 BestSoFar WeakHashMap time 24922 gen 11 score 379641 cov 381 BestSoFar WeakHashMap time 27151 gen 12 score 379641 cov 381 BestSoFar WeakHashMap time 29512 gen 13 score 384818 cov 387 BestSoFar WeakHashMap time 32085 gen 14 score 384818 cov 387 BestSoFar WeakHashMap time 34825 gen 15 score 384818 cov 387 BestSoFar WeakHashMap time 37539 gen 16 score 384818 cov 387 BestSoFar WeakHashMap time 40309 gen 17 score 388250 cov 391 BestSoFar WeakHashMap time 43100 gen 18 score 388250 cov 391 BestSoFar WeakHashMap time 45927 gen 19 score 390583 cov 393 BestSoFar WeakHashMap time 48792 gen 20 score 390583 cov 393 BestSoFar WeakHashMap time 51936 gen 21 score 390583 cov 393 BestSoFar WeakHashMap time 55044 gen 22 score 390583 cov 393 BestSoFar WeakHashMap time 58443 gen 23 score 390583 cov 393 BestSoFar WeakHashMap time 61910 gen 24 score 392379 cov 396 BestSoFar WeakHashMap time 65381 gen 25 score 392379 cov 396 BestSoFar WeakHashMap time 68852 gen 26 score 396046 cov 400 BestSoFar WeakHashMap time 73057 gen 27 score 396046 cov 400 BestSoFar WeakHashMap time 77217 gen 28 score 396046 cov 400 BestSoFar WeakHashMap time 81345 gen 29 score 396046 cov 400 BestSoFar WeakHashMap time 85629 gen 30 score 396046 cov 400 BestSoFar WeakHashMap time 90064 gen 31 score 396046 cov 400 BestSoFar WeakHashMap time 94370 gen 32 score 396046 cov 400 BestSoFar WeakHashMap time 98662 gen 33 score 396046 cov 400 BestSoFar WeakHashMap time 102932 gen 34 score 396046 cov 400 BestSoFar WeakHashMap time 107378 gen 35 score 399713 cov 404 BestSoFar WeakHashMap time 111665 gen 36 score 399713 cov 404 BestSoFar WeakHashMap time 115835 gen 37 score 399713 cov 404 BestSoFar WeakHashMap time 119942 gen 38 score 399713 cov 404 BestSoFar WeakHashMap time 124006 gen 39 score 399713 cov 404 BestSoFar WeakHashMap time 128126 gen 40 score 399713 cov 404 BestSoFar WeakHashMap time 132711 gen 41 score 399713 cov 404 BestSoFar WeakHashMap time 137300 gen 42 score 399713 cov 404 BestSoFar WeakHashMap time 141789 gen 43 score 399713 cov 404 BestSoFar WeakHashMap time 146251 gen 44 score 399713 cov 404 BestSoFar WeakHashMap time 150737 gen 45 score 399713 cov 404 BestSoFar WeakHashMap time 154990 gen 46 score 399713 cov 404 BestSoFar WeakHashMap time 159346 gen 47 score 399713 cov 404 BestSoFar WeakHashMap time 163704 gen 48 score 402742 cov 407 BestSoFar WeakHashMap time 168218 gen 49 score 402742 cov 407 BestSoFar WeakHashMap time 172968 gen 50 score 402742 cov 407