Scalable offline monitoring of temporal specifications