(Spin Version 3.3.10 -- 15 March 2000)
	+ Partial Order Reduction

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

State-vector 524 byte, depth reached 102, errors: 0
    1196 states, stored
     890 states, matched
    2086 transitions (= stored+matched)
     349 atomic steps
hash conflicts: 20 (resolved)
(max size 2^18 states)

2.108 	memory usage (Mbyte)

0.24u 0.03s 0:00.35 77.1%