(Spin Version 3.3.10 -- 15 March 2000)
        + Partial Order Reduction

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

State-vector 84 byte, depth reached 115, errors: 0
    5112 states, stored
   15365 states, matched
   20477 transitions (= stored+matched)
      16 atomic steps
hash conflicts: 13906 (resolved)
(max size 2^18 states)

1.801   memory usage (Mbyte)

unreached in proctype P
        (0 of 24 states)
unreached in proctype :init:
        (0 of 10 states)