(Spin Version 2.9.3 -- 5 October 1996)
	+ Partial Order Reduction

Bit statespace search for:
	never-claim         	- (not selected)
	assertion violations	+
	cycle checks       	- (disabled by -DSAFETY)
	invalid endstates	+

State-vector 108 byte, depth reached 903757, errors: 0
6.3961e+06 states, stored
1.1856e+07 states, matched
1.82521e+07 transitions (= stored+matched)
9.25748e+06 atomic steps
3.9551e+06 lost messages
hash factor: 5.24608 (best coverage if >100)
(max size 2^25 states)

7.18779e+08	equivalent memory usage in bytes (stored*vector + stack)
5.75241e+07	actual memory usage

444.90user 3.31system 10:52.33elapsed 68%CPU (0avgtext+0avgdata 0maxresident)k
0inputs+0outputs (0major+0minor)pagefaults 0swaps