Improve assess and regression time#2478

celinval merged 2 commits intomodel-checking:mainmodel-checking/kani:mainfrom

celinval:issue-xxxx-assess-timecelinval/kani-dev:issue-xxxx-assess-timeCopy head branch name to clipboard