Hi,
these files are part of the queue of *unexplored* states and not a dump
of explored states. In other words, this is an artifact of state-space
explosion. Run TLC with the "-gzip" parameter to compress the files if
you run short on disc space.
Markus