Pre Release #354

Job	Run time
Pre Release (19, 22.04)	11m 42s
Run SV-Comp test suite (19, 22.04, hl, true)	1h 21m 41s
Run LLVM test suite (19, 22.04, hl, ON)	5m 31s
Run gzip translation (19, 22.04, 1.10, hl, true)	1m 40s
Run Linux kernel test suite (19, 22.04, hl, true)	1h 3m 12s
Run SV-Comp test suite (19, 22.04, hl, false)	1h 23m 10s
Run LLVM test suite (19, 22.04, hl, OFF)	5m 27s
Run gzip translation (19, 22.04, 1.10, hl, false)	1m 25s
Run Linux kernel test suite (19, 22.04, hl, false)	1h 3m 42s
Run LLVM test suite (19, 22.04, llvm, OFF)	9m 10s
Run gzip translation (19, 22.04, 1.10, llvm, true)	1m 33s
Run gzip translation (19, 22.04, 1.13, hl, true)	1m 22s
Run LLVM test suite (19, 22.04, bin, OFF)	8m 50s
Run gzip translation (19, 22.04, 1.13, hl, false)	1m 39s
Run gzip translation (19, 22.04, 1.13, llvm, true)	1m 31s
Convert gzip results to Markdown (22.04, 1.10)	17s
Convert gzip results to Markdown (22.04, 1.13)	15s
Eval LLVM Singlesource results (22.04)	16s
Convert Linux Kernel benchmark results to Markdown (22.04)	16s
Eval SV-Comp test results (22.04)	15s
Build VAST doc (19, 22.04)	1m 54s
	5h 44m 48s

Provide feedback