Block Level Search #988

Job	Run time
Linux (LLVM 14)	14m 58s
macOS	11m 24s
Linux (LLVM 13)	14m 56s
clang-format	6m 21s
Linux (LLVM 12)	15m 1s
Coverage (STP)	38m 36s
Docker	12m 40s
Linux (LLVM 11, Doxygen)	14m 57s
Coverage (Z3)	43m 29s
Linux (LLVM 10)	15m 5s
Linux (LLVM 9)	16m 2s
Linux (ASan)	15m 1s
Linux (UBSan)	8m 30s
Linux (MSan)	11m 23s
Linux (Z3 only)	3m 18s
Linux (metaSMT)	14m 59s
Linux (STP master)	11m 3s
Linux (Latest klee-uclibc)	15m 0s
Linux (Asserts disabled)	14m 42s
Linux (No TCMalloc, optimised runtime)	14m 57s
	5h 12m 22s

Provide feedback