Update README.md #87

Job	Run time
build	17s
test-benchexec (bubaak)	34s
test-benchexec (cbmc)	18m 13s
test-benchexec (coveriteam-verifier-algo-selection)	58s
test-benchexec (coveriteam-verifier-parallel-portfolio)	16m 48s
test-benchexec (cpa-lockator)	2m 14s
test-benchexec (cpachecker)	17m 14s
test-benchexec (cseq)	23m 47s
test-benchexec (dartagnan)	4m 47s
test-benchexec (deagle)	3m 42s
test-benchexec (divine)	21m 11s
test-benchexec (ebf)	18m 59s
test-benchexec (esbmc-incr)	3m 48s
test-benchexec (esbmc-kind)	18m 17s
test-benchexec (goblint)	38s
test-benchexec (graves-par)	2m 46s
test-benchexec (graves)	17m 27s
test-benchexec (infer)	41m 55s
test-benchexec (lazycseq)	33s
test-benchexec (lf-checker)	3m 16s
test-benchexec (pesco)	17m 49s
test-benchexec (pichecker)	18m 48s
test-benchexec (symbiotic)	7m 52s
test-benchexec (theta)	2m 58s
test-benchexec (uautomizer)	3m 21s
test-benchexec (ugemcutter)	1m 51s
test-benchexec (utaipan)	3m 28s
collect-results	1m 16s
	4h 34m 47s

Provide feedback