(Spin Version 5.2.4 -- 2 December 2009)
        + Partial Order Reduction

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

State-vector 44 byte, depth reached 475, errors: 0
      809 states, stored
     1580 states, matched
     2389 transitions (= stored+matched)
        2 atomic steps
hash conflicts:         0 (resolved)

    2.501       memory usage (Mbyte)

unreached in proctype memory_manager
        line 61, state 12, "-end-"
        (1 of 12 states)
unreached in proctype pcbit_receive
        line 162, state 32, "-end-"
        (1 of 32 states)
unreached in proctype :init:
        (0 of 5 states)

pan: elapsed time 0.009 seconds