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 1423977956Exec. 28, RelTRSSemanticLabelling[]
Stack trace:
    java.util.HashMap.put(HashMap.java:509)
    java.util.HashSet.add(HashSet.java:217)
    aprove.Framework.PropositionalLogic.Formulae.AbstractCircuitFactory.buildXor(AbstractCircuitFactory.java:155)
    aprove.Framework.PropositionalLogic.Formulae.AbstractCircuitFactory.buildXor(AbstractCircuitFactory.java:264)
    aprove.Framework.BooleanSemanticLabelling.BSLAutoSearchTermInterpretor.interpretTerm(BSLAutoSearchTermInterpretor.java:539)
    aprove.Framework.BooleanSemanticLabelling.BSLAutoSearchTermInterpretor.interpretTerm(BSLAutoSearchTermInterpretor.java:451)
    aprove.Framework.BooleanSemanticLabelling.BSLAutoSearchTermInterpretor.interpretRule(BSLAutoSearchTermInterpretor.java:710)
    aprove.DPFramework.TRSProblem.Processors.RelTRSSemanticLabellingProcessor.processRelTRS(RelTRSSemanticLabellingProcessor.java:78)
    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 1423977956Exec. 29, RelRR[Order=PMatroNat[Range=3, Collapse=False, Dimension=2, Engine=MINISAT]]
Stack trace:
Aborted 1423977956Exec. 28, 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)
    java.util.AbstractSet.hashCode(AbstractSet.java:122)
    java.util.HashMap.hash(HashMap.java:366)
    java.util.HashMap.put(HashMap.java:496)
    aprove.Framework.PropositionalLogic.Formulae.AbstractCircuitFactory.buildXor(AbstractCircuitFactory.java:171)
    aprove.Framework.Algebra.GeneralPolynomials.SatSearch.Nat.NatCircuitFactory.actuallyBuildPlusCircuit(NatCircuitFactory.java:331)
    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)
    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.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 1423977956Exec. 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)