Text this: The application of adaptive symmetry reduction for LTL model checking