User blog comment:PsiCubed2/Does anybody here know where I can have serious googology questions answered?/@comment-35470197-20181114222222/@comment-35470197-20181117020620

By the way, what have you precisely done on PSS? I am mainly interested in the following:
 * 1) What version of BMS did you work on?
 * 2) How many pages did you spend to verify the termination of the corresponding PSS? (It is very good if you veified it within 20 pages!)
 * 3) Have you verified some upper bound of the growth rate of the function derived from the PSS using a linear hierarchy such as FGH?