Fri Mar 13 21:25:09 EDT 2009 BestSoFar ArrayList time 2168 gen 1 score 179448 cov 179 BestSoFar ArrayList time 3348 gen 2 score 191456 cov 192 BestSoFar ArrayList time 4568 gen 3 score 202433 cov 203 BestSoFar ArrayList time 6185 gen 4 score 202433 cov 203 BestSoFar ArrayList time 7679 gen 5 score 202433 cov 203 BestSoFar ArrayList time 9015 gen 6 score 202433 cov 203 BestSoFar ArrayList time 10366 gen 7 score 202433 cov 203 BestSoFar ArrayList time 11752 gen 8 score 204999 cov 206 BestSoFar ArrayList time 13181 gen 9 score 206666 cov 208 BestSoFar ArrayList time 14858 gen 10 score 206666 cov 208 BestSoFar ArrayList time 16782 gen 11 score 206666 cov 208 BestSoFar ArrayList time 18848 gen 12 score 206666 cov 208 BestSoFar ArrayList time 21072 gen 13 score 206666 cov 208 BestSoFar ArrayList time 23211 gen 14 score 206666 cov 208 BestSoFar ArrayList time 25615 gen 15 score 206666 cov 208 BestSoFar ArrayList time 28011 gen 16 score 206666 cov 208 BestSoFar ArrayList time 30327 gen 17 score 206666 cov 208 BestSoFar ArrayList time 33018 gen 18 score 206666 cov 208 BestSoFar ArrayList time 35696 gen 19 score 206666 cov 208 BestSoFar ArrayList time 38644 gen 20 score 206666 cov 208 BestSoFar ArrayList time 41393 gen 21 score 206666 cov 208 BestSoFar ArrayList time 44392 gen 22 score 206666 cov 208 BestSoFar ArrayList time 47109 gen 23 score 206666 cov 208 BestSoFar ArrayList time 49644 gen 24 score 206666 cov 208 BestSoFar ArrayList time 55468 gen 25 score 206666 cov 208 BestSoFar ArrayList time 63990 gen 26 score 206666 cov 208 BestSoFar ArrayList time 76449 gen 27 score 206666 cov 208 BestSoFar ArrayList time 107942 gen 28 score 206666 cov 208 BestSoFar ArrayList time 122519 gen 29 score 206666 cov 208 BestSoFar ArrayList time 127414 gen 30 score 206666 cov 208 BestSoFar ArrayList time 148079 gen 31 score 206666 cov 208 BestSoFar ArrayList time 173640 gen 32 score 206666 cov 208 BestSoFar ArrayList time 216401 gen 33 score 206666 cov 208 BestSoFar ArrayList time 256240 gen 34 score 206666 cov 208 BestSoFar ArrayList time 268985 gen 35 score 206666 cov 208 BestSoFar ArrayList time 271717 gen 36 score 206666 cov 208 BestSoFar ArrayList time 275186 gen 37 score 207334 cov 209 BestSoFar ArrayList time 277971 gen 38 score 207334 cov 209 BestSoFar ArrayList time 281090 gen 39 score 207334 cov 209 BestSoFar ArrayList time 284370 gen 40 score 207334 cov 209 BestSoFar ArrayList time 288178 gen 41 score 207334 cov 209 BestSoFar ArrayList time 291069 gen 42 score 207334 cov 209 BestSoFar ArrayList time 293890 gen 43 score 207334 cov 209 BestSoFar ArrayList time 296633 gen 44 score 207334 cov 209 BestSoFar ArrayList time 299879 gen 45 score 207334 cov 209 BestSoFar ArrayList time 302645 gen 46 score 207334 cov 209 BestSoFar ArrayList time 305340 gen 47 score 207334 cov 209 BestSoFar ArrayList time 307924 gen 48 score 207334 cov 209 BestSoFar ArrayList time 310611 gen 49 score 207334 cov 209 BestSoFar ArrayList time 313762 gen 50 score 207334 cov 209 BestSoFar EnumMap time 2386 gen 1 score 6326 cov 6 BestSoFar EnumMap time 3283 gen 2 score 6657 cov 6 BestSoFar EnumMap time 4074 gen 3 score 6657 cov 6 BestSoFar EnumMap time 4841 gen 4 score 6657 cov 6 BestSoFar EnumMap time 5659 gen 5 score 6657 cov 6 BestSoFar EnumMap time 6367 gen 6 score 6657 cov 6 BestSoFar EnumMap time 7059 gen 7 score 6657 cov 6 BestSoFar EnumMap time 7702 gen 8 score 6657 cov 6 BestSoFar EnumMap time 8319 gen 9 score 6657 cov 6 BestSoFar EnumMap time 8957 gen 10 score 6657 cov 6 BestSoFar EnumMap time 11012 gen 11 score 6657 cov 6 BestSoFar EnumMap time 11611 gen 12 score 6657 cov 6 BestSoFar EnumMap time 12192 gen 13 score 6657 cov 6 BestSoFar EnumMap time 12789 gen 14 score 6657 cov 6 BestSoFar EnumMap time 13393 gen 15 score 6657 cov 6 BestSoFar EnumMap time 13969 gen 16 score 6657 cov 6 BestSoFar EnumMap time 14539 gen 17 score 6657 cov 6 BestSoFar EnumMap time 15128 gen 18 score 6657 cov 6 BestSoFar EnumMap time 15724 gen 19 score 6657 cov 6 BestSoFar EnumMap time 16337 gen 20 score 6657 cov 6 BestSoFar EnumMap time 18325 gen 21 score 6657 cov 6 BestSoFar EnumMap time 18910 gen 22 score 6657 cov 6 BestSoFar EnumMap time 19499 gen 23 score 6657 cov 6 BestSoFar EnumMap time 20058 gen 24 score 6657 cov 6 BestSoFar EnumMap time 20648 gen 25 score 6657 cov 6 BestSoFar EnumMap time 21237 gen 26 score 6657 cov 6 BestSoFar EnumMap time 21831 gen 27 score 6657 cov 6 BestSoFar EnumMap time 22421 gen 28 score 6657 cov 6 BestSoFar EnumMap time 23006 gen 29 score 6657 cov 6 BestSoFar EnumMap time 23583 gen 30 score 6657 cov 6 BestSoFar EnumMap time 25344 gen 31 score 6657 cov 6 BestSoFar EnumMap time 25940 gen 32 score 6657 cov 6 BestSoFar EnumMap time 26528 gen 33 score 6657 cov 6 BestSoFar EnumMap time 27137 gen 34 score 6657 cov 6 BestSoFar EnumMap time 27760 gen 35 score 6657 cov 6 BestSoFar EnumMap time 28376 gen 36 score 6657 cov 6 BestSoFar EnumMap time 29003 gen 37 score 6657 cov 6 BestSoFar EnumMap time 29600 gen 38 score 6657 cov 6 BestSoFar EnumMap time 30214 gen 39 score 6657 cov 6 BestSoFar EnumMap time 30839 gen 40 score 6657 cov 6 BestSoFar EnumMap time 32713 gen 41 score 6657 cov 6 BestSoFar EnumMap time 33330 gen 42 score 6657 cov 6 BestSoFar EnumMap time 33949 gen 43 score 6657 cov 6 BestSoFar EnumMap time 34561 gen 44 score 6657 cov 6 BestSoFar EnumMap time 35174 gen 45 score 6657 cov 6 BestSoFar EnumMap time 35783 gen 46 score 6657 cov 6 BestSoFar EnumMap time 36401 gen 47 score 6657 cov 6 BestSoFar EnumMap time 37016 gen 48 score 6657 cov 6 BestSoFar EnumMap time 37643 gen 49 score 6657 cov 6 BestSoFar EnumMap time 38278 gen 50 score 6657 cov 6 BestSoFar HashMap time 3465 gen 1 score 328323 cov 328 BestSoFar HashMap time 5556 gen 2 score 328323 cov 328 BestSoFar HashMap time 7017 gen 3 score 367038 cov 368 BestSoFar HashMap time 8360 gen 4 score 367038 cov 368 BestSoFar HashMap time 10512 gen 5 score 375226 cov 377 BestSoFar HashMap time 12549 gen 6 score 375226 cov 377 BestSoFar HashMap time 14632 gen 7 score 387566 cov 389 BestSoFar HashMap time 16876 gen 8 score 388234 cov 390 BestSoFar HashMap time 18988 gen 9 score 388234 cov 390 BestSoFar HashMap time 21156 gen 10 score 388234 cov 390 BestSoFar HashMap time 23662 gen 11 score 388234 cov 390 BestSoFar HashMap time 25799 gen 12 score 388234 cov 390 BestSoFar HashMap time 28018 gen 13 score 389510 cov 392 BestSoFar HashMap time 30319 gen 14 score 389510 cov 392 BestSoFar HashMap time 32930 gen 15 score 396760 cov 398 BestSoFar HashMap time 35721 gen 16 score 397176 cov 399 BestSoFar HashMap time 38445 gen 17 score 397176 cov 399 BestSoFar HashMap time 40901 gen 18 score 397176 cov 399 BestSoFar HashMap time 43563 gen 19 score 397176 cov 399 BestSoFar HashMap time 46480 gen 20 score 397176 cov 399 BestSoFar HashMap time 49775 gen 21 score 398177 cov 400 BestSoFar HashMap time 52671 gen 22 score 399177 cov 401 BestSoFar HashMap time 55715 gen 23 score 408122 cov 411 BestSoFar HashMap time 58816 gen 24 score 408122 cov 411 BestSoFar HashMap time 62008 gen 25 score 416455 cov 419 BestSoFar HashMap time 65332 gen 26 score 416455 cov 419 BestSoFar HashMap time 68579 gen 27 score 416455 cov 419 BestSoFar HashMap time 71788 gen 28 score 416455 cov 419 BestSoFar HashMap time 75049 gen 29 score 416455 cov 419 BestSoFar HashMap time 78227 gen 30 score 416455 cov 419 BestSoFar HashMap time 81907 gen 31 score 416455 cov 419 BestSoFar HashMap time 85203 gen 32 score 416455 cov 419 BestSoFar HashMap time 88748 gen 33 score 420007 cov 423 BestSoFar HashMap time 92068 gen 34 score 420007 cov 423 BestSoFar HashMap time 95808 gen 35 score 422005 cov 425 BestSoFar HashMap time 99921 gen 36 score 422005 cov 425 BestSoFar HashMap time 103961 gen 37 score 423005 cov 426 BestSoFar HashMap time 108226 gen 38 score 423005 cov 426 BestSoFar HashMap time 112295 gen 39 score 423005 cov 426 BestSoFar HashMap time 116439 gen 40 score 423005 cov 426 BestSoFar HashMap time 121338 gen 41 score 423005 cov 426 BestSoFar HashMap time 125624 gen 42 score 423005 cov 426 BestSoFar HashMap time 129881 gen 43 score 423005 cov 426 BestSoFar HashMap time 134284 gen 44 score 423005 cov 426 BestSoFar HashMap time 138464 gen 45 score 423005 cov 426 BestSoFar HashMap time 142677 gen 46 score 423005 cov 426 BestSoFar HashMap time 146771 gen 47 score 423005 cov 426 BestSoFar HashMap time 150895 gen 48 score 423005 cov 426 BestSoFar HashMap time 154829 gen 49 score 424007 cov 427 BestSoFar HashMap time 160299 gen 50 score 428006 cov 431 BestSoFar HashSet time 2155 gen 1 score 261141 cov 261 BestSoFar HashSet time 3506 gen 2 score 303023 cov 304 BestSoFar HashSet time 4806 gen 3 score 303023 cov 304 BestSoFar HashSet time 6436 gen 4 score 306019 cov 307 BestSoFar HashSet time 8704 gen 5 score 309695 cov 311 BestSoFar HashSet time 10740 gen 6 score 310231 cov 311 BestSoFar HashSet time 12760 gen 7 score 313898 cov 315 BestSoFar HashSet time 14559 gen 8 score 313898 cov 315 BestSoFar HashSet time 16403 gen 9 score 313898 cov 315 BestSoFar HashSet time 18330 gen 10 score 313898 cov 315 BestSoFar HashSet time 20765 gen 11 score 313898 cov 315 BestSoFar HashSet time 23002 gen 12 score 314227 cov 316 BestSoFar HashSet time 25258 gen 13 score 314227 cov 316 BestSoFar HashSet time 27422 gen 14 score 314227 cov 316 BestSoFar HashSet time 29516 gen 15 score 314227 cov 316 BestSoFar HashSet time 31690 gen 16 score 314227 cov 316 BestSoFar HashSet time 33898 gen 17 score 314227 cov 316 BestSoFar HashSet time 36502 gen 18 score 317793 cov 319 BestSoFar HashSet time 39524 gen 19 score 317794 cov 319 BestSoFar HashSet time 42162 gen 20 score 317794 cov 319 BestSoFar HashSet time 44929 gen 21 score 317794 cov 319 BestSoFar HashSet time 47613 gen 22 score 318789 cov 320 BestSoFar HashSet time 50251 gen 23 score 318789 cov 320 BestSoFar HashSet time 52974 gen 24 score 318789 cov 320 BestSoFar HashSet time 55697 gen 25 score 318789 cov 320 BestSoFar HashSet time 58388 gen 26 score 318789 cov 320 BestSoFar HashSet time 61190 gen 27 score 318789 cov 320 BestSoFar HashSet time 64204 gen 28 score 318789 cov 320 BestSoFar HashSet time 67605 gen 29 score 318789 cov 320 BestSoFar HashSet time 71228 gen 30 score 318789 cov 320 BestSoFar HashSet time 74451 gen 31 score 318789 cov 320 BestSoFar HashSet time 77606 gen 32 score 318789 cov 320 BestSoFar HashSet time 81079 gen 33 score 318789 cov 320 BestSoFar HashSet time 85069 gen 34 score 318789 cov 320 BestSoFar HashSet time 89160 gen 35 score 318789 cov 320 BestSoFar HashSet time 93013 gen 36 score 318789 cov 320 BestSoFar HashSet time 96786 gen 37 score 318789 cov 320 BestSoFar HashSet time 100288 gen 38 score 318789 cov 320 BestSoFar HashSet time 104034 gen 39 score 318789 cov 320 BestSoFar HashSet time 107577 gen 40 score 318789 cov 320 BestSoFar HashSet time 111037 gen 41 score 318789 cov 320 BestSoFar HashSet time 114458 gen 42 score 318789 cov 320 BestSoFar HashSet time 117789 gen 43 score 318789 cov 320 BestSoFar HashSet time 121045 gen 44 score 318789 cov 320 BestSoFar HashSet time 124322 gen 45 score 318789 cov 320 BestSoFar HashSet time 127684 gen 46 score 318789 cov 320 BestSoFar HashSet time 131158 gen 47 score 318789 cov 320 BestSoFar HashSet time 134522 gen 48 score 318789 cov 320 BestSoFar HashSet time 137824 gen 49 score 318789 cov 320 BestSoFar HashSet time 141341 gen 50 score 318789 cov 320 BestSoFar Hashtable time 3314 gen 1 score 371351 cov 372 BestSoFar Hashtable time 4951 gen 2 score 382728 cov 384 BestSoFar Hashtable time 6768 gen 3 score 382728 cov 384 BestSoFar Hashtable time 8498 gen 4 score 382728 cov 384 BestSoFar Hashtable time 10405 gen 5 score 382728 cov 384 BestSoFar Hashtable time 12199 gen 6 score 385038 cov 386 BestSoFar Hashtable time 14039 gen 7 score 385038 cov 386 BestSoFar Hashtable time 15819 gen 8 score 393699 cov 395 BestSoFar Hashtable time 17615 gen 9 score 393699 cov 395 BestSoFar Hashtable time 19361 gen 10 score 393699 cov 395 BestSoFar Hashtable time 21464 gen 11 score 393699 cov 395 BestSoFar Hashtable time 23212 gen 12 score 393699 cov 395 BestSoFar Hashtable time 25218 gen 13 score 393699 cov 395 BestSoFar Hashtable time 27986 gen 14 score 393699 cov 395 BestSoFar Hashtable time 30810 gen 15 score 399267 cov 402 BestSoFar Hashtable time 34001 gen 16 score 405600 cov 408 BestSoFar Hashtable time 37395 gen 17 score 405600 cov 408 BestSoFar Hashtable time 40798 gen 18 score 405600 cov 408 BestSoFar Hashtable time 44206 gen 19 score 405600 cov 408 BestSoFar Hashtable time 47815 gen 20 score 407689 cov 411 BestSoFar Hashtable time 51957 gen 21 score 407689 cov 411 BestSoFar Hashtable time 55931 gen 22 score 411023 cov 415 BestSoFar Hashtable time 60322 gen 23 score 411023 cov 415 BestSoFar Hashtable time 64733 gen 24 score 411023 cov 415 BestSoFar Hashtable time 69273 gen 25 score 411023 cov 415 BestSoFar Hashtable time 73919 gen 26 score 411023 cov 415 BestSoFar Hashtable time 78839 gen 27 score 411023 cov 415 BestSoFar Hashtable time 83471 gen 28 score 413357 cov 417 BestSoFar Hashtable time 87806 gen 29 score 413357 cov 417 BestSoFar Hashtable time 92100 gen 30 score 413357 cov 417 BestSoFar Hashtable time 96862 gen 31 score 413357 cov 417 BestSoFar Hashtable time 101190 gen 32 score 413681 cov 417 BestSoFar Hashtable time 105540 gen 33 score 413681 cov 417 BestSoFar Hashtable time 109859 gen 34 score 413681 cov 417 BestSoFar Hashtable time 114567 gen 35 score 413681 cov 417 BestSoFar Hashtable time 119560 gen 36 score 413681 cov 417 BestSoFar Hashtable time 124719 gen 37 score 415427 cov 420 BestSoFar Hashtable time 129856 gen 38 score 415427 cov 420 BestSoFar Hashtable time 135047 gen 39 score 415427 cov 420 BestSoFar Hashtable time 140260 gen 40 score 415427 cov 420 BestSoFar Hashtable time 145948 gen 41 score 415427 cov 420 BestSoFar Hashtable time 151359 gen 42 score 415427 cov 420 BestSoFar Hashtable time 156614 gen 43 score 415427 cov 420 BestSoFar Hashtable time 162002 gen 44 score 415427 cov 420 BestSoFar Hashtable time 167537 gen 45 score 415427 cov 420 BestSoFar Hashtable time 173288 gen 46 score 415427 cov 420 BestSoFar Hashtable time 178962 gen 47 score 415427 cov 420 BestSoFar Hashtable time 184943 gen 48 score 415427 cov 420 BestSoFar Hashtable time 191110 gen 49 score 415427 cov 420 BestSoFar Hashtable time 197178 gen 50 score 415427 cov 420 BestSoFar IdentityHashMap time 3129 gen 1 score 332657 cov 333 BestSoFar IdentityHashMap time 4198 gen 2 score 332657 cov 333 BestSoFar IdentityHashMap time 5085 gen 3 score 354557 cov 355 BestSoFar IdentityHashMap time 6266 gen 4 score 354557 cov 355 BestSoFar IdentityHashMap time 7335 gen 5 score 354557 cov 355 BestSoFar IdentityHashMap time 8798 gen 6 score 360517 cov 361 BestSoFar IdentityHashMap time 10516 gen 7 score 382591 cov 383 BestSoFar IdentityHashMap time 12160 gen 8 score 382591 cov 383 BestSoFar IdentityHashMap time 13834 gen 9 score 382591 cov 383 BestSoFar IdentityHashMap time 15480 gen 10 score 382591 cov 383 BestSoFar IdentityHashMap time 17379 gen 11 score 382591 cov 383 BestSoFar IdentityHashMap time 18946 gen 12 score 382591 cov 383 BestSoFar IdentityHashMap time 20409 gen 13 score 382591 cov 383 BestSoFar IdentityHashMap time 21967 gen 14 score 382591 cov 383 BestSoFar IdentityHashMap time 23522 gen 15 score 383258 cov 384 BestSoFar IdentityHashMap time 25008 gen 16 score 383258 cov 384 BestSoFar IdentityHashMap time 26448 gen 17 score 383258 cov 384 BestSoFar IdentityHashMap time 27918 gen 18 score 383258 cov 384 BestSoFar IdentityHashMap time 29400 gen 19 score 387924 cov 389 BestSoFar IdentityHashMap time 30899 gen 20 score 387924 cov 389 BestSoFar IdentityHashMap time 32996 gen 21 score 404649 cov 406 BestSoFar IdentityHashMap time 34878 gen 22 score 404649 cov 406 BestSoFar IdentityHashMap time 36685 gen 23 score 404649 cov 406 BestSoFar IdentityHashMap time 39015 gen 24 score 404649 cov 406 BestSoFar IdentityHashMap time 41487 gen 25 score 404649 cov 406 BestSoFar IdentityHashMap time 43964 gen 26 score 405648 cov 407 BestSoFar IdentityHashMap time 46356 gen 27 score 409980 cov 412 BestSoFar IdentityHashMap time 48793 gen 28 score 409980 cov 412 BestSoFar IdentityHashMap time 51365 gen 29 score 409980 cov 412 BestSoFar IdentityHashMap time 53942 gen 30 score 409980 cov 412 BestSoFar IdentityHashMap time 56917 gen 31 score 409980 cov 412 BestSoFar IdentityHashMap time 59620 gen 32 score 409980 cov 412 BestSoFar IdentityHashMap time 62465 gen 33 score 409980 cov 412 BestSoFar IdentityHashMap time 65376 gen 34 score 409980 cov 412 BestSoFar IdentityHashMap time 68453 gen 35 score 409980 cov 412 BestSoFar IdentityHashMap time 71237 gen 36 score 409980 cov 412 BestSoFar IdentityHashMap time 74049 gen 37 score 409980 cov 412 BestSoFar IdentityHashMap time 76841 gen 38 score 409980 cov 412 BestSoFar IdentityHashMap time 79630 gen 39 score 409980 cov 412 BestSoFar IdentityHashMap time 82303 gen 40 score 409980 cov 412 BestSoFar IdentityHashMap time 85265 gen 41 score 409980 cov 412 BestSoFar IdentityHashMap time 87919 gen 42 score 409980 cov 412 BestSoFar IdentityHashMap time 90627 gen 43 score 411506 cov 414 BestSoFar IdentityHashMap time 93313 gen 44 score 411506 cov 414 BestSoFar IdentityHashMap time 95972 gen 45 score 411506 cov 414 BestSoFar IdentityHashMap time 98876 gen 46 score 411506 cov 414 BestSoFar IdentityHashMap time 101944 gen 47 score 411506 cov 414 BestSoFar IdentityHashMap time 105187 gen 48 score 411506 cov 414 BestSoFar IdentityHashMap time 108512 gen 49 score 411506 cov 414 BestSoFar IdentityHashMap time 111908 gen 50 score 411506 cov 414 BestSoFar LinkedHashMap time 2329 gen 1 score 249191 cov 250 BestSoFar LinkedHashMap time 3886 gen 2 score 271191 cov 272 BestSoFar LinkedHashMap time 5401 gen 3 score 271191 cov 272 BestSoFar LinkedHashMap time 6628 gen 4 score 271191 cov 272 BestSoFar LinkedHashMap time 7781 gen 5 score 273471 cov 274 BestSoFar LinkedHashMap time 8894 gen 6 score 275547 cov 276 BestSoFar LinkedHashMap time 9966 gen 7 score 275547 cov 276 BestSoFar LinkedHashMap time 11045 gen 8 score 275547 cov 276 BestSoFar LinkedHashMap time 12160 gen 9 score 283148 cov 284 BestSoFar LinkedHashMap time 13439 gen 10 score 283148 cov 284 BestSoFar LinkedHashMap time 15369 gen 11 score 283148 cov 284 BestSoFar LinkedHashMap time 17169 gen 12 score 283148 cov 284 BestSoFar LinkedHashMap time 19146 gen 13 score 283148 cov 284 BestSoFar LinkedHashMap time 21552 gen 14 score 283148 cov 284 BestSoFar LinkedHashMap time 24236 gen 15 score 284367 cov 287 BestSoFar LinkedHashMap time 27047 gen 16 score 287709 cov 290 BestSoFar LinkedHashMap time 30614 gen 17 score 290745 cov 294 BestSoFar LinkedHashMap time 34319 gen 18 score 292040 cov 295 BestSoFar LinkedHashMap time 38296 gen 19 score 292040 cov 295 BestSoFar LinkedHashMap time 42395 gen 20 score 292040 cov 295 BestSoFar LinkedHashMap time 46605 gen 21 score 292078 cov 296 BestSoFar LinkedHashMap time 50890 gen 22 score 292078 cov 296 BestSoFar LinkedHashMap time 55274 gen 23 score 292078 cov 296 BestSoFar LinkedHashMap time 59744 gen 24 score 292078 cov 296 BestSoFar LinkedHashMap time 64137 gen 25 score 292078 cov 296 BestSoFar LinkedHashMap time 68748 gen 26 score 292078 cov 296 BestSoFar LinkedHashMap time 73503 gen 27 score 292078 cov 296 BestSoFar LinkedHashMap time 78013 gen 28 score 292078 cov 296 BestSoFar LinkedHashMap time 82540 gen 29 score 292078 cov 296 BestSoFar LinkedHashMap time 87095 gen 30 score 292365 cov 296 BestSoFar LinkedHashMap time 91633 gen 31 score 292365 cov 296 BestSoFar LinkedHashMap time 96067 gen 32 score 294080 cov 298 BestSoFar LinkedHashMap time 100466 gen 33 score 294080 cov 298 BestSoFar LinkedHashMap time 104850 gen 34 score 294080 cov 298 BestSoFar LinkedHashMap time 109264 gen 35 score 294080 cov 298 BestSoFar LinkedHashMap time 113834 gen 36 score 294080 cov 298 BestSoFar LinkedHashMap time 118725 gen 37 score 294080 cov 298 BestSoFar LinkedHashMap time 124252 gen 38 score 294080 cov 298 BestSoFar LinkedHashMap time 130323 gen 39 score 294080 cov 298 BestSoFar LinkedHashMap time 136850 gen 40 score 294080 cov 298 BestSoFar LinkedHashMap time 143544 gen 41 score 294080 cov 298 BestSoFar LinkedHashMap time 150191 gen 42 score 294080 cov 298 BestSoFar LinkedHashMap time 157219 gen 43 score 295139 cov 300 BestSoFar LinkedHashMap time 164130 gen 44 score 295139 cov 300 BestSoFar LinkedHashMap time 170422 gen 45 score 295139 cov 300 BestSoFar LinkedHashMap time 176746 gen 46 score 295139 cov 300 BestSoFar LinkedHashMap time 183225 gen 47 score 295139 cov 300 BestSoFar LinkedHashMap time 189706 gen 48 score 295139 cov 300 BestSoFar LinkedHashMap time 195983 gen 49 score 295140 cov 300 BestSoFar LinkedHashMap time 202572 gen 50 score 295140 cov 300 BestSoFar LinkedHashSet time 2125 gen 1 score 253956 cov 254 BestSoFar LinkedHashSet time 3787 gen 2 score 261621 cov 262 BestSoFar LinkedHashSet time 5989 gen 3 score 266623 cov 267 BestSoFar LinkedHashSet time 7746 gen 4 score 266623 cov 267 BestSoFar LinkedHashSet time 9384 gen 5 score 266623 cov 267 BestSoFar LinkedHashSet time 10764 gen 6 score 266623 cov 267 BestSoFar LinkedHashSet time 11945 gen 7 score 266623 cov 267 BestSoFar LinkedHashSet time 13166 gen 8 score 266623 cov 267 BestSoFar LinkedHashSet time 14504 gen 9 score 266859 cov 267 BestSoFar LinkedHashSet time 16122 gen 10 score 269393 cov 271 BestSoFar LinkedHashSet time 18218 gen 11 score 269393 cov 271 BestSoFar LinkedHashSet time 20180 gen 12 score 269393 cov 271 BestSoFar LinkedHashSet time 22252 gen 13 score 269393 cov 271 BestSoFar LinkedHashSet time 24283 gen 14 score 270382 cov 272 BestSoFar LinkedHashSet time 26208 gen 15 score 270382 cov 272 BestSoFar LinkedHashSet time 28303 gen 16 score 270382 cov 272 BestSoFar LinkedHashSet time 30382 gen 17 score 270382 cov 272 BestSoFar LinkedHashSet time 32414 gen 18 score 270718 cov 272 BestSoFar LinkedHashSet time 34576 gen 19 score 270718 cov 272 BestSoFar LinkedHashSet time 36774 gen 20 score 270718 cov 272 BestSoFar LinkedHashSet time 39098 gen 21 score 270719 cov 272 BestSoFar LinkedHashSet time 41355 gen 22 score 270719 cov 272 BestSoFar LinkedHashSet time 43979 gen 23 score 270719 cov 272 BestSoFar LinkedHashSet time 46115 gen 24 score 270719 cov 272 BestSoFar LinkedHashSet time 48310 gen 25 score 270719 cov 272 BestSoFar LinkedHashSet time 50663 gen 26 score 270719 cov 272 BestSoFar LinkedHashSet time 53211 gen 27 score 270719 cov 272 BestSoFar LinkedHashSet time 55608 gen 28 score 271392 cov 273 BestSoFar LinkedHashSet time 58014 gen 29 score 271392 cov 273 BestSoFar LinkedHashSet time 60206 gen 30 score 271392 cov 273 BestSoFar LinkedHashSet time 62482 gen 31 score 271392 cov 273 BestSoFar LinkedHashSet time 64400 gen 32 score 271392 cov 273 BestSoFar LinkedHashSet time 66371 gen 33 score 271392 cov 273 BestSoFar LinkedHashSet time 68608 gen 34 score 271392 cov 273 BestSoFar LinkedHashSet time 70818 gen 35 score 271392 cov 273 BestSoFar LinkedHashSet time 73125 gen 36 score 271392 cov 273 BestSoFar LinkedHashSet time 75360 gen 37 score 271392 cov 273 BestSoFar LinkedHashSet time 77735 gen 38 score 271392 cov 273 BestSoFar LinkedHashSet time 80155 gen 39 score 271392 cov 273 BestSoFar LinkedHashSet time 82534 gen 40 score 271392 cov 273 BestSoFar LinkedHashSet time 85125 gen 41 score 271392 cov 273 BestSoFar LinkedHashSet time 87547 gen 42 score 271392 cov 273 BestSoFar LinkedHashSet time 90054 gen 43 score 271392 cov 273 BestSoFar LinkedHashSet time 92679 gen 44 score 271392 cov 273 BestSoFar LinkedHashSet time 95462 gen 45 score 271392 cov 273 BestSoFar LinkedHashSet time 98140 gen 46 score 271392 cov 273 BestSoFar LinkedHashSet time 100863 gen 47 score 271392 cov 273 BestSoFar LinkedHashSet time 103531 gen 48 score 271392 cov 273 BestSoFar LinkedHashSet time 106202 gen 49 score 271392 cov 273 BestSoFar LinkedHashSet time 108935 gen 50 score 271392 cov 273 BestSoFar LinkedList time 2516 gen 1 score 239035 cov 239 BestSoFar LinkedList time 3518 gen 2 score 240473 cov 241 BestSoFar LinkedList time 4417 gen 3 score 255473 cov 256 BestSoFar LinkedList time 5489 gen 4 score 255473 cov 256 BestSoFar LinkedList time 6575 gen 5 score 255473 cov 256 BestSoFar LinkedList time 7619 gen 6 score 255473 cov 256 BestSoFar LinkedList time 8764 gen 7 score 255737 cov 257 BestSoFar LinkedList time 10184 gen 8 score 264626 cov 266 BestSoFar LinkedList time 11982 gen 9 score 264626 cov 266 BestSoFar LinkedList time 14588 gen 10 score 264626 cov 266 BestSoFar LinkedList time 17637 gen 11 score 267293 cov 269 BestSoFar LinkedList time 20322 gen 12 score 267293 cov 269 BestSoFar LinkedList time 22970 gen 13 score 267293 cov 269 BestSoFar LinkedList time 25580 gen 14 score 267293 cov 269 BestSoFar LinkedList time 28282 gen 15 score 267293 cov 269 BestSoFar LinkedList time 30949 gen 16 score 267293 cov 269 BestSoFar LinkedList time 33529 gen 17 score 267293 cov 269 BestSoFar LinkedList time 36044 gen 18 score 267293 cov 269 BestSoFar LinkedList time 38570 gen 19 score 267293 cov 269 BestSoFar LinkedList time 41084 gen 20 score 267293 cov 269 BestSoFar LinkedList time 43782 gen 21 score 267293 cov 269 BestSoFar LinkedList time 46272 gen 22 score 267293 cov 269 BestSoFar LinkedList time 48852 gen 23 score 267961 cov 270 BestSoFar LinkedList time 51479 gen 24 score 267961 cov 270 BestSoFar LinkedList time 54195 gen 25 score 267961 cov 270 BestSoFar LinkedList time 56974 gen 26 score 271763 cov 274 BestSoFar LinkedList time 60332 gen 27 score 271763 cov 274 BestSoFar LinkedList time 64406 gen 28 score 271763 cov 274 BestSoFar LinkedList time 68571 gen 29 score 271763 cov 274 BestSoFar LinkedList time 75668 gen 30 score 271763 cov 274 BestSoFar LinkedList time 80489 gen 31 score 271763 cov 274 BestSoFar LinkedList time 84725 gen 32 score 271763 cov 274 BestSoFar LinkedList time 96670 gen 33 score 271763 cov 274 BestSoFar LinkedList time 101285 gen 34 score 272105 cov 275 BestSoFar LinkedList time 105626 gen 35 score 272105 cov 275 BestSoFar LinkedList time 109610 gen 36 score 272105 cov 275 BestSoFar LinkedList time 113433 gen 37 score 272105 cov 275 BestSoFar LinkedList time 117375 gen 38 score 272117 cov 275 BestSoFar LinkedList time 121347 gen 39 score 272117 cov 275 BestSoFar LinkedList time 125266 gen 40 score 272117 cov 275 BestSoFar LinkedList time 129333 gen 41 score 272117 cov 275 BestSoFar LinkedList time 133596 gen 42 score 272445 cov 275 BestSoFar LinkedList time 138188 gen 43 score 272453 cov 275 BestSoFar LinkedList time 142513 gen 44 score 273453 cov 276 BestSoFar LinkedList time 146915 gen 45 score 273453 cov 276 BestSoFar LinkedList time 151581 gen 46 score 273453 cov 276 BestSoFar LinkedList time 156152 gen 47 score 273453 cov 276 BestSoFar LinkedList time 160702 gen 48 score 273453 cov 276 BestSoFar LinkedList time 165154 gen 49 score 273453 cov 276 BestSoFar LinkedList time 169664 gen 50 score 273453 cov 276 BestSoFar PriorityQueue time 2645 gen 1 score 182037 cov 182 BestSoFar PriorityQueue time 3914 gen 2 score 189700 cov 190 BestSoFar PriorityQueue time 4943 gen 3 score 189700 cov 190 BestSoFar PriorityQueue time 6128 gen 4 score 195396 cov 196 BestSoFar PriorityQueue time 7493 gen 5 score 203479 cov 204 BestSoFar PriorityQueue time 8966 gen 6 score 204813 cov 206 BestSoFar PriorityQueue time 10736 gen 7 score 204813 cov 206 BestSoFar PriorityQueue time 12413 gen 8 score 204813 cov 206 BestSoFar PriorityQueue time 14206 gen 9 score 217987 cov 220 BestSoFar PriorityQueue time 16133 gen 10 score 217987 cov 220 BestSoFar PriorityQueue time 18915 gen 11 score 217987 cov 220 BestSoFar PriorityQueue time 21321 gen 12 score 217987 cov 220 BestSoFar PriorityQueue time 23650 gen 13 score 217987 cov 220 BestSoFar PriorityQueue time 26051 gen 14 score 217987 cov 220 BestSoFar PriorityQueue time 28291 gen 15 score 219099 cov 221 BestSoFar PriorityQueue time 30624 gen 16 score 219099 cov 221 BestSoFar PriorityQueue time 32889 gen 17 score 228978 cov 231 BestSoFar PriorityQueue time 35016 gen 18 score 228978 cov 231 BestSoFar PriorityQueue time 37142 gen 19 score 228978 cov 231 BestSoFar PriorityQueue time 39216 gen 20 score 228978 cov 231 BestSoFar PriorityQueue time 41517 gen 21 score 228978 cov 231 BestSoFar PriorityQueue time 43630 gen 22 score 228978 cov 231 BestSoFar PriorityQueue time 45962 gen 23 score 228978 cov 231 BestSoFar PriorityQueue time 48230 gen 24 score 228978 cov 231 BestSoFar PriorityQueue time 50556 gen 25 score 228978 cov 231 BestSoFar PriorityQueue time 52814 gen 26 score 228978 cov 231 BestSoFar PriorityQueue time 55320 gen 27 score 228978 cov 231 BestSoFar PriorityQueue time 58252 gen 28 score 228978 cov 231 BestSoFar PriorityQueue time 61383 gen 29 score 228978 cov 231 BestSoFar PriorityQueue time 64478 gen 30 score 228978 cov 231 BestSoFar PriorityQueue time 67942 gen 31 score 228978 cov 231 BestSoFar PriorityQueue time 71145 gen 32 score 228978 cov 231 BestSoFar PriorityQueue time 74314 gen 33 score 228978 cov 231 BestSoFar PriorityQueue time 77382 gen 34 score 228978 cov 231 BestSoFar PriorityQueue time 80402 gen 35 score 228978 cov 231 BestSoFar PriorityQueue time 83397 gen 36 score 228978 cov 231 BestSoFar PriorityQueue time 86511 gen 37 score 228978 cov 231 BestSoFar PriorityQueue time 89811 gen 38 score 228978 cov 231 BestSoFar PriorityQueue time 93058 gen 39 score 228978 cov 231 BestSoFar PriorityQueue time 96262 gen 40 score 228978 cov 231 BestSoFar PriorityQueue time 99479 gen 41 score 228978 cov 231 BestSoFar PriorityQueue time 102427 gen 42 score 228978 cov 231 BestSoFar PriorityQueue time 105396 gen 43 score 228978 cov 231 BestSoFar PriorityQueue time 108373 gen 44 score 228978 cov 231 BestSoFar PriorityQueue time 111298 gen 45 score 232472 cov 235 BestSoFar PriorityQueue time 114369 gen 46 score 232472 cov 235 BestSoFar PriorityQueue time 117465 gen 47 score 232472 cov 235 BestSoFar PriorityQueue time 120731 gen 48 score 232647 cov 235 BestSoFar PriorityQueue time 123758 gen 49 score 232647 cov 235 BestSoFar PriorityQueue time 126631 gen 50 score 232647 cov 235 BestSoFar Properties time 4220 gen 1 score 235437 cov 235 BestSoFar Properties time 8143 gen 2 score 270477 cov 271 BestSoFar Properties time 19041 gen 3 score 297474 cov 298 BestSoFar Properties time 34709 gen 4 score 297474 cov 298 BestSoFar Properties time 49161 gen 5 score 297474 cov 298 BestSoFar Properties time 59904 gen 6 score 297817 cov 299 BestSoFar Properties time 75745 gen 7 score 297817 cov 299 BestSoFar Properties time 92637 gen 8 score 297817 cov 299 BestSoFar Properties time 106659 gen 9 score 297817 cov 299 BestSoFar Properties time 118744 gen 10 score 297819 cov 299 BestSoFar Properties time 127387 gen 11 score 297819 cov 299 BestSoFar Properties time 139655 gen 12 score 297819 cov 299 BestSoFar Properties time 151328 gen 13 score 297819 cov 299 BestSoFar Properties time 163236 gen 14 score 297819 cov 299 BestSoFar Properties time 178729 gen 15 score 297819 cov 299 BestSoFar Properties time 192868 gen 16 score 297819 cov 299 BestSoFar Properties time 209840 gen 17 score 297819 cov 299 BestSoFar Properties time 219670 gen 18 score 297819 cov 299 BestSoFar Properties time 227315 gen 19 score 298011 cov 299 BestSoFar Properties time 235102 gen 20 score 298011 cov 299 BestSoFar Properties time 243263 gen 21 score 298011 cov 299 BestSoFar Properties time 250750 gen 22 score 298011 cov 299 BestSoFar Properties time 257814 gen 23 score 298011 cov 299 BestSoFar Properties time 265371 gen 24 score 298011 cov 299 BestSoFar Properties time 275040 gen 25 score 298011 cov 299 BestSoFar Properties time 281535 gen 26 score 298011 cov 299 BestSoFar Properties time 292174 gen 27 score 298011 cov 299 BestSoFar Properties time 305467 gen 28 score 298011 cov 299 BestSoFar Properties time 314110 gen 29 score 298011 cov 299 BestSoFar Properties time 331270 gen 30 score 298011 cov 299 BestSoFar Properties time 353193 gen 31 score 298011 cov 299 BestSoFar Properties time 370587 gen 32 score 298011 cov 299 BestSoFar Properties time 383695 gen 33 score 298011 cov 299 BestSoFar Properties time 399198 gen 34 score 298011 cov 299 BestSoFar Properties time 412108 gen 35 score 298011 cov 299 BestSoFar Properties time 427452 gen 36 score 298011 cov 299 BestSoFar Properties time 443390 gen 37 score 298011 cov 299 BestSoFar Properties time 457012 gen 38 score 298011 cov 299 BestSoFar Properties time 471181 gen 39 score 298011 cov 299 BestSoFar Properties time 483756 gen 40 score 298011 cov 299 BestSoFar Properties time 497951 gen 41 score 298011 cov 299 BestSoFar Properties time 509688 gen 42 score 298011 cov 299 BestSoFar Properties time 518640 gen 43 score 298011 cov 299 BestSoFar Properties time 527998 gen 44 score 298011 cov 299 BestSoFar Properties time 543418 gen 45 score 298011 cov 299 BestSoFar Properties time 559247 gen 46 score 298011 cov 299 BestSoFar Properties time 572405 gen 47 score 298011 cov 299 BestSoFar Properties time 594525 gen 48 score 298011 cov 299 BestSoFar Properties time 631206 gen 49 score 298011 cov 299 BestSoFar Properties time 671181 gen 50 score 298011 cov 299 BestSoFar Stack time 1457 gen 1 score 77613 cov 77 BestSoFar Stack time 2731 gen 2 score 84405 cov 85 BestSoFar Stack time 4410 gen 3 score 85738 cov 86 BestSoFar Stack time 6126 gen 4 score 85738 cov 86 BestSoFar Stack time 8012 gen 5 score 85738 cov 86 BestSoFar Stack time 9706 gen 6 score 85738 cov 86 BestSoFar Stack time 11150 gen 7 score 85738 cov 86 BestSoFar Stack time 12328 gen 8 score 85738 cov 86 BestSoFar Stack time 13161 gen 9 score 85879 cov 86 BestSoFar Stack time 14251 gen 10 score 85879 cov 86 BestSoFar Stack time 14998 gen 11 score 85879 cov 86 BestSoFar Stack time 15666 gen 12 score 86004 cov 86 BestSoFar Stack time 16365 gen 13 score 86004 cov 86 BestSoFar Stack time 17033 gen 14 score 86336 cov 86 BestSoFar Stack time 17709 gen 15 score 86336 cov 86 BestSoFar Stack time 18304 gen 16 score 86336 cov 86 BestSoFar Stack time 18860 gen 17 score 86337 cov 86 BestSoFar Stack time 19429 gen 18 score 86337 cov 86 BestSoFar Stack time 19989 gen 19 score 86337 cov 86 BestSoFar Stack time 20486 gen 20 score 86337 cov 86 BestSoFar Stack time 21041 gen 21 score 86337 cov 86 BestSoFar Stack time 21558 gen 22 score 86337 cov 86 BestSoFar Stack time 22058 gen 23 score 86337 cov 86 BestSoFar Stack time 22649 gen 24 score 86337 cov 86 BestSoFar Stack time 23146 gen 25 score 86337 cov 86 BestSoFar Stack time 23702 gen 26 score 86337 cov 86 BestSoFar Stack time 24175 gen 27 score 86337 cov 86 BestSoFar Stack time 24657 gen 28 score 86337 cov 86 BestSoFar Stack time 25136 gen 29 score 86337 cov 86 BestSoFar Stack time 25698 gen 30 score 86339 cov 86 BestSoFar Stack time 26173 gen 31 score 86339 cov 86 BestSoFar Stack time 26643 gen 32 score 86339 cov 86 BestSoFar Stack time 27089 gen 33 score 86339 cov 86 BestSoFar Stack time 27520 gen 34 score 86673 cov 87 BestSoFar Stack time 28016 gen 35 score 86673 cov 87 BestSoFar Stack time 28471 gen 36 score 86673 cov 87 BestSoFar Stack time 28961 gen 37 score 86673 cov 87 BestSoFar Stack time 29386 gen 38 score 86673 cov 87 BestSoFar Stack time 29829 gen 39 score 86673 cov 87 BestSoFar Stack time 30326 gen 40 score 86673 cov 87 BestSoFar Stack time 30837 gen 41 score 86673 cov 87 BestSoFar Stack time 31292 gen 42 score 86673 cov 87 BestSoFar Stack time 31750 gen 43 score 86673 cov 87 BestSoFar Stack time 32205 gen 44 score 86673 cov 87 BestSoFar Stack time 32666 gen 45 score 86673 cov 87 BestSoFar Stack time 33211 gen 46 score 86673 cov 87 BestSoFar Stack time 33809 gen 47 score 86673 cov 87 BestSoFar Stack time 34282 gen 48 score 86673 cov 87 BestSoFar Stack time 34806 gen 49 score 86673 cov 87 BestSoFar Stack time 35328 gen 50 score 86673 cov 87 BestSoFar TreeMap time 3326 gen 1 score 437592 cov 438 BestSoFar TreeMap time 5274 gen 2 score 464348 cov 465 BestSoFar TreeMap time 6591 gen 3 score 464348 cov 465 BestSoFar TreeMap time 8107 gen 4 score 464348 cov 465 BestSoFar TreeMap time 9582 gen 5 score 471350 cov 472 BestSoFar TreeMap time 11017 gen 6 score 499684 cov 500 BestSoFar TreeMap time 12475 gen 7 score 499684 cov 500 BestSoFar TreeMap time 13902 gen 8 score 499684 cov 500 BestSoFar TreeMap time 15685 gen 9 score 572799 cov 574 BestSoFar TreeMap time 17482 gen 10 score 572799 cov 574 BestSoFar TreeMap time 20557 gen 11 score 572799 cov 574 BestSoFar TreeMap time 23089 gen 12 score 572799 cov 574 BestSoFar TreeMap time 25488 gen 13 score 572799 cov 574 BestSoFar TreeMap time 28519 gen 14 score 572799 cov 574 BestSoFar TreeMap time 31747 gen 15 score 572799 cov 574 BestSoFar TreeMap time 35714 gen 16 score 610045 cov 612 BestSoFar TreeMap time 39735 gen 17 score 610045 cov 612 BestSoFar TreeMap time 43599 gen 18 score 631379 cov 634 BestSoFar TreeMap time 47220 gen 19 score 631379 cov 634 BestSoFar TreeMap time 51209 gen 20 score 631379 cov 634 BestSoFar TreeMap time 55671 gen 21 score 631379 cov 634 BestSoFar TreeMap time 59845 gen 22 score 631379 cov 634 BestSoFar TreeMap time 64059 gen 23 score 636054 cov 639 BestSoFar TreeMap time 68494 gen 24 score 640753 cov 644 BestSoFar TreeMap time 72694 gen 25 score 640753 cov 644 BestSoFar TreeMap time 76878 gen 26 score 645379 cov 648 BestSoFar TreeMap time 81362 gen 27 score 650623 cov 655 BestSoFar TreeMap time 85987 gen 28 score 654956 cov 659 BestSoFar TreeMap time 90889 gen 29 score 665622 cov 670 BestSoFar TreeMap time 96568 gen 30 score 665622 cov 670 BestSoFar TreeMap time 102743 gen 31 score 665622 cov 670 BestSoFar TreeMap time 108497 gen 32 score 665622 cov 670 BestSoFar TreeMap time 114352 gen 33 score 666959 cov 671 BestSoFar TreeMap time 120467 gen 34 score 666959 cov 671 BestSoFar TreeMap time 126699 gen 35 score 666959 cov 671 BestSoFar TreeMap time 133366 gen 36 score 667665 cov 673 BestSoFar TreeMap time 140439 gen 37 score 667665 cov 673 BestSoFar TreeMap time 148232 gen 38 score 686123 cov 693 BestSoFar TreeMap time 156837 gen 39 score 686123 cov 693 BestSoFar TreeMap time 165751 gen 40 score 686123 cov 693 BestSoFar TreeMap time 175620 gen 41 score 686123 cov 693 BestSoFar TreeMap time 184679 gen 42 score 686123 cov 693 BestSoFar TreeMap time 193713 gen 43 score 686123 cov 693 BestSoFar TreeMap time 202948 gen 44 score 686123 cov 693 BestSoFar TreeMap time 212205 gen 45 score 686123 cov 693 BestSoFar TreeMap time 221323 gen 46 score 686123 cov 693 BestSoFar TreeMap time 230693 gen 47 score 686123 cov 693 BestSoFar TreeMap time 239776 gen 48 score 686123 cov 693 BestSoFar TreeMap time 249071 gen 49 score 686123 cov 693 BestSoFar TreeMap time 258291 gen 50 score 686123 cov 693 BestSoFar TreeSet time 2373 gen 1 score 394070 cov 394 BestSoFar TreeSet time 3509 gen 2 score 416507 cov 417 BestSoFar TreeSet time 4752 gen 3 score 444841 cov 446 BestSoFar TreeSet time 6607 gen 4 score 471174 cov 472 BestSoFar TreeSet time 8575 gen 5 score 471174 cov 472 BestSoFar TreeSet time 10565 gen 6 score 471174 cov 472 BestSoFar TreeSet time 12797 gen 7 score 506267 cov 508 BestSoFar TreeSet time 15143 gen 8 score 506267 cov 508 BestSoFar TreeSet time 17800 gen 9 score 543272 cov 545 BestSoFar TreeSet time 20529 gen 10 score 543272 cov 545 BestSoFar TreeSet time 23645 gen 11 score 553921 cov 556 BestSoFar TreeSet time 26466 gen 12 score 553921 cov 556 BestSoFar TreeSet time 29390 gen 13 score 562272 cov 564 BestSoFar TreeSet time 32285 gen 14 score 569273 cov 571 BestSoFar TreeSet time 35161 gen 15 score 569273 cov 571 BestSoFar TreeSet time 38178 gen 16 score 574600 cov 577 BestSoFar TreeSet time 41291 gen 17 score 583933 cov 586 BestSoFar TreeSet time 44764 gen 18 score 583933 cov 586 BestSoFar TreeSet time 48312 gen 19 score 584286 cov 587 BestSoFar TreeSet time 51832 gen 20 score 584286 cov 587 BestSoFar TreeSet time 55424 gen 21 score 584286 cov 587 BestSoFar TreeSet time 58917 gen 22 score 584286 cov 587 BestSoFar TreeSet time 62559 gen 23 score 584286 cov 587 BestSoFar TreeSet time 66176 gen 24 score 584286 cov 587 BestSoFar TreeSet time 69743 gen 25 score 584952 cov 587 BestSoFar TreeSet time 73440 gen 26 score 585629 cov 588 BestSoFar TreeSet time 77011 gen 27 score 585629 cov 588 BestSoFar TreeSet time 80651 gen 28 score 585629 cov 588 BestSoFar TreeSet time 84336 gen 29 score 585629 cov 588 BestSoFar TreeSet time 88326 gen 30 score 585629 cov 588 BestSoFar TreeSet time 92562 gen 31 score 587686 cov 591 BestSoFar TreeSet time 97115 gen 32 score 587686 cov 591 BestSoFar TreeSet time 101471 gen 33 score 587686 cov 591 BestSoFar TreeSet time 106073 gen 34 score 588020 cov 592 BestSoFar TreeSet time 111232 gen 35 score 588020 cov 592 BestSoFar TreeSet time 116589 gen 36 score 588020 cov 592 BestSoFar TreeSet time 122364 gen 37 score 588020 cov 592 BestSoFar TreeSet time 128312 gen 38 score 588020 cov 592 BestSoFar TreeSet time 134147 gen 39 score 588020 cov 592 BestSoFar TreeSet time 139996 gen 40 score 588020 cov 592 BestSoFar TreeSet time 146230 gen 41 score 588020 cov 592 BestSoFar TreeSet time 152341 gen 42 score 588319 cov 592 BestSoFar TreeSet time 158437 gen 43 score 588319 cov 592 BestSoFar TreeSet time 164071 gen 44 score 588319 cov 592 BestSoFar TreeSet time 169759 gen 45 score 588319 cov 592 BestSoFar TreeSet time 175486 gen 46 score 588319 cov 592 BestSoFar TreeSet time 181414 gen 47 score 588319 cov 592 BestSoFar TreeSet time 187435 gen 48 score 588319 cov 592 BestSoFar TreeSet time 193450 gen 49 score 588319 cov 592 BestSoFar TreeSet time 199331 gen 50 score 588319 cov 592 BestSoFar Vector time 4333 gen 1 score 316526 cov 317 BestSoFar Vector time 5874 gen 2 score 316526 cov 317 BestSoFar Vector time 7280 gen 3 score 383818 cov 385 BestSoFar Vector time 8685 gen 4 score 383818 cov 385 BestSoFar Vector time 10498 gen 5 score 383818 cov 385 BestSoFar Vector time 12894 gen 6 score 391218 cov 393 BestSoFar Vector time 15281 gen 7 score 391218 cov 393 BestSoFar Vector time 17925 gen 8 score 419213 cov 421 BestSoFar Vector time 21190 gen 9 score 419213 cov 421 BestSoFar Vector time 24452 gen 10 score 425881 cov 428 BestSoFar Vector time 28357 gen 11 score 425881 cov 428 BestSoFar Vector time 31681 gen 12 score 432870 cov 435 BestSoFar Vector time 34907 gen 13 score 432870 cov 435 BestSoFar Vector time 38377 gen 14 score 432870 cov 435 BestSoFar Vector time 41917 gen 15 score 432870 cov 435 BestSoFar Vector time 45597 gen 16 score 440434 cov 443 BestSoFar Vector time 49389 gen 17 score 440434 cov 443 BestSoFar Vector time 53377 gen 18 score 440434 cov 443 BestSoFar Vector time 57272 gen 19 score 440434 cov 443 BestSoFar Vector time 61338 gen 20 score 440434 cov 443 BestSoFar Vector time 66187 gen 21 score 440434 cov 443 BestSoFar Vector time 70716 gen 22 score 440434 cov 443 BestSoFar Vector time 75629 gen 23 score 449683 cov 454 BestSoFar Vector time 80559 gen 24 score 449683 cov 454 BestSoFar Vector time 85172 gen 25 score 453434 cov 457 BestSoFar Vector time 89863 gen 26 score 453434 cov 457 BestSoFar Vector time 94709 gen 27 score 453434 cov 457 BestSoFar Vector time 99797 gen 28 score 453434 cov 457 BestSoFar Vector time 105009 gen 29 score 453434 cov 457 BestSoFar Vector time 110557 gen 30 score 456203 cov 461 BestSoFar Vector time 116375 gen 31 score 456203 cov 461 BestSoFar Vector time 122003 gen 32 score 456203 cov 461 BestSoFar Vector time 127395 gen 33 score 456203 cov 461 BestSoFar Vector time 133043 gen 34 score 456530 cov 461 BestSoFar Vector time 138543 gen 35 score 456530 cov 461 BestSoFar Vector time 143682 gen 36 score 456530 cov 461 BestSoFar Vector time 149115 gen 37 score 457527 cov 462 BestSoFar Vector time 155108 gen 38 score 457527 cov 462 BestSoFar Vector time 160944 gen 39 score 457527 cov 462 BestSoFar Vector time 167008 gen 40 score 457527 cov 462 BestSoFar Vector time 173607 gen 41 score 457527 cov 462 BestSoFar Vector time 179589 gen 42 score 457527 cov 462 BestSoFar Vector time 185653 gen 43 score 457527 cov 462 BestSoFar Vector time 191810 gen 44 score 457527 cov 462 BestSoFar Vector time 197956 gen 45 score 457527 cov 462 BestSoFar Vector time 204062 gen 46 score 457527 cov 462 BestSoFar Vector time 210144 gen 47 score 457527 cov 462 BestSoFar Vector time 216181 gen 48 score 457527 cov 462 BestSoFar Vector time 222171 gen 49 score 457527 cov 462 BestSoFar Vector time 228334 gen 50 score 457527 cov 462 BestSoFar WeakHashMap time 3330 gen 1 score 368600 cov 369 BestSoFar WeakHashMap time 5443 gen 2 score 368600 cov 369 BestSoFar WeakHashMap time 7116 gen 3 score 368600 cov 369 BestSoFar WeakHashMap time 8911 gen 4 score 368600 cov 369 BestSoFar WeakHashMap time 10599 gen 5 score 372267 cov 373 BestSoFar WeakHashMap time 12244 gen 6 score 374260 cov 375 BestSoFar WeakHashMap time 13799 gen 7 score 374260 cov 375 BestSoFar WeakHashMap time 15345 gen 8 score 374260 cov 375 BestSoFar WeakHashMap time 16778 gen 9 score 374260 cov 375 BestSoFar WeakHashMap time 18250 gen 10 score 374260 cov 375 BestSoFar WeakHashMap time 20092 gen 11 score 374260 cov 375 BestSoFar WeakHashMap time 21573 gen 12 score 374260 cov 375 BestSoFar WeakHashMap time 23142 gen 13 score 377257 cov 378 BestSoFar WeakHashMap time 24752 gen 14 score 377257 cov 378 BestSoFar WeakHashMap time 26444 gen 15 score 377257 cov 378 BestSoFar WeakHashMap time 28795 gen 16 score 386842 cov 388 BestSoFar WeakHashMap time 31108 gen 17 score 386842 cov 388 BestSoFar WeakHashMap time 33464 gen 18 score 386842 cov 388 BestSoFar WeakHashMap time 35833 gen 19 score 386842 cov 388 BestSoFar WeakHashMap time 38146 gen 20 score 386842 cov 388 BestSoFar WeakHashMap time 40774 gen 21 score 386842 cov 388 BestSoFar WeakHashMap time 43040 gen 22 score 386842 cov 388 BestSoFar WeakHashMap time 45425 gen 23 score 386842 cov 388 BestSoFar WeakHashMap time 47831 gen 24 score 387181 cov 389 BestSoFar WeakHashMap time 50346 gen 25 score 387181 cov 389 BestSoFar WeakHashMap time 52761 gen 26 score 387181 cov 389 BestSoFar WeakHashMap time 55250 gen 27 score 387181 cov 389 BestSoFar WeakHashMap time 57619 gen 28 score 387181 cov 389 BestSoFar WeakHashMap time 60069 gen 29 score 389073 cov 391 BestSoFar WeakHashMap time 62694 gen 30 score 389073 cov 391 BestSoFar WeakHashMap time 65686 gen 31 score 389073 cov 391 BestSoFar WeakHashMap time 68397 gen 32 score 389073 cov 391 BestSoFar WeakHashMap time 71347 gen 33 score 389073 cov 391 BestSoFar WeakHashMap time 74125 gen 34 score 391679 cov 394 BestSoFar WeakHashMap time 77061 gen 35 score 391679 cov 394 BestSoFar WeakHashMap time 79981 gen 36 score 391679 cov 394 BestSoFar WeakHashMap time 83131 gen 37 score 398679 cov 401 BestSoFar WeakHashMap time 86249 gen 38 score 398679 cov 401 BestSoFar WeakHashMap time 89286 gen 39 score 398679 cov 401 BestSoFar WeakHashMap time 92373 gen 40 score 398679 cov 401 BestSoFar WeakHashMap time 95751 gen 41 score 399012 cov 401 BestSoFar WeakHashMap time 98872 gen 42 score 399012 cov 401 BestSoFar WeakHashMap time 101895 gen 43 score 400346 cov 403 BestSoFar WeakHashMap time 104996 gen 44 score 400346 cov 403 BestSoFar WeakHashMap time 108146 gen 45 score 400346 cov 403 BestSoFar WeakHashMap time 111203 gen 46 score 400346 cov 403 BestSoFar WeakHashMap time 114438 gen 47 score 400346 cov 403 BestSoFar WeakHashMap time 117838 gen 48 score 400346 cov 403 BestSoFar WeakHashMap time 121718 gen 49 score 402222 cov 405 BestSoFar WeakHashMap time 124948 gen 50 score 402222 cov 405