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>222
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