0	0.050143	0.020515	0.000000	11320	test_hoist	C++-Souffle	_bin/cxx-asan/mycpp/examples/test_hoist.mycpp-souffle	_test/tasks/test/test_hoist.mycpp-souffle.asan.task.txt