RUNNING APROVE
filename: svcomp_c.01-no-inv.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 1599095235Exec. 24, RankingReductionPairProcessor[GenerateFollowingInequalities=False]
Stack trace:
    immutables.Immutable.DefaultImmutableMap.get(DefaultImmutableMap.java:121)
    aprove.Framework.Algebra.Polynomials.SimplePolynomial.getNumericalAddend(SimplePolynomial.java:893)
    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.<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 1599095235Exec. 24, 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 1599095235Exec. 26, 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.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.<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 1599095235Exec. 26, 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 1599095257Exec. 31, RankingReductionPairProcessor[GenerateFollowingInequalities=False]
Stack trace:
    immutables.Immutable.DefaultImmutableSet.iterator(DefaultImmutableSet.java:160)
    aprove.Framework.Algebra.Polynomials.IndefinitePart.times(IndefinitePart.java:206)
    aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:481)
    aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:606)
    aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586)
    aprove.Framework.IntTRS.Ranking.PCS.eliminateVariable(PCS.java:148)
    aprove.Framework.IntTRS.Ranking.PCS.eliminateOtherVariables(PCS.java:85)
    aprove.Framework.IntTRS.Ranking.TransitionRelation.<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 1599095257Exec. 31, 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 1599095257Exec. 33, RankingReductionPairProcessor[GenerateFollowingInequalities=True]
Stack trace:
    java.util.AbstractMap.equals(AbstractMap.java:495)
    immutables.Immutable.ImmutableLinkedHashMap.equals(ImmutableLinkedHashMap.java:122)
    aprove.Framework.Algebra.Polynomials.IndefinitePart.equals(IndefinitePart.java:1177)
    java.util.HashMap.getNode(HashMap.java:572)
    java.util.LinkedHashMap.get(LinkedHashMap.java:440)
    immutables.Immutable.ImmutableLinkedHashMap.get(ImmutableLinkedHashMap.java:130)
    aprove.Framework.Algebra.Polynomials.VarPolynomial.plus(VarPolynomial.java:514)
    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 1599095257Exec. 33, 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 1599095282Exec. 38, 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.<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 1599095282Exec. 38, 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 1599095282Exec. 40, RankingReductionPairProcessor[GenerateFollowingInequalities=True]
Stack trace:
    aprove.Framework.Algebra.Polynomials.SimplePolynomial.isConstant(SimplePolynomial.java:1700)
    aprove.Framework.Algebra.Polynomials.VarPolynomial.isConcrete(VarPolynomial.java:980)
    aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:53)
    aprove.Framework.IntTRS.Ranking.PCS.eliminateVariable(PCS.java:149)
    aprove.Framework.IntTRS.Ranking.PCS.eliminateOtherVariables(PCS.java:85)
    aprove.Framework.IntTRS.Ranking.TransitionRelation.<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 1599095282Exec. 40, 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 1599095307Exec. 45, RankingReductionPairProcessor[GenerateFollowingInequalities=False]
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.<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 1599095307Exec. 45, 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 1599095307Exec. 47, RankingReductionPairProcessor[GenerateFollowingInequalities=True]
Stack trace:
    immutables.Immutable.ImmutableIterator.hasNext(ImmutableIterator.java:53)
    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 1599095307Exec. 47, 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 1599095329Exec. 54, RankingReductionPairProcessor[GenerateFollowingInequalities=True]
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: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 1599095329Exec. 54, 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 1599095342Exec. 63, RankingReductionPairProcessor[GenerateFollowingInequalities=True]
Stack trace:
    java.util.AbstractCollection.<init>(AbstractCollection.java:66)
    java.util.AbstractSet.<init>(AbstractSet.java:63)
    java.util.LinkedHashMap$LinkedEntrySet.<init>(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.SimplePolynomial.times(SimplePolynomial.java:483)
    aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:606)
    aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586)
    aprove.Framework.IntTRS.Ranking.PCS.eliminateVariable(PCS.java: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)
Running Thread.stop() against 1599095342Exec. 66, RankingReductionPairProcessor[GenerateFollowingInequalities=True]
Stack trace:
Aborted 1599095342Exec. 63, RankingReductionPairProcessor[GenerateFollowingInequalities=True] with a hard timeout.
    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)
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.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 1599095342Exec. 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 1599095360Exec. 75, RankingReductionPairProcessor[GenerateFollowingInequalities=False]
Stack trace:
    java.math.MutableBigInteger.hybridGCD(MutableBigInteger.java:1880)
    java.math.BigInteger.gcd(BigInteger.java:2441)
    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.<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 1599095361Exec. 85, RankingReductionPairProcessor[GenerateFollowingInequalities=False]
Stack trace:
Aborted 1599095360Exec. 75, RankingReductionPairProcessor[GenerateFollowingInequalities=False] with a hard timeout.
    aprove.Framework.Algebra.Polynomials.VarPolynomial.minus(VarPolynomial.java:688)
    aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:80)
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.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)
Running Thread.stop() against 1599095361Exec. 88, RankingReductionPairProcessor[GenerateFollowingInequalities=False]
Aborted 1599095361Exec. 85, RankingReductionPairProcessor[GenerateFollowingInequalities=False] with a hard timeout.
Stack trace:
    java.util.AbstractMap.equals(AbstractMap.java:482)
    immutables.Immutable.ImmutableLinkedHashMap.equals(ImmutableLinkedHashMap.java:122)
Threadpool thread died by not catching an exception
java.lang.ThreadDeath
	at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:157)
	at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125)
	at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
	at java.lang.Thread.run(Thread.java:748)
    aprove.Framework.Algebra.Polynomials.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.plus(VarPolynomial.java:514)
    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 1599095361Exec. 88, 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 1599095393Exec. 106, RankingReductionPairProcessor[GenerateFollowingInequalities=False]
