RUNNING APROVE
filename: NonTermination4_false-termination.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 1599081651Exec. 29, RankingReductionPairProcessor[GenerateFollowingInequalities=False]
Stack trace:
    java.util.Collections.eq(Collections.java:5250)
    java.util.Collections$SingletonMap.get(Collections.java:4877)
    immutables.Immutable.DefaultImmutableMap.get(DefaultImmutableMap.java:121)
    java.util.AbstractMap.equals(AbstractMap.java:495)
    immutables.Immutable.ImmutableLinkedHashMap.equals(ImmutableLinkedHashMap.java:122)
    aprove.Framework.Algebra.Polynomials.IndefinitePart.equals(IndefinitePart.java:1177)
    java.util.HashMap.getNode(HashMap.java:572)
    java.util.LinkedHashMap.get(LinkedHashMap.java:440)
    immutables.Immutable.ImmutableLinkedHashMap.get(ImmutableLinkedHashMap.java:130)
    aprove.Framework.Algebra.Polynomials.VarPolynomial.getCoefficientPoly(VarPolynomial.java:444)
    aprove.Framework.IntTRS.Ranking.PCS.eliminateVariable(PCS.java:140)
    aprove.Framework.IntTRS.Ranking.PCS.eliminateOtherVariables(PCS.java:85)
    aprove.Framework.IntTRS.Ranking.TransitionRelation.<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 1599081651Exec. 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 1599081651Exec. 31, RankingReductionPairProcessor[GenerateFollowingInequalities=True]
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 1599081651Exec. 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 1599081667Exec. 36, RankingReductionPairProcessor[GenerateFollowingInequalities=False]
Stack trace:
    aprove.Framework.Algebra.Polynomials.VarPolynomial.create(VarPolynomial.java:208)
    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 1599081667Exec. 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 1599081667Exec. 38, RankingReductionPairProcessor[GenerateFollowingInequalities=True]
Stack trace:
    immutables.Immutable.ImmutableLinkedHashMap.equals(ImmutableLinkedHashMap.java:119)
    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 1599081667Exec. 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 1599081689Exec. 43, 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 1599081689Exec. 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 1599081689Exec. 45, RankingReductionPairProcessor[GenerateFollowingInequalities=True]
Stack trace:
    java.util.Collections.eq(Collections.java:5250)
    java.util.Collections$SingletonMap.get(Collections.java:4877)
    immutables.Immutable.DefaultImmutableMap.get(DefaultImmutableMap.java:121)
    java.util.AbstractMap.equals(AbstractMap.java:495)
    immutables.Immutable.ImmutableLinkedHashMap.equals(ImmutableLinkedHashMap.java:122)
    aprove.Framework.Algebra.Polynomials.IndefinitePart.equals(IndefinitePart.java:1177)
    java.util.HashMap.getNode(HashMap.java:572)
    java.util.LinkedHashMap.get(LinkedHashMap.java:440)
    immutables.Immutable.ImmutableLinkedHashMap.get(ImmutableLinkedHashMap.java:130)
    aprove.Framework.Algebra.Polynomials.VarPolynomial.getCoefficientPoly(VarPolynomial.java:444)
    aprove.Framework.IntTRS.Ranking.PCS.eliminateVariable(PCS.java:140)
    aprove.Framework.IntTRS.Ranking.PCS.eliminateOtherVariables(PCS.java:85)
    aprove.Framework.IntTRS.Ranking.TransitionRelation.<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 1599081689Exec. 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 1599081710Exec. 52, 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: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 1599081710Exec. 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 1599081766Exec. 64, RankingReductionPairProcessor[GenerateFollowingInequalities=False]
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.VarPolynomial.times(VarPolynomial.java:612)
    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 1599081766Exec. 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 1599081841Exec. 71, RankingReductionPairProcessor[GenerateFollowingInequalities=False]
Stack trace:
    java.math.BigInteger.divideKnuth(BigInteger.java:2205)
    java.math.BigInteger.divide(BigInteger.java:2186)
    aprove.Framework.IntTRS.Ranking.PCS.eliminateVariable(PCS.java:148)
    aprove.Framework.IntTRS.Ranking.PCS.eliminateOtherVariables(PCS.java:85)
    aprove.Framework.IntTRS.Ranking.TransitionRelation.<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 1599081841Exec. 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)
gtimeout: Signal TERM wird an Befehl "/Users/mhaslbeck/Projects/aprove/current_approve.sh" geschickt
-:1: parser error : Document is empty

^

real	5m0.309s
user	0m0.006s
sys	0m0.010s