/export/starexec/sandbox2/solver/bin/starexec_run_c /export/starexec/sandbox2/benchmark/theBenchmark.txt /export/starexec/sandbox2/output/output_files


--------------------------------------------------------------------------------


aprove.Framework.Input.ParserErrorsSourceException: Parsing /export/starexec/sandbox2/benchmark/theBenchmark.txt failed: ParseErrors: [ERROR at [1,3] ''programs'': expecting: arrow]
	at aprove.Framework.Input.TypeAnalyzers.ExtensionTypeAnalyzer.analyze(ExtensionTypeAnalyzer.java:55)
	at aprove.Runtime.AProVE.parse(AProVE.java:154)
	at aprove.Runtime.AProVE.<init>(AProVE.java:59)
	at aprove.CommandLineInterface.Main.run(Main.java:68)
	at aprove.CommandLineInterface.Main.doMain(Main.java:42)
	at aprove.Main.doMain(Main.java:54)
	at aprove.Main.main(Main.java:20)
ERROR