chore: update report #11

Job	Run time
verify (AToken.conf)	1m 41s
verify (ReserveConfiguration.conf)	2m 5s
verify (UserConfiguration.conf)	2m 28s
verify (VariableDebtToken.conf)	2m 41s
verify (NEW-pool-no-summarizations.conf)	3m 2s
verify (NEW-pool-simple-properties.conf --rule cannotDepositInInactiveReserve --msg "cannotDeposi...	3m 31s
verify (NEW-pool-simple-properties.conf --rule cannotDepositInFrozenReserve --msg "cannotDepositI...	4m 49s
verify (NEW-pool-simple-properties.conf --rule cannotDepositZeroAmount --msg "cannotDepositZeroAm...	5m 11s
verify (NEW-pool-simple-properties.conf --rule cannotWithdrawZeroAmount --msg "cannotWithdrawZero...	2m 46s
verify (NEW-pool-simple-properties.conf --rule cannotWithdrawFromInactiveReserve --msg "cannotWit...	14m 32s
verify (NEW-pool-simple-properties.conf --rule cannotBorrowZeroAmount --msg "cannotBorrowZeroAmou...	12m 24s
verify (NEW-pool-simple-properties.conf --rule cannotBorrowOnInactiveReserve --msg "cannotBorrowO...	14m 43s
verify (NEW-pool-simple-properties.conf --rule cannotBorrowOnReserveDisabledForBorrowing --msg "c...	23m 25s
verify (NEW-pool-simple-properties.conf --rule cannotBorrowOnFrozenReserve --msg "cannotBorrowOnF...	17m 58s
	1h 51m 16s

Provide feedback