ltl p3: [] (((! (((ms[1].x[12]==1)) && ((ms[1].x[4]==1)))) || (X ((! (isPsystemStep)) U (((ms[2].x[25]==1)) && (isPsystemStep))))) || (! (isPsystemStep)))
spin: cannot find trail file