grep: /export/starexec/sandbox2/output/output_files: Is a directory
MAYBE
MAYBE
could not certify:


Tool output:
MAYBE
input TRSs must be LV-TRSs