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


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


Exception in thread "main" java.lang.RuntimeException: lexical error: unknown character + at line 7
	at com.nti.parse.LP.ScannerLP.nextToken(ScannerLP.java:204)
	at com.nti.parse.Parser.match(Parser.java:76)
	at com.nti.parse.LP.ParserLP.T(ParserLP.java:327)
	at com.nti.parse.LP.ParserLP.Lt(ParserLP.java:305)
	at com.nti.parse.LP.ParserLP.F(ParserLP.java:288)
	at com.nti.parse.LP.ParserLP.T(ParserLP.java:324)
	at com.nti.parse.LP.ParserLP.Lt(ParserLP.java:305)
	at com.nti.parse.LP.ParserLP.F(ParserLP.java:288)
	at com.nti.parse.LP.ParserLP.T(ParserLP.java:324)
	at com.nti.parse.LP.ParserLP.Lt(ParserLP.java:305)
	at com.nti.parse.LP.ParserLP.F(ParserLP.java:288)
	at com.nti.parse.LP.ParserLP.R(ParserLP.java:180)
	at com.nti.parse.LP.ParserLP.Lr(ParserLP.java:156)
	at com.nti.parse.LP.ParserLP.Lr(ParserLP.java:157)
	at com.nti.parse.LP.ParserLP.Lr(ParserLP.java:157)
	at com.nti.parse.LP.ParserLP.Lr(ParserLP.java:165)
	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)