Block Level Search #982

Job	Run time
Docker	12m 40s
Coverage (STP)	1h 42m 25s
Coverage (Z3)	1h 38m 15s
macOS	11m 26s
clang-format	6m 45s
Linux (LLVM 14)	1h 30m 21s
Linux (LLVM 13)	1h 34m 1s
Linux (LLVM 12)	1h 34m 11s
Linux (LLVM 11, Doxygen)	1h 34m 24s
Linux (LLVM 10)	1h 36m 2s
Linux (LLVM 9)	1h 29m 58s
Linux (ASan)	1h 37m 17s
Linux (UBSan)	1h 4m 2s
Linux (MSan)	1h 28m 57s
Linux (Z3 only)	55m 28s
Linux (metaSMT)	1h 29m 21s
Linux (STP master)	1h 22m 27s
Linux (Latest klee-uclibc)	1h 36m 12s
Linux (Asserts disabled)	1h 37m 13s
Linux (No TCMalloc, optimised runtime)	44m 19s
	1d 1h 5m 44s

Provide feedback