Annotations #732

Job	Run time
macOS	11m 40s
Coverage (STP)	29m 7s
Coverage (Z3)	29m 34s
clang-format	6m 35s
Docker	10m 4s
Linux (LLVM 14)	10m 23s
Linux (LLVM 13)	10m 39s
Linux (LLVM 12)	10m 41s
Linux (LLVM 11, Doxygen)	10m 42s
Linux (LLVM 10)	10m 42s
Linux (LLVM 9)	10m 40s
Linux (ASan)	10m 42s
Linux (UBSan)	4m 15s
Linux (MSan)	10m 42s
Linux (Z3 only)	2m 59s
Linux (metaSMT)	10m 41s
Linux (STP master)	5m 18s
Linux (Latest klee-uclibc)	10m 40s
Linux (Asserts disabled)	10m 41s
Linux (No TCMalloc, optimised runtime)	10m 39s
	3h 47m 24s

Provide feedback