pan: non-progress cycle (at depth 51)
pan: wrote task5_assert.pml.trail

(Spin Version 5.2.4 -- 2 December 2009)
Warning: Search not completed
	+ Partial Order Reduction

Full statespace search for:
	never claim         	+
	assertion violations	- (disabled by -A flag)
	non-progress cycles 	+ (fairness disabled)
	invalid end states	- (disabled by never claim)

State-vector 48 byte, depth reached 57, errors: 1
       38 states, stored (41 visited)
       17 states, matched
       58 transitions (= visited+matched)
        4 atomic steps
hash conflicts:         0 (resolved)

    2.501	memory usage (Mbyte)


pan: elapsed time 0.003 seconds