maxitime ccdid mode hotnum discard update reject replace 540605894.1 0 1 1 0 218672 2282 24806 0.000061 540605894.1 1 1 0 0 211096 1478 33186 0.000000 540605895.1 2 1 0 0 189665 1362 54733 0.000000 540605895.1 3 1 0 0 188253 2637 54870 0.000000 540605895.1 4 1 0 0 187522 2410 55828 0.000000 540605896.1 5 1 0 0 211333 1803 32624 0.000000 540605896.1 6 1 0 0 222638 2431 20691 0.000000 540605897.1 7 1 1 0 227261 1758 16741 0.000061 540605897.1 8 1 0 0 224987 3632 17141 0.000000 540605897.1 9 1 0 0 223532 1821 20407 0.000000 540605898.1 10 1 1 0 209461 2391 33908 0.000061 540605898.1 11 1 0 0 208098 1959 35703 0.000000 540605898.1 12 1 1 0 213905 2294 29561 0.000061 540605899.1 13 1 0 0 209505 1940 34315 0.000000 540605899.1 14 1 0 0 221062 3585 21113 0.000000 540605900.1 15 1 0 0 225792 2028 17940 0.000000 540611458.1 0 1 1 0 216664 4157 24939 0.000061 540611458.1 1 1 0 0 211132 1878 32750 0.000000 540611459.1 2 1 0 0 190439 2202 53119 0.000000 540611459.1 3 1 0 0 188036 3217 54507 0.000000 540611459.1 4 1 1 0 181447 3491 60822 0.000061 540611460.1 5 1 0 0 189562 1995 54203 0.000000 540611460.1 6 1 0 0 224303 1951 19506 0.000000 540611461.1 7 1 1 0 226885 2024 16851 0.000061 540611461.1 8 1 0 0 225630 3300 16830 0.000000 540611461.1 9 1 0 0 224364 1427 19969 0.000000 540611462.1 10 1 1 0 210339 1836 33585 0.000061 540611462.1 11 1 0 0 209910 1277 34573 0.000000 540611462.1 12 1 1 0 214705 1365 29690 0.000061 540611463.1 13 1 0 0 215439 1558 28763 0.000000 540611463.1 14 1 0 0 225464 2784 17512 0.000000 540611464.1 15 1 0 0 225632 1775 18353 0.000000 540617022.1 0 1 1 0 217456 2419 25885 0.000061 540617022.1 1 1 0 0 212290 1013 32457 0.000000 540617023.1 2 1 0 0 192235 956 52569 0.000000 540617023.1 3 1 0 0 189765 1793 54202 0.000000 540617024.1 4 1 1 0 183261 2478 60021 0.000061 540617024.1 5 1 0 0 190160 1576 54024 0.000000 540617024.1 6 1 0 0 224267 2116 19377 0.000000 540617025.1 7 1 1 0 227401 1918 16441 0.000061 540617025.1 8 1 0 0 226786 1992 16982 0.000000 540617025.1 9 1 0 0 225403 842 19515 0.000000 540617026.1 10 1 1 0 210712 1809 33239 0.000061 540617026.1 11 1 0 0 210622 1097 34041 0.000000 540617027.1 12 1 1 0 214416 1733 29611 0.000061 540617027.1 13 1 0 0 216556 1079 28125 0.000000 540617027.1 14 1 0 0 226149 1959 17652 0.000000 540617028.1 15 1 0 0 226497 1204 18059 0.000000 540622586.2 0 1 1 0 219098 2123 24539 0.000061 540622586.2 1 1 0 0 210917 1213 33630 0.000000 540622587.2 2 1 0 0 189125 1235 55400 0.000000 540622587.2 3 1 0 0 188886 1928 54946 0.000000 540622587.2 4 1 1 0 183801 1689 60270 0.000061 540622588.2 5 1 0 0 189395 1089 55276 0.000000 540622588.2 6 1 0 0 223566 1518 20676 0.000000 540622589.2 7 1 1 0 227983 1434 16343 0.000061 540622589.2 8 1 0 0 226269 2390 17101 0.000000 540622589.2 9 1 0 0 224058 1225 20477 0.000000 540622590.2 10 1 1 0 210150 1555 34055 0.000061 540622590.2 11 1 0 0 208524 1001 36235 0.000000 540622590.2 12 1 1 0 215019 1262 29479 0.000061 540622591.2 13 1 0 0 214868 962 29930 0.000000 540622591.2 14 1 0 0 226170 1497 18093 0.000000 540622592.2 15 1 0 0 226558 1041 18161 0.000000 540628150.2 0 1 1 0 219435 1632 24693 0.000061 540628150.2 1 1 0 0 212288 1115 32357 0.000000 540628151.2 4 1 1 0 187963 1838 55959 0.000061 540628151.2 2 1 0 0 189034 1038 55688 0.000000 540628151.2 3 1 0 0 189043 1831 54886 0.000000 540628152.2 5 1 1 0 208897 1051 35812 0.000061 540628152.2 6 1 0 0 223899 1522 20339 0.000000 540628153.2 7 1 1 0 227073 2030 16657 0.000061 540628153.2 8 1 0 0 226357 2422 16981 0.000000 540628153.2 9 1 0 0 209803 1125 34832 0.000000 540628154.2 10 1 1 0 209784 1757 34219 0.000061 540628154.2 11 1 0 0 208962 902 35896 0.000000 540628154.2 12 1 1 0 214200 1650 29910 0.000061 540628155.2 13 1 0 0 213899 1156 30705 0.000000 540628155.2 14 1 0 0 226819 1688 17253 0.000000 540628156.2 15 1 0 0 226408 1477 17875 0.000000 540633714.2 0 1 1 0 218720 2431 24609 0.000061 540633714.2 1 1 0 0 211371 1002 33387 0.000000 540633715.2 2 1 0 0 188812 1178 55770 0.000000 540633715.2 3 1 0 0 184664 1552 59544 0.000000 540633715.2 4 1 0 0 179052 1994 64714 0.000000 540633716.2 5 1 1 0 209210 784 35766 0.000061 540633716.2 6 1 0 0 223637 1704 20419 0.000000 540633717.2 7 1 1 0 227511 1726 16523 0.000061 540633717.2 8 1 0 0 226152 2980 16628 0.000000 540633717.2 9 1 0 0 224105 1007 20648 0.000000 540633718.2 10 1 1 0 209842 1845 34073 0.000061 540633718.2 11 1 0 0 212694 1440 31626 0.000000 540633718.2 12 1 1 0 213994 1675 30091 0.000061 540633719.2 13 1 0 0 214041 835 30884 0.000000 540633719.2 14 1 0 0 227009 1599 17152 0.000000 540633720.2 15 1 0 0 225887 1897 17976 0.000000 540639278.2 0 1 1 0 217784 2117 25859 0.000061 540639278.2 1 1 0 0 211361 1097 33302 0.000000 540639279.2 2 1 0 0 188967 833 55960 0.000000 540639279.2 3 1 0 0 189598 1755 54407 0.000000 540639279.2 4 1 1 0 187820 2207 55733 0.000061 540639280.2 5 1 1 0 208625 1203 35932 0.000061 540639280.2 6 1 0 0 223944 1330 20486 0.000000 540639281.2 7 1 1 0 227983 1740 16037 0.000061 540639281.2 8 1 0 0 227484 1598 16678 0.000000 540639281.2 9 1 0 0 223124 1026 21610 0.000000 540639282.2 10 1 1 0 209811 1039 34910 0.000061 540639282.2 11 1 0 0 206090 748 38922 0.000000 540639282.2 12 1 1 0 200131 1276 44353 0.000061 540639283.2 13 1 0 0 213837 1058 30865 0.000000 540639283.2 14 1 0 0 226791 1828 17141 0.000000 540639284.2 15 1 0 0 227050 1196 17514 0.000000 540644844.2 0 1 1 0 219080 1974 24706 0.000061 540644844.2 1 1 0 0 212314 854 32592 0.000000 540644845.2 2 1 0 0 188089 821 56850 0.000000 540644845.2 3 1 0 0 188661 1539 55560 0.000000 540644845.2 4 1 1 0 187291 1672 56797 0.000061 540644846.2 5 1 1 0 208059 924 36777 0.000061 540644846.2 6 1 0 0 223063 1452 21245 0.000000 540644847.2 7 1 1 0 228245 1307 16208 0.000061 540644847.2 8 1 0 0 226935 1797 17028 0.000000 540644847.2 9 1 0 0 208643 1527 35590 0.000000 540644848.2 10 1 1 0 209859 1264 34637 0.000061 540644848.2 11 1 0 0 208377 825 36558 0.000000 540644848.2 12 1 2 0 213940 1172 30648 0.000122 540644849.2 13 1 0 0 213557 938 31265 0.000000 540644849.2 14 1 0 0 226573 1896 17291 0.000000 540644850.2 15 1 0 0 225763 2292 17705 0.000000 540650408.2 0 1 1 0 218466 2037 25257 0.000061 540650408.2 1 1 0 0 209683 1256 34821 0.000000 540650409.2 2 1 0 0 187012 1294 57454 0.000000 540650409.2 3 1 0 0 186607 3526 55627 0.000000 540650409.2 4 1 1 0 183408 4730 57622 0.000061 540650410.2 5 1 1 0 206529 897 38334 0.000061 540650410.2 6 1 0 0 221204 1298 23258 0.000000 540650411.2 7 1 1 0 227710 1618 16432 0.000061 540650411.2 8 1 0 0 227108 2179 16473 0.000000 540650411.2 9 1 0 0 223232 1131 21397 0.000000 540650412.2 10 1 1 0 207897 1447 36416 0.000061 540650412.2 11 1 2 0 190388 1001 54371 0.000122 540650412.2 12 1 2 0 212449 1966 31345 0.000122 540650413.2 13 1 2 0 212988 999 31773 0.000122 540650413.2 14 1 0 0 227075 1309 17376 0.000000 540650414.2 15 1 0 0 226805 1132 17823 0.000000 540655972.2 0 1 1 0 219270 1679 24811 0.000061 540655972.2 1 1 0 0 210630 1096 34034 0.000000 540655973.2 2 1 0 0 187727 1191 56842 0.000000 540655973.2 3 1 0 0 189514 1478 54768 0.000000 540655973.2 4 1 1 0 187464 1585 56711 0.000061 540655974.2 5 1 1 0 207434 1312 37014 0.000061 540655974.2 6 1 0 0 222403 1567 21790 0.000000 540655975.2 7 1 1 0 228035 1580 16145 0.000061 540655975.2 8 1 0 0 227665 1349 16746 0.000000 540655975.2 9 1 0 0 223699 863 21198 0.000000 540655976.2 10 1 1 0 208678 1167 35915 0.000061 540655976.2 11 1 1 0 191263 1000 53497 0.000061 540655976.2 12 1 2 0 213672 1220 30868 0.000122 540655977.2 13 1 0 0 213139 1206 31415 0.000000 540655977.2 14 1 0 0 226391 2200 17169 0.000000 540655978.2 15 1 0 0 225785 2074 17901 0.000000 540661537.2 0 1 1 0 217807 1583 26370 0.000061 540661537.2 1 1 0 0 210933 1228 33599 0.000000 540661538.2 2 1 0 0 189466 1130 55164 0.000000 540661538.2 3 1 0 0 184867 1477 59416 0.000000 540661538.2 4 1 1 0 179378 1699 64683 0.000061 540661539.2 5 1 1 0 208814 1723 35223 0.000061 540661539.2 6 1 0 0 223951 1681 20128 0.000000 540661540.2 7 1 1 0 227638 1719 16403 0.000061 540661540.2 8 1 0 0 226170 1998 17592 0.000000 540661540.2 9 1 0 0 223708 1330 20722 0.000000 540661541.2 10 1 1 0 209253 1591 34916 0.000061 540661541.2 11 1 0 0 211688 1205 32867 0.000000 540661541.2 12 1 1 0 214161 1232 30367 0.000061 540661542.2 13 1 0 0 213876 1438 30446 0.000000 540661542.2 14 1 0 0 227738 1197 16825 0.000000 540661543.2 15 1 0 0 226281 1797 17682 0.000000 540667101.2 0 1 1 0 217640 2146 25974 0.000061 540667101.2 1 1 0 0 212401 1115 32244 0.000000 540667102.2 2 1 0 0 188844 1293 55623 0.000000 540667102.2 3 1 0 0 188627 1950 55183 0.000000 540667102.2 4 1 1 0 187432 2616 55712 0.000061 540667103.2 5 1 1 0 208326 1629 35805 0.000061 540667103.2 6 1 0 0 223653 2011 20096 0.000000 540667104.2 7 1 1 0 228209 1241 16310 0.000061 540667104.2 8 1 0 0 227004 1857 16899 0.000000 540667104.2 9 1 0 0 209456 1114 35190 0.000000 540667105.2 10 1 1 0 210346 1298 34116 0.000061 540667105.2 11 1 0 0 208710 1067 35983 0.000000 540667105.2 12 1 1 0 214291 1679 29790 0.000061 540667106.2 13 1 0 0 213385 1427 30948 0.000000 540667106.2 14 1 0 0 225660 2613 17487 0.000000 540667107.2 15 1 0 0 226215 1794 17751 0.000000 540672667.2 0 1 1 0 217165 2670 25925 0.000061 540672667.2 1 1 0 0 210778 1404 33578 0.000000 540672668.2 2 1 0 0 188228 1374 56158 0.000000 540672668.2 3 1 0 0 188369 1841 55550 0.000000 540672668.2 4 1 1 0 188075 1651 56034 0.000061 540672669.2 5 1 1 0 211615 1085 33060 0.000061 540672669.2 6 1 0 0 223781 1392 20587 0.000000 540672670.2 7 1 1 0 227731 1722 16307 0.000061 540672670.2 8 1 0 0 225999 2723 17038 0.000000 540672670.2 9 1 0 0 223290 1672 20798 0.000000 540672671.2 10 1 1 0 209112 2035 34613 0.000061 540672671.2 11 1 0 0 208019 1360 36381 0.000000 540672671.2 12 1 2 0 213941 1646 30173 0.000122 540672672.2 13 1 0 0 210092 1355 34313 0.000000 540672672.2 14 1 0 0 223227 1249 21284 0.000000 540672673.2 15 1 0 0 226689 1076 17995 0.000000 540678232.2 0 1 1 0 218717 2059 24984 0.000061 540678232.2 1 1 0 0 196800 894 48066 0.000000 540678233.2 2 1 0 0 173132 786 71842 0.000000 540678233.2 3 1 0 0 188587 2012 55161 0.000000 540678233.2 4 1 1 0 188037 1738 55985 0.000061 540678234.2 5 1 1 0 208714 1091 35955 0.000061 540678234.2 6 1 0 0 223549 1448 20763 0.000000 540678235.2 7 1 1 0 227480 1707 16573 0.000061 540678235.2 8 1 0 0 227192 1858 16710 0.000000 540678235.2 9 1 0 0 225379 1031 19350 0.000000 540678236.2 10 1 1 0 209575 1831 34354 0.000061 540678236.2 11 1 0 0 208331 1105 36324 0.000000 540678236.2 12 1 1 0 213749 1457 30554 0.000061 540678237.2 13 1 0 0 213305 1456 30999 0.000000 540678237.2 14 1 0 0 226584 1116 18060 0.000000 540678238.2 15 1 0 0 226229 1570 17961 0.000000 540683796.2 0 1 1 0 217160 2798 25802 0.000061 540683796.2 1 1 0 0 210557 1620 33583 0.000000 540683797.2 2 1 0 0 188801 1022 55937 0.000000 540683797.2 3 1 0 0 188382 1915 55463 0.000000 540683797.2 4 1 1 0 187648 2145 55967 0.000061 540683798.2 5 1 1 0 211130 1281 33349 0.000061 540683798.2 6 1 0 0 223265 1809 20686 0.000000 540683799.2 7 1 1 0 227377 2011 16372 0.000061 540683799.2 8 1 0 0 226136 2659 16965 0.000000 540683799.2 9 1 0 0 223619 1299 20842 0.000000 540683800.2 10 1 1 0 210097 1393 34270 0.000061 540683800.2 11 1 0 0 208690 997 36073 0.000000 540683800.2 12 1 1 0 210317 1532 33911 0.000061 540683801.2 13 1 1 0 196621 1008 48131 0.000061 540683801.2 14 1 0 0 226712 1581 17467 0.000000 540683802.2 15 1 0 0 226223 1383 18154 0.000000 540689362.2 0 1 1 0 219211 1882 24667 0.000061 540689362.2 1 1 0 0 194846 1367 49547 0.000000 540689363.2 2 1 0 0 173469 1034 71257 0.000000 540689363.2 3 1 0 0 188241 1760 55759 0.000000 540689363.2 4 1 1 0 187477 1910 56373 0.000061 540689364.2 5 1 1 0 208483 1039 36238 0.000061 540689364.2 6 1 0 0 223039 1539 21182 0.000000 540689365.2 7 1 1 0 227723 1485 16552 0.000061 540689365.2 8 1 0 0 227111 1833 16816 0.000000 540689365.2 9 1 0 0 225247 1116 19397 0.000000 540689366.2 10 1 1 0 209468 1875 34417 0.000061 540689366.2 11 1 0 0 207798 1864 36098 0.000000 540689366.2 12 1 2 0 213362 1618 30780 0.000122 540689367.2 13 1 1 0 213785 912 31063 0.000061 540689367.2 14 1 0 0 226345 1956 17459 0.000000 540689368.2 15 1 0 0 226862 1181 17717 0.000000