ZetaZeroes global statistic file. Version : 1.5 User Name : Global start user index : 100000 Global end user index : 1000000000000 Current user index : 1000000000000 -------------------------------------------- Global start index : 100002 Current index : 1000000000000 =============================================== Number of indexes : 9.999999E+011 +--------------------------------------+ | Gram block count | +--------------------------------------+ Gram block of size 1 : 658396319282 Gram block of length 2 : 53148171357, 53146796881, 0 Gram block of length 3 : 13367573090, 13367303328, 1238291972 Gram block of length 4 : 3801175722, 3800922243, 463708770 Gram block of length 5 : 940006359, 939950665, 158556529 Gram block of length 6 : 159588777, 159555157, 51879842 Gram block of length 7 : 14404350, 14396533, 14817369 Gram block of length 8 : 502178, 502789, 3067658 Gram block of length 9 : 4211, 4226, 403413 Gram block of length 10 : 3, 2, 35169 Gram block of length 11 : 0, 0, 1753 Gram block of length 12 : 0, 0, 41 Gram block of length 13 : 0, 0, 0 Gram block of length 14 : 0, 0, 0 Gram block of length 15 : 0, 0, 0 Number of regular gram points : 999929685218 +--------------------------------------+ | Violation of Rosser Rule count | +--------------------------------------+ Number of type of violations of Rosser rule : 121 2R3 : 5703824 2L3 : 5703286 2R22 : 2493456 2L22 : 2492862 3L3 : 1046742 3R3 : 1045131 2L212 : 311618 2R212 : 310895 3R22 : 226022 3L22 : 225584 4L3 : 79117 4R3 : 78581 2L032 : 41603 2R230 : 41593 2R40 : 30519 2L04 : 30463 2L2112 : 15386 2R2112 : 15273 2R2130 : 10321 2L0312 : 10293 3R40 : 10125 3L04 : 9842 3R230 : 8617 3L032 : 8558 3R212 : 8340 3L212 : 8310 4L22 : 5717 4R22 : 5634 5R3 : 2490 5L3 : 2453 2L014 : 2392 2R410 : 2313 2L0132 : 2290 2R2310 : 2235 4R40 : 2075 4L04 : 2031 2L03112 : 1131 2R21130 : 1063 3R2130 : 793 3L0312 : 772 4R230 : 732 4L032 : 692 3R410 : 604 3L014 : 585 2R21310 : 442 3R2310 : 437 2L31 : 434 2R13 : 415 3L0132 : 408 2L01312 : 393 2R4110 : 254 2L0114 : 239 2R21112 : 223 5L04 : 204 2L21112 : 203 5R40 : 180 4L014 : 140 4R410 : 138 2R23110 : 111 2L01132 : 93 3R2112 : 68 3L2112 : 60 2R211130 : 51 2R211310 : 50 3L0114 : 45 4L0132 : 42 4R2310 : 40 2L031112 : 40 5L22 : 37 2R41110 : 37 3R4110 : 35 2L013112 : 35 6L3 : 33 3R21310 : 32 5R22 : 31 2L01114 : 30 5R410 : 28 3L01312 : 28 5L014 : 27 4L212 : 26 6R3 : 23 4R212 : 22 2L041 : 17 2R140 : 16 5R230 : 14 5L032 : 13 4R2130 : 11 2R122 : 9 4L0312 : 9 4R4110 : 8 3L03112 : 8 3R21130 : 8 2L221 : 7 6L04 : 6 4L0114 : 6 3R23110 : 6 3L01132 : 5 2L011312 : 5 2R411110 : 5 3R13 : 4 6R40 : 4 6R410 : 4 5R2310 : 4 2L011132 : 4 2R213110 : 4 5L0132 : 3 2L011114 : 3 2R231110 : 3 2L0131112 : 3 3L31 : 2 6L014 : 2 4L01312 : 2 3R41110 : 2 3L01114 : 2 2R2111310 : 2 2L302 : 1 2R1230 : 1 3L013112 : 1 2L211112 : 1 2L0111114 : 1 2R4111110 : 1 Number of violations of Rosser rule : 20007704 (20.01 per million) Number of special points : 70214780 Number of missed roots : 0 =============================================== Total timing : 4005107 seconds (46 days 8.53 hours) Number of zeroes found per second : 249681.19 Number of Z Evaluations : 1187935478914 (1.188 per zero) Number of chunks : 1000 Global computation is finished.