0 0.007776 0.007528 0.000000 3712 files C++-Souffle _bin/cxx-opt/mycpp/examples/files.mycpp-souffle _test/tasks/benchmark/files.mycpp-souffle.opt.task.txt