(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 1805, errors: 0
     4212 states, stored
     8626 states, matched
    12838 transitions (= stored+matched)
        2 atomic steps
hash conflicts:        24 (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 36 states)
unreached in proctype :init:
	(0 of 5 states)

pan: elapsed time 0.016 seconds
pan: rate    263250 states/second