Update contributors #45

Job	Run time
build	16s
test-benchexec (bubaak)	29s
test-benchexec (cbmc)	9m 16s
test-benchexec (coveriteam-verifier-algo-selection)	43s
test-benchexec (coveriteam-verifier-parallel-portfolio)	9m 16s
test-benchexec (cpa-lockator)	2m 20s
test-benchexec (cpachecker)	9m 18s
test-benchexec (cseq)	9m 12s
test-benchexec (dartagnan)	5m 50s
test-benchexec (deagle)	3m 37s
test-benchexec (divine)	9m 15s
test-benchexec (ebf)	9m 16s
test-benchexec (esbmc-incr)	3m 18s
test-benchexec (esbmc-kind)	9m 16s
test-benchexec (goblint)	38s
test-benchexec (graves-par)	2m 5s
test-benchexec (graves)	9m 15s
test-benchexec (infer)	9m 13s
test-benchexec (lazycseq)	25s
test-benchexec (lf-checker)	2m 5s
test-benchexec (pesco)	9m 14s
test-benchexec (pichecker)	9m 13s
test-benchexec (symbiotic)	5m 47s
test-benchexec (theta)	2m 25s
test-benchexec (uautomizer)	5m 57s
test-benchexec (ugemcutter)	9m 9s
test-benchexec (utaipan)	9m 11s
collect-results	1s
	2h 36m 0s

Provide feedback