Depth= 168 States= 1e+06 Transitions= 5.66407e+06 Memory= 263.863 Depth= 168 States= 2e+06 Transitions= 1.17373e+07 Memory= 523.629 Depth= 168 States= 3e+06 Transitions= 1.75151e+07 Memory= 783.297 Depth= 168 States= 4e+06 Transitions= 2.36283e+07 Memory= 1043.062 (Spin Version 5.0 -- 22 May 2007) Full statespace search for: never claim - (none specified) assertion violations + cycle checks - (disabled by -DSAFETY) invalid end states + State-vector 340 byte, depth reached 168, errors: 0 4926645 states, stored 24079750 states, matched 29006395 transitions (= stored+matched) 18 atomic steps hash conflicts: 76859105 (resolved) Stats on memory usage (in Megabytes): 1653.842 equivalent memory usage for states (stored*(State-vector + overhead)) 1281.362 actual memory usage for states (compression: 77.48%) state-vector as stored = 261 byte + 12 byte overhead 4.000 memory used for hash table (-w19) 0.008 memory used for DFS stack (-m200) 1.683 memory lost to fragmentation 1283.688 total actual memory usage unreached in proctype node line 59, state 28, "out!two,nr" (1 of 49 states) unreached in proctype :init: (0 of 11 states) pan: elapsed time 74.6 seconds pan: rate 66049.672 states/second