Pre Release #353

Job	Run time
Pre Release (19, 22.04)	11m 50s
Run gzip translation (19, 22.04, 1.10, hl, true)	1m 22s
Run SV-Comp test suite (19, 22.04, hl, true)	1h 23m 33s
Run Linux kernel test suite (19, 22.04, hl, true)	1h 5m 55s
Run gzip translation (19, 22.04, 1.10, hl, false)	1m 20s
Run SV-Comp test suite (19, 22.04, hl, false)	1h 32m 55s
Run Linux kernel test suite (19, 22.04, hl, false)	1h 4m 10s
Run LLVM test suite (19, 22.04, hl, ON)	5m 30s
Run gzip translation (19, 22.04, 1.10, llvm, true)	1m 34s
Run gzip translation (19, 22.04, 1.13, hl, true)	1m 25s
Run LLVM test suite (19, 22.04, hl, OFF)	5m 34s
Run gzip translation (19, 22.04, 1.13, hl, false)	1m 25s
Run LLVM test suite (19, 22.04, llvm, OFF)	9m 34s
Run gzip translation (19, 22.04, 1.13, llvm, true)	1m 33s
Run LLVM test suite (19, 22.04, bin, OFF)	9m 8s
Convert gzip results to Markdown (22.04, 1.10)	17s
Convert gzip results to Markdown (22.04, 1.13)	16s
Eval LLVM Singlesource results (22.04)	16s
Convert Linux Kernel benchmark results to Markdown (22.04)	25s
Eval SV-Comp test results (22.04)	16s
Build VAST doc (19, 22.04)	1m 44s
	6h 0m 2s

Provide feedback