0 0.045514 0.045165 0.000000 3712 length C++-Souffle _bin/cxx-opt/mycpp/examples/length.mycpp-souffle _test/tasks/benchmark/length.mycpp-souffle.opt.task.txt