(Spin Version 5.2.4 -- 2 December 2009)
	+ Partial Order Reduction

Full statespace search for:
	never claim         	- (none specified)
	assertion violations	+
	cycle checks       	- (disabled by -DSAFETY)
	invalid end states	- (disabled by -E flag)

State-vector 52 byte, depth reached 582, errors: 0
     1053 states, stored
     1950 states, matched
     3003 transitions (= stored+matched)
        3 atomic steps
hash conflicts:         0 (resolved)

    2.501	memory usage (Mbyte)

unreached in proctype check_critical_count
	line 48, state 4, "-end-"
	(1 of 4 states)
unreached in proctype memory_manager
	line 61, state 12, "-end-"
	(1 of 12 states)
unreached in proctype pcbit_receive
	line 162, state 34, "-end-"
	(1 of 34 states)
unreached in proctype :init:
	(0 of 6 states)

pan: elapsed time 0.004 seconds