0 0.011143 0.011141 0.000000 3712 asdl_generated C++-Souffle _bin/cxx-opt/mycpp/examples/asdl_generated.mycpp-souffle _test/tasks/benchmark/asdl_generated.mycpp-souffle.opt.task.txt