Programming.
332 states generated, 222 distinct states found, 0 states left on queue. Finished in 01s at (2019-01-17 23:07:00) If you are already familiar with the Toolbox, this looks pretty much like the output you’d see before, expect without the highlighting. By default tlc stops at the first invariant