(Spin Version 3.4.5 -- 8 March 2000)
        + Partial Order Reduction

Full statespace search for:
        never-claim             - (none specified)
        assertion violations    +
        cycle checks            - (disabled by -DSAFETY)
        invalid endstates       - (disabled by -E flag)

State-vector 104 byte, depth reached 130, errors: 0
    2309 states, stored
     957 states, matched
    3266 transitions (= stored+matched)
      16 atomic steps
hash conflicts: 13 (resolved)
(max size 2^18 states)

1.698   memory usage (Mbyte)