Pre Release #363

Job	Run time
Pre Release (19, 22.04)	11m 59s
Run Linux kernel test suite (19, 22.04, hl, true)	1h 5m 2s
Run LLVM test suite (19, 22.04, hl, ON)	5m 38s
Run SV-Comp test suite (19, 22.04, hl, true)	1h 22m 51s
Run Linux kernel test suite (19, 22.04, hl, false)	1h 3m 30s
Run LLVM test suite (19, 22.04, hl, OFF)	5m 56s
Run SV-Comp test suite (19, 22.04, hl, false)	1h 22m 19s
Run gzip translation (19, 22.04, 1.10, hl, true)	1m 24s
Run LLVM test suite (19, 22.04, llvm, OFF)	10m 19s
Run gzip translation (19, 22.04, 1.10, hl, false)	1m 26s
Run LLVM test suite (19, 22.04, bin, OFF)	9m 29s
Run gzip translation (19, 22.04, 1.10, llvm, true)	1m 34s
Run gzip translation (19, 22.04, 1.13, hl, true)	1m 23s
Run gzip translation (19, 22.04, 1.13, hl, false)	1m 25s
Run gzip translation (19, 22.04, 1.13, llvm, true)	1m 47s
Convert gzip results to Markdown (22.04, 1.10)	16s
Convert gzip results to Markdown (22.04, 1.13)	18s
Eval LLVM Singlesource results (22.04)	15s
Convert Linux Kernel benchmark results to Markdown (22.04)	19s
Eval SV-Comp test results (22.04)	18s
Build VAST doc (19, 22.04)	1m 55s
	5h 49m 23s

Provide feedback