test xml #511

Job	Run time
Coverage (STP)	11m 50s
Docker	4m 34s
Coverage (Z3)	12m 0s
Linux (LLVM 16)	6m 10s
Linux (LLVM 15)	6m 10s
macOS	2m 39s
Linux (LLVM 14)	6m 11s
Linux (LLVM 13, Doxygen)	6m 10s
Linux (LLVM 12)	6m 11s
Linux (LLVM 11)	6m 12s
Linux (ASan)	6m 12s
Linux (UBSan)	6m 10s
Linux (MSan)	6m 11s
Linux (Z3 only)	6m 10s
Linux (metaSMT)	6m 11s
Linux (STP master)	6m 13s
Linux (Latest klee-uclibc)	6m 6s
Linux (Asserts disabled)	5m 53s
Linux (No TCMalloc, optimised runtime)	6m 9s
	2h 3m 22s

Provide feedback