0.00/0.40	aprove.Framework.Input.ParserErrorsSourceException: Parsing /export/starexec/sandbox/benchmark/theBenchmark.xml failed: ParseErrors: [ERROR at [2,31901]: Don't know how to handle rules with variable as lhs.]
0.00/0.40		at aprove.Framework.Input.TypeAnalyzers.ExtensionTypeAnalyzer.analyze(ExtensionTypeAnalyzer.java:55)
0.00/0.40		at aprove.Runtime.AProVE.parse(AProVE.java:154)
0.00/0.40		at aprove.Runtime.AProVE.<init>(AProVE.java:59)
0.00/0.40		at aprove.CommandLineInterface.Main.run(Main.java:68)
0.00/0.40		at aprove.CommandLineInterface.Main.doMain(Main.java:42)
0.00/0.40		at aprove.Main.doMain(Main.java:54)
0.00/0.40		at aprove.Main.main(Main.java:20)
0.00/0.40	ERROR
0.58/0.99	EOF