test xml #507

Job	Run time
macOS	2m 35s
Coverage (STP)	7m 46s
Docker	4m 40s
Coverage (Z3)	7m 47s
Linux (LLVM 16)	6m 21s
Linux (LLVM 15)	6m 15s
Linux (LLVM 14)	6m 14s
Linux (LLVM 13, Doxygen)	6m 11s
Linux (LLVM 12)	6m 20s
Linux (LLVM 11)	6m 3s
Linux (ASan)	6m 21s
Linux (UBSan)	6m 21s
Linux (MSan)	6m 20s
Linux (Z3 only)	6m 20s
Linux (metaSMT)	6m 20s
Linux (STP master)	6m 7s
Linux (Latest klee-uclibc)	6m 24s
Linux (Asserts disabled)	6m 23s
Linux (No TCMalloc, optimised runtime)	6m 11s
	1h 56m 59s

Provide feedback