0.00/0.00 /export/starexec/sandbox/benchmark/theBenchmark.xml:2: parser error : Excessive depth in document: 256 use XML_PARSE_HUGE option 0.00/0.00 funapp>101 0.00/0.00 ^ 0.00/0.00 unable to parse /export/starexec/sandbox/benchmark/theBenchmark.xml 0.00/0.00 YES 0.00/0.00 Input TRS: 0.00/0.00 Number of strict rules: 0 0.00/0.00 EOF