RUNNING APROVE filename: PastaC10.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 1599085889Exec. 29, RankingReductionPairProcessor[GenerateFollowingInequalities=False] 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 1599085889Exec. 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 1599085889Exec. 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.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) Aborted 1599085889Exec. 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 1599085918Exec. 36, RankingReductionPairProcessor[GenerateFollowingInequalities=False] Stack trace: immutables.Immutable.DefaultImmutableMap.size(DefaultImmutableMap.java:184) java.util.AbstractMap.equals(AbstractMap.java:482) 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 1599085918Exec. 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 1599085918Exec. 38, RankingReductionPairProcessor[GenerateFollowingInequalities=True] Stack trace: immutables.Immutable.ImmutableIterator.hasNext(ImmutableIterator.java:53) 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) Aborted 1599085918Exec. 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 1599085954Exec. 43, RankingReductionPairProcessor[GenerateFollowingInequalities=False] 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 1599085954Exec. 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 1599085954Exec. 45, RankingReductionPairProcessor[GenerateFollowingInequalities=True] Stack trace: java.util.AbstractCollection.(AbstractCollection.java:66) java.util.AbstractSet.(AbstractSet.java:63) java.util.LinkedHashMap$LinkedEntrySet.(LinkedHashMap.java:638) java.util.LinkedHashMap.entrySet(LinkedHashMap.java:635) 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.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 1599085954Exec. 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 1599085979Exec. 50, RankingReductionPairProcessor[GenerateFollowingInequalities=False] 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 1599085979Exec. 50, 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 1599085979Exec. 52, 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 1599085979Exec. 52, 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 1599086008Exec. 57, 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: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 1599086008Exec. 57, 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 1599086008Exec. 59, 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: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 1599086008Exec. 59, 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 1599086033Exec. 64, RankingReductionPairProcessor[GenerateFollowingInequalities=False] Stack trace: immutables.Immutable.ImmutableIterator.hasNext(ImmutableIterator.java:53) aprove.Framework.Algebra.Polynomials.VarPolynomial$1$1.hasNext(VarPolynomial.java:1047) aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:57) 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 1599086033Exec. 64, 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 1599086033Exec. 66, RankingReductionPairProcessor[GenerateFollowingInequalities=True] Stack trace: aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:81) 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 1599086033Exec. 66, 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 1599086058Exec. 71, 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 1599086058Exec. 71, 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 1599086058Exec. 73, RankingReductionPairProcessor[GenerateFollowingInequalities=True] Stack trace: immutables.Immutable.DefaultImmutableMap.get(DefaultImmutableMap.java:121) aprove.Framework.Algebra.Polynomials.IndefinitePart.getExponent(IndefinitePart.java:144) aprove.Framework.Algebra.Polynomials.IndefinitePart.times(IndefinitePart.java:210) 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) Aborted 1599086058Exec. 73, 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 1599086077Exec. 83, 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: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 1599086077Exec. 83, 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 1599086077Exec. 85, RankingReductionPairProcessor[GenerateFollowingInequalities=True] Stack trace: immutables.Immutable.DefaultImmutableSet.iterator(DefaultImmutableSet.java:160) aprove.Framework.Algebra.Polynomials.IndefinitePart.times(IndefinitePart.java:206) 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) Aborted 1599086077Exec. 85, 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 1599086094Exec. 93, RankingReductionPairProcessor[GenerateFollowingInequalities=True] Stack trace: immutables.Immutable.ImmutableIterator.hasNext(ImmutableIterator.java:53) aprove.Framework.Algebra.Polynomials.VarPolynomial.isConcrete(VarPolynomial.java:979) 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 1599086094Exec. 93, 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 1599086111Exec. 100, RankingReductionPairProcessor[GenerateFollowingInequalities=True] Stack trace: java.util.HashMap.putVal(HashMap.java:629) java.util.HashMap.put(HashMap.java:612) aprove.Framework.Algebra.Polynomials.IndefinitePart.times(IndefinitePart.java:212) 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 1599086111Exec. 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 1599086134Exec. 110, RankingReductionPairProcessor[GenerateFollowingInequalities=False] 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 1599086134Exec. 110, 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) gtimeout: Signal TERM wird an Befehl "/Users/mhaslbeck/Projects/aprove/current_approve.sh" geschickt -:1: parser error : Document is empty ^ real 5m0.356s user 0m0.007s sys 0m0.013s