Pre Release #352

Job	Run time
Pre Release (19, 22.04)	12m 4s
Run Linux kernel test suite (19, 22.04, hl, true)	1h 3m 33s
Run SV-Comp test suite (19, 22.04, hl, true)	1h 21m 10s
Run gzip translation (19, 22.04, 1.10, hl, true)	1m 38s
Run SV-Comp test suite (19, 22.04, hl, false)	1h 22m 10s
Run LLVM test suite (19, 22.04, hl, ON)	6m 38s
Run gzip translation (19, 22.04, 1.10, hl, false)	1m 24s
Run LLVM test suite (19, 22.04, hl, OFF)	6m 32s
Run gzip translation (19, 22.04, 1.10, llvm, true)	1m 36s
Run Linux kernel test suite (19, 22.04, hl, false)	1h 3m 40s
Run LLVM test suite (19, 22.04, llvm, OFF)	9m 18s
Run gzip translation (19, 22.04, 1.13, hl, true)	1m 36s
Run LLVM test suite (19, 22.04, bin, OFF)	10m 14s
Run gzip translation (19, 22.04, 1.13, hl, false)	1m 30s
Run gzip translation (19, 22.04, 1.13, llvm, true)	1m 37s
Convert gzip results to Markdown (22.04, 1.10)	15s
Convert gzip results to Markdown (22.04, 1.13)	16s
Eval LLVM Singlesource results (22.04)	14s
Convert Linux Kernel benchmark results to Markdown (22.04)	15s
Eval SV-Comp test results (22.04)	16s
Build VAST doc (19, 22.04)	1m 44s
	5h 47m 40s

Provide feedback