Is Bob getting laZy?

[Ala Qumsieh]

Just a stupid question:

Since the best score for Cantor is 34.13, and that for Kolakoski is 52.13,
shouldn't BoB be at 86.26 instead of the pathetic 88.28?

--Ala