Model Checking CTL is Almost Always Inherently Sequential (Logical Methods in Computer Science, 2011)