Build-Test-Deploy #115

Job	Run time
build	16s
release	2m 21s
test-benchexec (cbmc)	21m 4s
test-benchexec (coveriteam-verifier-algo-selection)	1m 36s
test-benchexec (cpa-lockator)	3m 12s
test-benchexec (coveriteam-verifier-parallel-portfolio)	19m 1s
test-benchexec (cpachecker)	20m 11s
test-benchexec (cseq)	26m 48s
test-benchexec (dartagnan)	7m 23s
test-benchexec (esbmc-incr)	4m 41s
test-benchexec (divine)	23m 30s
test-benchexec (infer)	41m 52s
test-benchexec (goblint)	53s
test-benchexec (esbmc-kind)	20m 33s
test-benchexec (graves)	19m 36s
test-benchexec (deagle)	4m 3s
test-benchexec (ebf)	20m 27s
test-benchexec (lf-checker)	3m 34s
test-benchexec (bubaak)	43s
test-benchexec (utaipan)	4m 24s
test-benchexec (pesco)	19m 26s
test-benchexec (graves-par)	2m 15s
test-benchexec (theta)	4m 1s
test-benchexec (lazycseq)	49s
test-benchexec (symbiotic)	8m 50s
test-benchexec (uautomizer)	4m 11s
test-benchexec (pichecker)	20m 19s
test-benchexec (ugemcutter)	2m 15s
collect-results	1m 14s
	5h 9m 28s

Provide feedback