Block Level Search #986

Job	Run time
Docker	14m 19s
clang-format	5m 40s
Coverage (STP)	40m 57s
Linux (LLVM 14)	15m 39s
Coverage (Z3)	40m 35s
Linux (LLVM 13)	15m 33s
macOS	6m 48s
Linux (LLVM 12)	15m 32s
Linux (LLVM 11, Doxygen)	15m 35s
Linux (LLVM 10)	15m 17s
Linux (LLVM 9)	15m 33s
Linux (ASan)	15m 32s
Linux (UBSan)	15m 33s
Linux (MSan)	15m 48s
Linux (Z3 only)	15m 31s
Linux (metaSMT)	15m 23s
Linux (STP master)	15m 31s
Linux (Latest klee-uclibc)	15m 33s
Linux (Asserts disabled)	15m 29s
Linux (No TCMalloc, optimised runtime)	15m 33s
	5h 41m 21s

Provide feedback