Programming.
initial states... Finished computing initial states: 25 distinct states generated. Progress(5) at 2019-01-17 23:07:00: 332 states generated, 222 distinct states found, 0 states left on queue. Checking temporal properties for the complete state space with 222 total distinct states at (2019-01-17