Pre Release #349

Job	Run time
Pre Release (19, 22.04)	12m 11s
Run Linux kernel test suite (19, 22.04, hl, true)	1h 3m 14s
Run SV-Comp test suite (19, 22.04, hl, true)	1h 20m 52s
Run Linux kernel test suite (19, 22.04, hl, false)	1h 3m 26s
Run LLVM test suite (19, 22.04, hl, ON)	5m 34s
Run SV-Comp test suite (19, 22.04, hl, false)	1h 21m 35s
Run gzip translation (19, 22.04, 1.10, hl, true)	1m 25s
Run LLVM test suite (19, 22.04, hl, OFF)	5m 27s
Run gzip translation (19, 22.04, 1.10, hl, false)	1m 18s
Run LLVM test suite (19, 22.04, llvm, OFF)	9m 11s
Run gzip translation (19, 22.04, 1.10, llvm, true)	1m 33s
Run LLVM test suite (19, 22.04, bin, OFF)	9m 18s
Run gzip translation (19, 22.04, 1.13, hl, true)	1m 42s
Run gzip translation (19, 22.04, 1.13, hl, false)	1m 25s
Run gzip translation (19, 22.04, 1.13, llvm, true)	1m 35s
Convert gzip results to Markdown (22.04, 1.10)	18s
Convert gzip results to Markdown (22.04, 1.13)	16s
Eval LLVM Singlesource results (22.04)	20s
Convert Linux Kernel benchmark results to Markdown (22.04)	16s
Eval SV-Comp test results (22.04)	19s
Build VAST doc (19, 22.04)	1m 44s
	5h 42m 59s

Provide feedback