RUNNING APROVE filename: WhileIncr.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 1599091807Exec. 29, RankingReductionPairProcessor[GenerateFollowingInequalities=False] Stack trace: 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: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 1599091807Exec. 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 1599091807Exec. 31, 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.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: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 1599091807Exec. 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 1599091823Exec. 36, RankingReductionPairProcessor[GenerateFollowingInequalities=False] 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 1599091823Exec. 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 1599091823Exec. 38, 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 1599091823Exec. 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 1599091843Exec. 48, RankingReductionPairProcessor[GenerateFollowingInequalities=False] Stack trace: immutables.Immutable.DefaultImmutableSet.iterator(DefaultImmutableSet.java:160) aprove.Framework.Algebra.Polynomials.VarPolynomial.minus(VarPolynomial.java:672) 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) Aborted 1599091843Exec. 48, 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 1599091846Exec. 53, RankingReductionPairProcessor[GenerateFollowingInequalities=False] Stack trace: immutables.Immutable.DefaultImmutableSet.iterator(DefaultImmutableSet.java:160) aprove.Framework.Algebra.Polynomials.SimplePolynomial.plus(SimplePolynomial.java:283) aprove.Framework.Algebra.Polynomials.VarPolynomial.plus(VarPolynomial.java:516) 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 1599091846Exec. 53, 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 1599091843Exec. 50, 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) Running Thread.stop() against 1599091846Exec. 55, RankingReductionPairProcessor[GenerateFollowingInequalities=True] Aborted 1599091843Exec. 50, RankingReductionPairProcessor[GenerateFollowingInequalities=True] with a hard timeout. Stack trace: java.util.HashMap.putVal(HashMap.java:629) 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) 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.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 1599091846Exec. 55, 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 1599091875Exec. 62, RankingReductionPairProcessor[GenerateFollowingInequalities=False] Stack trace: immutables.Immutable.ImmutableIterator.hasNext(ImmutableIterator.java:53) aprove.Framework.Algebra.Polynomials.VarPolynomial.minus(VarPolynomial.java:672) 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 1599091875Exec. 62, RankingReductionPairProcessor[GenerateFollowingInequalities=False] with a hard timeout. Running Thread.stop() against 1599091876Exec. 72, RankingReductionPairProcessor[GenerateFollowingInequalities=False] 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) 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: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 1599091876Exec. 72, 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 1599091875Exec. 64, RankingReductionPairProcessor[GenerateFollowingInequalities=True] Stack trace: java.util.AbstractMap.hashCode(AbstractMap.java:530) 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.VarPolynomial.times(VarPolynomial.java:612) 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 1599091875Exec. 64, 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 1599091876Exec. 74, RankingReductionPairProcessor[GenerateFollowingInequalities=True] Stack trace: aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:58) 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 1599091876Exec. 74, 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 1599091885Exec. 79, RankingReductionPairProcessor[GenerateFollowingInequalities=True] Stack trace: 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.SimplePolynomial.plus(SimplePolynomial.java:271) aprove.Framework.Algebra.Polynomials.VarPolynomial.plus(VarPolynomial.java:516) 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 1599091885Exec. 79, 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 30m12.388s user 0m0.007s sys 0m0.012s