Fix badge label #21

Job	Run time
build	25s
test-benchexec (bubaak)	29s
test-benchexec (cbmc)	56s
test-benchexec (coveriteam-verifier-algo-selection)	38s
test-benchexec (coveriteam-verifier-parallel-portfolio)	48s
test-benchexec (cpa-lockator)	55s
test-benchexec (cpachecker)	58s
test-benchexec (cseq)	1m 27s
test-benchexec (dartagnan)	7m 55s
test-benchexec (deagle)	1m 24s
test-benchexec (divine)	9m 34s
test-benchexec (ebf)	56s
test-benchexec (esbmc-incr)	34s
test-benchexec (esbmc-kind)	49s
test-benchexec (goblint)	29s
test-benchexec (graves-par)	38s
test-benchexec (graves)	55s
test-benchexec (infer)	1m 34s
test-benchexec (lazycseq)	1m 18s
test-benchexec (lf-checker)	56s
test-benchexec (pesco)	50s
test-benchexec (pichecker)	51s
test-benchexec (symbiotic)	4m 13s
test-benchexec (theta)	1m 45s
test-benchexec (uautomizer)	9m 49s
test-benchexec (ugemcutter)	10m 31s
test-benchexec (utaipan)	10m 7s
collect-results	1m 14s
	1h 12m 58s

Provide feedback