Platform claims not to support CPU time, falling back to wall time.
Cannot find out cpu time on external processes, falling back to wall time!
Running Thread.stop() against 1423978296Exec. 6, RelTRSEmission[]
Stack trace:
    aprove.DPFramework.BasicStructures.FunctionApplication.applySubstitution(FunctionApplication.java:251)
    aprove.DPFramework.BasicStructures.FunctionApplication.applySubstitution(FunctionApplication.java:26)
    aprove.DPFramework.BasicStructures.Term.rewrite(Term.java:1159)
    aprove.DPFramework.TRSProblem.Processors.RelTRSEmissionProcessor.findEmittingSequence(RelTRSEmissionProcessor.java:117)
    aprove.DPFramework.TRSProblem.Processors.RelTRSEmissionProcessor.findEmittingSequence(RelTRSEmissionProcessor.java:119)
    aprove.DPFramework.TRSProblem.Processors.RelTRSEmissionProcessor.findEmittingSequence(RelTRSEmissionProcessor.java:119)
    aprove.DPFramework.TRSProblem.Processors.RelTRSEmissionProcessor.findEmittingSequence(RelTRSEmissionProcessor.java:119)
    aprove.DPFramework.TRSProblem.Processors.RelTRSEmissionProcessor.findEmittingSequence(RelTRSEmissionProcessor.java:119)
    aprove.DPFramework.TRSProblem.Processors.RelTRSEmissionProcessor.findEmittingSequence(RelTRSEmissionProcessor.java:119)
    aprove.DPFramework.TRSProblem.Processors.RelTRSEmissionProcessor.findEmittingSequence(RelTRSEmissionProcessor.java:119)
    aprove.DPFramework.TRSProblem.Processors.RelTRSEmissionProcessor.findEmittingSequence(RelTRSEmissionProcessor.java:119)
    aprove.DPFramework.TRSProblem.Processors.RelTRSEmissionProcessor.findEmittingSequence(RelTRSEmissionProcessor.java:119)
    aprove.DPFramework.TRSProblem.Processors.RelTRSEmissionProcessor.findEmittingSequence(RelTRSEmissionProcessor.java:119)
    aprove.DPFramework.TRSProblem.Processors.RelTRSEmissionProcessor.findEmittingSequence(RelTRSEmissionProcessor.java:119)
    aprove.DPFramework.TRSProblem.Processors.RelTRSEmissionProcessor.findEmittingSequence(RelTRSEmissionProcessor.java:119)
    aprove.DPFramework.TRSProblem.Processors.RelTRSEmissionProcessor.findEmittingSequence(RelTRSEmissionProcessor.java:119)
    aprove.DPFramework.TRSProblem.Processors.RelTRSEmissionProcessor.findEmittingSequence(RelTRSEmissionProcessor.java:119)
    aprove.DPFramework.TRSProblem.Processors.RelTRSEmissionProcessor.findEmittingSequence(RelTRSEmissionProcessor.java:119)
    aprove.DPFramework.TRSProblem.Processors.RelTRSEmissionProcessor.findEmittingSequence(RelTRSEmissionProcessor.java:119)
    aprove.DPFramework.TRSProblem.Processors.RelTRSEmissionProcessor.findEmittingSequence(RelTRSEmissionProcessor.java:119)
    aprove.DPFramework.TRSProblem.Processors.RelTRSEmissionProcessor.findEmittingSequence(RelTRSEmissionProcessor.java:119)
    aprove.DPFramework.TRSProblem.Processors.RelTRSEmissionProcessor.findEmittingSequence(RelTRSEmissionProcessor.java:119)
    aprove.DPFramework.TRSProblem.Processors.RelTRSEmissionProcessor.findEmittingSequence(RelTRSEmissionProcessor.java:119)
    aprove.DPFramework.TRSProblem.Processors.RelTRSEmissionProcessor.findEmittingSequence(RelTRSEmissionProcessor.java:119)
    aprove.DPFramework.TRSProblem.Processors.RelTRSEmissionProcessor.findEmittingSequence(RelTRSEmissionProcessor.java:119)
    aprove.DPFramework.TRSProblem.Processors.RelTRSEmissionProcessor.findEmittingSequence(RelTRSEmissionProcessor.java:119)
    aprove.DPFramework.TRSProblem.Processors.RelTRSEmissionProcessor.findEmittingSequence(RelTRSEmissionProcessor.java:119)
    aprove.DPFramework.TRSProblem.Processors.RelTRSEmissionProcessor.findEmittingSequence(RelTRSEmissionProcessor.java:119)
    aprove.DPFramework.TRSProblem.Processors.RelTRSEmissionProcessor.findEmittingSequence(RelTRSEmissionProcessor.java:119)
    aprove.DPFramework.TRSProblem.Processors.RelTRSEmissionProcessor.findEmittingSequence(RelTRSEmissionProcessor.java:119)
    aprove.DPFramework.TRSProblem.Processors.RelTRSEmissionProcessor.findEmittingSequence(RelTRSEmissionProcessor.java:119)
    aprove.DPFramework.TRSProblem.Processors.RelTRSEmissionProcessor.findEmittingSequence(RelTRSEmissionProcessor.java:87)
    aprove.DPFramework.TRSProblem.Processors.RelTRSEmissionProcessor.processRelTRS(RelTRSEmissionProcessor.java:135)
    aprove.DPFramework.TRSProblem.Processors.RelTRSProcessor.process(RelTRSProcessor.java:38)
    aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
    aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
    aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98)
    aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:273)
    java.lang.Thread.run(Thread.java:744)
Aborted 1423978296Exec. 6, RelTRSEmission[] with a hard timeout.
Threadpool thread died by not catching an exception
java.lang.ThreadDeath
	at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:156)
	at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:124)
	at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:273)
	at java.lang.Thread.run(Thread.java:744)