0 0.344111 0.300707 0.007810 3712 control_flow C++-Souffle _bin/cxx-opt/mycpp/examples/control_flow.mycpp-souffle _test/tasks/benchmark/control_flow.mycpp-souffle.opt.task.txt