(Spin Version 5.2.4 -- 2 December 2009)

Full statespace search for:
	never claim         	+
	assertion violations	- (disabled by -A flag)
	acceptance   cycles 	+ (fairness disabled)
	invalid end states	- (disabled by never claim)

State-vector 48 byte, depth reached 1679, errors: 0
     3589 states, stored
     7247 states, matched
    10836 transitions (= stored+matched)
        2 atomic steps
hash conflicts:        11 (resolved)

    2.598	memory usage (Mbyte)

unreached in proctype memory_manager
	line 59, state 12, "-end-"
	(1 of 12 states)
unreached in proctype pcbit_receive
	line 107, state 34, "-end-"
	(1 of 35 states)
unreached in proctype :init:
	(0 of 5 states)

pan: elapsed time 0.015 seconds
pan: rate 239266.67 states/second