0	0.492573	0.391197	0.008107	3488	cgi	C++-Souffle	_bin/cxx-opt/mycpp/examples/cgi.mycpp-souffle	_test/tasks/benchmark/cgi.mycpp-souffle.opt.task.txt