Run proofs with CBMC 6.2.0 (#1149) #2432

Job	Run time
clang-sanitizers (,thread)	2m 40s
Cross Compile linux-armv6	1m 55s
clang-sanitizers (,address,undefined)	1m 56s
downstream	40m 26s
Cross Compile linux-armv7	1m 51s
Cross Compile linux-arm64	1m 43s
Cross Compile android-armv7	2m 10s
freebsd	9m 21s
linux-compat (manylinux1-x64)	1m 12s
linux-compiler-compat (clang-3)	1m 49s
linux-compat (manylinux1-x86)	2m 20s
linux-compiler-compat (clang-6)	5m 58s
linux-compat (manylinux2014-x64)	1m 18s
linux-debug	1m 28s
linux-compiler-compat (clang-8)	6m 30s
linux-compat (manylinux2014-x86)	1m 23s
linux-compiler-compat (clang-9)	6m 12s
linux-compat (raspbian-bullseye)	6m 51s
linux-no-cpu-extensions	1m 40s
linux-compat (fedora-34-x64)	1m 15s
linux-compat (opensuse-leap)	1m 41s
linux-compiler-compat (clang-10)	1m 56s
linux-compat (rhel8-x64)	1m 7s
linux-compiler-compat (clang-11)	3m 14s
linux-compiler-compat (gcc-4.8)	1m 19s
linux-shared-libs	1m 35s
linux-compiler-compat (gcc-5)	1m 40s
linux-compat (al2-x64)	1m 9s
macos	1m 17s
linux-compiler-compat (gcc-6)	1m 35s
macos-debug	1m 19s
linux-compiler-compat (gcc-7)	1m 34s
macos-no-cpu-extensions	2m 0s
linux-compiler-compat (gcc-8)	1m 52s
macos-x64	2m 45s
linux-compiler-compat (gcc-11)	2m 21s
openbsd	11m 37s
windows	2m 17s
windows-app-verifier	22m 1s
windows-debug	2m 20s
windows-no-cpu-extensions	2m 6s
windows-shared-libs	2m 25s
windows-vc14 (x86)	1m 30s
windows-vc14 (x64)	2m 7s
windows-vc15 (x86)	3m 17s
windows-vc16 (x86)	2m 39s
windows-vc15 (x64)	3m 15s
windows-vc16 (x64)	2m 41s
	3h 6m 37s

Provide feedback