View Single Post
Old 2017-04-02, 13:26   #9
Quasi Admin Thing
KEP's Avatar
May 2005

11110100002 Posts

Originally Posted by VBCurtis View Post
Stats that would be more relevant to track over the course of years than raw number of k's:
Number of bases proven
Number of bases with 1 k remaining
Number of bases with 2 k's remaining
Perhaps number of bases with 10 or fewer k's remaining
Well, it was also available on the srbase advanced version of the overall project progress. I however need to recontruct my spreadsheet, so it actually isn't as time consuming to show how many conjectures remain with a given amount of k's remaining. Also I need to have a better spreadsheet created, to better know how many conjectures are tested to a given n

I'm not sure, when, but it will happen over the next months, maybe around may 1st, you will again see the advanced stats returning to srbase.
KEP is offline   Reply With Quote