Fri Mar 13 22:19:04 EDT 2009 BestSoFar ArrayList time 2025 gen 1 score 191745 cov 192 BestSoFar ArrayList time 3167 gen 2 score 199568 cov 200 BestSoFar ArrayList time 4449 gen 3 score 202568 cov 203 BestSoFar ArrayList time 5993 gen 4 score 202568 cov 203 BestSoFar ArrayList time 7883 gen 5 score 202568 cov 203 BestSoFar ArrayList time 9611 gen 6 score 205416 cov 207 BestSoFar ArrayList time 11619 gen 7 score 205416 cov 207 BestSoFar ArrayList time 13592 gen 8 score 205416 cov 207 BestSoFar ArrayList time 15572 gen 9 score 205416 cov 207 BestSoFar ArrayList time 17904 gen 10 score 205416 cov 207 BestSoFar ArrayList time 20391 gen 11 score 205416 cov 207 BestSoFar ArrayList time 22692 gen 12 score 205416 cov 207 BestSoFar ArrayList time 24789 gen 13 score 205416 cov 207 BestSoFar ArrayList time 26853 gen 14 score 205416 cov 207 BestSoFar ArrayList time 28865 gen 15 score 205416 cov 207 BestSoFar ArrayList time 30937 gen 16 score 205416 cov 207 BestSoFar ArrayList time 33064 gen 17 score 205482 cov 207 BestSoFar ArrayList time 35245 gen 18 score 205815 cov 207 BestSoFar ArrayList time 37429 gen 19 score 205815 cov 207 BestSoFar ArrayList time 39701 gen 20 score 205815 cov 207 BestSoFar ArrayList time 42303 gen 21 score 205815 cov 207 BestSoFar ArrayList time 44687 gen 22 score 205815 cov 207 BestSoFar ArrayList time 47824 gen 23 score 206554 cov 209 BestSoFar ArrayList time 51305 gen 24 score 206554 cov 209 BestSoFar ArrayList time 55372 gen 25 score 206887 cov 209 BestSoFar ArrayList time 59261 gen 26 score 206887 cov 209 BestSoFar ArrayList time 63312 gen 27 score 207221 cov 210 BestSoFar ArrayList time 67385 gen 28 score 207221 cov 210 BestSoFar ArrayList time 71764 gen 29 score 207221 cov 210 BestSoFar ArrayList time 75882 gen 30 score 207221 cov 210 BestSoFar ArrayList time 80157 gen 31 score 207221 cov 210 BestSoFar ArrayList time 84389 gen 32 score 207221 cov 210 BestSoFar ArrayList time 88649 gen 33 score 207221 cov 210 BestSoFar ArrayList time 92618 gen 34 score 207221 cov 210 BestSoFar ArrayList time 96600 gen 35 score 207221 cov 210 BestSoFar ArrayList time 100509 gen 36 score 207221 cov 210 BestSoFar ArrayList time 104518 gen 37 score 207221 cov 210 BestSoFar ArrayList time 108473 gen 38 score 207221 cov 210 BestSoFar ArrayList time 112325 gen 39 score 207221 cov 210 BestSoFar ArrayList time 116348 gen 40 score 207221 cov 210 BestSoFar ArrayList time 134920 gen 41 score 207221 cov 210 BestSoFar ArrayList time 142602 gen 42 score 207221 cov 210 BestSoFar ArrayList time 146626 gen 43 score 207221 cov 210 BestSoFar ArrayList time 151020 gen 44 score 207221 cov 210 BestSoFar ArrayList time 155019 gen 45 score 207221 cov 210 BestSoFar ArrayList time 159384 gen 46 score 207221 cov 210 BestSoFar ArrayList time 163491 gen 47 score 207221 cov 210 BestSoFar ArrayList time 167506 gen 48 score 207221 cov 210 BestSoFar ArrayList time 178255 gen 49 score 207221 cov 210 BestSoFar ArrayList time 201911 gen 50 score 207221 cov 210 BestSoFar EnumMap time 2149 gen 1 score 6659 cov 6 BestSoFar EnumMap time 2904 gen 2 score 6659 cov 6 BestSoFar EnumMap time 3626 gen 3 score 6659 cov 6 BestSoFar EnumMap time 4363 gen 4 score 6659 cov 6 BestSoFar EnumMap time 5130 gen 5 score 6659 cov 6 BestSoFar EnumMap time 5929 gen 6 score 6659 cov 6 BestSoFar EnumMap time 6790 gen 7 score 6659 cov 6 BestSoFar EnumMap time 7526 gen 8 score 6659 cov 6 BestSoFar EnumMap time 8235 gen 9 score 6659 cov 6 BestSoFar EnumMap time 8918 gen 10 score 6659 cov 6 BestSoFar EnumMap time 10450 gen 11 score 6659 cov 6 BestSoFar EnumMap time 11136 gen 12 score 6659 cov 6 BestSoFar EnumMap time 11766 gen 13 score 6659 cov 6 BestSoFar EnumMap time 12412 gen 14 score 6660 cov 6 BestSoFar EnumMap time 13061 gen 15 score 6660 cov 6 BestSoFar EnumMap time 13676 gen 16 score 6660 cov 6 BestSoFar EnumMap time 14290 gen 17 score 6660 cov 6 BestSoFar EnumMap time 14881 gen 18 score 6660 cov 6 BestSoFar EnumMap time 15471 gen 19 score 6660 cov 6 BestSoFar EnumMap time 16060 gen 20 score 6660 cov 6 BestSoFar EnumMap time 17380 gen 21 score 6660 cov 6 BestSoFar EnumMap time 17951 gen 22 score 6660 cov 6 BestSoFar EnumMap time 18528 gen 23 score 6660 cov 6 BestSoFar EnumMap time 19096 gen 24 score 6660 cov 6 BestSoFar EnumMap time 19664 gen 25 score 6660 cov 6 BestSoFar EnumMap time 20239 gen 26 score 6660 cov 6 BestSoFar EnumMap time 20850 gen 27 score 6660 cov 6 BestSoFar EnumMap time 21462 gen 28 score 8997 cov 9 BestSoFar EnumMap time 22077 gen 29 score 8997 cov 9 BestSoFar EnumMap time 22712 gen 30 score 8997 cov 9 BestSoFar EnumMap time 24091 gen 31 score 8997 cov 9 BestSoFar EnumMap time 24759 gen 32 score 8997 cov 9 BestSoFar EnumMap time 25416 gen 33 score 8997 cov 9 BestSoFar EnumMap time 26102 gen 34 score 8997 cov 9 BestSoFar EnumMap time 26781 gen 35 score 8997 cov 9 BestSoFar EnumMap time 27508 gen 36 score 8997 cov 9 BestSoFar EnumMap time 28278 gen 37 score 10996 cov 11 BestSoFar EnumMap time 29020 gen 38 score 10996 cov 11 BestSoFar EnumMap time 29751 gen 39 score 10996 cov 11 BestSoFar EnumMap time 30507 gen 40 score 10996 cov 11 BestSoFar EnumMap time 32007 gen 41 score 10996 cov 11 BestSoFar EnumMap time 32768 gen 42 score 10996 cov 11 BestSoFar EnumMap time 33513 gen 43 score 10996 cov 11 BestSoFar EnumMap time 34289 gen 44 score 10996 cov 11 BestSoFar EnumMap time 35053 gen 45 score 10996 cov 11 BestSoFar EnumMap time 35856 gen 46 score 10996 cov 11 BestSoFar EnumMap time 36647 gen 47 score 10996 cov 11 BestSoFar EnumMap time 37442 gen 48 score 10996 cov 11 BestSoFar EnumMap time 38247 gen 49 score 10996 cov 11 BestSoFar EnumMap time 39048 gen 50 score 10996 cov 11 BestSoFar HashMap time 2728 gen 1 score 354204 cov 355 BestSoFar HashMap time 4299 gen 2 score 371725 cov 373 BestSoFar HashMap time 6125 gen 3 score 390727 cov 392 BestSoFar HashMap time 8145 gen 4 score 390727 cov 392 BestSoFar HashMap time 10067 gen 5 score 390727 cov 392 BestSoFar HashMap time 11972 gen 6 score 391393 cov 392 BestSoFar HashMap time 14018 gen 7 score 391393 cov 392 BestSoFar HashMap time 16360 gen 8 score 391393 cov 392 BestSoFar HashMap time 18760 gen 9 score 395224 cov 397 BestSoFar HashMap time 21056 gen 10 score 395224 cov 397 BestSoFar HashMap time 23673 gen 11 score 395224 cov 397 BestSoFar HashMap time 26490 gen 12 score 409872 cov 413 BestSoFar HashMap time 29635 gen 13 score 409872 cov 413 BestSoFar HashMap time 32743 gen 14 score 409872 cov 413 BestSoFar HashMap time 36276 gen 15 score 409872 cov 413 BestSoFar HashMap time 39720 gen 16 score 409872 cov 413 BestSoFar HashMap time 43519 gen 17 score 409872 cov 413 BestSoFar HashMap time 47191 gen 18 score 409872 cov 413 BestSoFar HashMap time 51061 gen 19 score 416867 cov 420 BestSoFar HashMap time 54860 gen 20 score 416867 cov 420 BestSoFar HashMap time 58908 gen 21 score 416867 cov 420 BestSoFar HashMap time 62716 gen 22 score 416867 cov 420 BestSoFar HashMap time 66402 gen 23 score 416867 cov 420 BestSoFar HashMap time 70493 gen 24 score 416867 cov 420 BestSoFar HashMap time 74650 gen 25 score 421179 cov 425 BestSoFar HashMap time 78813 gen 26 score 424194 cov 428 BestSoFar HashMap time 83111 gen 27 score 424194 cov 428 BestSoFar HashMap time 87303 gen 28 score 424194 cov 428 BestSoFar HashMap time 91657 gen 29 score 424194 cov 428 BestSoFar HashMap time 96061 gen 30 score 424194 cov 428 BestSoFar HashMap time 100800 gen 31 score 424194 cov 428 BestSoFar HashMap time 105506 gen 32 score 424194 cov 428 BestSoFar HashMap time 110151 gen 33 score 424194 cov 428 BestSoFar HashMap time 114907 gen 34 score 424194 cov 428 BestSoFar HashMap time 119803 gen 35 score 424194 cov 428 BestSoFar HashMap time 124594 gen 36 score 424194 cov 428 BestSoFar HashMap time 129411 gen 37 score 424194 cov 428 BestSoFar HashMap time 134495 gen 38 score 424194 cov 428 BestSoFar HashMap time 139729 gen 39 score 424194 cov 428 BestSoFar HashMap time 145427 gen 40 score 424194 cov 428 BestSoFar HashMap time 151585 gen 41 score 426773 cov 432 BestSoFar HashMap time 157563 gen 42 score 426773 cov 432 BestSoFar HashMap time 163988 gen 43 score 426773 cov 432 BestSoFar HashMap time 170058 gen 44 score 429771 cov 435 BestSoFar HashMap time 176229 gen 45 score 429771 cov 435 BestSoFar HashMap time 182388 gen 46 score 429771 cov 435 BestSoFar HashMap time 188509 gen 47 score 429771 cov 435 BestSoFar HashMap time 194547 gen 48 score 429771 cov 435 BestSoFar HashMap time 200474 gen 49 score 429771 cov 435 BestSoFar HashMap time 206501 gen 50 score 429771 cov 435 BestSoFar HashSet time 2121 gen 1 score 257478 cov 257 BestSoFar HashSet time 3633 gen 2 score 303006 cov 304 BestSoFar HashSet time 5276 gen 3 score 311062 cov 312 BestSoFar HashSet time 7652 gen 4 score 311062 cov 312 BestSoFar HashSet time 9599 gen 5 score 314731 cov 316 BestSoFar HashSet time 11602 gen 6 score 316729 cov 318 BestSoFar HashSet time 13837 gen 7 score 316729 cov 318 BestSoFar HashSet time 15900 gen 8 score 316729 cov 318 BestSoFar HashSet time 17932 gen 9 score 316729 cov 318 BestSoFar HashSet time 19820 gen 10 score 316729 cov 318 BestSoFar HashSet time 21930 gen 11 score 316729 cov 318 BestSoFar HashSet time 24100 gen 12 score 316729 cov 318 BestSoFar HashSet time 26695 gen 13 score 316729 cov 318 BestSoFar HashSet time 29462 gen 14 score 316729 cov 318 BestSoFar HashSet time 32321 gen 15 score 316729 cov 318 BestSoFar HashSet time 35318 gen 16 score 316729 cov 318 BestSoFar HashSet time 38472 gen 17 score 316729 cov 318 BestSoFar HashSet time 41404 gen 18 score 316729 cov 318 BestSoFar HashSet time 44571 gen 19 score 316729 cov 318 BestSoFar HashSet time 47487 gen 20 score 316729 cov 318 BestSoFar HashSet time 50465 gen 21 score 316729 cov 318 BestSoFar HashSet time 53584 gen 22 score 316729 cov 318 BestSoFar HashSet time 56581 gen 23 score 316729 cov 318 BestSoFar HashSet time 59639 gen 24 score 316729 cov 318 BestSoFar HashSet time 62542 gen 25 score 317670 cov 320 BestSoFar HashSet time 65510 gen 26 score 317670 cov 320 BestSoFar HashSet time 68343 gen 27 score 317670 cov 320 BestSoFar HashSet time 71064 gen 28 score 317670 cov 320 BestSoFar HashSet time 74111 gen 29 score 317670 cov 320 BestSoFar HashSet time 77288 gen 30 score 317670 cov 320 BestSoFar HashSet time 80564 gen 31 score 317670 cov 320 BestSoFar HashSet time 83792 gen 32 score 318338 cov 320 BestSoFar HashSet time 87494 gen 33 score 318338 cov 320 BestSoFar HashSet time 91151 gen 34 score 318338 cov 320 BestSoFar HashSet time 95943 gen 35 score 318338 cov 320 BestSoFar HashSet time 99710 gen 36 score 318338 cov 320 BestSoFar HashSet time 103055 gen 37 score 318338 cov 320 BestSoFar HashSet time 106391 gen 38 score 318338 cov 320 BestSoFar HashSet time 109837 gen 39 score 318434 cov 320 BestSoFar HashSet time 113346 gen 40 score 318434 cov 320 BestSoFar HashSet time 116733 gen 41 score 318434 cov 320 BestSoFar HashSet time 120211 gen 42 score 318434 cov 320 BestSoFar HashSet time 123581 gen 43 score 318434 cov 320 BestSoFar HashSet time 126941 gen 44 score 318434 cov 320 BestSoFar HashSet time 130432 gen 45 score 318434 cov 320 BestSoFar HashSet time 133799 gen 46 score 318434 cov 320 BestSoFar HashSet time 137341 gen 47 score 318434 cov 320 BestSoFar HashSet time 140742 gen 48 score 318434 cov 320 BestSoFar HashSet time 144214 gen 49 score 318434 cov 320 BestSoFar HashSet time 147642 gen 50 score 318434 cov 320 BestSoFar Hashtable time 3070 gen 1 score 359617 cov 360 BestSoFar Hashtable time 5257 gen 2 score 372973 cov 374 BestSoFar Hashtable time 6949 gen 3 score 378306 cov 379 BestSoFar Hashtable time 9428 gen 4 score 383306 cov 384 BestSoFar Hashtable time 11845 gen 5 score 383306 cov 384 BestSoFar Hashtable time 14309 gen 6 score 392942 cov 395 BestSoFar Hashtable time 17012 gen 7 score 392942 cov 395 BestSoFar Hashtable time 19717 gen 8 score 392942 cov 395 BestSoFar Hashtable time 22445 gen 9 score 394946 cov 397 BestSoFar Hashtable time 25275 gen 10 score 405356 cov 408 BestSoFar Hashtable time 28388 gen 11 score 405356 cov 408 BestSoFar Hashtable time 31490 gen 12 score 405356 cov 408 BestSoFar Hashtable time 34831 gen 13 score 405356 cov 408 BestSoFar Hashtable time 38071 gen 14 score 405356 cov 408 BestSoFar Hashtable time 41283 gen 15 score 405356 cov 408 BestSoFar Hashtable time 44705 gen 16 score 405356 cov 408 BestSoFar Hashtable time 48108 gen 17 score 405356 cov 408 BestSoFar Hashtable time 51280 gen 18 score 405356 cov 408 BestSoFar Hashtable time 54375 gen 19 score 405356 cov 408 BestSoFar Hashtable time 57495 gen 20 score 405356 cov 408 BestSoFar Hashtable time 60827 gen 21 score 405356 cov 408 BestSoFar Hashtable time 64169 gen 22 score 405356 cov 408 BestSoFar Hashtable time 67667 gen 23 score 405356 cov 408 BestSoFar Hashtable time 71530 gen 24 score 405356 cov 408 BestSoFar Hashtable time 75963 gen 25 score 409828 cov 413 BestSoFar Hashtable time 80036 gen 26 score 410828 cov 414 BestSoFar Hashtable time 84337 gen 27 score 412161 cov 415 BestSoFar Hashtable time 88457 gen 28 score 412161 cov 415 BestSoFar Hashtable time 92713 gen 29 score 412161 cov 415 BestSoFar Hashtable time 96878 gen 30 score 412161 cov 415 BestSoFar Hashtable time 101380 gen 31 score 412161 cov 415 BestSoFar Hashtable time 105455 gen 32 score 412161 cov 415 BestSoFar Hashtable time 109568 gen 33 score 412161 cov 415 BestSoFar Hashtable time 113674 gen 34 score 412161 cov 415 BestSoFar Hashtable time 117799 gen 35 score 412161 cov 415 BestSoFar Hashtable time 121925 gen 36 score 412161 cov 415 BestSoFar Hashtable time 126089 gen 37 score 412161 cov 415 BestSoFar Hashtable time 130318 gen 38 score 412161 cov 415 BestSoFar Hashtable time 134472 gen 39 score 412161 cov 415 BestSoFar Hashtable time 146296 gen 40 score 412161 cov 415 BestSoFar Hashtable time 150735 gen 41 score 412161 cov 415 BestSoFar Hashtable time 154826 gen 42 score 412161 cov 415 BestSoFar Hashtable time 159041 gen 43 score 412161 cov 415 BestSoFar Hashtable time 163106 gen 44 score 412161 cov 415 BestSoFar Hashtable time 167739 gen 45 score 412161 cov 415 BestSoFar Hashtable time 171866 gen 46 score 414255 cov 417 BestSoFar Hashtable time 176182 gen 47 score 414255 cov 417 BestSoFar Hashtable time 180352 gen 48 score 414255 cov 417 BestSoFar Hashtable time 184506 gen 49 score 414255 cov 417 BestSoFar Hashtable time 188916 gen 50 score 414255 cov 417 BestSoFar IdentityHashMap time 2675 gen 1 score 312657 cov 313 BestSoFar IdentityHashMap time 3777 gen 2 score 343074 cov 343 BestSoFar IdentityHashMap time 4686 gen 3 score 352074 cov 352 BestSoFar IdentityHashMap time 5751 gen 4 score 352074 cov 352 BestSoFar IdentityHashMap time 6868 gen 5 score 352074 cov 352 BestSoFar IdentityHashMap time 8187 gen 6 score 378481 cov 379 BestSoFar IdentityHashMap time 10158 gen 7 score 384297 cov 386 BestSoFar IdentityHashMap time 12225 gen 8 score 384297 cov 386 BestSoFar IdentityHashMap time 14219 gen 9 score 384297 cov 386 BestSoFar IdentityHashMap time 16536 gen 10 score 384297 cov 386 BestSoFar IdentityHashMap time 19733 gen 11 score 389213 cov 392 BestSoFar IdentityHashMap time 22914 gen 12 score 389213 cov 392 BestSoFar IdentityHashMap time 26063 gen 13 score 397546 cov 400 BestSoFar IdentityHashMap time 29293 gen 14 score 397546 cov 400 BestSoFar IdentityHashMap time 32401 gen 15 score 403877 cov 406 BestSoFar IdentityHashMap time 35567 gen 16 score 403877 cov 406 BestSoFar IdentityHashMap time 38701 gen 17 score 403877 cov 406 BestSoFar IdentityHashMap time 41848 gen 18 score 403877 cov 406 BestSoFar IdentityHashMap time 44832 gen 19 score 403877 cov 406 BestSoFar IdentityHashMap time 47899 gen 20 score 403877 cov 406 BestSoFar IdentityHashMap time 51105 gen 21 score 404269 cov 406 BestSoFar IdentityHashMap time 54054 gen 22 score 404269 cov 406 BestSoFar IdentityHashMap time 57015 gen 23 score 404269 cov 406 BestSoFar IdentityHashMap time 60044 gen 24 score 408269 cov 410 BestSoFar IdentityHashMap time 63270 gen 25 score 408269 cov 410 BestSoFar IdentityHashMap time 66639 gen 26 score 408269 cov 410 BestSoFar IdentityHashMap time 70175 gen 27 score 408269 cov 410 BestSoFar IdentityHashMap time 73895 gen 28 score 408269 cov 410 BestSoFar IdentityHashMap time 77442 gen 29 score 408269 cov 410 BestSoFar IdentityHashMap time 80962 gen 30 score 408269 cov 410 BestSoFar IdentityHashMap time 84549 gen 31 score 408269 cov 410 BestSoFar IdentityHashMap time 88290 gen 32 score 408269 cov 410 BestSoFar IdentityHashMap time 92028 gen 33 score 408269 cov 410 BestSoFar IdentityHashMap time 95815 gen 34 score 408269 cov 410 BestSoFar IdentityHashMap time 99833 gen 35 score 408269 cov 410 BestSoFar IdentityHashMap time 103745 gen 36 score 408269 cov 410 BestSoFar IdentityHashMap time 107719 gen 37 score 408269 cov 410 BestSoFar IdentityHashMap time 111712 gen 38 score 408269 cov 410 BestSoFar IdentityHashMap time 115884 gen 39 score 408269 cov 410 BestSoFar IdentityHashMap time 120313 gen 40 score 408269 cov 410 BestSoFar IdentityHashMap time 124849 gen 41 score 408585 cov 412 BestSoFar IdentityHashMap time 129244 gen 42 score 408585 cov 412 BestSoFar IdentityHashMap time 133722 gen 43 score 408585 cov 412 BestSoFar IdentityHashMap time 138217 gen 44 score 408585 cov 412 BestSoFar IdentityHashMap time 142504 gen 45 score 408585 cov 412 BestSoFar IdentityHashMap time 146880 gen 46 score 408585 cov 412 BestSoFar IdentityHashMap time 151200 gen 47 score 408585 cov 412 BestSoFar IdentityHashMap time 155520 gen 48 score 408585 cov 412 BestSoFar IdentityHashMap time 159826 gen 49 score 408585 cov 412 BestSoFar IdentityHashMap time 164000 gen 50 score 408585 cov 412 BestSoFar LinkedHashMap time 2246 gen 1 score 261386 cov 262 BestSoFar LinkedHashMap time 3934 gen 2 score 269719 cov 270 BestSoFar LinkedHashMap time 6056 gen 3 score 269719 cov 270 BestSoFar LinkedHashMap time 7615 gen 4 score 281384 cov 282 BestSoFar LinkedHashMap time 8928 gen 5 score 281384 cov 282 BestSoFar LinkedHashMap time 10265 gen 6 score 281384 cov 282 BestSoFar LinkedHashMap time 11573 gen 7 score 281384 cov 282 BestSoFar LinkedHashMap time 13156 gen 8 score 281384 cov 282 BestSoFar LinkedHashMap time 14831 gen 9 score 281384 cov 282 BestSoFar LinkedHashMap time 16598 gen 10 score 281384 cov 282 BestSoFar LinkedHashMap time 18553 gen 11 score 281384 cov 282 BestSoFar LinkedHashMap time 20457 gen 12 score 281384 cov 282 BestSoFar LinkedHashMap time 22367 gen 13 score 281384 cov 282 BestSoFar LinkedHashMap time 24336 gen 14 score 281660 cov 283 BestSoFar LinkedHashMap time 26211 gen 15 score 286995 cov 288 BestSoFar LinkedHashMap time 28241 gen 16 score 287662 cov 289 BestSoFar LinkedHashMap time 30403 gen 17 score 287662 cov 289 BestSoFar LinkedHashMap time 32533 gen 18 score 287662 cov 289 BestSoFar LinkedHashMap time 34845 gen 19 score 287662 cov 289 BestSoFar LinkedHashMap time 37470 gen 20 score 289521 cov 291 BestSoFar LinkedHashMap time 40347 gen 21 score 289521 cov 291 BestSoFar LinkedHashMap time 43203 gen 22 score 289521 cov 291 BestSoFar LinkedHashMap time 46110 gen 23 score 289521 cov 291 BestSoFar LinkedHashMap time 48879 gen 24 score 289521 cov 291 BestSoFar LinkedHashMap time 51680 gen 25 score 293734 cov 296 BestSoFar LinkedHashMap time 54542 gen 26 score 293734 cov 296 BestSoFar LinkedHashMap time 57639 gen 27 score 293734 cov 296 BestSoFar LinkedHashMap time 60926 gen 28 score 293734 cov 296 BestSoFar LinkedHashMap time 64336 gen 29 score 293734 cov 296 BestSoFar LinkedHashMap time 67668 gen 30 score 293734 cov 296 BestSoFar LinkedHashMap time 71504 gen 31 score 293734 cov 296 BestSoFar LinkedHashMap time 75516 gen 32 score 293734 cov 296 BestSoFar LinkedHashMap time 79541 gen 33 score 293734 cov 296 BestSoFar LinkedHashMap time 83591 gen 34 score 293734 cov 296 BestSoFar LinkedHashMap time 87494 gen 35 score 293734 cov 296 BestSoFar LinkedHashMap time 91412 gen 36 score 293734 cov 296 BestSoFar LinkedHashMap time 95302 gen 37 score 293734 cov 296 BestSoFar LinkedHashMap time 99125 gen 38 score 293734 cov 296 BestSoFar LinkedHashMap time 103163 gen 39 score 293734 cov 296 BestSoFar LinkedHashMap time 107185 gen 40 score 293734 cov 296 BestSoFar LinkedHashMap time 111372 gen 41 score 293734 cov 296 BestSoFar LinkedHashMap time 115330 gen 42 score 293734 cov 296 BestSoFar LinkedHashMap time 119152 gen 43 score 293734 cov 296 BestSoFar LinkedHashMap time 122947 gen 44 score 293734 cov 296 BestSoFar LinkedHashMap time 126699 gen 45 score 293734 cov 296 BestSoFar LinkedHashMap time 130652 gen 46 score 295103 cov 298 BestSoFar LinkedHashMap time 134698 gen 47 score 295103 cov 298 BestSoFar LinkedHashMap time 138592 gen 48 score 295103 cov 298 BestSoFar LinkedHashMap time 142620 gen 49 score 295103 cov 298 BestSoFar LinkedHashMap time 146496 gen 50 score 295103 cov 298 BestSoFar LinkedHashSet time 2438 gen 1 score 262642 cov 263 BestSoFar LinkedHashSet time 4398 gen 2 score 265642 cov 266 BestSoFar LinkedHashSet time 6592 gen 3 score 269642 cov 270 BestSoFar LinkedHashSet time 8367 gen 4 score 269642 cov 270 BestSoFar LinkedHashSet time 9964 gen 5 score 269642 cov 270 BestSoFar LinkedHashSet time 11653 gen 6 score 269642 cov 270 BestSoFar LinkedHashSet time 13311 gen 7 score 269642 cov 270 BestSoFar LinkedHashSet time 14766 gen 8 score 269642 cov 270 BestSoFar LinkedHashSet time 16424 gen 9 score 269642 cov 270 BestSoFar LinkedHashSet time 18168 gen 10 score 269642 cov 270 BestSoFar LinkedHashSet time 19854 gen 11 score 269642 cov 270 BestSoFar LinkedHashSet time 21141 gen 12 score 269642 cov 270 BestSoFar LinkedHashSet time 22544 gen 13 score 269642 cov 270 BestSoFar LinkedHashSet time 23866 gen 14 score 269644 cov 270 BestSoFar LinkedHashSet time 25330 gen 15 score 269644 cov 270 BestSoFar LinkedHashSet time 27049 gen 16 score 269644 cov 270 BestSoFar LinkedHashSet time 28621 gen 17 score 269644 cov 270 BestSoFar LinkedHashSet time 30557 gen 18 score 269644 cov 270 BestSoFar LinkedHashSet time 32505 gen 19 score 269644 cov 270 BestSoFar LinkedHashSet time 34632 gen 20 score 270718 cov 272 BestSoFar LinkedHashSet time 37091 gen 21 score 270718 cov 272 BestSoFar LinkedHashSet time 39441 gen 22 score 270720 cov 272 BestSoFar LinkedHashSet time 41667 gen 23 score 270720 cov 272 BestSoFar LinkedHashSet time 44018 gen 24 score 270720 cov 272 BestSoFar LinkedHashSet time 46179 gen 25 score 270720 cov 272 BestSoFar LinkedHashSet time 48204 gen 26 score 270720 cov 272 BestSoFar LinkedHashSet time 50028 gen 27 score 270720 cov 272 BestSoFar LinkedHashSet time 51749 gen 28 score 270720 cov 272 BestSoFar LinkedHashSet time 53572 gen 29 score 270720 cov 272 BestSoFar LinkedHashSet time 55534 gen 30 score 271349 cov 272 BestSoFar LinkedHashSet time 57514 gen 31 score 271349 cov 272 BestSoFar LinkedHashSet time 59419 gen 32 score 271349 cov 272 BestSoFar LinkedHashSet time 61384 gen 33 score 271349 cov 272 BestSoFar LinkedHashSet time 63501 gen 34 score 271349 cov 272 BestSoFar LinkedHashSet time 65558 gen 35 score 271349 cov 272 BestSoFar LinkedHashSet time 67690 gen 36 score 271349 cov 272 BestSoFar LinkedHashSet time 69851 gen 37 score 271349 cov 272 BestSoFar LinkedHashSet time 72066 gen 38 score 271349 cov 272 BestSoFar LinkedHashSet time 74037 gen 39 score 271349 cov 272 BestSoFar LinkedHashSet time 76296 gen 40 score 271349 cov 272 BestSoFar LinkedHashSet time 78635 gen 41 score 271349 cov 272 BestSoFar LinkedHashSet time 80876 gen 42 score 271349 cov 272 BestSoFar LinkedHashSet time 83188 gen 43 score 271349 cov 272 BestSoFar LinkedHashSet time 85239 gen 44 score 271349 cov 272 BestSoFar LinkedHashSet time 87428 gen 45 score 271349 cov 272 BestSoFar LinkedHashSet time 89439 gen 46 score 271349 cov 272 BestSoFar LinkedHashSet time 91624 gen 47 score 271349 cov 272 BestSoFar LinkedHashSet time 94049 gen 48 score 271349 cov 272 BestSoFar LinkedHashSet time 96281 gen 49 score 271349 cov 272 BestSoFar LinkedHashSet time 98648 gen 50 score 271349 cov 272 BestSoFar LinkedList time 2851 gen 1 score 261782 cov 262 BestSoFar LinkedList time 4083 gen 2 score 265449 cov 266 BestSoFar LinkedList time 5968 gen 3 score 265449 cov 266 BestSoFar LinkedList time 7513 gen 4 score 265782 cov 266 BestSoFar LinkedList time 8970 gen 5 score 267782 cov 268 BestSoFar LinkedList time 10401 gen 6 score 267782 cov 268 BestSoFar LinkedList time 11820 gen 7 score 267782 cov 268 BestSoFar LinkedList time 13259 gen 8 score 267782 cov 268 BestSoFar LinkedList time 14770 gen 9 score 267782 cov 268 BestSoFar LinkedList time 16438 gen 10 score 268030 cov 269 BestSoFar LinkedList time 19079 gen 11 score 268030 cov 269 BestSoFar LinkedList time 21350 gen 12 score 268030 cov 269 BestSoFar LinkedList time 23595 gen 13 score 268030 cov 269 BestSoFar LinkedList time 25918 gen 14 score 272331 cov 274 BestSoFar LinkedList time 28418 gen 15 score 272331 cov 274 BestSoFar LinkedList time 31069 gen 16 score 272331 cov 274 BestSoFar LinkedList time 33714 gen 17 score 272331 cov 274 BestSoFar LinkedList time 36547 gen 18 score 272331 cov 274 BestSoFar LinkedList time 39329 gen 19 score 272331 cov 274 BestSoFar LinkedList time 42231 gen 20 score 272331 cov 274 BestSoFar LinkedList time 45635 gen 21 score 272331 cov 274 BestSoFar LinkedList time 48863 gen 22 score 272331 cov 274 BestSoFar LinkedList time 52124 gen 23 score 272331 cov 274 BestSoFar LinkedList time 55307 gen 24 score 272331 cov 274 BestSoFar LinkedList time 58116 gen 25 score 272331 cov 274 BestSoFar LinkedList time 61338 gen 26 score 273117 cov 276 BestSoFar LinkedList time 64744 gen 27 score 273117 cov 276 BestSoFar LinkedList time 68158 gen 28 score 273117 cov 276 BestSoFar LinkedList time 71479 gen 29 score 273117 cov 276 BestSoFar LinkedList time 74900 gen 30 score 273117 cov 276 BestSoFar LinkedList time 78397 gen 31 score 273117 cov 276 BestSoFar LinkedList time 81763 gen 32 score 273117 cov 276 BestSoFar LinkedList time 85206 gen 33 score 273117 cov 276 BestSoFar LinkedList time 88650 gen 34 score 273117 cov 276 BestSoFar LinkedList time 92000 gen 35 score 273117 cov 276 BestSoFar LinkedList time 95486 gen 36 score 273117 cov 276 BestSoFar LinkedList time 98854 gen 37 score 273783 cov 276 BestSoFar LinkedList time 102206 gen 38 score 273783 cov 276 BestSoFar LinkedList time 105600 gen 39 score 274117 cov 277 BestSoFar LinkedList time 108988 gen 40 score 274117 cov 277 BestSoFar LinkedList time 112549 gen 41 score 274117 cov 277 BestSoFar LinkedList time 115940 gen 42 score 274117 cov 277 BestSoFar LinkedList time 119337 gen 43 score 274117 cov 277 BestSoFar LinkedList time 122716 gen 44 score 274117 cov 277 BestSoFar LinkedList time 126048 gen 45 score 274117 cov 277 BestSoFar LinkedList time 129392 gen 46 score 274117 cov 277 BestSoFar LinkedList time 132818 gen 47 score 274117 cov 277 BestSoFar LinkedList time 136451 gen 48 score 274117 cov 277 BestSoFar LinkedList time 140106 gen 49 score 274117 cov 277 BestSoFar LinkedList time 143795 gen 50 score 274117 cov 277 BestSoFar PriorityQueue time 2730 gen 1 score 179035 cov 179 BestSoFar PriorityQueue time 4688 gen 2 score 203059 cov 204 BestSoFar PriorityQueue time 6821 gen 3 score 208341 cov 210 BestSoFar PriorityQueue time 8892 gen 4 score 208341 cov 210 BestSoFar PriorityQueue time 10965 gen 5 score 209008 cov 211 BestSoFar PriorityQueue time 13021 gen 6 score 209008 cov 211 BestSoFar PriorityQueue time 15224 gen 7 score 209008 cov 211 BestSoFar PriorityQueue time 17385 gen 8 score 209419 cov 211 BestSoFar PriorityQueue time 19765 gen 9 score 209419 cov 211 BestSoFar PriorityQueue time 22089 gen 10 score 219676 cov 221 BestSoFar PriorityQueue time 24583 gen 11 score 219676 cov 221 BestSoFar PriorityQueue time 26818 gen 12 score 219676 cov 221 BestSoFar PriorityQueue time 29093 gen 13 score 219676 cov 221 BestSoFar PriorityQueue time 31371 gen 14 score 219676 cov 221 BestSoFar PriorityQueue time 33812 gen 15 score 219676 cov 221 BestSoFar PriorityQueue time 36119 gen 16 score 219676 cov 221 BestSoFar PriorityQueue time 38385 gen 17 score 219676 cov 221 BestSoFar PriorityQueue time 40652 gen 18 score 219676 cov 221 BestSoFar PriorityQueue time 42897 gen 19 score 219676 cov 221 BestSoFar PriorityQueue time 45184 gen 20 score 219676 cov 221 BestSoFar PriorityQueue time 47631 gen 21 score 219676 cov 221 BestSoFar PriorityQueue time 49887 gen 22 score 219676 cov 221 BestSoFar PriorityQueue time 52095 gen 23 score 219676 cov 221 BestSoFar PriorityQueue time 54506 gen 24 score 219676 cov 221 BestSoFar PriorityQueue time 57190 gen 25 score 219676 cov 221 BestSoFar PriorityQueue time 59705 gen 26 score 219676 cov 221 BestSoFar PriorityQueue time 62326 gen 27 score 219676 cov 221 BestSoFar PriorityQueue time 64974 gen 28 score 219676 cov 221 BestSoFar PriorityQueue time 67783 gen 29 score 220522 cov 223 BestSoFar PriorityQueue time 70639 gen 30 score 220522 cov 223 BestSoFar PriorityQueue time 73650 gen 31 score 221188 cov 223 BestSoFar PriorityQueue time 76611 gen 32 score 221188 cov 223 BestSoFar PriorityQueue time 79354 gen 33 score 221188 cov 223 BestSoFar PriorityQueue time 82113 gen 34 score 221188 cov 223 BestSoFar PriorityQueue time 84834 gen 35 score 221188 cov 223 BestSoFar PriorityQueue time 87533 gen 36 score 221188 cov 223 BestSoFar PriorityQueue time 90187 gen 37 score 221188 cov 223 BestSoFar PriorityQueue time 92839 gen 38 score 221188 cov 223 BestSoFar PriorityQueue time 95920 gen 39 score 221561 cov 224 BestSoFar PriorityQueue time 98948 gen 40 score 221561 cov 224 BestSoFar PriorityQueue time 102190 gen 41 score 221561 cov 224 BestSoFar PriorityQueue time 105211 gen 42 score 221561 cov 224 BestSoFar PriorityQueue time 108205 gen 43 score 221561 cov 224 BestSoFar PriorityQueue time 111285 gen 44 score 221561 cov 224 BestSoFar PriorityQueue time 114473 gen 45 score 221561 cov 224 BestSoFar PriorityQueue time 117593 gen 46 score 221561 cov 224 BestSoFar PriorityQueue time 120714 gen 47 score 221561 cov 224 BestSoFar PriorityQueue time 123848 gen 48 score 221561 cov 224 BestSoFar PriorityQueue time 127047 gen 49 score 221561 cov 224 BestSoFar PriorityQueue time 130144 gen 50 score 221561 cov 224 BestSoFar Properties time 4771 gen 1 score 279100 cov 279 BestSoFar Properties time 10247 gen 2 score 297548 cov 298 BestSoFar Properties time 17034 gen 3 score 297548 cov 298 BestSoFar Properties time 27311 gen 4 score 297548 cov 298 BestSoFar Properties time 41693 gen 5 score 297882 cov 299 BestSoFar Properties time 57869 gen 6 score 297882 cov 299 BestSoFar Properties time 71809 gen 7 score 297882 cov 299 BestSoFar Properties time 82945 gen 8 score 297882 cov 299 BestSoFar Properties time 96128 gen 9 score 297884 cov 299 BestSoFar Properties time 108836 gen 10 score 297884 cov 299 BestSoFar Properties time 122627 gen 11 score 297884 cov 299 BestSoFar Properties time 134374 gen 12 score 297884 cov 299 BestSoFar Properties time 145166 gen 13 score 297884 cov 299 BestSoFar Properties time 160080 gen 14 score 297884 cov 299 BestSoFar Properties time 178076 gen 15 score 297884 cov 299 BestSoFar Properties time 193488 gen 16 score 297884 cov 299 BestSoFar Properties time 206767 gen 17 score 297884 cov 299 BestSoFar Properties time 223771 gen 18 score 297884 cov 299 BestSoFar Properties time 239721 gen 19 score 297884 cov 299 BestSoFar Properties time 254675 gen 20 score 297884 cov 299 BestSoFar Properties time 270533 gen 21 score 297884 cov 299 BestSoFar Properties time 286518 gen 22 score 297884 cov 299 BestSoFar Properties time 304132 gen 23 score 297884 cov 299 BestSoFar Properties time 324225 gen 24 score 297884 cov 299 BestSoFar Properties time 344869 gen 25 score 297884 cov 299 BestSoFar Properties time 362497 gen 26 score 297884 cov 299 BestSoFar Properties time 381846 gen 27 score 297884 cov 299 BestSoFar Properties time 400939 gen 28 score 297884 cov 299 BestSoFar Properties time 421798 gen 29 score 297884 cov 299 BestSoFar Properties time 437604 gen 30 score 297884 cov 299 BestSoFar Properties time 453341 gen 31 score 297884 cov 299 BestSoFar Properties time 470371 gen 32 score 297884 cov 299 BestSoFar Properties time 490941 gen 33 score 297884 cov 299 BestSoFar Properties time 513557 gen 34 score 297884 cov 299 BestSoFar Properties time 532232 gen 35 score 297884 cov 299 BestSoFar Properties time 553333 gen 36 score 297884 cov 299 BestSoFar Properties time 575493 gen 37 score 297884 cov 299 BestSoFar Properties time 599419 gen 38 score 297884 cov 299 BestSoFar Properties time 615414 gen 39 score 297884 cov 299 BestSoFar Properties time 648458 gen 40 score 297884 cov 299 BestSoFar Properties time 674786 gen 41 score 297884 cov 299 BestSoFar Properties time 696531 gen 42 score 297884 cov 299 BestSoFar Properties time 715663 gen 43 score 297884 cov 299 BestSoFar Properties time 737079 gen 44 score 297884 cov 299 BestSoFar Properties time 760754 gen 45 score 297884 cov 299 BestSoFar Properties time 792225 gen 46 score 297884 cov 299 BestSoFar Properties time 820844 gen 47 score 297884 cov 299 BestSoFar Properties time 854056 gen 48 score 297884 cov 299 BestSoFar Properties time 889186 gen 49 score 297884 cov 299 BestSoFar Properties time 922187 gen 50 score 297884 cov 299 BestSoFar Stack time 1585 gen 1 score 78911 cov 79 BestSoFar Stack time 3033 gen 2 score 83123 cov 84 BestSoFar Stack time 4970 gen 3 score 83791 cov 84 BestSoFar Stack time 6349 gen 4 score 84458 cov 85 BestSoFar Stack time 7568 gen 5 score 85826 cov 86 BestSoFar Stack time 8533 gen 6 score 86159 cov 86 BestSoFar Stack time 9342 gen 7 score 86159 cov 86 BestSoFar Stack time 10207 gen 8 score 86349 cov 87 BestSoFar Stack time 10951 gen 9 score 86349 cov 87 BestSoFar Stack time 11636 gen 10 score 86349 cov 87 BestSoFar Stack time 12355 gen 11 score 86495 cov 87 BestSoFar Stack time 13166 gen 12 score 86495 cov 87 BestSoFar Stack time 13790 gen 13 score 86495 cov 87 BestSoFar Stack time 14426 gen 14 score 86495 cov 87 BestSoFar Stack time 15152 gen 15 score 86495 cov 87 BestSoFar Stack time 15871 gen 16 score 86495 cov 87 BestSoFar Stack time 16640 gen 17 score 86497 cov 87 BestSoFar Stack time 17356 gen 18 score 86497 cov 87 BestSoFar Stack time 18115 gen 19 score 86497 cov 87 BestSoFar Stack time 18915 gen 20 score 86497 cov 87 BestSoFar Stack time 19664 gen 21 score 86497 cov 87 BestSoFar Stack time 20460 gen 22 score 86497 cov 87 BestSoFar Stack time 21208 gen 23 score 86497 cov 87 BestSoFar Stack time 22038 gen 24 score 86497 cov 87 BestSoFar Stack time 22784 gen 25 score 86497 cov 87 BestSoFar Stack time 23611 gen 26 score 86497 cov 87 BestSoFar Stack time 24383 gen 27 score 86497 cov 87 BestSoFar Stack time 25237 gen 28 score 86497 cov 87 BestSoFar Stack time 26027 gen 29 score 86497 cov 87 BestSoFar Stack time 27004 gen 30 score 86497 cov 87 BestSoFar Stack time 27801 gen 31 score 86497 cov 87 BestSoFar Stack time 28553 gen 32 score 86497 cov 87 BestSoFar Stack time 29309 gen 33 score 86497 cov 87 BestSoFar Stack time 30082 gen 34 score 86497 cov 87 BestSoFar Stack time 30870 gen 35 score 86504 cov 87 BestSoFar Stack time 31717 gen 36 score 86504 cov 87 BestSoFar Stack time 32455 gen 37 score 86504 cov 87 BestSoFar Stack time 33249 gen 38 score 86504 cov 87 BestSoFar Stack time 33990 gen 39 score 86504 cov 87 BestSoFar Stack time 34797 gen 40 score 86504 cov 87 BestSoFar Stack time 35663 gen 41 score 86504 cov 87 BestSoFar Stack time 36471 gen 42 score 86504 cov 87 BestSoFar Stack time 37099 gen 43 score 86504 cov 87 BestSoFar Stack time 37621 gen 44 score 86504 cov 87 BestSoFar Stack time 38092 gen 45 score 86735 cov 87 BestSoFar Stack time 38598 gen 46 score 86735 cov 87 BestSoFar Stack time 38979 gen 47 score 86735 cov 87 BestSoFar Stack time 39361 gen 48 score 86735 cov 87 BestSoFar Stack time 39753 gen 49 score 86735 cov 87 BestSoFar Stack time 40136 gen 50 score 86735 cov 87 BestSoFar TreeMap time 3194 gen 1 score 501104 cov 502 BestSoFar TreeMap time 5152 gen 2 score 517386 cov 518 BestSoFar TreeMap time 7506 gen 3 score 517386 cov 518 BestSoFar TreeMap time 9702 gen 4 score 517386 cov 518 BestSoFar TreeMap time 11849 gen 5 score 536437 cov 537 BestSoFar TreeMap time 14098 gen 6 score 579021 cov 580 BestSoFar TreeMap time 16353 gen 7 score 579021 cov 580 BestSoFar TreeMap time 18630 gen 8 score 579021 cov 580 BestSoFar TreeMap time 20708 gen 9 score 579021 cov 580 BestSoFar TreeMap time 22710 gen 10 score 579021 cov 580 BestSoFar TreeMap time 25192 gen 11 score 579021 cov 580 BestSoFar TreeMap time 27321 gen 12 score 579021 cov 580 BestSoFar TreeMap time 29488 gen 13 score 579021 cov 580 BestSoFar TreeMap time 31599 gen 14 score 579021 cov 580 BestSoFar TreeMap time 33812 gen 15 score 579021 cov 580 BestSoFar TreeMap time 36344 gen 16 score 600522 cov 603 BestSoFar TreeMap time 39122 gen 17 score 620430 cov 623 BestSoFar TreeMap time 42419 gen 18 score 628430 cov 631 BestSoFar TreeMap time 46090 gen 19 score 628430 cov 631 BestSoFar TreeMap time 49855 gen 20 score 628430 cov 631 BestSoFar TreeMap time 53985 gen 21 score 628430 cov 631 BestSoFar TreeMap time 57838 gen 22 score 634853 cov 637 BestSoFar TreeMap time 61800 gen 23 score 636182 cov 639 BestSoFar TreeMap time 65869 gen 24 score 638410 cov 642 BestSoFar TreeMap time 70334 gen 25 score 652743 cov 656 BestSoFar TreeMap time 74986 gen 26 score 652743 cov 656 BestSoFar TreeMap time 80352 gen 27 score 652743 cov 656 BestSoFar TreeMap time 86018 gen 28 score 652743 cov 656 BestSoFar TreeMap time 92060 gen 29 score 656608 cov 661 BestSoFar TreeMap time 98485 gen 30 score 656608 cov 661 BestSoFar TreeMap time 105421 gen 31 score 659439 cov 664 BestSoFar TreeMap time 112027 gen 32 score 662439 cov 667 BestSoFar TreeMap time 118928 gen 33 score 672439 cov 677 BestSoFar TreeMap time 126346 gen 34 score 672439 cov 677 BestSoFar TreeMap time 133688 gen 35 score 672439 cov 677 BestSoFar TreeMap time 140739 gen 36 score 672439 cov 677 BestSoFar TreeMap time 147603 gen 37 score 672439 cov 677 BestSoFar TreeMap time 154423 gen 38 score 672439 cov 677 BestSoFar TreeMap time 161091 gen 39 score 672439 cov 677 BestSoFar TreeMap time 167811 gen 40 score 672439 cov 677 BestSoFar TreeMap time 174987 gen 41 score 672439 cov 677 BestSoFar TreeMap time 181645 gen 42 score 672439 cov 677 BestSoFar TreeMap time 188583 gen 43 score 672439 cov 677 BestSoFar TreeMap time 195635 gen 44 score 672439 cov 677 BestSoFar TreeMap time 202361 gen 45 score 672439 cov 677 BestSoFar TreeMap time 209048 gen 46 score 672439 cov 677 BestSoFar TreeMap time 215744 gen 47 score 672439 cov 677 BestSoFar TreeMap time 222315 gen 48 score 672439 cov 677 BestSoFar TreeMap time 228875 gen 49 score 672439 cov 677 BestSoFar TreeMap time 235308 gen 50 score 672439 cov 677 BestSoFar TreeSet time 2950 gen 1 score 467893 cov 469 BestSoFar TreeSet time 4823 gen 2 score 470559 cov 471 BestSoFar TreeSet time 7007 gen 3 score 495559 cov 496 BestSoFar TreeSet time 9017 gen 4 score 509895 cov 511 BestSoFar TreeSet time 11328 gen 5 score 558234 cov 560 BestSoFar TreeSet time 14103 gen 6 score 558234 cov 560 BestSoFar TreeSet time 17216 gen 7 score 558234 cov 560 BestSoFar TreeSet time 20312 gen 8 score 558234 cov 560 BestSoFar TreeSet time 23263 gen 9 score 565567 cov 567 BestSoFar TreeSet time 26324 gen 10 score 572901 cov 575 BestSoFar TreeSet time 29734 gen 11 score 572901 cov 575 BestSoFar TreeSet time 33032 gen 12 score 574033 cov 577 BestSoFar TreeSet time 36433 gen 13 score 574033 cov 577 BestSoFar TreeSet time 40236 gen 14 score 574033 cov 577 BestSoFar TreeSet time 44314 gen 15 score 582366 cov 585 BestSoFar TreeSet time 48355 gen 16 score 584033 cov 587 BestSoFar TreeSet time 52384 gen 17 score 584033 cov 587 BestSoFar TreeSet time 56538 gen 18 score 584033 cov 587 BestSoFar TreeSet time 60639 gen 19 score 584033 cov 587 BestSoFar TreeSet time 64863 gen 20 score 584033 cov 587 BestSoFar TreeSet time 69235 gen 21 score 584033 cov 587 BestSoFar TreeSet time 73407 gen 22 score 584033 cov 587 BestSoFar TreeSet time 77803 gen 23 score 584033 cov 587 BestSoFar TreeSet time 82182 gen 24 score 584033 cov 587 BestSoFar TreeSet time 86599 gen 25 score 584033 cov 587 BestSoFar TreeSet time 90855 gen 26 score 584033 cov 587 BestSoFar TreeSet time 95074 gen 27 score 584033 cov 587 BestSoFar TreeSet time 99244 gen 28 score 584033 cov 587 BestSoFar TreeSet time 103546 gen 29 score 584033 cov 587 BestSoFar TreeSet time 107959 gen 30 score 587029 cov 590 BestSoFar TreeSet time 112669 gen 31 score 587029 cov 590 BestSoFar TreeSet time 117346 gen 32 score 587029 cov 590 BestSoFar TreeSet time 122008 gen 33 score 587029 cov 590 BestSoFar TreeSet time 126848 gen 34 score 587029 cov 590 BestSoFar TreeSet time 131752 gen 35 score 587029 cov 590 BestSoFar TreeSet time 136621 gen 36 score 587029 cov 590 BestSoFar TreeSet time 141182 gen 37 score 587029 cov 590 BestSoFar TreeSet time 146015 gen 38 score 587029 cov 590 BestSoFar TreeSet time 151004 gen 39 score 588308 cov 591 BestSoFar TreeSet time 156306 gen 40 score 588308 cov 591 BestSoFar TreeSet time 162219 gen 41 score 588308 cov 591 BestSoFar TreeSet time 167767 gen 42 score 588308 cov 591 BestSoFar TreeSet time 173050 gen 43 score 588308 cov 591 BestSoFar TreeSet time 178249 gen 44 score 588308 cov 591 BestSoFar TreeSet time 183655 gen 45 score 588308 cov 591 BestSoFar TreeSet time 189117 gen 46 score 588308 cov 591 BestSoFar TreeSet time 194333 gen 47 score 588308 cov 591 BestSoFar TreeSet time 199598 gen 48 score 588308 cov 591 BestSoFar TreeSet time 204703 gen 49 score 588308 cov 591 BestSoFar TreeSet time 209774 gen 50 score 588308 cov 591 BestSoFar Vector time 4214 gen 1 score 287527 cov 288 BestSoFar Vector time 6011 gen 2 score 308543 cov 309 BestSoFar Vector time 7523 gen 3 score 308543 cov 309 BestSoFar Vector time 9270 gen 4 score 337139 cov 338 BestSoFar Vector time 11291 gen 5 score 346421 cov 347 BestSoFar Vector time 13367 gen 6 score 346421 cov 347 BestSoFar Vector time 15453 gen 7 score 390208 cov 391 BestSoFar Vector time 17595 gen 8 score 407981 cov 409 BestSoFar Vector time 20079 gen 9 score 407981 cov 409 BestSoFar Vector time 22748 gen 10 score 407981 cov 409 BestSoFar Vector time 26310 gen 11 score 407981 cov 409 BestSoFar Vector time 29639 gen 12 score 413536 cov 415 BestSoFar Vector time 32829 gen 13 score 413536 cov 415 BestSoFar Vector time 35989 gen 14 score 424203 cov 426 BestSoFar Vector time 39153 gen 15 score 424203 cov 426 BestSoFar Vector time 42286 gen 16 score 424203 cov 426 BestSoFar Vector time 45422 gen 17 score 424203 cov 426 BestSoFar Vector time 48636 gen 18 score 424203 cov 426 BestSoFar Vector time 51713 gen 19 score 424203 cov 426 BestSoFar Vector time 54890 gen 20 score 424203 cov 426 BestSoFar Vector time 58576 gen 21 score 424203 cov 426 BestSoFar Vector time 61793 gen 22 score 424203 cov 426 BestSoFar Vector time 64960 gen 23 score 424203 cov 426 BestSoFar Vector time 68201 gen 24 score 424203 cov 426 BestSoFar Vector time 71608 gen 25 score 428844 cov 431 BestSoFar Vector time 75233 gen 26 score 428844 cov 431 BestSoFar Vector time 78929 gen 27 score 428844 cov 431 BestSoFar Vector time 82526 gen 28 score 428844 cov 431 BestSoFar Vector time 86098 gen 29 score 428844 cov 431 BestSoFar Vector time 89947 gen 30 score 428844 cov 431 BestSoFar Vector time 94374 gen 31 score 431488 cov 434 BestSoFar Vector time 98628 gen 32 score 431488 cov 434 BestSoFar Vector time 102710 gen 33 score 435155 cov 438 BestSoFar Vector time 106982 gen 34 score 435155 cov 438 BestSoFar Vector time 111095 gen 35 score 440484 cov 443 BestSoFar Vector time 115108 gen 36 score 440484 cov 443 BestSoFar Vector time 119258 gen 37 score 440484 cov 443 BestSoFar Vector time 123491 gen 38 score 440484 cov 443 BestSoFar Vector time 127631 gen 39 score 441155 cov 444 BestSoFar Vector time 131838 gen 40 score 441155 cov 444 BestSoFar Vector time 136641 gen 41 score 447155 cov 450 BestSoFar Vector time 140971 gen 42 score 448155 cov 451 BestSoFar Vector time 145329 gen 43 score 450155 cov 453 BestSoFar Vector time 149835 gen 44 score 450155 cov 453 BestSoFar Vector time 154428 gen 45 score 450155 cov 453 BestSoFar Vector time 159524 gen 46 score 450155 cov 453 BestSoFar Vector time 164862 gen 47 score 450155 cov 453 BestSoFar Vector time 170810 gen 48 score 450155 cov 453 BestSoFar Vector time 176811 gen 49 score 450155 cov 453 BestSoFar Vector time 183138 gen 50 score 450155 cov 453 BestSoFar WeakHashMap time 3221 gen 1 score 322331 cov 322 BestSoFar WeakHashMap time 4800 gen 2 score 350870 cov 352 BestSoFar WeakHashMap time 5957 gen 3 score 369617 cov 370 BestSoFar WeakHashMap time 7540 gen 4 score 369617 cov 370 BestSoFar WeakHashMap time 9048 gen 5 score 369617 cov 370 BestSoFar WeakHashMap time 10683 gen 6 score 371839 cov 373 BestSoFar WeakHashMap time 12454 gen 7 score 379506 cov 381 BestSoFar WeakHashMap time 14554 gen 8 score 379506 cov 381 BestSoFar WeakHashMap time 16701 gen 9 score 379506 cov 381 BestSoFar WeakHashMap time 18953 gen 10 score 383584 cov 385 BestSoFar WeakHashMap time 22361 gen 11 score 383584 cov 385 BestSoFar WeakHashMap time 24543 gen 12 score 383584 cov 385 BestSoFar WeakHashMap time 26781 gen 13 score 383584 cov 385 BestSoFar WeakHashMap time 28977 gen 14 score 390512 cov 392 BestSoFar WeakHashMap time 31125 gen 15 score 390512 cov 392 BestSoFar WeakHashMap time 33338 gen 16 score 390512 cov 392 BestSoFar WeakHashMap time 35630 gen 17 score 390512 cov 392 BestSoFar WeakHashMap time 37952 gen 18 score 392255 cov 394 BestSoFar WeakHashMap time 40379 gen 19 score 392255 cov 394 BestSoFar WeakHashMap time 43111 gen 20 score 392255 cov 394 BestSoFar WeakHashMap time 46274 gen 21 score 392255 cov 394 BestSoFar WeakHashMap time 49478 gen 22 score 392255 cov 394 BestSoFar WeakHashMap time 52617 gen 23 score 392255 cov 394 BestSoFar WeakHashMap time 55968 gen 24 score 394663 cov 397 BestSoFar WeakHashMap time 59288 gen 25 score 395173 cov 398 BestSoFar WeakHashMap time 62620 gen 26 score 401507 cov 405 BestSoFar WeakHashMap time 66352 gen 27 score 401507 cov 405 BestSoFar WeakHashMap time 70149 gen 28 score 401507 cov 405 BestSoFar WeakHashMap time 74188 gen 29 score 404507 cov 408 BestSoFar WeakHashMap time 78452 gen 30 score 404507 cov 408 BestSoFar WeakHashMap time 83344 gen 31 score 404507 cov 408 BestSoFar WeakHashMap time 88128 gen 32 score 404507 cov 408 BestSoFar WeakHashMap time 92947 gen 33 score 404507 cov 408 BestSoFar WeakHashMap time 97721 gen 34 score 404507 cov 408 BestSoFar WeakHashMap time 102931 gen 35 score 404507 cov 408 BestSoFar WeakHashMap time 108142 gen 36 score 404507 cov 408 BestSoFar WeakHashMap time 113871 gen 37 score 404507 cov 408 BestSoFar WeakHashMap time 119537 gen 38 score 404507 cov 408 BestSoFar WeakHashMap time 125928 gen 39 score 412093 cov 417 BestSoFar WeakHashMap time 131779 gen 40 score 412093 cov 417 BestSoFar WeakHashMap time 137688 gen 41 score 412093 cov 417 BestSoFar WeakHashMap time 143423 gen 42 score 412093 cov 417 BestSoFar WeakHashMap time 149099 gen 43 score 412093 cov 417 BestSoFar WeakHashMap time 154819 gen 44 score 412093 cov 417 BestSoFar WeakHashMap time 160588 gen 45 score 412093 cov 417 BestSoFar WeakHashMap time 166287 gen 46 score 412093 cov 417 BestSoFar WeakHashMap time 171836 gen 47 score 412093 cov 417 BestSoFar WeakHashMap time 177443 gen 48 score 412093 cov 417 BestSoFar WeakHashMap time 183128 gen 49 score 412093 cov 417 BestSoFar WeakHashMap time 188890 gen 50 score 412093 cov 417