Annotations #804

Job	Run time
macOS	13m 24s
Docker	13m 32s
clang-format	4m 58s
Coverage (STP)	38m 12s
Coverage (Z3)	34m 30s
Linux (LLVM 14)	17m 13s
Linux (LLVM 13)	13m 29s
Linux (LLVM 12)	15m 58s
Linux (LLVM 11, Doxygen)	17m 8s
Linux (LLVM 10)	14m 22s
Linux (LLVM 9)	16m 38s
Linux (ASan)	42m 51s
Linux (UBSan)	34m 30s
Linux (MSan)	45m 38s
Linux (Z3 only)	17m 11s
Linux (metaSMT)	40m 20s
Linux (STP master)	17m 22s
Linux (Latest klee-uclibc)	16m 19s
Linux (Asserts disabled)	12m 25s
Linux (No TCMalloc, optimised runtime)	13m 10s
	7h 19m 10s

Provide feedback