/export/starexec/sandbox2/solver/bin/starexec_run_default /export/starexec/sandbox2/benchmark/theBenchmark.pl /export/starexec/sandbox2/output/output_files


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


Exception in thread "main" java.lang.RuntimeException: syntax error at line 5: DOT expected, ID found instead
	at com.nti.parse.Parser.match(Parser.java:78)
	at com.nti.parse.LP.ParserLP.M(ParserLP.java:215)
	at com.nti.parse.LP.ParserLP.Lr(ParserLP.java:164)
	at com.nti.parse.LP.ParserLP.parse(ParserLP.java:123)
	at com.nti.program.Program.getInstances(Program.java:71)
	at com.nti.NTI.<init>(NTI.java:79)
	at com.nti.NTI.main(NTI.java:174)