(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 44 byte, depth reached 1215, errors: 0
     3132 states, stored
     3573 states, matched
     6705 transitions (= stored+matched)
        2 atomic steps
hash conflicts:         5 (resolved)

    2.598	memory usage (Mbyte)

unreached in proctype memory_manager
	line 61, state 12, "-end-"
	(1 of 12 states)
unreached in proctype pcbit_receive
	line 159, state 42, "-end-"
	(1 of 42 states)
unreached in proctype :init:
	(0 of 5 states)

pan: elapsed time 0.005 seconds