maxitime ccdid mode hotnum discard update reject replace 343700947.1 0 1 509 544 226600 0 19160 0.064270 343700947.1 1 1 220 0 225865 0 19895 0.013428 343700948.1 2 1 224 0 226814 0 18946 0.013672 343700948.1 3 1 106 0 226215 0 19545 0.006470 343700949.1 4 1 285 0 227152 0 18608 0.017395 343700949.1 5 1 178 0 227775 0 17985 0.010864 343700949.1 6 1 170 0 227852 0 17908 0.010376 343700950.1 7 1 509 136 228604 0 17156 0.039368 343700950.1 8 1 509 3033 231958 0 13802 0.216187 343700950.1 9 1 509 2653 231421 0 14339 0.192993 343700951.1 10 1 509 2790 230627 0 15133 0.201355 343700951.1 11 1 509 2167 225109 0 20651 0.163330 343700951.1 12 1 509 1807 225344 0 20416 0.141357 343700952.1 13 1 509 3022 229465 0 16295 0.215515 343700952.1 14 1 509 2927 230779 0 14981 0.209717 343700953.1 15 1 509 2384 231681 0 14079 0.176575 343706457.1 0 1 509 511 226905 0 18855 0.062256 343706457.1 1 1 203 0 226075 0 19685 0.012390 343706458.1 2 1 204 0 226602 0 19158 0.012451 343706458.1 3 1 101 0 214221 0 31539 0.006165 343706458.1 4 1 290 0 226210 0 19550 0.017700 343706459.1 5 1 169 0 228255 0 17505 0.010315 343706459.1 6 1 160 0 227920 0 17840 0.009766 343706460.1 7 1 509 104 228488 0 17272 0.037415 343706460.1 8 1 509 2978 231814 0 13946 0.212830 343706460.1 9 1 509 2591 231572 0 14188 0.189209 343706461.1 10 1 509 2727 230763 0 14997 0.197510 343706461.1 11 1 509 2144 226652 0 19108 0.161926 343706461.1 12 1 509 1730 228247 0 17513 0.136658 343706462.1 13 1 509 2977 229889 0 15871 0.212769 343706462.1 14 1 509 2851 230891 0 14869 0.205078 343706463.1 15 1 509 2322 231202 0 14558 0.172791 343711957.1 0 1 509 556 226253 0 19507 0.065002 343711957.1 1 1 341 0 189089 0 56671 0.020813 343711958.1 2 1 226 0 210309 0 35451 0.013794 343711958.1 3 1 114 0 226414 0 19346 0.006958 343711959.1 4 1 288 0 227262 0 18498 0.017578 343711959.1 5 1 186 0 227857 0 17903 0.011353 343711959.1 6 1 175 0 226911 0 18849 0.010681 343711960.1 7 1 509 157 228840 0 16920 0.040649 343711960.1 8 1 509 3069 231672 0 14088 0.218384 343711960.1 9 1 509 2693 230872 0 14888 0.195435 343711961.1 10 1 509 2829 230106 0 15654 0.203735 343711961.1 11 1 509 2169 226369 0 19391 0.163452 343711961.1 12 1 509 1787 228121 0 17639 0.140137 343711962.1 13 1 509 3040 229339 0 16421 0.216614 343711962.1 14 1 509 2960 230276 0 15484 0.211731 343711963.1 15 1 509 2418 231345 0 14415 0.178650 343717457.1 0 1 509 515 223623 0 22137 0.062500 343717457.1 1 1 228 0 225005 0 20755 0.013916 343717458.1 2 1 208 0 221677 0 24083 0.012695 343717458.1 3 1 93 0 225583 0 20177 0.005676 343717459.1 4 1 281 0 227160 0 18600 0.017151 343717459.1 5 1 173 0 227732 0 18028 0.010559 343717459.1 6 1 171 0 228004 0 17756 0.010437 343717460.1 7 1 509 146 227469 0 18291 0.039978 343717460.1 8 1 509 3052 231513 0 14247 0.217346 343717460.1 9 1 509 2818 229323 0 16437 0.203064 343717461.1 10 1 509 2912 221667 0 24093 0.208801 343717461.1 11 1 509 2160 226122 0 19638 0.162903 343717462.1 12 1 509 1758 228088 0 17672 0.138367 343717462.1 13 1 509 3017 229115 0 16645 0.215210 343717462.1 14 1 509 2935 230407 0 15353 0.210205 343717463.1 15 1 509 2396 231022 0 14738 0.177307 343722967.1 0 1 509 501 219684 0 26076 0.061646 343722967.1 1 1 217 0 205053 0 40707 0.013245 343722968.1 2 1 201 0 205159 0 40601 0.012268 343722968.1 3 1 89 0 222903 0 22857 0.005432 343722968.1 4 1 280 0 226455 0 19305 0.017090 343722969.1 5 1 186 0 219233 0 26527 0.011353 343722969.1 6 1 328 0 205962 0 39798 0.020020 343722970.1 7 1 509 136 226351 0 19409 0.039368 343722970.1 8 1 509 3026 230696 0 15064 0.215759 343722970.1 9 1 509 2612 230043 0 15717 0.190491 343722971.1 10 1 509 2787 229166 0 16594 0.201172 343722971.1 11 1 509 2153 224778 0 20982 0.162476 343722971.1 12 1 509 1754 226695 0 19065 0.138123 343722972.1 13 1 509 2997 227325 0 18435 0.213989 343722972.1 14 1 509 2933 229379 0 16381 0.210083 343722973.1 15 1 509 2358 230106 0 15654 0.174988 343728467.1 0 1 509 1751 230075 0 15685 0.137939 343728467.1 1 1 509 6247 232006 0 13754 0.412354 343728468.1 2 1 509 12632 241675 0 4085 0.802063 343728468.1 3 1 509 9077 236090 0 9670 0.585083 343728468.1 4 1 509 4814 231170 0 14590 0.324890 343728469.1 5 1 509 5581 232347 0 13413 0.371704 343728469.1 6 1 509 6925 226649 0 19111 0.453735 343728470.1 7 1 509 10120 236751 0 9009 0.648743 343728470.1 8 1 509 3691 233472 0 12288 0.256348 343728470.1 9 1 509 7071 235051 0 10709 0.462646 343728471.1 10 1 509 1181 228140 0 17620 0.103149 343728471.1 11 1 509 11953 240123 0 5637 0.760620 343728471.1 12 1 509 7210 233567 0 12193 0.471130 343728472.1 13 1 509 9528 237182 0 8578 0.612610 343728472.1 14 1 509 9112 236952 0 8808 0.587219 343728473.1 15 1 509 11890 240028 0 5732 0.756775 343733967.1 0 1 509 1671 219224 0 26536 0.133057 343733967.1 1 1 509 1143 210464 0 35296 0.100830 343733968.1 2 1 509 149 202582 0 43178 0.040161 343733968.1 3 1 298 0 220874 0 24886 0.018188 343733968.1 4 1 432 0 225033 0 20727 0.026367 343733969.1 5 1 283 0 225595 0 20165 0.017273 343733969.1 6 1 353 0 219662 0 26098 0.021545 343733970.1 7 1 509 870 225116 0 20644 0.084167 343733970.1 8 1 509 5379 230232 0 15528 0.359375 343733970.1 9 1 509 5203 228020 0 17740 0.348633 343733971.1 10 1 509 4747 221619 0 24141 0.320801 343733971.1 11 1 509 3150 224677 0 21083 0.223328 343733971.1 12 1 509 2649 227480 0 18280 0.192749 343733972.1 13 1 509 3838 228766 0 16994 0.265320 343733972.1 14 1 509 4018 230346 0 15414 0.276306 343733973.1 15 1 509 4205 231076 0 14684 0.287720 343739477.1 0 1 509 485 211622 0 34138 0.060669 343739477.1 1 1 369 0 183051 0 62709 0.022522 343739478.1 2 1 177 0 196984 0 48776 0.010803 343739478.1 3 1 81 0 212033 0 33727 0.004944 343739478.1 4 1 277 0 222387 0 23373 0.016907 343739479.1 5 1 152 0 223063 0 22697 0.009277 343739479.1 6 1 175 0 216971 0 28789 0.010681 343739480.1 7 1 509 145 219986 0 25774 0.039917 343739480.1 8 1 509 2964 224772 0 20988 0.211975 343739480.1 9 1 509 2552 226228 0 19532 0.186829 343739481.1 10 1 509 2714 224166 0 21594 0.196716 343739481.1 11 1 509 2125 218275 0 27485 0.160767 343739481.1 12 1 509 1693 220561 0 25199 0.134399 343739482.1 13 1 509 2960 223767 0 21993 0.211731 343739482.1 14 1 509 2964 225847 0 19913 0.211975 343739483.1 15 1 509 2347 226071 0 19689 0.174316 343744977.1 0 1 509 585 211754 0 34006 0.066772 343744977.1 1 1 320 0 183417 0 62343 0.019531 343744978.1 2 1 221 0 196756 0 49004 0.013489 343744978.1 3 1 103 0 212181 0 33579 0.006287 343744978.1 4 1 288 0 222082 0 23678 0.017578 343744979.1 5 1 171 0 222393 0 23367 0.010437 343744979.1 6 1 192 0 216228 0 29532 0.011719 343744980.1 7 1 509 244 218683 0 27077 0.045959 343744980.1 8 1 509 3133 226307 0 19453 0.222290 343744980.1 9 1 509 2671 226544 0 19216 0.194092 343744981.1 10 1 509 2821 222989 0 22771 0.203247 343744981.1 11 1 509 2165 219846 0 25914 0.163208 343744981.1 12 1 509 1772 221919 0 23841 0.139221 343744982.1 13 1 509 3049 224455 0 21305 0.217163 343744982.1 14 1 509 3060 226675 0 19085 0.217834 343744983.1 15 1 509 2450 227394 0 18366 0.180603 343750477.1 0 1 509 911 217589 0 28171 0.086670 343750477.1 1 1 325 0 198402 0 47358 0.019836 343750478.1 2 1 286 0 199371 0 46389 0.017456 343750478.1 3 1 182 0 219147 0 26613 0.011108 343750478.1 4 1 313 0 223113 0 22647 0.019104 343750479.1 5 1 221 0 224197 0 21563 0.013489 343750479.1 6 1 240 0 217541 0 28219 0.014648 343750480.1 7 1 509 414 223512 0 22248 0.056335 343750480.1 8 1 509 3661 226469 0 19291 0.254517 343750480.1 9 1 509 3112 228315 0 17445 0.221008 343750481.1 10 1 509 3164 226847 0 18913 0.224182 343750481.1 11 1 509 2326 221051 0 24709 0.173035 343750481.1 12 1 509 1981 219023 0 26737 0.151978 343750482.1 13 1 509 3237 224472 0 21288 0.228638 343750482.1 14 1 509 3243 226052 0 19708 0.229004 343750483.1 15 1 509 2669 228180 0 17580 0.193970 343755977.2 0 1 509 986 217330 0 28430 0.091248 343755977.2 1 1 338 0 199725 0 46035 0.020630 343755978.2 2 1 317 0 200056 0 45704 0.019348 343755978.2 3 1 211 0 218727 0 27033 0.012878 343755978.2 4 1 323 0 223086 0 22674 0.019714 343755979.2 5 1 251 0 224133 0 21627 0.015320 343755979.2 6 1 302 0 197651 0 48109 0.018433 343755980.2 7 1 509 608 209919 0 35841 0.068176 343755980.2 8 1 509 3901 228927 0 16833 0.269165 343755980.2 9 1 509 3343 229629 0 16131 0.235107 343755981.2 10 1 509 3439 228259 0 17501 0.240967 343755981.2 11 1 509 2472 222886 0 22874 0.181946 343755981.2 12 1 509 2080 226013 0 19747 0.158020 343755982.2 13 1 509 3413 226570 0 19190 0.239380 343755982.2 14 1 509 3407 228303 0 17457 0.239014 343755983.2 15 1 509 2932 229884 0 15876 0.210022 343761477.2 0 1 509 1034 218740 0 27020 0.094177 343761477.2 1 1 356 0 200188 0 45572 0.021729 343761478.2 2 1 326 0 201111 0 44649 0.019897 343761478.2 3 1 211 0 219729 0 26031 0.012878 343761478.2 4 1 327 0 224087 0 21673 0.019958 343761479.2 5 1 250 0 225157 0 20603 0.015259 343761479.2 6 1 288 0 218522 0 27238 0.017578 343761480.2 7 1 509 505 225219 0 20541 0.061890 343761480.2 8 1 509 3985 229264 0 16496 0.274292 343761480.2 9 1 509 3451 229519 0 16241 0.241699 343761481.2 10 1 509 3517 228264 0 17496 0.245728 343761481.2 11 1 509 2513 223433 0 22327 0.184448 343761481.2 12 1 509 2135 225236 0 20524 0.161377 343761482.2 13 1 509 3490 226372 0 19388 0.244080 343761482.2 14 1 509 3450 229165 0 16595 0.241638 343761483.2 15 1 509 2971 230135 0 15625 0.212402 343767417.2 0 1 340 0 213530 0 32230 0.020752 343767417.2 1 1 46 0 191466 0 54294 0.002808 343767418.2 2 1 54 0 196494 0 49266 0.003296 343767418.2 3 1 37 0 211104 0 34656 0.002258 343767418.2 4 1 233 0 220934 0 24826 0.014221 343767419.2 5 1 64 0 222250 0 23510 0.003906 343767419.2 6 1 42 0 215692 0 30068 0.002563 343767420.2 7 1 142 0 216772 0 28988 0.008667 343767420.2 8 1 509 629 217075 0 28685 0.069458 343767420.2 9 1 509 1206 214083 0 31677 0.104675 343767421.2 10 1 509 1082 219210 0 26550 0.097107 343767421.2 11 1 509 868 215086 0 30674 0.084045 343767421.2 12 1 509 703 218936 0 26824 0.073975 343767422.2 13 1 509 1262 218842 0 26918 0.108093 343767422.2 14 1 509 1350 221501 0 24259 0.113464 343767423.2 15 1 509 726 223107 0 22653 0.075378 343773157.2 0 1 6 0 211298 0 34462 0.000366 343773157.2 1 1 0 0 199350 0 46410 0.000000 343773158.2 2 1 0 0 196443 0 49317 0.000000 343773158.2 3 1 1 0 214760 0 31000 0.000061 343773158.2 4 1 2 0 219237 0 26523 0.000122 343773159.2 5 1 2 0 221874 0 23886 0.000122 343773159.2 6 1 2 0 215391 0 30369 0.000122 343773160.2 7 1 4 0 218675 0 27085 0.000244 343773160.2 8 1 18 0 214851 0 30909 0.001099 343773160.2 9 1 22 0 212575 0 33185 0.001343 343773161.2 10 1 20 0 201920 0 43840 0.001221 343773161.2 11 1 6 0 209471 0 36289 0.000366 343773161.2 12 1 2 0 212584 0 33176 0.000122 343773162.2 13 1 3 0 213782 0 31978 0.000183 343773162.2 14 1 2 0 217769 0 27991 0.000122 343773163.2 15 1 2 0 221157 0 24603 0.000122 343778777.2 0 1 4 0 218763 0 26997 0.000244 343778777.2 1 1 20 0 178666 0 67094 0.001221 343778778.2 2 1 0 0 199531 0 46229 0.000000 343778778.2 3 1 1 0 217607 0 28153 0.000061 343778778.2 4 1 2 0 222316 0 23444 0.000122 343778779.2 5 1 1 0 223362 0 22398 0.000061 343778779.2 6 1 2 0 218379 0 27381 0.000122 343778780.2 7 1 3 0 220455 0 25305 0.000183 343778780.2 8 1 0 0 221537 0 24223 0.000000 343778780.2 9 1 21 0 224274 0 21486 0.001282 343778781.2 10 1 3 0 217595 0 28165 0.000183 343778781.2 11 1 5 0 215838 0 29922 0.000305 343778781.2 12 1 0 0 216966 0 28794 0.000000 343778782.2 13 1 1 0 217031 0 28729 0.000061 343778782.2 14 1 1 0 222114 0 23646 0.000061 343778783.2 15 1 1 0 224145 0 21615 0.000061