(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 1396, errors: 0
     1335 states, stored
     2627 states, matched
     3962 transitions (= stored+matched)
        2 atomic steps
hash conflicts:         4 (resolved)

    2.501	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 34 states)
unreached in proctype :init:
	(0 of 5 states)

pan: elapsed time 0.005 seconds