Logic Programming pair #487529382

details

property	value
status	complete
benchmark	untupled_bal_tree.pl
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
execution host	n141.star.cs.uiowa.edu
space	terminweb_old

run statistics

property	value
solver	NTI_20
configuration	default
runtime (wallclock)	0.202026844025 seconds
cpu usage	0.164096899
max memory	2.7160576E7

stage attributes

key	value
output-size	1275
starexec-result	MAYBE

output

/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: syntax error at line 3
	at com.nti.parse.LP.ParserLP.T(ParserLP.java:347)
	at com.nti.parse.LP.ParserLP.Lt(ParserLP.java:305)
	at com.nti.parse.LP.ParserLP.Li(ParserLP.java:370)
	at com.nti.parse.LP.ParserLP.T(ParserLP.java:345)
	at com.nti.parse.LP.ParserLP.Lt(ParserLP.java:305)
	at com.nti.parse.LP.ParserLP.Lt(ParserLP.java:308)
	at com.nti.parse.LP.ParserLP.Lt(ParserLP.java:308)
	at com.nti.parse.LP.ParserLP.Lt(ParserLP.java:308)
	at com.nti.parse.LP.ParserLP.Lt(ParserLP.java:308)
	at com.nti.parse.LP.ParserLP.F(ParserLP.java:288)
	at com.nti.parse.LP.ParserLP.A(ParserLP.java:244)
	at com.nti.parse.LP.ParserLP.La(ParserLP.java:226)
	at com.nti.parse.LP.ParserLP.R(ParserLP.java:184)
	at com.nti.parse.LP.ParserLP.Lr(ParserLP.java:156)
	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)

popout

output may be truncated. 'popout' for the full output.

job log

popout

actions all output return to Logic Programming