Approximation of tree incrementality for Z3 solver #817

Job	Run time
Coverage (STP)	29m 54s
Coverage (Z3)	32m 4s
Docker	10m 10s
Linux (LLVM 14)	13m 56s
Linux (LLVM 13)	13m 39s
Linux (LLVM 12)	13m 59s
Linux (LLVM 11, Doxygen)	12m 51s
Linux (LLVM 10)	15m 26s
Linux (LLVM 9)	14m 31s
Linux (ASan)	35m 36s
Linux (UBSan)	42m 4s
Linux (MSan)	45m 1s
Linux (Z3 only)	12m 14s
Linux (metaSMT)	33m 49s
Linux (STP master)	13m 1s
Linux (Latest klee-uclibc)	15m 51s
Linux (Asserts disabled)	19m 13s
Linux (No TCMalloc, optimised runtime)	13m 24s
clang-format	5m 5s
macOS	10m 3s
	6h 41m 51s

Provide feedback