Added logging #32

Job	Run time
build	27s
test-benchexec (bubaak)	39s
test-benchexec (cbmc)	1m 19s
test-benchexec (coveriteam-verifier-algo-selection)	27s
test-benchexec (coveriteam-verifier-parallel-portfolio)	2m 31s
test-benchexec (cpa-lockator)	2m 18s
test-benchexec (cpachecker)	2m 6s
test-benchexec (cseq)	20m 26s
test-benchexec (dartagnan)	4m 0s
test-benchexec (deagle)	3m 5s
test-benchexec (divine)	1m 59s
test-benchexec (ebf)	1m 20s
test-benchexec (esbmc-incr)	1m 27s
test-benchexec (esbmc-kind)	1m 26s
test-benchexec (goblint)	45s
test-benchexec (graves-par)	1m 25s
test-benchexec (graves)	2m 6s
test-benchexec (infer)	3m 10s
test-benchexec (lazycseq)	38s
test-benchexec (lf-checker)	2m 1s
test-benchexec (pesco)	2m 3s
test-benchexec (pichecker)	1m 34s
test-benchexec (symbiotic)	1m 57s
test-benchexec (theta)	1m 11s
test-benchexec (uautomizer)	3m 17s
test-benchexec (ugemcutter)	4m 40s
test-benchexec (utaipan)	3m 6s
collect-results	1s
	1h 11m 24s

Provide feedback