Lost assets (no share price decrease) #19

Job	Run time
verify (ConsistentState)	25m 28s
verify (DistinctIdentifiers)	8m 28s
verify (Enabled)	15m 59s
verify (Immutability)	11m 54s
verify (LastUpdated)	10m 25s
verify (Liveness)	16m 29s
verify (MarketInteractions)	12m 20s
verify (PendingValues)	17m 20s
verify (Range)	19m 8s
verify (Reentrancy)	11m 16s
verify (Reverts)	11m 44s
verify (Roles)	7m 17s
verify (Timelock)	16m 30s
verify (Tokens)	13m 59s
verify (LostAssetsNoLink)	23m 16s
verify (LostAssetsLink)	21m 4s
	4h 2m 37s

Provide feedback