Pre Release #355

Job	Run time
Pre Release (19, 22.04)	11m 50s
Run Linux kernel test suite (19, 22.04, hl, true)	1h 3m 31s
Run SV-Comp test suite (19, 22.04, hl, true)	1h 21m 42s
Run Linux kernel test suite (19, 22.04, hl, false)	1h 4m 50s
Run gzip translation (19, 22.04, 1.10, hl, true)	1m 21s
Run SV-Comp test suite (19, 22.04, hl, false)	1h 21m 27s
Run LLVM test suite (19, 22.04, hl, ON)	5m 27s
Run gzip translation (19, 22.04, 1.10, hl, false)	1m 29s
Run LLVM test suite (19, 22.04, hl, OFF)	5m 41s
Run gzip translation (19, 22.04, 1.10, llvm, true)	1m 39s
Run LLVM test suite (19, 22.04, llvm, OFF)	9m 20s
Run gzip translation (19, 22.04, 1.13, hl, true)	1m 38s
Run LLVM test suite (19, 22.04, bin, OFF)	9m 55s
Run gzip translation (19, 22.04, 1.13, hl, false)	1m 27s
Run gzip translation (19, 22.04, 1.13, llvm, true)	1m 43s
Convert gzip results to Markdown (22.04, 1.10)	17s
Convert gzip results to Markdown (22.04, 1.13)	19s
Eval LLVM Singlesource results (22.04)	18s
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 56s
	5h 46m 21s

Provide feedback