Pre Release #360

Job	Run time
Pre Release (19, 22.04)	12m 1s
Run SV-Comp test suite (19, 22.04, hl, true)	1h 18m 42s
Run Linux kernel test suite (19, 22.04, hl, true)	1h 3m 46s
Run gzip translation (19, 22.04, 1.10, hl, true)	1m 23s
Run LLVM test suite (19, 22.04, hl, ON)	6m 44s
Run SV-Comp test suite (19, 22.04, hl, false)	1h 22m 38s
Run Linux kernel test suite (19, 22.04, hl, false)	1h 3m 35s
Run gzip translation (19, 22.04, 1.10, hl, false)	1m 25s
Run LLVM test suite (19, 22.04, hl, OFF)	5m 54s
Run gzip translation (19, 22.04, 1.10, llvm, true)	1m 37s
Run LLVM test suite (19, 22.04, llvm, OFF)	11m 19s
Run gzip translation (19, 22.04, 1.13, hl, true)	1m 29s
Run LLVM test suite (19, 22.04, bin, OFF)	10m 44s
Run gzip translation (19, 22.04, 1.13, hl, false)	1m 21s
Run gzip translation (19, 22.04, 1.13, llvm, true)	1m 36s
Convert gzip results to Markdown (22.04, 1.10)	20s
Convert gzip results to Markdown (22.04, 1.13)	15s
Eval LLVM Singlesource results (22.04)	19s
Convert Linux Kernel benchmark results to Markdown (22.04)	14s
Eval SV-Comp test results (22.04)	15s
Build VAST doc (19, 22.04)	1m 54s
	5h 47m 31s

Provide feedback