Revise results pretty-printing#143

FObersteiner merged 15 commits into

mainhendriknielaender/zBench:mainfrom

revise-prettyprintinghendriknielaender/zBench:revise-prettyprintingCopy head branch name to clipboard