0	0.094777	0.045193	0.006613	3524	scoped_resource	C++-Souffle	_bin/cxx-opt/mycpp/examples/scoped_resource.mycpp-souffle	_test/tasks/benchmark/scoped_resource.mycpp-souffle.opt.task.txt