host_name	arg1	runtime_label	elapsed_ms	user_ms	sys_ms	max_rss_MB
no-host	ls	bash	12.5	5.703	6.908	3.248128
no-host	ls	opt/osh	25.447	8.681	16.891	8.757248
no-host	ls	bumpleak/osh	22.893	18.727	4.148	11.169792
no-host	ls	opt/osh-souffle	24.638	24.28	0.462	8.454144
no-host	ls-short	opt/osh-souffle	7.622	3.982	3.784	6.434816
no-host	ls-short	opt/osh	8.095	3.988	4.254	6.946816
no-host	ls-short	bumpleak/osh	7.516	4.788	2.798	6.270976
no-host	ls-short	bash	5.995	6.148	0	3.313664
no-host	mypy	bash	14.289	14.325	0	3.383296
no-host	mypy	bumpleak/osh	26.819	15.229	11.73	11.485184
no-host	mypy	opt/osh-souffle	28.383	17.602	10.823	8.45824
no-host	mypy	opt/osh	29.428	25.324	4.165	8.695808