Stack trace:
    java.util.AbstractMap.equals(AbstractMap.java:488)
    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.<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 1599095393Exec. 106, 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 1599095395Exec. 116, RankingReductionPairProcessor[GenerateFollowingInequalities=False]
Stack trace:
    java.util.HashMap.putVal(HashMap.java:629)
    java.util.HashMap.put(HashMap.java:612)
    aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:614)
    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 1599095395Exec. 119, RankingReductionPairProcessor[GenerateFollowingInequalities=False]
Stack trace:
    java.util.AbstractMap.<init>(AbstractMap.java:73)
    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 1599095395Exec. 119, RankingReductionPairProcessor[GenerateFollowingInequalities=False] with a hard timeout.
Aborted 1599095395Exec. 116, RankingReductionPairProcessor[GenerateFollowingInequalities=False] with a hard timeout.
Threadpool thread died by not catching an exception
java.lang.ThreadDeath
	at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:157)
	at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125)
	at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
	at java.lang.Thread.run(Thread.java:748)
Threadpool thread died by not catching an exception
java.lang.ThreadDeath
	at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:157)
	at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125)
	at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
	at java.lang.Thread.run(Thread.java:748)
Running Thread.stop() against 1599095395Exec. 118, RankingReductionPairProcessor[GenerateFollowingInequalities=True]
Stack trace:
    aprove.Strategies.ExecutableStrategies.Executor.setResult(Executor.java:136)
    aprove.Strategies.ExecutableStrategies.Executor$Runner.onAborted(Executor.java:383)
    aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:102)
    aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
    java.lang.Thread.run(Thread.java:748)
Threadpool thread died by not catching an exception
java.lang.ThreadDeath
	at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:157)
	at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125)
	at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
	at java.lang.Thread.run(Thread.java:748)
Running Thread.stop() against 1599095395Exec. 121, RankingReductionPairProcessor[GenerateFollowingInequalities=True]
Stack trace:
    immutables.Immutable.DefaultImmutableSet.iterator(DefaultImmutableSet.java:160)
    java.util.AbstractCollection.addAll(AbstractCollection.java:343)
    aprove.Framework.Algebra.Polynomials.VarPolynomial.getVariables(VarPolynomial.java:1086)
    aprove.Framework.IntTRS.Ranking.PCS.eliminateVariable(PCS.java:122)
    aprove.Framework.IntTRS.Ranking.PCS.eliminateOtherVariables(PCS.java:85)
    aprove.Framework.IntTRS.Ranking.TransitionRelation.<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 1599095395Exec. 121, 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 1599095433Exec. 136, RankingReductionPairProcessor[GenerateFollowingInequalities=False]
Stack trace:
    immutables.Immutable.ImmutableIterator.next(ImmutableIterator.java:61)
    aprove.Framework.Algebra.Polynomials.VarPolynomial.getDegree(VarPolynomial.java:471)
    aprove.Framework.IntTRS.Ranking.GEConstraint.isLinear(GEConstraint.java:135)
    aprove.Framework.IntTRS.Ranking.PCS.isLinear(PCS.java:166)
    aprove.Framework.IntTRS.Ranking.PCS.eliminateVariable(PCS.java:111)
    aprove.Framework.IntTRS.Ranking.PCS.eliminateOtherVariables(PCS.java:85)
    aprove.Framework.IntTRS.Ranking.TransitionRelation.<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 1599095433Exec. 136, 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 1599095433Exec. 141, RankingReductionPairProcessor[GenerateFollowingInequalities=False]
Stack trace:
    immutables.Immutable.ImmutableIterator.hasNext(ImmutableIterator.java:53)
    aprove.Framework.Algebra.Polynomials.VarPolynomial.getVariables(VarPolynomial.java:1085)
    aprove.Framework.IntTRS.Ranking.PCS.eliminateVariable(PCS.java:122)
    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 1599095433Exec. 141, 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
Running Thread.stop() against 1599095418Exec. 130, RankingReductionPairProcessor[GenerateFollowingInequalities=True]
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)
    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 1599095418Exec. 133, RankingReductionPairProcessor[GenerateFollowingInequalities=True]
Stack trace:
java.lang.IllegalStateException: Shutdown in progress
	at java.io.DeleteOnExitHook.add(DeleteOnExitHook.java:60)
	at java.io.File.deleteOnExit(File.java:1079)
	at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:148)
	at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80)
	at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.isUseless(InductiveConditionFinder.java:254)
	at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.computeInductiveCondition(InductiveConditionFinder.java:173)
	at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:137)
	at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107)
	at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80)
	at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
	at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
	at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
	at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
	at java.lang.Thread.run(Thread.java:748)
SMT solver stderr: (error "failed to open file '/private/var/folders/l5/66rqvjxx27d042bft9bjy6_m0000gp/T/aproveSMT4716201834156550434.smt2'")
java.lang.IllegalStateException: Shutdown in progress
	at java.io.DeleteOnExitHook.add(DeleteOnExitHook.java:60)
	at java.io.File.deleteOnExit(File.java:1079)
	at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:148)
	at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80)
	at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.isUseless(InductiveConditionFinder.java:267)
	at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.computeInductiveCondition(InductiveConditionFinder.java:173)
	at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:137)
	at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107)
	at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80)
	at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
	at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
	at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
	at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
	at java.lang.Thread.run(Thread.java:748)
-:1: parser error : Document is empty

^

real	5m0.950s
user	0m0.007s
sys	0m0.011s