host_name arg1 runtime_label elapsed_ms user_ms sys_ms max_rss_MB no-host ls bash 11.544 7.737 3.974 3.272704 no-host ls opt/osh-souffle 21.332 8.343 13.026 8.429568 no-host ls opt/osh 22.095 17.35 4.854 8.978432 no-host ls bumpleak/osh 19.392 17.949 1.542 10.145792 no-host ls-short bash 6.348 1.705 4.733 3.293184 no-host ls-short bumpleak/osh 7.927 4.758 3.077 8.175616 no-host ls-short opt/osh 7.953 7.394 0.726 7.016448 no-host ls-short opt/osh-souffle 7.853 7.435 0.562 6.51264 no-host mypy bumpleak/osh 23.481 11.608 12.027 11.4688 no-host mypy bash 12.761 12.907 0 3.305472 no-host mypy opt/osh 25.924 13.319 12.747 8.835072 no-host mypy opt/osh-souffle 25.052 20.404 4.797 8.347648