(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 120 byte, depth reached 252662, errors: 0
  919978 states, stored
1.77387e+06 states, matched
2.69385e+06 transitions (= stored+matched)
1.48743e+06 atomic steps
hash conflicts: 4.23951e+06 (resolved)
(max size 2^18 states)

Stats on memory usage (in Megabytes):
117.757 equivalent memory usage for states (stored*(State-vector + overhead))
67.689  actual memory usage for states (compression: 57.48%)
        State-vector as stored = 66 byte + 8 byte overhead
1.049   memory used for hash-table (-w18)
9.600   memory used for DFS stack (-m400000)
78.440  total actual memory usage

89.70u 2.31s 1:33.17 98.7%