Pre Release #340

Job	Run time
Pre Release (19, 22.04)	11m 55s
Run SV-Comp test suite (19, 22.04, hl, true)	1h 20m 41s
Run gzip translation (19, 22.04, 1.10, hl, true)	1m 22s
Run LLVM test suite (19, 22.04, hl, ON)	6m 35s
Run SV-Comp test suite (19, 22.04, hl, false)	1h 22m 4s
Run Linux kernel test suite (19, 22.04, hl, true)	1h 3m 13s
Run gzip translation (19, 22.04, 1.10, hl, false)	1m 25s
Run LLVM test suite (19, 22.04, hl, OFF)	6m 33s
Run Linux kernel test suite (19, 22.04, hl, false)	1h 2m 59s
Run gzip translation (19, 22.04, 1.10, llvm, true)	1m 21s
Run LLVM test suite (19, 22.04, llvm, OFF)	10m 11s
Run gzip translation (19, 22.04, 1.13, hl, true)	1m 25s
Run LLVM test suite (19, 22.04, bin, OFF)	9m 12s
Run gzip translation (19, 22.04, 1.13, hl, false)	1m 32s
Run gzip translation (19, 22.04, 1.13, llvm, true)	1m 34s
Convert gzip results to Markdown (22.04, 1.10)	23s
Convert gzip results to Markdown (22.04, 1.13)	17s
Eval LLVM Singlesource results (22.04)	18s
Convert Linux Kernel benchmark results to Markdown (22.04)	16s
Eval SV-Comp test results (22.04)	16s
Build VAST doc (19, 22.04)	1m 54s
	5h 45m 26s

Provide feedback