hint: this search is more efficient if pan.c is compiled -DSAFETY
(Spin Version 3.3.10 -- 15 March 2000)

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

State-vector 36 byte, depth reached 1722, errors: 0
     242 states, stored
    3147 states, matched
    3389 transitions (= stored+matched)
   64808 atomic steps
hash conflicts: 0 (resolved)
(max size 2^18 states)

1.596 	memory usage (Mbyte)

0.33u 0.02s 0:00.38 92.1%