Patch benchexec table #22

Job	Run time
build	19s
test-benchexec (bubaak)	37s
test-benchexec (cbmc)	52s
test-benchexec (coveriteam-verifier-algo-selection)	24s
test-benchexec (coveriteam-verifier-parallel-portfolio)	52s
test-benchexec (cpa-lockator)	36s
test-benchexec (cpachecker)	51s
test-benchexec (cseq)	1m 36s
test-benchexec (dartagnan)	7m 36s
test-benchexec (deagle)	1m 22s
test-benchexec (divine)	9m 24s
test-benchexec (ebf)	59s
test-benchexec (esbmc-incr)	46s
test-benchexec (esbmc-kind)	1m 2s
test-benchexec (goblint)	35s
test-benchexec (graves-par)	36s
test-benchexec (graves)	1m 2s
test-benchexec (infer)	1m 29s
test-benchexec (lazycseq)	1m 21s
test-benchexec (lf-checker)	59s
test-benchexec (pesco)	50s
test-benchexec (pichecker)	51s
test-benchexec (symbiotic)	4m 13s
test-benchexec (theta)	1m 37s
test-benchexec (uautomizer)	9m 30s
test-benchexec (ugemcutter)	10m 35s
test-benchexec (utaipan)	10m 34s
collect-results	1m 3s
	1h 12m 31s

Provide feedback