Mon Mar 16 10:03:35 EDT 2009
BestSoFar ArrayList time 1892 gen 1 score 194576 cov 195
BestSoFar ArrayList time 3006 gen 2 score 197909 cov 198
BestSoFar ArrayList time 4754 gen 3 score 205267 cov 207
BestSoFar ArrayList time 6798 gen 4 score 205267 cov 207
BestSoFar ArrayList time 8742 gen 5 score 206563 cov 208
BestSoFar ArrayList time 10613 gen 6 score 206563 cov 208
BestSoFar ArrayList time 12544 gen 7 score 206563 cov 208
BestSoFar ArrayList time 14496 gen 8 score 206563 cov 208
BestSoFar ArrayList time 16687 gen 9 score 206563 cov 208
BestSoFar ArrayList time 18901 gen 10 score 206563 cov 208
BestSoFar ArrayList time 21125 gen 11 score 206563 cov 208
BestSoFar ArrayList time 23252 gen 12 score 206563 cov 208
BestSoFar ArrayList time 25366 gen 13 score 206563 cov 208
BestSoFar ArrayList time 27470 gen 14 score 207450 cov 209
BestSoFar ArrayList time 29542 gen 15 score 207450 cov 209
BestSoFar ArrayList time 31625 gen 16 score 207450 cov 209
BestSoFar ArrayList time 33718 gen 17 score 207450 cov 209
BestSoFar ArrayList time 35769 gen 18 score 207450 cov 209
BestSoFar ArrayList time 37875 gen 19 score 207450 cov 209
BestSoFar ArrayList time 39987 gen 20 score 207450 cov 209
BestSoFar ArrayList time 42169 gen 21 score 207450 cov 209
BestSoFar ArrayList time 44361 gen 22 score 207450 cov 209
BestSoFar ArrayList time 46863 gen 23 score 207450 cov 209
BestSoFar ArrayList time 49525 gen 24 score 207450 cov 209
BestSoFar ArrayList time 52274 gen 25 score 207450 cov 209
BestSoFar ArrayList time 55223 gen 26 score 207450 cov 209
BestSoFar ArrayList time 58332 gen 27 score 207450 cov 209
BestSoFar ArrayList time 61568 gen 28 score 207450 cov 209
BestSoFar ArrayList time 64762 gen 29 score 207450 cov 209
BestSoFar ArrayList time 67749 gen 30 score 207450 cov 209
BestSoFar ArrayList time 70762 gen 31 score 207450 cov 209
BestSoFar ArrayList time 73717 gen 32 score 207450 cov 209
BestSoFar ArrayList time 76644 gen 33 score 207450 cov 209
BestSoFar ArrayList time 79585 gen 34 score 207450 cov 209
BestSoFar ArrayList time 82652 gen 35 score 207450 cov 209
BestSoFar ArrayList time 85513 gen 36 score 207450 cov 209
BestSoFar ArrayList time 88348 gen 37 score 207450 cov 209
BestSoFar ArrayList time 91313 gen 38 score 207450 cov 209
BestSoFar ArrayList time 94244 gen 39 score 207450 cov 209
BestSoFar ArrayList time 97214 gen 40 score 207450 cov 209
BestSoFar ArrayList time 100324 gen 41 score 207450 cov 209
BestSoFar ArrayList time 103233 gen 42 score 207450 cov 209
BestSoFar ArrayList time 105971 gen 43 score 207450 cov 209
BestSoFar ArrayList time 108676 gen 44 score 207450 cov 209
BestSoFar ArrayList time 111419 gen 45 score 207450 cov 209
BestSoFar ArrayList time 114161 gen 46 score 207450 cov 209
BestSoFar ArrayList time 116970 gen 47 score 207450 cov 209
BestSoFar ArrayList time 119675 gen 48 score 207450 cov 209
BestSoFar ArrayList time 122387 gen 49 score 207450 cov 209
BestSoFar ArrayList time 125136 gen 50 score 207450 cov 209
BestSoFar EnumMap time 1737 gen 1 score 6985 cov 7
BestSoFar EnumMap time 2340 gen 2 score 6985 cov 7
BestSoFar EnumMap time 2866 gen 3 score 6985 cov 7
BestSoFar EnumMap time 3398 gen 4 score 6985 cov 7
BestSoFar EnumMap time 3898 gen 5 score 6985 cov 7
BestSoFar EnumMap time 4404 gen 6 score 6985 cov 7
BestSoFar EnumMap time 4984 gen 7 score 6985 cov 7
BestSoFar EnumMap time 5526 gen 8 score 6985 cov 7
BestSoFar EnumMap time 6145 gen 9 score 6985 cov 7
BestSoFar EnumMap time 6766 gen 10 score 6985 cov 7
BestSoFar EnumMap time 7828 gen 11 score 6985 cov 7
BestSoFar EnumMap time 8462 gen 12 score 7652 cov 7
BestSoFar EnumMap time 9106 gen 13 score 7652 cov 7
BestSoFar EnumMap time 9799 gen 14 score 7652 cov 7
BestSoFar EnumMap time 10519 gen 15 score 7652 cov 7
BestSoFar EnumMap time 11215 gen 16 score 7652 cov 7
BestSoFar EnumMap time 11884 gen 17 score 7652 cov 7
BestSoFar EnumMap time 12585 gen 18 score 9315 cov 9
BestSoFar EnumMap time 13261 gen 19 score 10985 cov 11
BestSoFar EnumMap time 13899 gen 20 score 10985 cov 11
BestSoFar EnumMap time 14841 gen 21 score 10985 cov 11
BestSoFar EnumMap time 15491 gen 22 score 10985 cov 11
BestSoFar EnumMap time 16109 gen 23 score 10985 cov 11
BestSoFar EnumMap time 16776 gen 24 score 10985 cov 11
BestSoFar EnumMap time 17482 gen 25 score 10985 cov 11
BestSoFar EnumMap time 18160 gen 26 score 10985 cov 11
BestSoFar EnumMap time 18801 gen 27 score 10985 cov 11
BestSoFar EnumMap time 19472 gen 28 score 10985 cov 11
BestSoFar EnumMap time 20118 gen 29 score 10985 cov 11
BestSoFar EnumMap time 20780 gen 30 score 10985 cov 11
BestSoFar EnumMap time 21736 gen 31 score 10985 cov 11
BestSoFar EnumMap time 22418 gen 32 score 10985 cov 11
BestSoFar EnumMap time 23058 gen 33 score 10985 cov 11
BestSoFar EnumMap time 23759 gen 34 score 10985 cov 11
BestSoFar EnumMap time 24444 gen 35 score 10985 cov 11
BestSoFar EnumMap time 25105 gen 36 score 10985 cov 11
BestSoFar EnumMap time 25768 gen 37 score 10985 cov 11
BestSoFar EnumMap time 26350 gen 38 score 10985 cov 11
BestSoFar EnumMap time 26977 gen 39 score 10985 cov 11
BestSoFar EnumMap time 27614 gen 40 score 10985 cov 11
BestSoFar EnumMap time 28556 gen 41 score 10985 cov 11
BestSoFar EnumMap time 29162 gen 42 score 10985 cov 11
BestSoFar EnumMap time 29763 gen 43 score 10985 cov 11
BestSoFar EnumMap time 30390 gen 44 score 10985 cov 11
BestSoFar EnumMap time 30994 gen 45 score 10985 cov 11
BestSoFar EnumMap time 31608 gen 46 score 10985 cov 11
BestSoFar EnumMap time 32227 gen 47 score 10985 cov 11
BestSoFar EnumMap time 32827 gen 48 score 10985 cov 11
BestSoFar EnumMap time 33469 gen 49 score 10985 cov 11
BestSoFar EnumMap time 34170 gen 50 score 10985 cov 11
BestSoFar HashMap time 3005 gen 1 score 311990 cov 312
BestSoFar HashMap time 4847 gen 2 score 367448 cov 368
BestSoFar HashMap time 6397 gen 3 score 375130 cov 376
BestSoFar HashMap time 8410 gen 4 score 401332 cov 403
BestSoFar HashMap time 10833 gen 5 score 401332 cov 403
BestSoFar HashMap time 13285 gen 6 score 401332 cov 403
BestSoFar HashMap time 15760 gen 7 score 401332 cov 403
BestSoFar HashMap time 18457 gen 8 score 401332 cov 403
BestSoFar HashMap time 21594 gen 9 score 401332 cov 403
BestSoFar HashMap time 25005 gen 10 score 401332 cov 403
BestSoFar HashMap time 28994 gen 11 score 401332 cov 403
BestSoFar HashMap time 32728 gen 12 score 401332 cov 403
BestSoFar HashMap time 36385 gen 13 score 401332 cov 403
BestSoFar HashMap time 39891 gen 14 score 401332 cov 403
BestSoFar HashMap time 43436 gen 15 score 401332 cov 403
BestSoFar HashMap time 47074 gen 16 score 402623 cov 406
BestSoFar HashMap time 50908 gen 17 score 405519 cov 409
BestSoFar HashMap time 54851 gen 18 score 405519 cov 409
BestSoFar HashMap time 58898 gen 19 score 405519 cov 409
BestSoFar HashMap time 63272 gen 20 score 405519 cov 409
BestSoFar HashMap time 68063 gen 21 score 405519 cov 409
BestSoFar HashMap time 72596 gen 22 score 405519 cov 409
BestSoFar HashMap time 76883 gen 23 score 405519 cov 409
BestSoFar HashMap time 80936 gen 24 score 405519 cov 409
BestSoFar HashMap time 84974 gen 25 score 405623 cov 409
BestSoFar HashMap time 89093 gen 26 score 405623 cov 409
BestSoFar HashMap time 93221 gen 27 score 405623 cov 409
BestSoFar HashMap time 97489 gen 28 score 408013 cov 413
BestSoFar HashMap time 101898 gen 29 score 408013 cov 413
BestSoFar HashMap time 106337 gen 30 score 408679 cov 413
BestSoFar HashMap time 110861 gen 31 score 408679 cov 413
BestSoFar HashMap time 115638 gen 32 score 408679 cov 413
BestSoFar HashMap time 120947 gen 33 score 408679 cov 413
BestSoFar HashMap time 126299 gen 34 score 408679 cov 413
BestSoFar HashMap time 131534 gen 35 score 408679 cov 413
BestSoFar HashMap time 136925 gen 36 score 408679 cov 413
BestSoFar HashMap time 142693 gen 37 score 408679 cov 413
BestSoFar HashMap time 148563 gen 38 score 408679 cov 413
BestSoFar HashMap time 154460 gen 39 score 408679 cov 413
BestSoFar HashMap time 160364 gen 40 score 408679 cov 413
BestSoFar HashMap time 166398 gen 41 score 408679 cov 413
BestSoFar HashMap time 172342 gen 42 score 409131 cov 415
BestSoFar HashMap time 178289 gen 43 score 409131 cov 415
BestSoFar HashMap time 184260 gen 44 score 409131 cov 415
BestSoFar HashMap time 190153 gen 45 score 409131 cov 415
BestSoFar HashMap time 196110 gen 46 score 409131 cov 415
BestSoFar HashMap time 202086 gen 47 score 409131 cov 415
BestSoFar HashMap time 207990 gen 48 score 409131 cov 415
BestSoFar HashMap time 213865 gen 49 score 409131 cov 415
BestSoFar HashMap time 219787 gen 50 score 409131 cov 415
BestSoFar HashSet time 1704 gen 1 score 271812 cov 272
BestSoFar HashSet time 2785 gen 2 score 294737 cov 295
BestSoFar HashSet time 3785 gen 3 score 297737 cov 298
BestSoFar HashSet time 5190 gen 4 score 305404 cov 306
BestSoFar HashSet time 6535 gen 5 score 305404 cov 306
BestSoFar HashSet time 7877 gen 6 score 309201 cov 310
BestSoFar HashSet time 9180 gen 7 score 309201 cov 310
BestSoFar HashSet time 10843 gen 8 score 310201 cov 311
BestSoFar HashSet time 12644 gen 9 score 310241 cov 312
BestSoFar HashSet time 14567 gen 10 score 311907 cov 313
BestSoFar HashSet time 16451 gen 11 score 311907 cov 313
BestSoFar HashSet time 18666 gen 12 score 315032 cov 316
BestSoFar HashSet time 20650 gen 13 score 316574 cov 318
BestSoFar HashSet time 23025 gen 14 score 316574 cov 318
BestSoFar HashSet time 25242 gen 15 score 316574 cov 318
BestSoFar HashSet time 27376 gen 16 score 316574 cov 318
BestSoFar HashSet time 29602 gen 17 score 316574 cov 318
BestSoFar HashSet time 31797 gen 18 score 316574 cov 318
BestSoFar HashSet time 33994 gen 19 score 316574 cov 318
BestSoFar HashSet time 36133 gen 20 score 316574 cov 318
BestSoFar HashSet time 38369 gen 21 score 316574 cov 318
BestSoFar HashSet time 40476 gen 22 score 316574 cov 318
BestSoFar HashSet time 42623 gen 23 score 316574 cov 318
BestSoFar HashSet time 44640 gen 24 score 317574 cov 319
BestSoFar HashSet time 46725 gen 25 score 317574 cov 319
BestSoFar HashSet time 48828 gen 26 score 317574 cov 319
BestSoFar HashSet time 50921 gen 27 score 317574 cov 319
BestSoFar HashSet time 53018 gen 28 score 317574 cov 319
BestSoFar HashSet time 55144 gen 29 score 317574 cov 319
BestSoFar HashSet time 57255 gen 30 score 317574 cov 319
BestSoFar HashSet time 59277 gen 31 score 317574 cov 319
BestSoFar HashSet time 61419 gen 32 score 317574 cov 319
BestSoFar HashSet time 63545 gen 33 score 317574 cov 319
BestSoFar HashSet time 65604 gen 34 score 317574 cov 319
BestSoFar HashSet time 67736 gen 35 score 317574 cov 319
BestSoFar HashSet time 69869 gen 36 score 317574 cov 319
BestSoFar HashSet time 72054 gen 37 score 317574 cov 319
BestSoFar HashSet time 74257 gen 38 score 317574 cov 319
BestSoFar HashSet time 76438 gen 39 score 317574 cov 319
BestSoFar HashSet time 78690 gen 40 score 317574 cov 319
BestSoFar HashSet time 81557 gen 41 score 317574 cov 319
BestSoFar HashSet time 83802 gen 42 score 317574 cov 319
BestSoFar HashSet time 86316 gen 43 score 317574 cov 319
BestSoFar HashSet time 88977 gen 44 score 317574 cov 319
BestSoFar HashSet time 92006 gen 45 score 317574 cov 319
BestSoFar HashSet time 95069 gen 46 score 317574 cov 319
BestSoFar HashSet time 98095 gen 47 score 317574 cov 319
BestSoFar HashSet time 101002 gen 48 score 317574 cov 319
BestSoFar HashSet time 103688 gen 49 score 317574 cov 319
BestSoFar HashSet time 106359 gen 50 score 317574 cov 319
BestSoFar Hashtable time 2765 gen 1 score 346283 cov 346
BestSoFar Hashtable time 5024 gen 2 score 380238 cov 381
BestSoFar Hashtable time 7174 gen 3 score 380238 cov 381
BestSoFar Hashtable time 9266 gen 4 score 386130 cov 387
BestSoFar Hashtable time 11430 gen 5 score 392489 cov 394
BestSoFar Hashtable time 13990 gen 6 score 392489 cov 394
BestSoFar Hashtable time 16697 gen 7 score 395958 cov 398
BestSoFar Hashtable time 20113 gen 8 score 395958 cov 398
BestSoFar Hashtable time 23466 gen 9 score 395958 cov 398
BestSoFar Hashtable time 26784 gen 10 score 395958 cov 398
BestSoFar Hashtable time 30225 gen 11 score 395958 cov 398
BestSoFar Hashtable time 33767 gen 12 score 395958 cov 398
BestSoFar Hashtable time 37835 gen 13 score 395958 cov 398
BestSoFar Hashtable time 41700 gen 14 score 395958 cov 398
BestSoFar Hashtable time 45624 gen 15 score 396561 cov 400
BestSoFar Hashtable time 49780 gen 16 score 400055 cov 405
BestSoFar Hashtable time 54034 gen 17 score 400055 cov 405
BestSoFar Hashtable time 58512 gen 18 score 400055 cov 405
BestSoFar Hashtable time 62996 gen 19 score 400055 cov 405
BestSoFar Hashtable time 67847 gen 20 score 401895 cov 406
BestSoFar Hashtable time 72818 gen 21 score 401895 cov 406
BestSoFar Hashtable time 77219 gen 22 score 406561 cov 410
BestSoFar Hashtable time 81391 gen 23 score 406561 cov 410
BestSoFar Hashtable time 85829 gen 24 score 406561 cov 410
BestSoFar Hashtable time 90205 gen 25 score 406561 cov 410
BestSoFar Hashtable time 94488 gen 26 score 406561 cov 410
BestSoFar Hashtable time 98806 gen 27 score 406561 cov 410
BestSoFar Hashtable time 103203 gen 28 score 406561 cov 410
BestSoFar Hashtable time 108024 gen 29 score 406561 cov 410
BestSoFar Hashtable time 112948 gen 30 score 406561 cov 410
BestSoFar Hashtable time 118385 gen 31 score 406561 cov 410
BestSoFar Hashtable time 123528 gen 32 score 406561 cov 410
BestSoFar Hashtable time 128694 gen 33 score 406561 cov 410
BestSoFar Hashtable time 133972 gen 34 score 406561 cov 410
BestSoFar Hashtable time 139271 gen 35 score 406561 cov 410
BestSoFar Hashtable time 144440 gen 36 score 406561 cov 410
BestSoFar Hashtable time 149714 gen 37 score 406561 cov 410
BestSoFar Hashtable time 155074 gen 38 score 406561 cov 410
BestSoFar Hashtable time 160492 gen 39 score 407973 cov 413
BestSoFar Hashtable time 165801 gen 40 score 407973 cov 413
BestSoFar Hashtable time 170998 gen 41 score 407973 cov 413
BestSoFar Hashtable time 175914 gen 42 score 407973 cov 413
BestSoFar Hashtable time 180783 gen 43 score 407973 cov 413
BestSoFar Hashtable time 185723 gen 44 score 407973 cov 413
BestSoFar Hashtable time 190716 gen 45 score 407973 cov 413
BestSoFar Hashtable time 195641 gen 46 score 407973 cov 413
BestSoFar Hashtable time 200527 gen 47 score 407973 cov 413
BestSoFar Hashtable time 205561 gen 48 score 407973 cov 413
BestSoFar Hashtable time 210693 gen 49 score 407973 cov 413
BestSoFar Hashtable time 216171 gen 50 score 407973 cov 413
BestSoFar IdentityHashMap time 2987 gen 1 score 370692 cov 372
BestSoFar IdentityHashMap time 4930 gen 2 score 370692 cov 372
BestSoFar IdentityHashMap time 7138 gen 3 score 370692 cov 372
BestSoFar IdentityHashMap time 9135 gen 4 score 370692 cov 372
BestSoFar IdentityHashMap time 11253 gen 5 score 370692 cov 372
BestSoFar IdentityHashMap time 13361 gen 6 score 385411 cov 387
BestSoFar IdentityHashMap time 15578 gen 7 score 389078 cov 391
BestSoFar IdentityHashMap time 18088 gen 8 score 389078 cov 391
BestSoFar IdentityHashMap time 20978 gen 9 score 391078 cov 393
BestSoFar IdentityHashMap time 23827 gen 10 score 391078 cov 393
BestSoFar IdentityHashMap time 26768 gen 11 score 392411 cov 394
BestSoFar IdentityHashMap time 29629 gen 12 score 392411 cov 394
BestSoFar IdentityHashMap time 32459 gen 13 score 395411 cov 397
BestSoFar IdentityHashMap time 35295 gen 14 score 395411 cov 397
BestSoFar IdentityHashMap time 38245 gen 15 score 395411 cov 397
BestSoFar IdentityHashMap time 41125 gen 16 score 395411 cov 397
BestSoFar IdentityHashMap time 43996 gen 17 score 395411 cov 397
BestSoFar IdentityHashMap time 46584 gen 18 score 398745 cov 401
BestSoFar IdentityHashMap time 49264 gen 19 score 398745 cov 401
BestSoFar IdentityHashMap time 51942 gen 20 score 398745 cov 401
BestSoFar IdentityHashMap time 54824 gen 21 score 398745 cov 401
BestSoFar IdentityHashMap time 57832 gen 22 score 398745 cov 401
BestSoFar IdentityHashMap time 60979 gen 23 score 398745 cov 401
BestSoFar IdentityHashMap time 64449 gen 24 score 401298 cov 404
BestSoFar IdentityHashMap time 67817 gen 25 score 401298 cov 404
BestSoFar IdentityHashMap time 71214 gen 26 score 401298 cov 404
BestSoFar IdentityHashMap time 74620 gen 27 score 401298 cov 404
BestSoFar IdentityHashMap time 78259 gen 28 score 404015 cov 408
BestSoFar IdentityHashMap time 81842 gen 29 score 404015 cov 408
BestSoFar IdentityHashMap time 85557 gen 30 score 404246 cov 407
BestSoFar IdentityHashMap time 89949 gen 31 score 404246 cov 407
BestSoFar IdentityHashMap time 94844 gen 32 score 404246 cov 407
BestSoFar IdentityHashMap time 99761 gen 33 score 404246 cov 407
BestSoFar IdentityHashMap time 104757 gen 34 score 404246 cov 407
BestSoFar IdentityHashMap time 110076 gen 35 score 404246 cov 407
BestSoFar IdentityHashMap time 115436 gen 36 score 406573 cov 411
BestSoFar IdentityHashMap time 120670 gen 37 score 406573 cov 411
BestSoFar IdentityHashMap time 125805 gen 38 score 406573 cov 411
BestSoFar IdentityHashMap time 131451 gen 39 score 406573 cov 411
BestSoFar IdentityHashMap time 137091 gen 40 score 406573 cov 411
BestSoFar IdentityHashMap time 142743 gen 41 score 406573 cov 411
BestSoFar IdentityHashMap time 148135 gen 42 score 406573 cov 411
BestSoFar IdentityHashMap time 153524 gen 43 score 406573 cov 411
BestSoFar IdentityHashMap time 158843 gen 44 score 406573 cov 411
BestSoFar IdentityHashMap time 164262 gen 45 score 406573 cov 411
BestSoFar IdentityHashMap time 169762 gen 46 score 406573 cov 411
BestSoFar IdentityHashMap time 175145 gen 47 score 406573 cov 411
BestSoFar IdentityHashMap time 180486 gen 48 score 406573 cov 411
BestSoFar IdentityHashMap time 185824 gen 49 score 406573 cov 411
BestSoFar IdentityHashMap time 191127 gen 50 score 406573 cov 411
BestSoFar LinkedHashMap time 1653 gen 1 score 254649 cov 255
BestSoFar LinkedHashMap time 2686 gen 2 score 254649 cov 255
BestSoFar LinkedHashMap time 4233 gen 3 score 275747 cov 277
BestSoFar LinkedHashMap time 5583 gen 4 score 278080 cov 279
BestSoFar LinkedHashMap time 7185 gen 5 score 281445 cov 283
BestSoFar LinkedHashMap time 8895 gen 6 score 281445 cov 283
BestSoFar LinkedHashMap time 10765 gen 7 score 281539 cov 283
BestSoFar LinkedHashMap time 12990 gen 8 score 288322 cov 290
BestSoFar LinkedHashMap time 15448 gen 9 score 288322 cov 290
BestSoFar LinkedHashMap time 17874 gen 10 score 288322 cov 290
BestSoFar LinkedHashMap time 20459 gen 11 score 288322 cov 290
BestSoFar LinkedHashMap time 23341 gen 12 score 288487 cov 291
BestSoFar LinkedHashMap time 26228 gen 13 score 288487 cov 291
BestSoFar LinkedHashMap time 29047 gen 14 score 290820 cov 293
BestSoFar LinkedHashMap time 32072 gen 15 score 290820 cov 293
BestSoFar LinkedHashMap time 35062 gen 16 score 290820 cov 293
BestSoFar LinkedHashMap time 37974 gen 17 score 291487 cov 294
BestSoFar LinkedHashMap time 41008 gen 18 score 292820 cov 295
BestSoFar LinkedHashMap time 44130 gen 19 score 292820 cov 295
BestSoFar LinkedHashMap time 47383 gen 20 score 292820 cov 295
BestSoFar LinkedHashMap time 50548 gen 21 score 293487 cov 296
BestSoFar LinkedHashMap time 53703 gen 22 score 293487 cov 296
BestSoFar LinkedHashMap time 56994 gen 23 score 294154 cov 297
BestSoFar LinkedHashMap time 60222 gen 24 score 294154 cov 297
BestSoFar LinkedHashMap time 63284 gen 25 score 294154 cov 297
BestSoFar LinkedHashMap time 66340 gen 26 score 294154 cov 297
BestSoFar LinkedHashMap time 69491 gen 27 score 295154 cov 298
BestSoFar LinkedHashMap time 72749 gen 28 score 295154 cov 298
BestSoFar LinkedHashMap time 76098 gen 29 score 295154 cov 298
BestSoFar LinkedHashMap time 79297 gen 30 score 295154 cov 298
BestSoFar LinkedHashMap time 82605 gen 31 score 295154 cov 298
BestSoFar LinkedHashMap time 86244 gen 32 score 295154 cov 298
BestSoFar LinkedHashMap time 89977 gen 33 score 295154 cov 298
BestSoFar LinkedHashMap time 93790 gen 34 score 295154 cov 298
BestSoFar LinkedHashMap time 97889 gen 35 score 295154 cov 298
BestSoFar LinkedHashMap time 101615 gen 36 score 295245 cov 298
BestSoFar LinkedHashMap time 105130 gen 37 score 295245 cov 298
BestSoFar LinkedHashMap time 108736 gen 38 score 295912 cov 299
BestSoFar LinkedHashMap time 112303 gen 39 score 295912 cov 299
BestSoFar LinkedHashMap time 116011 gen 40 score 295912 cov 299
BestSoFar LinkedHashMap time 119809 gen 41 score 295912 cov 299
BestSoFar LinkedHashMap time 123527 gen 42 score 295912 cov 299
BestSoFar LinkedHashMap time 127236 gen 43 score 295912 cov 299
BestSoFar LinkedHashMap time 130917 gen 44 score 296245 cov 299
BestSoFar LinkedHashMap time 134631 gen 45 score 296245 cov 299
BestSoFar LinkedHashMap time 138467 gen 46 score 296245 cov 299
BestSoFar LinkedHashMap time 142309 gen 47 score 296245 cov 299
BestSoFar LinkedHashMap time 146116 gen 48 score 296245 cov 299
BestSoFar LinkedHashMap time 149945 gen 49 score 296245 cov 299
BestSoFar LinkedHashMap time 153876 gen 50 score 296245 cov 299
BestSoFar LinkedHashSet time 1783 gen 1 score 264116 cov 265
BestSoFar LinkedHashSet time 3209 gen 2 score 264116 cov 265
BestSoFar LinkedHashSet time 5417 gen 3 score 264116 cov 265
BestSoFar LinkedHashSet time 7270 gen 4 score 266116 cov 267
BestSoFar LinkedHashSet time 9499 gen 5 score 268220 cov 270
BestSoFar LinkedHashSet time 11700 gen 6 score 268220 cov 270
BestSoFar LinkedHashSet time 13825 gen 7 score 268220 cov 270
BestSoFar LinkedHashSet time 15725 gen 8 score 268220 cov 270
BestSoFar LinkedHashSet time 17443 gen 9 score 269625 cov 271
BestSoFar LinkedHashSet time 19154 gen 10 score 269625 cov 271
BestSoFar LinkedHashSet time 21014 gen 11 score 269625 cov 271
BestSoFar LinkedHashSet time 22755 gen 12 score 269625 cov 271
BestSoFar LinkedHashSet time 24473 gen 13 score 269625 cov 271
BestSoFar LinkedHashSet time 26186 gen 14 score 269958 cov 271
BestSoFar LinkedHashSet time 27941 gen 15 score 269958 cov 271
BestSoFar LinkedHashSet time 29600 gen 16 score 269958 cov 271
BestSoFar LinkedHashSet time 31310 gen 17 score 269958 cov 271
BestSoFar LinkedHashSet time 32988 gen 18 score 271686 cov 273
BestSoFar LinkedHashSet time 34658 gen 19 score 271686 cov 273
BestSoFar LinkedHashSet time 36315 gen 20 score 271686 cov 273
BestSoFar LinkedHashSet time 38074 gen 21 score 271686 cov 273
BestSoFar LinkedHashSet time 39853 gen 22 score 271686 cov 273
BestSoFar LinkedHashSet time 41662 gen 23 score 271686 cov 273
BestSoFar LinkedHashSet time 43688 gen 24 score 271686 cov 273
BestSoFar LinkedHashSet time 45741 gen 25 score 271686 cov 273
BestSoFar LinkedHashSet time 47830 gen 26 score 271686 cov 273
BestSoFar LinkedHashSet time 49874 gen 27 score 271686 cov 273
BestSoFar LinkedHashSet time 51781 gen 28 score 271686 cov 273
BestSoFar LinkedHashSet time 53669 gen 29 score 271686 cov 273
BestSoFar LinkedHashSet time 55599 gen 30 score 271686 cov 273
BestSoFar LinkedHashSet time 57511 gen 31 score 271686 cov 273
BestSoFar LinkedHashSet time 59331 gen 32 score 271686 cov 273
BestSoFar LinkedHashSet time 61105 gen 33 score 271686 cov 273
BestSoFar LinkedHashSet time 62992 gen 34 score 271686 cov 273
BestSoFar LinkedHashSet time 64926 gen 35 score 271686 cov 273
BestSoFar LinkedHashSet time 66910 gen 36 score 271686 cov 273
BestSoFar LinkedHashSet time 68659 gen 37 score 271686 cov 273
BestSoFar LinkedHashSet time 70391 gen 38 score 271686 cov 273
BestSoFar LinkedHashSet time 72383 gen 39 score 271686 cov 273
BestSoFar LinkedHashSet time 74605 gen 40 score 271686 cov 273
BestSoFar LinkedHashSet time 76943 gen 41 score 271686 cov 273
BestSoFar LinkedHashSet time 79238 gen 42 score 271686 cov 273
BestSoFar LinkedHashSet time 81527 gen 43 score 271686 cov 273
BestSoFar LinkedHashSet time 83768 gen 44 score 271686 cov 273
BestSoFar LinkedHashSet time 85971 gen 45 score 271686 cov 273
BestSoFar LinkedHashSet time 88211 gen 46 score 271686 cov 273
BestSoFar LinkedHashSet time 90480 gen 47 score 271686 cov 273
BestSoFar LinkedHashSet time 92790 gen 48 score 271686 cov 273
BestSoFar LinkedHashSet time 95219 gen 49 score 271686 cov 273
BestSoFar LinkedHashSet time 97733 gen 50 score 271686 cov 273
BestSoFar LinkedList time 2289 gen 1 score 261894 cov 263
BestSoFar LinkedList time 3771 gen 2 score 264560 cov 265
BestSoFar LinkedList time 5908 gen 3 score 264560 cov 265
BestSoFar LinkedList time 7758 gen 4 score 264999 cov 266
BestSoFar LinkedList time 9620 gen 5 score 265894 cov 267
BestSoFar LinkedList time 11320 gen 6 score 266227 cov 267
BestSoFar LinkedList time 12897 gen 7 score 266227 cov 267
BestSoFar LinkedList time 14616 gen 8 score 266227 cov 267
BestSoFar LinkedList time 16663 gen 9 score 269641 cov 271
BestSoFar LinkedList time 18868 gen 10 score 270082 cov 272
BestSoFar LinkedList time 21264 gen 11 score 270311 cov 272
BestSoFar LinkedList time 23415 gen 12 score 270311 cov 272
BestSoFar LinkedList time 25668 gen 13 score 270311 cov 272
BestSoFar LinkedList time 28100 gen 14 score 270311 cov 272
BestSoFar LinkedList time 30421 gen 15 score 270311 cov 272
BestSoFar LinkedList time 32928 gen 16 score 270311 cov 272
BestSoFar LinkedList time 35346 gen 17 score 270644 cov 272
BestSoFar LinkedList time 37876 gen 18 score 270644 cov 272
BestSoFar LinkedList time 40704 gen 19 score 270644 cov 272
BestSoFar LinkedList time 43802 gen 20 score 271329 cov 274
BestSoFar LinkedList time 47256 gen 21 score 271996 cov 275
BestSoFar LinkedList time 50728 gen 22 score 271996 cov 275
BestSoFar LinkedList time 54554 gen 23 score 271996 cov 275
BestSoFar LinkedList time 58597 gen 24 score 271996 cov 275
BestSoFar LinkedList time 62713 gen 25 score 271996 cov 275
BestSoFar LinkedList time 66970 gen 26 score 271996 cov 275
BestSoFar LinkedList time 71346 gen 27 score 271996 cov 275
BestSoFar LinkedList time 75886 gen 28 score 271996 cov 275
BestSoFar LinkedList time 80407 gen 29 score 271996 cov 275
BestSoFar LinkedList time 84833 gen 30 score 271996 cov 275
BestSoFar LinkedList time 89323 gen 31 score 271996 cov 275
BestSoFar LinkedList time 94093 gen 32 score 271996 cov 275
BestSoFar LinkedList time 98821 gen 33 score 271996 cov 275
BestSoFar LinkedList time 103543 gen 34 score 271996 cov 275
BestSoFar LinkedList time 108202 gen 35 score 271996 cov 275
BestSoFar LinkedList time 112735 gen 36 score 271996 cov 275
BestSoFar LinkedList time 117226 gen 37 score 271996 cov 275
BestSoFar LinkedList time 121838 gen 38 score 271996 cov 275
BestSoFar LinkedList time 126309 gen 39 score 271996 cov 275
BestSoFar LinkedList time 130681 gen 40 score 271996 cov 275
BestSoFar LinkedList time 135297 gen 41 score 271996 cov 275
BestSoFar LinkedList time 139656 gen 42 score 271996 cov 275
BestSoFar LinkedList time 143967 gen 43 score 271996 cov 275
BestSoFar LinkedList time 148095 gen 44 score 271996 cov 275
BestSoFar LinkedList time 152187 gen 45 score 271996 cov 275
BestSoFar LinkedList time 156454 gen 46 score 271996 cov 275
BestSoFar LinkedList time 160694 gen 47 score 271996 cov 275
BestSoFar LinkedList time 164879 gen 48 score 272376 cov 276
BestSoFar LinkedList time 169154 gen 49 score 272376 cov 276
BestSoFar LinkedList time 173329 gen 50 score 272376 cov 276
BestSoFar PriorityQueue time 1954 gen 1 score 167035 cov 167
BestSoFar PriorityQueue time 2845 gen 2 score 179702 cov 180
BestSoFar PriorityQueue time 3541 gen 3 score 185035 cov 185
BestSoFar PriorityQueue time 4154 gen 4 score 185035 cov 185
BestSoFar PriorityQueue time 4972 gen 5 score 201823 cov 203
BestSoFar PriorityQueue time 6169 gen 6 score 206489 cov 207
BestSoFar PriorityQueue time 7883 gen 7 score 206489 cov 207
BestSoFar PriorityQueue time 9926 gen 8 score 208975 cov 211
BestSoFar PriorityQueue time 12267 gen 9 score 214156 cov 215
BestSoFar PriorityQueue time 14367 gen 10 score 214156 cov 215
BestSoFar PriorityQueue time 16438 gen 11 score 214156 cov 215
BestSoFar PriorityQueue time 18561 gen 12 score 214156 cov 215
BestSoFar PriorityQueue time 20769 gen 13 score 214156 cov 215
BestSoFar PriorityQueue time 23228 gen 14 score 214156 cov 215
BestSoFar PriorityQueue time 25612 gen 15 score 218014 cov 220
BestSoFar PriorityQueue time 27969 gen 16 score 218681 cov 221
BestSoFar PriorityQueue time 30618 gen 17 score 218681 cov 221
BestSoFar PriorityQueue time 33255 gen 18 score 218681 cov 221
BestSoFar PriorityQueue time 35777 gen 19 score 218681 cov 221
BestSoFar PriorityQueue time 38274 gen 20 score 218681 cov 221
BestSoFar PriorityQueue time 40786 gen 21 score 220014 cov 222
BestSoFar PriorityQueue time 43306 gen 22 score 220014 cov 222
BestSoFar PriorityQueue time 45619 gen 23 score 220014 cov 222
BestSoFar PriorityQueue time 48059 gen 24 score 220014 cov 222
BestSoFar PriorityQueue time 50395 gen 25 score 220014 cov 222
BestSoFar PriorityQueue time 52761 gen 26 score 220014 cov 222
BestSoFar PriorityQueue time 55148 gen 27 score 220014 cov 222
BestSoFar PriorityQueue time 57594 gen 28 score 220014 cov 222
BestSoFar PriorityQueue time 59977 gen 29 score 220014 cov 222
BestSoFar PriorityQueue time 62410 gen 30 score 220014 cov 222
BestSoFar PriorityQueue time 64906 gen 31 score 220014 cov 222
BestSoFar PriorityQueue time 67327 gen 32 score 220014 cov 222
BestSoFar PriorityQueue time 69805 gen 33 score 220014 cov 222
BestSoFar PriorityQueue time 72236 gen 34 score 220014 cov 222
BestSoFar PriorityQueue time 74828 gen 35 score 220014 cov 222
BestSoFar PriorityQueue time 77525 gen 36 score 220014 cov 222
BestSoFar PriorityQueue time 80092 gen 37 score 220014 cov 222
BestSoFar PriorityQueue time 82748 gen 38 score 220014 cov 222
BestSoFar PriorityQueue time 85548 gen 39 score 220014 cov 222
BestSoFar PriorityQueue time 88089 gen 40 score 220014 cov 222
BestSoFar PriorityQueue time 90722 gen 41 score 220014 cov 222
BestSoFar PriorityQueue time 93326 gen 42 score 220512 cov 223
BestSoFar PriorityQueue time 95822 gen 43 score 220512 cov 223
BestSoFar PriorityQueue time 98241 gen 44 score 220512 cov 223
BestSoFar PriorityQueue time 100868 gen 45 score 220512 cov 223
BestSoFar PriorityQueue time 103815 gen 46 score 220512 cov 223
BestSoFar PriorityQueue time 106874 gen 47 score 220512 cov 223
BestSoFar PriorityQueue time 109694 gen 48 score 221081 cov 223
BestSoFar PriorityQueue time 112589 gen 49 score 221081 cov 223
BestSoFar PriorityQueue time 115485 gen 50 score 221081 cov 223
BestSoFar Properties time 6701 gen 1 score 242102 cov 242
BestSoFar Properties time 19286 gen 2 score 297747 cov 298
BestSoFar Properties time 34157 gen 3 score 297747 cov 298
BestSoFar Properties time 48044 gen 4 score 297747 cov 298
BestSoFar Properties time 64346 gen 5 score 297747 cov 298
BestSoFar Properties time 78321 gen 6 score 298081 cov 299
BestSoFar Properties time 92012 gen 7 score 298081 cov 299
BestSoFar Properties time 105315 gen 8 score 298081 cov 299
BestSoFar Properties time 120248 gen 9 score 298081 cov 299
BestSoFar Properties time 133837 gen 10 score 298081 cov 299
BestSoFar Properties time 148077 gen 11 score 298081 cov 299
BestSoFar Properties time 161474 gen 12 score 298081 cov 299
BestSoFar Properties time 173050 gen 13 score 298081 cov 299
BestSoFar Properties time 184225 gen 14 score 298081 cov 299
BestSoFar Properties time 195496 gen 15 score 298081 cov 299
BestSoFar Properties time 205746 gen 16 score 298081 cov 299
BestSoFar Properties time 217070 gen 17 score 298081 cov 299
BestSoFar Properties time 226660 gen 18 score 298081 cov 299
BestSoFar Properties time 239298 gen 19 score 298081 cov 299
BestSoFar Properties time 253110 gen 20 score 298081 cov 299
BestSoFar Properties time 264483 gen 21 score 298081 cov 299
BestSoFar Properties time 278805 gen 22 score 298081 cov 299
BestSoFar Properties time 290727 gen 23 score 298081 cov 299
BestSoFar Properties time 300971 gen 24 score 298081 cov 299
BestSoFar Properties time 310743 gen 25 score 298081 cov 299
BestSoFar Properties time 322817 gen 26 score 298081 cov 299
BestSoFar Properties time 333620 gen 27 score 298081 cov 299
BestSoFar Properties time 343801 gen 28 score 298081 cov 299
BestSoFar Properties time 353730 gen 29 score 298081 cov 299
BestSoFar Properties time 366894 gen 30 score 298081 cov 299
BestSoFar Properties time 379224 gen 31 score 298081 cov 299
BestSoFar Properties time 391155 gen 32 score 298081 cov 299
BestSoFar Properties time 406063 gen 33 score 298081 cov 299
BestSoFar Properties time 420853 gen 34 score 298081 cov 299
BestSoFar Properties time 433834 gen 35 score 298081 cov 299
BestSoFar Properties time 446232 gen 36 score 298081 cov 299
BestSoFar Properties time 458281 gen 37 score 298081 cov 299
BestSoFar Properties time 470725 gen 38 score 298081 cov 299
BestSoFar Properties time 483364 gen 39 score 298081 cov 299
BestSoFar Properties time 497087 gen 40 score 298081 cov 299
BestSoFar Properties time 507878 gen 41 score 298081 cov 299
BestSoFar Properties time 520536 gen 42 score 298081 cov 299
BestSoFar Properties time 532426 gen 43 score 298081 cov 299
BestSoFar Properties time 544525 gen 44 score 298081 cov 299
BestSoFar Properties time 555260 gen 45 score 298081 cov 299
BestSoFar Properties time 567283 gen 46 score 298081 cov 299
BestSoFar Properties time 579269 gen 47 score 298081 cov 299
BestSoFar Properties time 591263 gen 48 score 298081 cov 299
BestSoFar Properties time 602235 gen 49 score 298081 cov 299
BestSoFar Properties time 611718 gen 50 score 298081 cov 299
BestSoFar Stack time 1227 gen 1 score 76613 cov 76
BestSoFar Stack time 2219 gen 2 score 85214 cov 86
BestSoFar Stack time 3330 gen 3 score 85214 cov 86
BestSoFar Stack time 4795 gen 4 score 85214 cov 86
BestSoFar Stack time 6214 gen 5 score 85240 cov 86
BestSoFar Stack time 7532 gen 6 score 85940 cov 86
BestSoFar Stack time 8793 gen 7 score 85940 cov 86
BestSoFar Stack time 10019 gen 8 score 85940 cov 86
BestSoFar Stack time 11197 gen 9 score 85940 cov 86
BestSoFar Stack time 12399 gen 10 score 85940 cov 86
BestSoFar Stack time 13575 gen 11 score 85940 cov 86
BestSoFar Stack time 14597 gen 12 score 85940 cov 86
BestSoFar Stack time 15374 gen 13 score 85940 cov 86
BestSoFar Stack time 16209 gen 14 score 85940 cov 86
BestSoFar Stack time 17152 gen 15 score 85940 cov 86
BestSoFar Stack time 17909 gen 16 score 85940 cov 86
BestSoFar Stack time 18610 gen 17 score 86199 cov 86
BestSoFar Stack time 19569 gen 18 score 86199 cov 86
BestSoFar Stack time 20519 gen 19 score 86199 cov 86
BestSoFar Stack time 21517 gen 20 score 86199 cov 86
BestSoFar Stack time 22660 gen 21 score 86199 cov 86
BestSoFar Stack time 23964 gen 22 score 86199 cov 86
BestSoFar Stack time 25249 gen 23 score 86199 cov 86
BestSoFar Stack time 26603 gen 24 score 86199 cov 86
BestSoFar Stack time 28078 gen 25 score 86199 cov 86
BestSoFar Stack time 29480 gen 26 score 86199 cov 86
BestSoFar Stack time 30750 gen 27 score 86366 cov 87
BestSoFar Stack time 32118 gen 28 score 86366 cov 87
BestSoFar Stack time 33363 gen 29 score 86366 cov 87
BestSoFar Stack time 34621 gen 30 score 86366 cov 87
BestSoFar Stack time 35925 gen 31 score 86366 cov 87
BestSoFar Stack time 37245 gen 32 score 86366 cov 87
BestSoFar Stack time 38443 gen 33 score 86366 cov 87
BestSoFar Stack time 39545 gen 34 score 86366 cov 87
BestSoFar Stack time 40647 gen 35 score 86366 cov 87
BestSoFar Stack time 41755 gen 36 score 86366 cov 87
BestSoFar Stack time 42837 gen 37 score 86366 cov 87
BestSoFar Stack time 43881 gen 38 score 86366 cov 87
BestSoFar Stack time 45008 gen 39 score 86366 cov 87
BestSoFar Stack time 46192 gen 40 score 86366 cov 87
BestSoFar Stack time 47433 gen 41 score 86366 cov 87
BestSoFar Stack time 48569 gen 42 score 86366 cov 87
BestSoFar Stack time 49761 gen 43 score 86366 cov 87
BestSoFar Stack time 50964 gen 44 score 86366 cov 87
BestSoFar Stack time 52233 gen 45 score 86366 cov 87
BestSoFar Stack time 53553 gen 46 score 86366 cov 87
BestSoFar Stack time 54865 gen 47 score 86366 cov 87
BestSoFar Stack time 56116 gen 48 score 86366 cov 87
BestSoFar Stack time 57389 gen 49 score 86366 cov 87
BestSoFar Stack time 58608 gen 50 score 86366 cov 87
BestSoFar TreeMap time 2860 gen 1 score 461350 cov 462
BestSoFar TreeMap time 4198 gen 2 score 461350 cov 462
BestSoFar TreeMap time 5518 gen 3 score 462601 cov 463
BestSoFar TreeMap time 6898 gen 4 score 464268 cov 465
BestSoFar TreeMap time 8366 gen 5 score 481108 cov 482
BestSoFar TreeMap time 10096 gen 6 score 509942 cov 511
BestSoFar TreeMap time 11838 gen 7 score 509942 cov 511
BestSoFar TreeMap time 13599 gen 8 score 509942 cov 511
BestSoFar TreeMap time 15558 gen 9 score 533108 cov 534
BestSoFar TreeMap time 17656 gen 10 score 533108 cov 534
BestSoFar TreeMap time 20070 gen 11 score 533108 cov 534
BestSoFar TreeMap time 22428 gen 12 score 533108 cov 534
BestSoFar TreeMap time 24798 gen 13 score 561847 cov 563
BestSoFar TreeMap time 27611 gen 14 score 561847 cov 563
BestSoFar TreeMap time 30277 gen 15 score 561847 cov 563
BestSoFar TreeMap time 32925 gen 16 score 563847 cov 565
BestSoFar TreeMap time 35456 gen 17 score 563847 cov 565
BestSoFar TreeMap time 38053 gen 18 score 573622 cov 575
BestSoFar TreeMap time 40655 gen 19 score 573622 cov 575
BestSoFar TreeMap time 43234 gen 20 score 573622 cov 575
BestSoFar TreeMap time 45923 gen 21 score 573622 cov 575
BestSoFar TreeMap time 48527 gen 22 score 583408 cov 586
BestSoFar TreeMap time 51377 gen 23 score 588408 cov 591
BestSoFar TreeMap time 54573 gen 24 score 600408 cov 603
BestSoFar TreeMap time 57955 gen 25 score 600408 cov 603
BestSoFar TreeMap time 61337 gen 26 score 600408 cov 603
BestSoFar TreeMap time 64839 gen 27 score 600408 cov 603
BestSoFar TreeMap time 68334 gen 28 score 610553 cov 613
BestSoFar TreeMap time 71953 gen 29 score 610553 cov 613
BestSoFar TreeMap time 75498 gen 30 score 610553 cov 613
BestSoFar TreeMap time 79193 gen 31 score 612220 cov 615
BestSoFar TreeMap time 82539 gen 32 score 628553 cov 631
BestSoFar TreeMap time 85884 gen 33 score 628553 cov 631
BestSoFar TreeMap time 89256 gen 34 score 628553 cov 631
BestSoFar TreeMap time 92607 gen 35 score 628553 cov 631
BestSoFar TreeMap time 95939 gen 36 score 628553 cov 631
BestSoFar TreeMap time 99227 gen 37 score 628553 cov 631
BestSoFar TreeMap time 102663 gen 38 score 628553 cov 631
BestSoFar TreeMap time 106110 gen 39 score 632886 cov 635
BestSoFar TreeMap time 109586 gen 40 score 632886 cov 635
BestSoFar TreeMap time 113150 gen 41 score 632886 cov 635
BestSoFar TreeMap time 116402 gen 42 score 632886 cov 635
BestSoFar TreeMap time 119689 gen 43 score 632886 cov 635
BestSoFar TreeMap time 123025 gen 44 score 632886 cov 635
BestSoFar TreeMap time 126672 gen 45 score 641592 cov 645
BestSoFar TreeMap time 130730 gen 46 score 641592 cov 645
BestSoFar TreeMap time 135111 gen 47 score 641592 cov 645
BestSoFar TreeMap time 139892 gen 48 score 642926 cov 647
BestSoFar TreeMap time 144723 gen 49 score 642926 cov 647
BestSoFar TreeMap time 149482 gen 50 score 642926 cov 647
BestSoFar TreeSet time 2128 gen 1 score 414789 cov 415
BestSoFar TreeSet time 3585 gen 2 score 423122 cov 423
BestSoFar TreeSet time 5520 gen 3 score 517165 cov 518
BestSoFar TreeSet time 7432 gen 4 score 517165 cov 518
BestSoFar TreeSet time 10183 gen 5 score 517165 cov 518
BestSoFar TreeSet time 12806 gen 6 score 517165 cov 518
BestSoFar TreeSet time 15196 gen 7 score 517165 cov 518
BestSoFar TreeSet time 17663 gen 8 score 555419 cov 557
BestSoFar TreeSet time 20049 gen 9 score 555419 cov 557
BestSoFar TreeSet time 22433 gen 10 score 555419 cov 557
BestSoFar TreeSet time 24963 gen 11 score 555419 cov 557
BestSoFar TreeSet time 27703 gen 12 score 557748 cov 559
BestSoFar TreeSet time 30579 gen 13 score 557748 cov 559
BestSoFar TreeSet time 33695 gen 14 score 557748 cov 559
BestSoFar TreeSet time 36805 gen 15 score 557748 cov 559
BestSoFar TreeSet time 39669 gen 16 score 557748 cov 559
BestSoFar TreeSet time 42193 gen 17 score 557748 cov 559
BestSoFar TreeSet time 44844 gen 18 score 557748 cov 559
BestSoFar TreeSet time 47627 gen 19 score 557748 cov 559
BestSoFar TreeSet time 50428 gen 20 score 557748 cov 559
BestSoFar TreeSet time 53784 gen 21 score 557748 cov 559
BestSoFar TreeSet time 57303 gen 22 score 561282 cov 564
BestSoFar TreeSet time 60806 gen 23 score 561282 cov 564
BestSoFar TreeSet time 64365 gen 24 score 561282 cov 564
BestSoFar TreeSet time 68052 gen 25 score 570454 cov 573
BestSoFar TreeSet time 72198 gen 26 score 570454 cov 573
BestSoFar TreeSet time 76229 gen 27 score 572454 cov 575
BestSoFar TreeSet time 80581 gen 28 score 572454 cov 575
BestSoFar TreeSet time 85043 gen 29 score 578103 cov 581
BestSoFar TreeSet time 89571 gen 30 score 578103 cov 581
BestSoFar TreeSet time 94315 gen 31 score 583103 cov 586
BestSoFar TreeSet time 99012 gen 32 score 583103 cov 586
BestSoFar TreeSet time 103617 gen 33 score 583103 cov 586
BestSoFar TreeSet time 108206 gen 34 score 583103 cov 586
BestSoFar TreeSet time 113160 gen 35 score 583103 cov 586
BestSoFar TreeSet time 117969 gen 36 score 583103 cov 586
BestSoFar TreeSet time 122540 gen 37 score 583103 cov 586
BestSoFar TreeSet time 127160 gen 38 score 583103 cov 586
BestSoFar TreeSet time 132077 gen 39 score 583103 cov 586
BestSoFar TreeSet time 136867 gen 40 score 583103 cov 586
BestSoFar TreeSet time 141878 gen 41 score 583103 cov 586
BestSoFar TreeSet time 146627 gen 42 score 583103 cov 586
BestSoFar TreeSet time 151299 gen 43 score 583103 cov 586
BestSoFar TreeSet time 155983 gen 44 score 583103 cov 586
BestSoFar TreeSet time 160780 gen 45 score 583103 cov 586
BestSoFar TreeSet time 165668 gen 46 score 584369 cov 588
BestSoFar TreeSet time 170983 gen 47 score 584369 cov 588
BestSoFar TreeSet time 176284 gen 48 score 584369 cov 588
BestSoFar TreeSet time 181825 gen 49 score 584369 cov 588
BestSoFar TreeSet time 187347 gen 50 score 584369 cov 588
BestSoFar Vector time 4093 gen 1 score 338762 cov 340
BestSoFar Vector time 6121 gen 2 score 365095 cov 366
BestSoFar Vector time 8111 gen 3 score 379095 cov 380
BestSoFar Vector time 10387 gen 4 score 379095 cov 380
BestSoFar Vector time 12818 gen 5 score 379095 cov 380
BestSoFar Vector time 16001 gen 6 score 425206 cov 428
BestSoFar Vector time 19754 gen 7 score 425206 cov 428
BestSoFar Vector time 24675 gen 8 score 425206 cov 428
BestSoFar Vector time 29851 gen 9 score 427873 cov 431
BestSoFar Vector time 34995 gen 10 score 427873 cov 431
BestSoFar Vector time 40380 gen 11 score 435206 cov 438
BestSoFar Vector time 45645 gen 12 score 435206 cov 438
BestSoFar Vector time 51127 gen 13 score 435206 cov 438
BestSoFar Vector time 56487 gen 14 score 435206 cov 438
BestSoFar Vector time 62065 gen 15 score 435206 cov 438
BestSoFar Vector time 67581 gen 16 score 435206 cov 438
BestSoFar Vector time 73309 gen 17 score 435206 cov 438
BestSoFar Vector time 79206 gen 18 score 435206 cov 438
BestSoFar Vector time 85367 gen 19 score 435206 cov 438
BestSoFar Vector time 91631 gen 20 score 435206 cov 438
BestSoFar Vector time 98134 gen 21 score 435206 cov 438
BestSoFar Vector time 104543 gen 22 score 435206 cov 438
BestSoFar Vector time 110846 gen 23 score 436276 cov 440
BestSoFar Vector time 117203 gen 24 score 436276 cov 440
BestSoFar Vector time 123683 gen 25 score 438524 cov 443
BestSoFar Vector time 130024 gen 26 score 438524 cov 443
BestSoFar Vector time 136649 gen 27 score 438524 cov 443
BestSoFar Vector time 143103 gen 28 score 438524 cov 443
BestSoFar Vector time 149587 gen 29 score 438524 cov 443
BestSoFar Vector time 156253 gen 30 score 438524 cov 443
BestSoFar Vector time 163903 gen 31 score 438524 cov 443
BestSoFar Vector time 170869 gen 32 score 438524 cov 443
BestSoFar Vector time 177834 gen 33 score 438524 cov 443
BestSoFar Vector time 185104 gen 34 score 438524 cov 443
BestSoFar Vector time 192517 gen 35 score 438524 cov 443
BestSoFar Vector time 199880 gen 36 score 438524 cov 443
BestSoFar Vector time 207271 gen 37 score 441119 cov 446
BestSoFar Vector time 214666 gen 38 score 441119 cov 446
BestSoFar Vector time 222068 gen 39 score 441119 cov 446
BestSoFar Vector time 229436 gen 40 score 441119 cov 446
BestSoFar Vector time 237037 gen 41 score 441119 cov 446
BestSoFar Vector time 244463 gen 42 score 441119 cov 446
BestSoFar Vector time 251955 gen 43 score 441119 cov 446
BestSoFar Vector time 259557 gen 44 score 444119 cov 449
BestSoFar Vector time 267104 gen 45 score 445009 cov 451
BestSoFar Vector time 274491 gen 46 score 445009 cov 451
BestSoFar Vector time 281856 gen 47 score 446190 cov 451
BestSoFar Vector time 289178 gen 48 score 446190 cov 451
BestSoFar Vector time 296628 gen 49 score 446190 cov 451
BestSoFar Vector time 304214 gen 50 score 446190 cov 451
BestSoFar WeakHashMap time 2721 gen 1 score 314333 cov 314
BestSoFar WeakHashMap time 4396 gen 2 score 357176 cov 358
BestSoFar WeakHashMap time 5893 gen 3 score 370189 cov 372
BestSoFar WeakHashMap time 7509 gen 4 score 372855 cov 374
BestSoFar WeakHashMap time 9980 gen 5 score 376522 cov 378
BestSoFar WeakHashMap time 12548 gen 6 score 377890 cov 380
BestSoFar WeakHashMap time 15272 gen 7 score 384094 cov 387
BestSoFar WeakHashMap time 18043 gen 8 score 384094 cov 387
BestSoFar WeakHashMap time 20661 gen 9 score 384094 cov 387
BestSoFar WeakHashMap time 23359 gen 10 score 384094 cov 387
BestSoFar WeakHashMap time 26262 gen 11 score 384094 cov 387
BestSoFar WeakHashMap time 29020 gen 12 score 384094 cov 387
BestSoFar WeakHashMap time 31709 gen 13 score 387557 cov 390
BestSoFar WeakHashMap time 34449 gen 14 score 387557 cov 390
BestSoFar WeakHashMap time 37145 gen 15 score 387557 cov 390
BestSoFar WeakHashMap time 39759 gen 16 score 387557 cov 390
BestSoFar WeakHashMap time 42394 gen 17 score 388223 cov 390
BestSoFar WeakHashMap time 45102 gen 18 score 388223 cov 390
BestSoFar WeakHashMap time 47810 gen 19 score 388223 cov 390
BestSoFar WeakHashMap time 50415 gen 20 score 388223 cov 390
BestSoFar WeakHashMap time 53163 gen 21 score 389890 cov 392
BestSoFar WeakHashMap time 55977 gen 22 score 389890 cov 392
BestSoFar WeakHashMap time 58967 gen 23 score 389890 cov 392
BestSoFar WeakHashMap time 62049 gen 24 score 390059 cov 393
BestSoFar WeakHashMap time 65199 gen 25 score 390059 cov 393
BestSoFar WeakHashMap time 68378 gen 26 score 390059 cov 393
BestSoFar WeakHashMap time 72315 gen 27 score 390059 cov 393
BestSoFar WeakHashMap time 75638 gen 28 score 390059 cov 393
BestSoFar WeakHashMap time 79400 gen 29 score 390059 cov 393
BestSoFar WeakHashMap time 83253 gen 30 score 392683 cov 396
BestSoFar WeakHashMap time 87533 gen 31 score 398017 cov 402
BestSoFar WeakHashMap time 91731 gen 32 score 398017 cov 402
BestSoFar WeakHashMap time 96081 gen 33 score 398017 cov 402
BestSoFar WeakHashMap time 100591 gen 34 score 398017 cov 402
BestSoFar WeakHashMap time 105320 gen 35 score 398017 cov 402
BestSoFar WeakHashMap time 110236 gen 36 score 398017 cov 402
BestSoFar WeakHashMap time 115175 gen 37 score 398017 cov 402
BestSoFar WeakHashMap time 120078 gen 38 score 398017 cov 402
BestSoFar WeakHashMap time 125004 gen 39 score 398017 cov 402
BestSoFar WeakHashMap time 130028 gen 40 score 398017 cov 402
BestSoFar WeakHashMap time 135076 gen 41 score 403078 cov 408
BestSoFar WeakHashMap time 140131 gen 42 score 403078 cov 408
BestSoFar WeakHashMap time 145221 gen 43 score 403078 cov 408
BestSoFar WeakHashMap time 150406 gen 44 score 403078 cov 408
BestSoFar WeakHashMap time 155657 gen 45 score 403078 cov 408
BestSoFar WeakHashMap time 161147 gen 46 score 403078 cov 408
BestSoFar WeakHashMap time 166879 gen 47 score 403078 cov 408
BestSoFar WeakHashMap time 172749 gen 48 score 403078 cov 408
BestSoFar WeakHashMap time 178652 gen 49 score 403078 cov 408
BestSoFar WeakHashMap time 184484 gen 50 score 403078 cov 408