Pre Release #325

Job	Run time
Pre Release (19, 22.04)	11m 32s
Run Linux kernel test suite (19, 22.04, hl, true)	44m 16s
Run LLVM test suite (19, 22.04, hl, ON)	5m 41s
Run SV-Comp test suite (19, 22.04, hl, true)	1h 20m 47s
Run Linux kernel test suite (19, 22.04, hl, false)	1h 3m 46s
Run LLVM test suite (19, 22.04, hl, OFF)	6m 26s
Run SV-Comp test suite (19, 22.04, hl, false)	1h 20m 21s
Run LLVM test suite (19, 22.04, llvm, OFF)	1h 0m 2s
Run LLVM test suite (19, 22.04, bin, OFF)	1h 0m 2s
Eval LLVM Singlesource results	0s
Convert Linux Kernel benchmark results to Markdown (22.04)	19s
Eval SV-Comp test results (22.04)	21s
Build VAST doc	0s
	6h 53m 33s

Provide feedback