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 1423977680Exec. 14, RelTRSSemanticLabelling[]
Stack trace:
    aprove.Framework.PropositionalLogic.Formulae.OrFormula.apply(OrFormula.java:43)
    aprove.Framework.PropositionalLogic.Formulae.XorFormula.apply(XorFormula.java:48)
    aprove.Framework.PropositionalLogic.Formulae.AndFormula.apply(AndFormula.java:51)
    aprove.Framework.PropositionalLogic.Formulae.OrFormula.apply(OrFormula.java:47)
    aprove.Framework.PropositionalLogic.Formulae.OrFormula.apply(OrFormula.java:47)
    aprove.Framework.PropositionalLogic.Formulae.AndFormula.apply(AndFormula.java:51)
    aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convert(AbstractSPCToCircuitConverter.java:184)
    aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convert(AbstractSPCToCircuitConverter.java:170)
    aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:252)
    aprove.DPFramework.TRSProblem.Processors.RelTRSSemanticLabellingProcessor.processRelTRS(RelTRSSemanticLabellingProcessor.java:94)
    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 1423977680Exec. 14, RelTRSSemanticLabelling[] 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)