(Spin Version 4.2.5 -- 2 April 2005) + Partial Order Reduction Full statespace search for: never claim - (none specified) assertion violations + cycle checks - (disabled by -DSAFETY) invalid end states + State-vector 16 byte, depth reached 2344, errors: 0 6237 states, stored 919 states, matched 7156 transitions (= stored+matched) 0 atomic steps hash conflicts: 5 (resolved) 2.622 memory usage (Mbyte) unreached in proctype :init: line 61, state 19, "-end-" (1 of 19 states)