hint: this search is more efficient if pan.c is compiled -DSAFETY
(Spin Version 3.4.5 -- 8 March 2000)
        + Partial Order Reduction

Full statespace search for:
        never-claim             - (none specified)
        assertion violations    +
        acceptance   cycles     - (not selected)
        invalid endstates       +

State-vector 76 byte, depth reached 10, errors: 0
      17 states, stored
     129 states, matched
     146 transitions (= stored+matched)
      36 atomic steps
hash conflicts: 0 (resolved)
(max size 2^18 states)

1.493   memory usage (Mbyte)