warning: never-claim + accept-labels requires -a flag to fully verify
warning: for p.o. reduction to be valid the never claim must be
stutter-closed
(never claims generated from LTL formulae are stutter-closed)
(Spin Version 3.3.10 -- 15 March 2000)
	+ Partial Order Reduction
	+ Compression

Full statespace search for:
	never-claim         	+
	assertion violations	+ (if within scope of claim)
	cycle checks       	- (disabled by -DSAFETY)
	invalid endstates	- (disabled by never-claim)

State-vector 228 byte, depth reached 11478, errors: 0
  292870 states, stored
2.99905e+06 states, matched
3.29192e+06 transitions (= stored+matched)
1.0025e+07 atomic steps
hash conflicts: 720982 (resolved)
(max size 2^19 states)

Stats on memory usage (in Megabytes):
70.289	equivalent memory usage for states (stored*(State-vector +
overhead))
19.764	actual memory usage for states (compression: 28.12%)
	State-vector as stored = 55 byte + 12 byte overhead
2.097 	memory used for hash-table (-w19)
2.400 	memory used for DFS stack (-m100000)
24.364	total actual memory usage

real     5:44.7
user     5:37.2
sys         0.3