[chore] Update the test #465

Job	Run time
macOS	9m 25s
Coverage (STP)	13m 18s
Docker	8m 49s
Coverage (Z3)	13m 6s
clang-format	5m 23s
Coverage (Bitwuzla)	13m 23s
Linux (LLVM 14)	8m 59s
Linux (LLVM 13)	8m 52s
Linux (LLVM 12)	8m 57s
Linux (LLVM 11, Doxygen)	9m 0s
Linux (LLVM 10)	8m 59s
Linux (LLVM 9)	8m 52s
Linux (ASan)	8m 57s
Linux (UBSan)	1s
Linux (MSan)	1s
Linux (Z3 only)	1s
Linux (metaSMT)	8m 24s
Linux (STP master)	1s
Linux (Bitwuzla only)	8m 59s
Linux (Latest klee-uclibc)	8m 57s
Linux (Asserts disabled)	8m 59s
Linux (No TCMalloc, optimised runtime)	3m 31s
	2h 44m 54s

Provide feedback