(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 208 byte, depth reached 152, errors: 0
    14122 states, stored
      119 states, matched
    14241 transitions (= stored+matched)
     1972 atomic steps
hash conflicts:         0 (resolved)

Stats on memory usage (in Megabytes):
    3.017	equivalent memory usage for states (stored*(State-vector + overhead))
    2.729	actual memory usage for states (compression: 90.46%)
         	state-vector as stored = 187 byte + 16 byte overhead
    2.000	memory used for hash table (-w19)
    0.305	memory used for DFS stack (-m10000)
    4.942	total actual memory usage

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

pan: elapsed time 0.008 seconds