Pre Release #368

Job	Run time
Pre Release (19, 22.04)	11m 50s
Run gzip translation (19, 22.04, 1.10, hl, true)	1m 51s
Run Linux kernel test suite (19, 22.04, hl, true)	1h 5m 50s
Run LLVM test suite (19, 22.04, hl, ON)	5m 52s
Run gzip translation (19, 22.04, 1.10, hl, false)	1m 54s
Run SV-Comp test suite (19, 22.04, hl, true)	1h 21m 52s
Run Linux kernel test suite (19, 22.04, hl, false)	1h 6m 17s
Run LLVM test suite (19, 22.04, hl, OFF)	5m 54s
Run gzip translation (19, 22.04, 1.10, llvm, true)	2m 6s
Run SV-Comp test suite (19, 22.04, hl, false)	1h 21m 24s
Run LLVM test suite (19, 22.04, llvm, OFF)	10m 30s
Run gzip translation (19, 22.04, 1.13, hl, true)	1m 55s
Run LLVM test suite (19, 22.04, bin, OFF)	10m 39s
Run gzip translation (19, 22.04, 1.13, hl, false)	1m 49s
Run gzip translation (19, 22.04, 1.13, llvm, true)	2m 3s
Convert gzip results to Markdown (22.04, 1.10)	16s
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)	14s
Eval SV-Comp test results (22.04)	21s
Build VAST doc (19, 22.04)	1m 52s
	5h 55m 4s

Provide feedback