0	0.009930	0.006952	0.002979	3200	asdl_generated	C++-Souffle	_bin/cxx-opt/mycpp/examples/asdl_generated.mycpp-souffle	_test/tasks/benchmark/asdl_generated.mycpp-souffle.opt.task.txt