RUNNING APROVE
filename: NO_24.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 1599081002Exec. 8, 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.<init>(TransitionRelation.java:113)
    aprove.Framework.IntTRS.Ranking.TransitionRelation.<init>(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 1599081002Exec. 8, 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 1599081002Exec. 10, 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:148)
    aprove.Framework.IntTRS.Ranking.PCS.eliminateOtherVariables(PCS.java:85)
    aprove.Framework.IntTRS.Ranking.TransitionRelation.<init>(TransitionRelation.java:113)
    aprove.Framework.IntTRS.Ranking.TransitionRelation.<init>(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 1599081002Exec. 10, 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 1599081031Exec. 22, 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.<init>(TransitionRelation.java:113)
    aprove.Framework.IntTRS.Ranking.TransitionRelation.<init>(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 1599081031Exec. 22, 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 1599081031Exec. 24, RankingReductionPairProcessor[GenerateFollowingInequalities=True]
Stack trace:
    java.util.Objects.hashCode(Objects.java:98)
    java.util.HashMap$Node.hashCode(HashMap.java:297)
    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.<init>(TransitionRelation.java:113)
    aprove.Framework.IntTRS.Ranking.TransitionRelation.<init>(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 1599081031Exec. 24, 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 1599081056Exec. 29, RankingReductionPairProcessor[GenerateFollowingInequalities=False]
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:147)
    aprove.Framework.IntTRS.Ranking.PCS.eliminateOtherVariables(PCS.java:85)
    aprove.Framework.IntTRS.Ranking.TransitionRelation.<init>(TransitionRelation.java:113)
    aprove.Framework.IntTRS.Ranking.TransitionRelation.<init>(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 1599081056Exec. 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 1599081056Exec. 31, RankingReductionPairProcessor[GenerateFollowingInequalities=True]
Stack trace:
    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.<init>(TransitionRelation.java:113)
    aprove.Framework.IntTRS.Ranking.TransitionRelation.<init>(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 1599081056Exec. 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 1599081076Exec. 36, 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.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.<init>(TransitionRelation.java:113)
    aprove.Framework.IntTRS.Ranking.TransitionRelation.<init>(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 1599081076Exec. 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 1599081081Exec. 42, 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.<init>(TransitionRelation.java:113)
    aprove.Framework.IntTRS.Ranking.TransitionRelation.<init>(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 1599081081Exec. 42, 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 1599081076Exec. 38, 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.<init>(TransitionRelation.java:113)
    aprove.Framework.IntTRS.Ranking.TransitionRelation.<init>(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 1599081076Exec. 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 1599081081Exec. 44, RankingReductionPairProcessor[GenerateFollowingInequalities=True]
Stack trace:
    immutables.Immutable.ImmutableIterator.hasNext(ImmutableIterator.java:53)
    aprove.Framework.Algebra.Polynomials.VarPolynomial.minus(VarPolynomial.java:672)
    aprove.Framework.IntTRS.Ranking.GEConstraint.<init>(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.<init>(TransitionRelation.java:113)
    aprove.Framework.IntTRS.Ranking.TransitionRelation.<init>(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 1599081081Exec. 44, 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 1599081149Exec. 56, RankingReductionPairProcessor[GenerateFollowingInequalities=False]
Stack trace:
    immutables.Immutable.ImmutableIterator.next(ImmutableIterator.java:61)
    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.<init>(TransitionRelation.java:113)
    aprove.Framework.IntTRS.Ranking.TransitionRelation.<init>(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 1599081150Exec. 61, RankingReductionPairProcessor[GenerateFollowingInequalities=False]
Aborted 1599081149Exec. 56, RankingReductionPairProcessor[GenerateFollowingInequalities=False] with a hard timeout.
Stack trace:
    aprove.Framework.Algebra.Polynomials.VarPolynomial.create(VarPolynomial.java:208)
    aprove.Framework.IntTRS.Ranking.PCS.eliminateVariable(PCS.java:148)
    aprove.Framework.IntTRS.Ranking.PCS.eliminateOtherVariables(PCS.java:85)
    aprove.Framework.IntTRS.Ranking.TransitionRelation.<init>(TransitionRelation.java:113)
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.TransitionRelation.<init>(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 1599081150Exec. 61, 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 1599081149Exec. 58, 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.<init>(TransitionRelation.java:113)
    aprove.Framework.IntTRS.Ranking.TransitionRelation.<init>(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 1599081150Exec. 63, RankingReductionPairProcessor[GenerateFollowingInequalities=True]
Stack trace:
Aborted 1599081149Exec. 58, RankingReductionPairProcessor[GenerateFollowingInequalities=True] with a hard timeout.
    java.util.HashMap.<init>(HashMap.java:447)
    java.util.HashMap.<init>(HashMap.java:468)
    java.util.LinkedHashMap.<init>(LinkedHashMap.java:359)
    immutables.Immutable.ImmutableLinkedHashMap.<init>(ImmutableLinkedHashMap.java:65)
    immutables.Immutable.ImmutableLinkedHashMap.create(ImmutableLinkedHashMap.java:43)
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)
    immutables.Immutable.ImmutableCreator.create(ImmutableCreator.java:142)
    immutables.Immutable.ImmutableCreator.create(ImmutableCreator.java:197)
    aprove.Framework.Algebra.Polynomials.SimplePolynomial.<init>(SimplePolynomial.java:107)
    aprove.Framework.Algebra.Polynomials.SimplePolynomial.create(SimplePolynomial.java:164)
    aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:497)
    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.<init>(TransitionRelation.java:113)
    aprove.Framework.IntTRS.Ranking.TransitionRelation.<init>(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 1599081150Exec. 63, 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 1599081182Exec. 70, 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.<init>(TransitionRelation.java:113)
    aprove.Framework.IntTRS.Ranking.TransitionRelation.<init>(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 1599081182Exec. 70, 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 1599081184Exec. 75, RankingReductionPairProcessor[GenerateFollowingInequalities=False]
Stack trace:
    java.util.HashMap.<init>(HashMap.java:447)
    java.util.HashMap.<init>(HashMap.java:468)
    java.util.LinkedHashMap.<init>(LinkedHashMap.java:359)
    immutables.Immutable.ImmutableLinkedHashMap.<init>(ImmutableLinkedHashMap.java:65)
    immutables.Immutable.ImmutableLinkedHashMap.create(ImmutableLinkedHashMap.java:43)
    immutables.Immutable.ImmutableCreator.create(ImmutableCreator.java:142)
    immutables.Immutable.ImmutableCreator.create(ImmutableCreator.java:197)
    aprove.Framework.Algebra.Polynomials.SimplePolynomial.<init>(SimplePolynomial.java:107)
    aprove.Framework.Algebra.Polynomials.SimplePolynomial.create(SimplePolynomial.java:164)
    aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:497)
    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.<init>(TransitionRelation.java:113)
    aprove.Framework.IntTRS.Ranking.TransitionRelation.<init>(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 1599081184Exec. 75, 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 1599081182Exec. 72, RankingReductionPairProcessor[GenerateFollowingInequalities=True]
Stack trace:
    java.util.AbstractMap$SimpleImmutableEntry.<init>(AbstractMap.java:752)
    java.util.Collections$SingletonMap.entrySet(Collections.java:4891)
    java.util.AbstractMap.hashCode(AbstractMap.java:528)
    immutables.Immutable.DefaultImmutableMap.hashCode(DefaultImmutableMap.java:133)
    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)
    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.<init>(TransitionRelation.java:113)
    aprove.Framework.IntTRS.Ranking.TransitionRelation.<init>(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 1599081182Exec. 72, 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 1599081184Exec. 77, 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:148)
    aprove.Framework.IntTRS.Ranking.PCS.eliminateOtherVariables(PCS.java:85)
    aprove.Framework.IntTRS.Ranking.TransitionRelation.<init>(TransitionRelation.java:113)
    aprove.Framework.IntTRS.Ranking.TransitionRelation.<init>(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 1599081184Exec. 77, 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 1599081205Exec. 81, RankingReductionPairProcessor[GenerateFollowingInequalities=False]
Stack trace:
    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.<init>(TransitionRelation.java:113)
    aprove.Framework.IntTRS.Ranking.TransitionRelation.<init>(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 1599081205Exec. 81, 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	5m10.790s
user	0m0.006s
sys	0m0.010s