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 1423977821Exec. 28, RelTRSSemanticLabelling[]
Stack trace:
    java.util.Arrays.copyOf(Arrays.java:2367)
    java.lang.AbstractStringBuilder.expandCapacity(AbstractStringBuilder.java:130)
    java.lang.AbstractStringBuilder.ensureCapacityInternal(AbstractStringBuilder.java:114)
    java.lang.AbstractStringBuilder.append(AbstractStringBuilder.java:415)
    java.lang.StringBuilder.append(StringBuilder.java:132)
    aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.toString(NaryJunctorFormula.java:65)
    aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.toString(NaryJunctorFormula.java:65)
    aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.toString(NaryJunctorFormula.java:65)
    aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.toString(NaryJunctorFormula.java:65)
    aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.toString(NaryJunctorFormula.java:65)
    aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.toString(NaryJunctorFormula.java:65)
    aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.toString(NaryJunctorFormula.java:65)
    aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.toString(NaryJunctorFormula.java:46)
    aprove.Framework.BooleanSemanticLabelling.BSLAutoSearchTermInterpretor.interpretRule(BSLAutoSearchTermInterpretor.java:727)
    aprove.DPFramework.TRSProblem.Processors.RelTRSSemanticLabellingProcessor.processRelTRS(RelTRSSemanticLabellingProcessor.java:81)
    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)
Running Thread.stop() against 1423977821Exec. 29, RelRR[Order=PMatroNat[Range=3, Collapse=False, Dimension=2, Engine=MINISAT]]
Stack trace:
Aborted 1423977821Exec. 28, RelTRSSemanticLabelling[] with a hard timeout.
    java.lang.Object.hashCode(Native Method)
    java.util.HashMap.hash(HashMap.java:366)
    java.util.HashMap.put(HashMap.java:496)
    java.util.HashSet.add(HashSet.java:217)
    aprove.Framework.PropositionalLogic.Formulae.FullSharingFactory.buildAnd(FullSharingFactory.java:41)
    aprove.Framework.Algebra.GeneralPolynomials.SatSearch.Nat.NatCircuitFactory.actuallyBuildPlusCircuit(NatCircuitFactory.java:316)
    aprove.Framework.Algebra.GeneralPolynomials.SatSearch.Nat.NatCircuitFactory.buildTimesCircuit(NatCircuitFactory.java:211)
    aprove.Framework.Algebra.GeneralPolynomials.SatSearch.Nat.NatCircuitFactory.buildTimesCircuit(NatCircuitFactory.java:126)
    aprove.Framework.Algebra.GeneralPolynomials.SatSearch.PolyToCircuitConverter.caseTimesNode(PolyToCircuitConverter.java:241)
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)
    aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.TimesNode.visit(TimesNode.java:71)
    aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40)
    aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:63)
    aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40)
    aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:66)
    aprove.Framework.Algebra.GeneralPolynomials.SatSearch.OPCtoFormulaConverter.caseAtom(OPCtoFormulaConverter.java:209)
    aprove.DPFramework.Orders.Utility.GPOLO.OPCAtom.visit(OPCAtom.java:118)
    aprove.DPFramework.Orders.Utility.GPOLO.ConstraintVisitor$Skeleton.applyTo(ConstraintVisitor.java:198)
    aprove.DPFramework.Orders.Utility.GPOLO.OPCQuantifierA.visit(OPCQuantifierA.java:44)
    aprove.DPFramework.Orders.Utility.GPOLO.ConstraintVisitor$Skeleton.applyTo(ConstraintVisitor.java:198)
    aprove.DPFramework.Orders.Utility.GPOLO.OPCAnd.visit(OPCAnd.java:79)
    aprove.DPFramework.Orders.Utility.GPOLO.ConstraintVisitor$Skeleton.applyTo(ConstraintVisitor.java:198)
    aprove.DPFramework.Orders.Utility.GPOLO.OPCQuantifierE.visit(OPCQuantifierE.java:44)
    aprove.DPFramework.Orders.Utility.GPOLO.ConstraintVisitor$Skeleton.applyTo(ConstraintVisitor.java:198)
    aprove.DPFramework.Orders.Utility.GPOLO.OPCAnd.visit(OPCAnd.java:79)
    aprove.DPFramework.Orders.Utility.GPOLO.ConstraintVisitor$Skeleton.applyTo(ConstraintVisitor.java:198)
    aprove.Framework.Algebra.GeneralPolynomials.SatSearch.OPCtoFormulaConverter.applyToWithCleanup(OPCtoFormulaConverter.java:89)
    aprove.DPFramework.DPProblem.Solvers.PMatroNatSolver.doSolve(PMatroNatSolver.java:286)
    aprove.DPFramework.DPProblem.Solvers.PMatroNatSolver.solveRRR(PMatroNatSolver.java:210)
    aprove.DPFramework.TRSProblem.Processors.RelRRProcessor.processRelTRS(RelRRProcessor.java:61)
    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 1423977821Exec. 29, RelRR[Order=PMatroNat[Range=3, Collapse=False, Dimension=2, Engine=MINISAT]] 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)