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 1423977741Exec. 14, RelTRSSemanticLabelling[]
Stack trace:
    java.util.TreeMap.size(TreeMap.java:210)
    aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertExponents(PlainSPCToCircuitConverter.java:421)
    aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convertIndefinitePart(AbstractSPCToCircuitConverter.java:389)
    aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertMonomial(PlainSPCToCircuitConverter.java:382)
    aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertPolyMap(PlainSPCToCircuitConverter.java:153)
    aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convertPolynomial(AbstractSPCToCircuitConverter.java:379)
    aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertConstraint(PlainSPCToCircuitConverter.java:81)
    aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convertDiophantine(AbstractSPCToCircuitConverter.java:150)
    aprove.Framework.Algebra.Polynomials.SatSearch.DiophantineToSATVisitor.outTheoryAtom(DiophantineToSATVisitor.java:69)
    aprove.Framework.Algebra.Polynomials.SatSearch.DiophantineToSATVisitor.outTheoryAtom(DiophantineToSATVisitor.java:9)
    aprove.Framework.PropositionalLogic.Formulae.TheoryAtom.apply(TheoryAtom.java:70)
    aprove.Framework.PropositionalLogic.Formulae.AndFormula.apply(AndFormula.java:51)
    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 1423977741Exec. 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)