Several symbolic partitions contain errors in the encoding of temporal information. Partition-specific sub-issues are opened to document the problem.