0 0.002859 0.002865 0.000000 3712 loops C++-Souffle _bin/cxx-opt/mycpp/examples/loops.mycpp-souffle _test/tasks/benchmark/loops.mycpp-souffle.opt.task.txt