(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 24 byte, depth reached 4861, errors: 0
   26755 states, stored
   88831 states, matched
  115586 transitions (= stored+matched)
       0 atomic steps
hash conflicts: 24456 (resolved)
(max size 2^18 states)

Stats on memory usage (in Megabytes):
0.856   equivalent memory usage for states (stored*(State-vector +
overhead))
0.614   actual memory usage for states (compression: 71.76%)
        State-vector as stored = 15 byte + 8 byte overhead
1.049   memory used for hash-table (-w18)
0.240   memory used for DFS stack (-m10000)
2.005   total actual memory usage

unreached in proctype tks
        (0 of 20 states)
unreached in proctype bediening
        (0 of 12 states)
unreached in proctype checks
        (0 of 4 states)
unreached in proctype :init:
        (0 of 4 states)