0 0.491556 0.308141 0.000000 3712 control_flow C++-Souffle _bin/cxx-opt/mycpp/examples/control_flow.mycpp-souffle _test/tasks/benchmark/control_flow.mycpp-souffle.opt.task.txt