Improved Iterative Deepening Searcher #887

Job	Run time
clang-format	5m 39s
clang-format	5m 39s
Docker	16m 54s
Docker	16m 54s
Coverage (STP)	38m 46s
Coverage (STP)	38m 46s
Coverage (Z3)	40m 6s
Coverage (Z3)	40m 6s
Linux (LLVM 14)	15m 52s
Linux (LLVM 14)	15m 52s
macOS	11m 47s
macOS	11m 47s
Linux (LLVM 13)	15m 50s
Linux (LLVM 13)	15m 50s
Linux (LLVM 12)	15m 47s
Linux (LLVM 12)	15m 47s
Linux (LLVM 11, Doxygen)	15m 51s
Linux (LLVM 11, Doxygen)	24m 46s
Linux (LLVM 10)	15m 34s
Linux (LLVM 10)	15m 34s
Linux (LLVM 9)	15m 30s
Linux (LLVM 9)	15m 30s
Linux (ASan)	15m 52s
Linux (ASan)	15m 52s
Linux (UBSan)	1s
Linux (UBSan)	1s
Linux (MSan)	15m 50s
Linux (MSan)	15m 50s
Linux (Z3 only)	10m 8s
Linux (Z3 only)	10m 8s
Linux (metaSMT)	15m 49s
Linux (metaSMT)	15m 49s
Linux (STP master)	11m 26s
Linux (STP master)	11m 26s
Linux (Latest klee-uclibc)	15m 50s
Linux (Latest klee-uclibc)	15m 50s
Linux (Asserts disabled)	15m 49s
Linux (Asserts disabled)	15m 49s
Linux (No TCMalloc, optimised runtime)	15m 35s
Linux (No TCMalloc, optimised runtime)	15m 35s
	10h 56m 47s

Provide feedback