(Spin Version 6.0.0 -- 5 December 2010)
	+ Partial Order Reduction

Full statespace search for:
	never claim         	- (none specified)
	assertion violations	+
	acceptance   cycles 	- (not selected)
	invalid end states	+

State-vector 128 byte, depth reached 96, errors: 0
     7476 states, stored
      115 states, matched
     7591 transitions (= stored+matched)
     1972 atomic steps
hash conflicts:         0 (resolved)

    3.379	memory usage (Mbyte)

unreached in proctype nnode
	(0 of 23 states)
unreached in init
	(0 of 33 states)

pan: elapsed time 0.002 seconds