Depth=     168 States=   1e+06 Transitions= 5.66407e+06 Memory= 263.863  
Depth=     168 States=   2e+06 Transitions= 1.17373e+07 Memory= 523.629  
Depth=     168 States=   3e+06 Transitions= 1.75151e+07 Memory= 783.297  
Depth=     168 States=   4e+06 Transitions= 2.36283e+07 Memory= 1043.062 

(Spin Version 5.0 -- 22 May 2007)

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

State-vector 340 byte, depth reached 168, errors: 0
  4926645 states, stored
 24079750 states, matched
 29006395 transitions (= stored+matched)
       18 atomic steps
hash conflicts:  76859105 (resolved)

Stats on memory usage (in Megabytes):
1653.842 	equivalent memory usage for states (stored*(State-vector + overhead))
1281.362 	actual memory usage for states (compression: 77.48%)
         	state-vector as stored = 261 byte + 12 byte overhead
4.000    	memory used for hash table (-w19)
0.008    	memory used for DFS stack (-m200)
1.683    	memory lost to fragmentation
1283.688 	total actual memory usage

unreached in proctype node
	line 59, state 28, "out!two,nr"
	(1 of 49 states)
unreached in proctype :init:
	(0 of 11 states)

pan: elapsed time 74.6 seconds
pan: rate 66049.672 states/second