Progress(45) at 2015-05-20 13:52:02: 16033373 states generated (2.015.370 s/min), 11993254 distinct states found (1.995.379 ds/min), 1277839 states left on queue.
Error: TLC threw an unexpected exception.
This was probably caused by an error in the spec or model.
See the User Output or TLC Console for clues to what happened.
The exception was a java.lang.RuntimeException: DiskFPSet.mergeNewEntries: 9223335424116589377 is already on disk.