host_name arg1 runtime_label elapsed_ms user_ms sys_ms max_rss_MB no-host ls bash 17.063 16.033 1.242 3.362816 no-host ls opt/osh 32.986 19.855 13.314 8.830976 no-host ls opt/osh-souffle 34.844 20.847 14.2 8.33536 no-host ls bumpleak/osh 31.09 21.613 9.665 10.809344 no-host ls-short opt/osh-souffle 12.768 1.829 11.179 6.51264 no-host ls-short bumpleak/osh 12.017 6.135 6.16 6.336512 no-host ls-short opt/osh 8.95 6.145 3.011 6.950912 no-host ls-short bash 9.545 6.209 3.592 3.346432 no-host mypy bash 19.384 13.39 6.199 3.293184 no-host mypy opt/osh 37.795 20.277 17.64 8.843264 no-host mypy bumpleak/osh 38.118 21.935 16.387 12.9024 no-host mypy opt/osh-souffle 42.723 22.423 20.529 8.491008