[pfs@gridssh experiments]$ verifyta -s -u -t0 -o2 models/gmp52_4.xml models/agr50.q Options for the verification: Generating some trace Search order is random depth first Using conservative space optimisation Seed is 1181633223 State space representation uses minimal constraint systems Verifying property 1 at line 1 -- Property is satisfied. -- States stored : 29346 states -- States explored : 0 states [pfs@gridssh experiments]$ verifyta -s -u -o2 models/gmp52_4.xml models/agr50.q Options for the verification: Generating no trace Search order is random depth first Using conservative space optimisation Seed is 1181633240 State space representation uses minimal constraint systems Verifying property 1 at line 1 -- Property is satisfied. -- States stored : 29346 states -- States explored : 0 states [pfs@gridssh experiments]$ verifyta -s -u models/gmp52_4.xml models/agr50.q Options for the verification: Generating no trace Search order is breadth first Using conservative space optimisation Seed is 1181633257 State space representation uses minimal constraint systems Verifying property 1 at line 1 -- Property is satisfied. -- States stored : 29346 states -- States explored : 0 states [pfs@gridssh experiments]$ verifyta -s models/gmp52_4.xml models/agr50.q Options for the verification: Generating no trace Search order is breadth first Using conservative space optimisation Seed is 1181633272 State space representation uses minimal constraint systems Verifying property 1 at line 1 -- Property is satisfied. [pfs@gridssh experiments]$ verifyta -u models/gmp52_4.xml models/agr50.q Options for the verification: Generating no trace Search order is breadth first Using conservative space optimisation Seed is 1181633292 State space representation uses minimal constraint systems Verifying property 1 at line 1 -- Property is satisfied. -- States stored : 29346 states -- States explored : 29346 states [pfs@gridssh experiments]$ verifyta -u -t0 -o2 models/gmp52_4.xml models/agr50.q Options for the verification: Generating some trace Search order is random depth first Using conservative space optimisation Seed is 1181634535 State space representation uses minimal constraint systems Verifying property 1 at line 1 -- Property is satisfied. -- States stored : 29346 states -- States explored : 29346 states