RUNNING APROVE filename: Marbie1.c.pass1.llvm Graph finished, checking consistency Graph finished, checked consistency, took 0.0s Cannot find out cpu time on external processes, falling back to wall time! Running Thread.stop() against 1599075562Exec. 29, RankingReductionPairProcessor[GenerateFollowingInequalities=False] Stack trace: immutables.Immutable.DefaultImmutableSet.iterator(DefaultImmutableSet.java:160) aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:600) aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) aprove.Framework.IntTRS.Ranking.PCS.eliminateVariable(PCS.java:147) aprove.Framework.IntTRS.Ranking.PCS.eliminateOtherVariables(PCS.java:85) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:113) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:73) aprove.Framework.IntTRS.Ranking.RuleToTransitionRelation.ruleToTransitionRelation(RuleToTransitionRelation.java:108) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.translateRules(RankingRedPairWorker.java:239) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:182) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) java.lang.Thread.run(Thread.java:748) Aborted 1599075562Exec. 29, RankingReductionPairProcessor[GenerateFollowingInequalities=False] with a hard timeout. Threadpool thread died by not catching an exception java.lang.ThreadDeath at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:157) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) Running Thread.stop() against 1599075562Exec. 31, RankingReductionPairProcessor[GenerateFollowingInequalities=True] Stack trace: immutables.Immutable.DefaultImmutableSet.iterator(DefaultImmutableSet.java:160) aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:475) aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:606) aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) aprove.Framework.IntTRS.Ranking.PCS.eliminateVariable(PCS.java:147) aprove.Framework.IntTRS.Ranking.PCS.eliminateOtherVariables(PCS.java:85) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:113) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:73) aprove.Framework.IntTRS.Ranking.RuleToTransitionRelation.ruleToTransitionRelation(RuleToTransitionRelation.java:108) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.translateRules(RankingRedPairWorker.java:239) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:182) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) java.lang.Thread.run(Thread.java:748) Aborted 1599075562Exec. 31, RankingReductionPairProcessor[GenerateFollowingInequalities=True] with a hard timeout. Threadpool thread died by not catching an exception java.lang.ThreadDeath at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:157) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) Running Thread.stop() against 1599075578Exec. 36, RankingReductionPairProcessor[GenerateFollowingInequalities=False] Stack trace: immutables.Immutable.DefaultImmutableSet.iterator(DefaultImmutableSet.java:160) aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:479) aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:606) aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) aprove.Framework.IntTRS.Ranking.PCS.eliminateVariable(PCS.java:148) aprove.Framework.IntTRS.Ranking.PCS.eliminateOtherVariables(PCS.java:85) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:113) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:73) aprove.Framework.IntTRS.Ranking.RuleToTransitionRelation.ruleToTransitionRelation(RuleToTransitionRelation.java:108) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.translateRules(RankingRedPairWorker.java:239) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:182) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) java.lang.Thread.run(Thread.java:748) Aborted 1599075578Exec. 36, RankingReductionPairProcessor[GenerateFollowingInequalities=False] with a hard timeout. Threadpool thread died by not catching an exception java.lang.ThreadDeath at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:157) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) Running Thread.stop() against 1599075578Exec. 38, RankingReductionPairProcessor[GenerateFollowingInequalities=True] Stack trace: immutables.Immutable.ImmutableIterator.hasNext(ImmutableIterator.java:53) aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:600) aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) aprove.Framework.IntTRS.Ranking.PCS.eliminateVariable(PCS.java:147) aprove.Framework.IntTRS.Ranking.PCS.eliminateOtherVariables(PCS.java:85) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:113) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:73) aprove.Framework.IntTRS.Ranking.RuleToTransitionRelation.ruleToTransitionRelation(RuleToTransitionRelation.java:108) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.translateRules(RankingRedPairWorker.java:239) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:182) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) java.lang.Thread.run(Thread.java:748) Aborted 1599075578Exec. 38, RankingReductionPairProcessor[GenerateFollowingInequalities=True] with a hard timeout. Threadpool thread died by not catching an exception java.lang.ThreadDeath at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:157) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) Running Thread.stop() against 1599075604Exec. 43, RankingReductionPairProcessor[GenerateFollowingInequalities=False] Stack trace: immutables.Immutable.ImmutableIterator.next(ImmutableIterator.java:61) aprove.Framework.Algebra.Polynomials.VarPolynomial.plus(VarPolynomial.java:510) aprove.Framework.IntTRS.Ranking.PCS.eliminateVariable(PCS.java:147) aprove.Framework.IntTRS.Ranking.PCS.eliminateOtherVariables(PCS.java:85) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:113) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:73) aprove.Framework.IntTRS.Ranking.RuleToTransitionRelation.ruleToTransitionRelation(RuleToTransitionRelation.java:108) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.translateRules(RankingRedPairWorker.java:239) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:182) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) java.lang.Thread.run(Thread.java:748) Aborted 1599075604Exec. 43, RankingReductionPairProcessor[GenerateFollowingInequalities=False] with a hard timeout. Threadpool thread died by not catching an exception java.lang.ThreadDeath at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:157) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) Running Thread.stop() against 1599075604Exec. 45, RankingReductionPairProcessor[GenerateFollowingInequalities=True] Stack trace: immutables.Immutable.DefaultImmutableSet.iterator(DefaultImmutableSet.java:160) aprove.Framework.Algebra.Polynomials.IndefinitePart.times(IndefinitePart.java:216) aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:605) aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) aprove.Framework.IntTRS.Ranking.PCS.eliminateVariable(PCS.java:147) aprove.Framework.IntTRS.Ranking.PCS.eliminateOtherVariables(PCS.java:85) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:113) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:73) aprove.Framework.IntTRS.Ranking.RuleToTransitionRelation.ruleToTransitionRelation(RuleToTransitionRelation.java:108) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.translateRules(RankingRedPairWorker.java:239) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:182) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) java.lang.Thread.run(Thread.java:748) Aborted 1599075604Exec. 45, RankingReductionPairProcessor[GenerateFollowingInequalities=True] with a hard timeout. Threadpool thread died by not catching an exception java.lang.ThreadDeath at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:157) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) Running Thread.stop() against 1599075625Exec. 55, RankingReductionPairProcessor[GenerateFollowingInequalities=False] Stack trace: aprove.Framework.Algebra.Polynomials.VarPolynomial.minus(VarPolynomial.java:688) aprove.Framework.IntTRS.Ranking.GEConstraint.(GEConstraint.java:42) aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:79) aprove.Framework.IntTRS.Ranking.PCS.eliminateVariable(PCS.java:149) aprove.Framework.IntTRS.Ranking.PCS.eliminateOtherVariables(PCS.java:85) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:113) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:73) aprove.Framework.IntTRS.Ranking.RuleToTransitionRelation.ruleToTransitionRelation(RuleToTransitionRelation.java:108) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.translateRules(RankingRedPairWorker.java:239) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:182) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) java.lang.Thread.run(Thread.java:748) Running Thread.stop() against 1599075629Exec. 60, RankingReductionPairProcessor[GenerateFollowingInequalities=False] Aborted 1599075625Exec. 55, RankingReductionPairProcessor[GenerateFollowingInequalities=False] with a hard timeout. Stack trace: immutables.Immutable.DefaultImmutableSet.iterator(DefaultImmutableSet.java:160) aprove.Framework.Algebra.Polynomials.VarPolynomial.getDegree(VarPolynomial.java:471) Threadpool thread died by not catching an exception java.lang.ThreadDeath at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:157) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) aprove.Framework.IntTRS.Ranking.GEConstraint.isLinear(GEConstraint.java:135) aprove.Framework.IntTRS.Ranking.PCS.isLinear(PCS.java:166) aprove.Framework.IntTRS.Ranking.PCS.eliminateVariable(PCS.java:111) aprove.Framework.IntTRS.Ranking.PCS.eliminateOtherVariables(PCS.java:85) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:113) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:73) aprove.Framework.IntTRS.Ranking.RuleToTransitionRelation.ruleToTransitionRelation(RuleToTransitionRelation.java:108) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.translateRules(RankingRedPairWorker.java:239) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:182) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) java.lang.Thread.run(Thread.java:748) Aborted 1599075629Exec. 60, RankingReductionPairProcessor[GenerateFollowingInequalities=False] with a hard timeout. Threadpool thread died by not catching an exception java.lang.ThreadDeath at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:157) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) Running Thread.stop() against 1599075625Exec. 57, RankingReductionPairProcessor[GenerateFollowingInequalities=True] Stack trace: java.math.BigInteger.divideKnuth(BigInteger.java:2205) java.math.BigInteger.divide(BigInteger.java:2186) aprove.Framework.IntTRS.Ranking.PCS.eliminateVariable(PCS.java:148) aprove.Framework.IntTRS.Ranking.PCS.eliminateOtherVariables(PCS.java:85) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:113) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:73) aprove.Framework.IntTRS.Ranking.RuleToTransitionRelation.ruleToTransitionRelation(RuleToTransitionRelation.java:108) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.translateRules(RankingRedPairWorker.java:239) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:182) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) java.lang.Thread.run(Thread.java:748) Running Thread.stop() against 1599075629Exec. 62, RankingReductionPairProcessor[GenerateFollowingInequalities=True] Stack trace: Aborted 1599075625Exec. 57, RankingReductionPairProcessor[GenerateFollowingInequalities=True] with a hard timeout. aprove.Framework.Algebra.Polynomials.VarPolynomial.minus(VarPolynomial.java:688) aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:80) aprove.Framework.IntTRS.Ranking.PCS.eliminateVariable(PCS.java:149) aprove.Framework.IntTRS.Ranking.PCS.eliminateOtherVariables(PCS.java:85) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:113) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:73) aprove.Framework.IntTRS.Ranking.RuleToTransitionRelation.ruleToTransitionRelation(RuleToTransitionRelation.java:108) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.translateRules(RankingRedPairWorker.java:239) Threadpool thread died by not catching an exception java.lang.ThreadDeath at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:157) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:182) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) java.lang.Thread.run(Thread.java:748) Aborted 1599075629Exec. 62, RankingReductionPairProcessor[GenerateFollowingInequalities=True] with a hard timeout. Threadpool thread died by not catching an exception java.lang.ThreadDeath at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:157) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) Running Thread.stop() against 1599075656Exec. 71, RankingReductionPairProcessor[GenerateFollowingInequalities=True] Stack trace: immutables.Immutable.DefaultImmutableSet.iterator(DefaultImmutableSet.java:160) aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:603) aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) aprove.Framework.IntTRS.Ranking.PCS.eliminateVariable(PCS.java:147) aprove.Framework.IntTRS.Ranking.PCS.eliminateOtherVariables(PCS.java:85) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:113) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:73) aprove.Framework.IntTRS.Ranking.RuleToTransitionRelation.ruleToTransitionRelation(RuleToTransitionRelation.java:108) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.translateRules(RankingRedPairWorker.java:239) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:182) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) java.lang.Thread.run(Thread.java:748) Running Thread.stop() against 1599075657Exec. 78, RankingReductionPairProcessor[GenerateFollowingInequalities=True] Stack trace: Aborted 1599075656Exec. 71, RankingReductionPairProcessor[GenerateFollowingInequalities=True] with a hard timeout. immutables.Immutable.ImmutableLinkedHashMap.equals(ImmutableLinkedHashMap.java:122) aprove.Framework.Algebra.Polynomials.IndefinitePart.equals(IndefinitePart.java:1177) java.util.HashMap.getNode(HashMap.java:572) java.util.HashMap.containsKey(HashMap.java:596) immutables.Immutable.ImmutableLinkedHashMap.containsKey(ImmutableLinkedHashMap.java:91) Threadpool thread died by not catching an exception java.lang.ThreadDeath at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:157) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) aprove.Framework.Algebra.Polynomials.SimplePolynomial.isConstant(SimplePolynomial.java:1701) aprove.Framework.Algebra.Polynomials.VarPolynomial.isConcrete(VarPolynomial.java:980) aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:53) aprove.Framework.IntTRS.Ranking.PCS.eliminateVariable(PCS.java:149) aprove.Framework.IntTRS.Ranking.PCS.eliminateOtherVariables(PCS.java:85) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:113) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:73) aprove.Framework.IntTRS.Ranking.RuleToTransitionRelation.ruleToTransitionRelation(RuleToTransitionRelation.java:108) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.translateRules(RankingRedPairWorker.java:239) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:182) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) java.lang.Thread.run(Thread.java:748) Aborted 1599075657Exec. 78, RankingReductionPairProcessor[GenerateFollowingInequalities=True] with a hard timeout. Threadpool thread died by not catching an exception java.lang.ThreadDeath at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:157) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) Running Thread.stop() against 1599075676Exec. 86, RankingReductionPairProcessor[GenerateFollowingInequalities=True] Stack trace: immutables.Immutable.DefaultImmutableSet.iterator(DefaultImmutableSet.java:160) aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:479) aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:606) aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) aprove.Framework.IntTRS.Ranking.PCS.eliminateVariable(PCS.java:147) aprove.Framework.IntTRS.Ranking.PCS.eliminateOtherVariables(PCS.java:85) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:113) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:73) aprove.Framework.IntTRS.Ranking.RuleToTransitionRelation.ruleToTransitionRelation(RuleToTransitionRelation.java:108) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.translateRules(RankingRedPairWorker.java:239) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:182) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) java.lang.Thread.run(Thread.java:748) Aborted 1599075676Exec. 86, RankingReductionPairProcessor[GenerateFollowingInequalities=True] with a hard timeout. Threadpool thread died by not catching an exception java.lang.ThreadDeath at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:157) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) Running Thread.stop() against 1599075699Exec. 93, RankingReductionPairProcessor[GenerateFollowingInequalities=False] Stack trace: immutables.Immutable.ImmutableIterator.hasNext(ImmutableIterator.java:53) aprove.Framework.Algebra.Polynomials.VarPolynomial.getDegree(VarPolynomial.java:471) aprove.Framework.IntTRS.Ranking.GEConstraint.isLinear(GEConstraint.java:135) aprove.Framework.IntTRS.Ranking.PCS.isLinear(PCS.java:166) aprove.Framework.IntTRS.Ranking.PCS.eliminateVariable(PCS.java:111) aprove.Framework.IntTRS.Ranking.PCS.eliminateOtherVariables(PCS.java:85) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:113) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:73) aprove.Framework.IntTRS.Ranking.RuleToTransitionRelation.ruleToTransitionRelation(RuleToTransitionRelation.java:108) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.translateRules(RankingRedPairWorker.java:239) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:182) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) java.lang.Thread.run(Thread.java:748) Aborted 1599075699Exec. 93, RankingReductionPairProcessor[GenerateFollowingInequalities=False] with a hard timeout. Threadpool thread died by not catching an exception java.lang.ThreadDeath at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:157) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) Running Thread.stop() against 1599075699Exec. 95, RankingReductionPairProcessor[GenerateFollowingInequalities=True] Stack trace: java.util.AbstractMap.equals(AbstractMap.java:495) immutables.Immutable.ImmutableLinkedHashMap.equals(ImmutableLinkedHashMap.java:122) aprove.Framework.Algebra.Polynomials.IndefinitePart.equals(IndefinitePart.java:1177) java.util.HashMap.getNode(HashMap.java:572) java.util.LinkedHashMap.get(LinkedHashMap.java:440) immutables.Immutable.ImmutableLinkedHashMap.get(ImmutableLinkedHashMap.java:130) aprove.Framework.Algebra.Polynomials.VarPolynomial.getCoefficientPoly(VarPolynomial.java:444) aprove.Framework.IntTRS.Ranking.PCS.eliminateVariable(PCS.java:140) aprove.Framework.IntTRS.Ranking.PCS.eliminateOtherVariables(PCS.java:85) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:113) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:73) aprove.Framework.IntTRS.Ranking.RuleToTransitionRelation.ruleToTransitionRelation(RuleToTransitionRelation.java:108) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.translateRules(RankingRedPairWorker.java:239) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:182) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) java.lang.Thread.run(Thread.java:748) Aborted 1599075699Exec. 95, RankingReductionPairProcessor[GenerateFollowingInequalities=True] with a hard timeout. Threadpool thread died by not catching an exception java.lang.ThreadDeath at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:157) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) Running Thread.stop() against 1599075700Exec. 100, RankingReductionPairProcessor[GenerateFollowingInequalities=True] Stack trace: java.util.AbstractMap.hashCode(AbstractMap.java:528) immutables.Immutable.ImmutableLinkedHashMap.hashCode(ImmutableLinkedHashMap.java:142) aprove.Framework.Algebra.Polynomials.IndefinitePart.computeHashValue(IndefinitePart.java:1160) aprove.Framework.Algebra.Polynomials.IndefinitePart.hashCode(IndefinitePart.java:1155) java.util.HashMap.hash(HashMap.java:339) java.util.LinkedHashMap.get(LinkedHashMap.java:440) aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:483) aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:606) aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) aprove.Framework.IntTRS.Ranking.PCS.eliminateVariable(PCS.java:148) aprove.Framework.IntTRS.Ranking.PCS.eliminateOtherVariables(PCS.java:85) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:113) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:73) aprove.Framework.IntTRS.Ranking.RuleToTransitionRelation.ruleToTransitionRelation(RuleToTransitionRelation.java:108) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.translateRules(RankingRedPairWorker.java:239) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:182) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) java.lang.Thread.run(Thread.java:748) Aborted 1599075700Exec. 100, RankingReductionPairProcessor[GenerateFollowingInequalities=True] with a hard timeout. Threadpool thread died by not catching an exception java.lang.ThreadDeath at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:157) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) Running Thread.stop() against 1599075703Exec. 109, RankingReductionPairProcessor[GenerateFollowingInequalities=True] Stack trace: java.util.HashMap.hash(HashMap.java:339) java.util.LinkedHashMap.get(LinkedHashMap.java:440) immutables.Immutable.ImmutableLinkedHashMap.get(ImmutableLinkedHashMap.java:130) java.util.AbstractMap.equals(AbstractMap.java:495) immutables.Immutable.ImmutableLinkedHashMap.equals(ImmutableLinkedHashMap.java:122) aprove.Framework.Algebra.Polynomials.IndefinitePart.equals(IndefinitePart.java:1177) java.util.HashMap.getNode(HashMap.java:572) java.util.HashMap.containsKey(HashMap.java:596) immutables.Immutable.ImmutableLinkedHashMap.containsKey(ImmutableLinkedHashMap.java:91) aprove.Framework.Algebra.Polynomials.VarPolynomial.plus(VarPolynomial.java:528) aprove.Framework.IntTRS.Ranking.PCS.eliminateVariable(PCS.java:147) aprove.Framework.IntTRS.Ranking.PCS.eliminateOtherVariables(PCS.java:85) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:113) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:73) aprove.Framework.IntTRS.Ranking.RuleToTransitionRelation.ruleToTransitionRelation(RuleToTransitionRelation.java:108) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.translateRules(RankingRedPairWorker.java:239) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:182) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) java.lang.Thread.run(Thread.java:748) Aborted 1599075703Exec. 109, RankingReductionPairProcessor[GenerateFollowingInequalities=True] with a hard timeout. Threadpool thread died by not catching an exception java.lang.ThreadDeath at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:157) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) Running Thread.stop() against 1599075749Exec. 123, RankingReductionPairProcessor[GenerateFollowingInequalities=True] Stack trace: aprove.Framework.IntTRS.Ranking.PCS.eliminateVariable(PCS.java:147) aprove.Framework.IntTRS.Ranking.PCS.eliminateOtherVariables(PCS.java:85) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:113) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:73) aprove.Framework.IntTRS.Ranking.RuleToTransitionRelation.ruleToTransitionRelation(RuleToTransitionRelation.java:108) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.translateRules(RankingRedPairWorker.java:239) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:182) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) java.lang.Thread.run(Thread.java:748) Aborted 1599075749Exec. 123, RankingReductionPairProcessor[GenerateFollowingInequalities=True] with a hard timeout. Threadpool thread died by not catching an exception java.lang.ThreadDeath at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:157) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) Running Thread.stop() against 1599075771Exec. 148, RankingReductionPairProcessor[GenerateFollowingInequalities=False] Stack trace: aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:605) aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) aprove.Framework.IntTRS.Ranking.PCS.eliminateVariable(PCS.java:148) aprove.Framework.IntTRS.Ranking.PCS.eliminateOtherVariables(PCS.java:85) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:113) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:73) aprove.Framework.IntTRS.Ranking.RuleToTransitionRelation.ruleToTransitionRelation(RuleToTransitionRelation.java:108) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.translateRules(RankingRedPairWorker.java:239) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:182) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) java.lang.Thread.run(Thread.java:748) Running Thread.stop() against 1599075771Exec. 150, RankingReductionPairProcessor[GenerateFollowingInequalities=True] Stack trace: Aborted 1599075771Exec. 148, RankingReductionPairProcessor[GenerateFollowingInequalities=False] with a hard timeout. immutables.Immutable.DefaultImmutableSet.iterator(DefaultImmutableSet.java:160) aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:603) aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) aprove.Framework.IntTRS.Ranking.PCS.eliminateVariable(PCS.java:147) aprove.Framework.IntTRS.Ranking.PCS.eliminateOtherVariables(PCS.java:85) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:113) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:73) aprove.Framework.IntTRS.Ranking.RuleToTransitionRelation.ruleToTransitionRelation(RuleToTransitionRelation.java:108) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.translateRules(RankingRedPairWorker.java:239) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:182) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) java.lang.Thread.run(Thread.java:748) Threadpool thread died by not catching an exception java.lang.ThreadDeath at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:157) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) Aborted 1599075771Exec. 150, RankingReductionPairProcessor[GenerateFollowingInequalities=True] with a hard timeout. Threadpool thread died by not catching an exception java.lang.ThreadDeath at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:157) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) Running Thread.stop() against 1599075761Exec. 126, RankingReductionPairProcessor[GenerateFollowingInequalities=False] Stack trace: java.util.HashMap.putVal(HashMap.java:664) java.util.HashMap.put(HashMap.java:612) aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:485) aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:606) aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) aprove.Framework.IntTRS.Ranking.PCS.eliminateVariable(PCS.java:147) aprove.Framework.IntTRS.Ranking.PCS.eliminateOtherVariables(PCS.java:85) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:113) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:73) aprove.Framework.IntTRS.Ranking.RuleToTransitionRelation.ruleToTransitionRelation(RuleToTransitionRelation.java:108) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.translateRules(RankingRedPairWorker.java:239) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:182) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) java.lang.Thread.run(Thread.java:748) Aborted 1599075761Exec. 126, RankingReductionPairProcessor[GenerateFollowingInequalities=False] with a hard timeout. Threadpool thread died by not catching an exception java.lang.ThreadDeath at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:157) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) Running Thread.stop() against 1599075761Exec. 131, RankingReductionPairProcessor[GenerateFollowingInequalities=False] Stack trace: immutables.Immutable.DefaultImmutableSet.iterator(DefaultImmutableSet.java:160) aprove.Framework.Algebra.Polynomials.IndefinitePart.times(IndefinitePart.java:206) aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:481) aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:606) aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) aprove.Framework.IntTRS.Ranking.PCS.eliminateVariable(PCS.java:148) aprove.Framework.IntTRS.Ranking.PCS.eliminateOtherVariables(PCS.java:85) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:113) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:73) aprove.Framework.IntTRS.Ranking.RuleToTransitionRelation.ruleToTransitionRelation(RuleToTransitionRelation.java:108) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.translateRules(RankingRedPairWorker.java:239) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:182) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) java.lang.Thread.run(Thread.java:748) Threadpool thread died by not catching an exception java.lang.ThreadDeath at java.lang.Thread.stop(Thread.java:853) at aprove.Strategies.Abortions.PooledJob.kill(PooledJob.java:174) at aprove.Strategies.Abortions.TrackThreadPool.kill(TrackThreadPool.java:42) at aprove.Strategies.Abortions.TrackThread.checkKill(TrackThread.java:173) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:110) at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.doPoll(TimeRefresher.java:65) at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.run(TimeRefresher.java:54) Running Thread.stop() against 1599075761Exec. 128, RankingReductionPairProcessor[GenerateFollowingInequalities=True] Stack trace: java.util.HashMap.hash(HashMap.java:339) java.util.HashMap.put(HashMap.java:612) java.util.HashSet.add(HashSet.java:220) java.util.AbstractCollection.addAll(AbstractCollection.java:344) aprove.Framework.Algebra.Polynomials.VarPolynomial.getVariables(VarPolynomial.java:1086) aprove.Framework.IntTRS.Ranking.PCS.eliminateVariable(PCS.java:122) aprove.Framework.IntTRS.Ranking.PCS.eliminateOtherVariables(PCS.java:85) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:113) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:73) aprove.Framework.IntTRS.Ranking.RuleToTransitionRelation.ruleToTransitionRelation(RuleToTransitionRelation.java:108) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.translateRules(RankingRedPairWorker.java:239) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:182) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) java.lang.Thread.run(Thread.java:748) Running Thread.stop() against 1599075771Exec. 145, RankingReductionPairProcessor[GenerateFollowingInequalities=False] Stack trace: immutables.Immutable.ImmutableIterator.hasNext(ImmutableIterator.java:53) aprove.Framework.Algebra.Polynomials.SimplePolynomial.minus(SimplePolynomial.java:557) Aborted 1599075761Exec. 128, RankingReductionPairProcessor[GenerateFollowingInequalities=True] with a hard timeout. aprove.Framework.Algebra.Polynomials.VarPolynomial.minus(VarPolynomial.java:678) aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:80) aprove.Framework.IntTRS.Ranking.PCS.eliminateVariable(PCS.java:149) aprove.Framework.IntTRS.Ranking.PCS.eliminateOtherVariables(PCS.java:85) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:113) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:73) aprove.Framework.IntTRS.Ranking.RuleToTransitionRelation.ruleToTransitionRelation(RuleToTransitionRelation.java:108) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.translateRules(RankingRedPairWorker.java:239) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:182) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) java.lang.Thread.run(Thread.java:748) Aborted 1599075771Exec. 145, RankingReductionPairProcessor[GenerateFollowingInequalities=False] with a hard timeout. Threadpool thread died by not catching an exception java.lang.ThreadDeath at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:157) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) Threadpool thread died by not catching an exception java.lang.ThreadDeath at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:157) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) Running Thread.stop() against 1599075761Exec. 133, RankingReductionPairProcessor[GenerateFollowingInequalities=True] Stack trace: immutables.Immutable.DefaultImmutableSet.iterator(DefaultImmutableSet.java:160) aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:603) aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) aprove.Framework.IntTRS.Ranking.PCS.eliminateVariable(PCS.java:148) aprove.Framework.IntTRS.Ranking.PCS.eliminateOtherVariables(PCS.java:85) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:113) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:73) aprove.Framework.IntTRS.Ranking.RuleToTransitionRelation.ruleToTransitionRelation(RuleToTransitionRelation.java:108) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.translateRules(RankingRedPairWorker.java:239) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:182) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) java.lang.Thread.run(Thread.java:748) Aborted 1599075761Exec. 133, RankingReductionPairProcessor[GenerateFollowingInequalities=True] with a hard timeout. Threadpool thread died by not catching an exception java.lang.ThreadDeath at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:157) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) Running Thread.stop() against 1599075763Exec. 138, RankingReductionPairProcessor[GenerateFollowingInequalities=True] Stack trace: immutables.Immutable.ImmutableIterator.hasNext(ImmutableIterator.java:53) aprove.Framework.Algebra.Polynomials.VarPolynomial.plus(VarPolynomial.java:526) aprove.Framework.IntTRS.Ranking.PCS.eliminateVariable(PCS.java:147) aprove.Framework.IntTRS.Ranking.PCS.eliminateOtherVariables(PCS.java:85) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:113) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:73) aprove.Framework.IntTRS.Ranking.RuleToTransitionRelation.ruleToTransitionRelation(RuleToTransitionRelation.java:108) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.translateRules(RankingRedPairWorker.java:239) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:182) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) java.lang.Thread.run(Thread.java:748) Aborted 1599075763Exec. 138, RankingReductionPairProcessor[GenerateFollowingInequalities=True] with a hard timeout. Threadpool thread died by not catching an exception java.lang.ThreadDeath at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:157) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) Running Thread.stop() against 1599075771Exec. 147, RankingReductionPairProcessor[GenerateFollowingInequalities=True] Stack trace: java.math.BigInteger.divideKnuth(BigInteger.java:2205) java.math.BigInteger.divide(BigInteger.java:2186) aprove.Framework.IntTRS.Ranking.PCS.eliminateVariable(PCS.java:144) aprove.Framework.IntTRS.Ranking.PCS.eliminateOtherVariables(PCS.java:85) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:113) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:73) aprove.Framework.IntTRS.Ranking.RuleToTransitionRelation.ruleToTransitionRelation(RuleToTransitionRelation.java:108) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.translateRules(RankingRedPairWorker.java:239) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:182) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) java.lang.Thread.run(Thread.java:748) Aborted 1599075771Exec. 147, RankingReductionPairProcessor[GenerateFollowingInequalities=True] with a hard timeout. Threadpool thread died by not catching an exception java.lang.ThreadDeath at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:157) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) gtimeout: Signal TERM wird an Befehl "/Users/mhaslbeck/Projects/aprove/current_approve.sh" geschickt -:1: parser error : Document is empty ^ real 5m0.371s user 0m0.007s sys 0m0.012s