Pre Release #298

Job	Run time
Pre Release (18, 22.04)	10m 20s
Run SV-Comp test suite (18, 22.04, hl, true)	1h 19m 52s
Run Linux kernel test suite (18, 22.04, hl, true)	24m 24s
Run SV-Comp test suite (18, 22.04, hl, false)	1h 17m 54s
Run LLVM test suite (18, 22.04, hl, ON)	6m 27s
Run Linux kernel test suite (18, 22.04, hl, false)	1h 3m 18s
Run LLVM test suite (18, 22.04, hl, OFF)	6m 13s
Run LLVM test suite (18, 22.04, llvm, OFF)	8m 54s
Run LLVM test suite (18, 22.04, bin, OFF)	20m 49s
Eval LLVM Singlesource results (22.04)	18s
Convert Linux Kernel benchmark results to Markdown (22.04)	19s
Eval SV-Comp test results (22.04)	24s
Build VAST doc (18, 22.04)	1m 47s
	5h 0m 59s

Provide feedback