ltl p6: [] (((! (invariantPrecond)) || (X ((! (isPsystemStep)) U (((solutionCount==TCount)) && (isPsystemStep))))) || (! (isPsystemStep)))
spin: cannot find trail file