details

property	value
status	timeout (wallclock)
benchmark	pl3.5.6a.pl
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
space	talp_plumer

run statistics

property	value
solver	NTI_20
configuration	default
runtime (wallclock)	301.00838089 seconds
cpu usage	38.666367397
max memory	1.3899784192E10

stage attributes

unavailable

output

/export/starexec/sandbox2/solver/bin/starexec_run_default /export/starexec/sandbox2/benchmark/theBenchmark.pl /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- Exception in thread "Thread-0" java.lang.OutOfMemoryError at java.lang.AbstractStringBuilder.hugeCapacity(AbstractStringBuilder.java:161) at java.lang.AbstractStringBuilder.newCapacity(AbstractStringBuilder.java:155) at java.lang.AbstractStringBuilder.ensureCapacityInternal(AbstractStringBuilder.java:125) at java.lang.AbstractStringBuilder.append(AbstractStringBuilder.java:448) at java.lang.StringBuffer.append(StringBuffer.java:263) at com.nti.proof.Proof.printIfVerbose(Proof.java:228) at com.nti.program.LP.TOPLAS06.LP_TOPLAS06.proveNonTermination(LP_TOPLAS06.java:183) at com.nti.program.LP.LP.proveTermination(LP.java:223) at com.nti.proof.Prover.run(Prover.java:90) popout

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

job log

popout

actions

all output return to Logic Programming