RUNNING APROVE
filename: NonTerminationSimple4_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 1599082584Exec. 29, RankingReductionPairProcessor[GenerateFollowingInequalities=False]
Stack trace:
    immutables.Immutable.ImmutableIterator.hasNext(ImmutableIterator.java:53)
    aprove.Framework.Algebra.Polynomials.VarPolynomial.plus(VarPolynomial.java:510)
    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 1599082584Exec. 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 1599082584Exec. 31, RankingReductionPairProcessor[GenerateFollowingInequalities=True]
Stack trace:
    immutables.Immutable.DefaultImmutableSet.iterator(DefaultImmutableSet.java:160)
    aprove.Framework.Algebra.Polynomials.VarPolynomial.minus(VarPolynomial.java:688)
    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 1599082584Exec. 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 1599082611Exec. 36, RankingReductionPairProcessor[GenerateFollowingInequalities=False]
Stack trace:
    immutables.Immutable.ImmutableIterator.hasNext(ImmutableIterator.java:53)
    aprove.Framework.Algebra.Polynomials.IndefinitePart.times(IndefinitePart.java:216)
    aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:605)
    aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586)
    aprove.Framework.IntTRS.Ranking.PCS.eliminateVariable(PCS.java:148)
    aprove.Framework.IntTRS.Ranking.PCS.eliminateOtherVariables(PCS.java:85)
    aprove.Framework.IntTRS.Ranking.TransitionRelation.<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 1599082611Exec. 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 1599082611Exec. 38, RankingReductionPairProcessor[GenerateFollowingInequalities=True]
Stack trace:
    immutables.Immutable.DefaultImmutableSet.iterator(DefaultImmutableSet.java:160)
    aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:600)
    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 1599082611Exec. 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 1599082633Exec. 45, RankingReductionPairProcessor[GenerateFollowingInequalities=False]
Stack trace:
    immutables.Immutable.ImmutableIterator.hasNext(ImmutableIterator.java:53)
    aprove.Framework.Algebra.Polynomials.VarPolynomial.minus(VarPolynomial.java:688)
    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)
Running Thread.stop() against 1599082633Exec. 48, RankingReductionPairProcessor[GenerateFollowingInequalities=False]
Stack trace:
Aborted 1599082633Exec. 45, RankingReductionPairProcessor[GenerateFollowingInequalities=False] with a hard timeout.
    immutables.Immutable.ImmutableIterator.next(ImmutableIterator.java:61)
    aprove.Framework.Algebra.Polynomials.VarPolynomial.minus(VarPolynomial.java:688)
    aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:80)
    aprove.Framework.IntTRS.Ranking.PCS.eliminateVariable(PCS.java:149)
Threadpool thread died by not catching an exception
java.lang.ThreadDeath
	at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:157)
	at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125)
	at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
	at java.lang.Thread.run(Thread.java:748)
    aprove.Framework.IntTRS.Ranking.PCS.eliminateOtherVariables(PCS.java:85)
    aprove.Framework.IntTRS.Ranking.TransitionRelation.<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 1599082633Exec. 48, RankingReductionPairProcessor[GenerateFollowingInequalities=False] with a hard timeout.
Threadpool thread died by not catching an exception
java.lang.ThreadDeath
	at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:157)
	at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125)
	at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
	at java.lang.Thread.run(Thread.java:748)
Running Thread.stop() against 1599082641Exec. 53, RankingReductionPairProcessor[GenerateFollowingInequalities=False]
Stack trace:
    aprove.Framework.IntTRS.Ranking.PCS.eliminateVariable(PCS.java:144)
    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 1599082641Exec. 53, RankingReductionPairProcessor[GenerateFollowingInequalities=False] with a hard timeout.
Threadpool thread died by not catching an exception
java.lang.ThreadDeath
	at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:157)
	at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125)
	at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
	at java.lang.Thread.run(Thread.java:748)
Running Thread.stop() against 1599082633Exec. 47, RankingReductionPairProcessor[GenerateFollowingInequalities=True]
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)
Running Thread.stop() against 1599082633Exec. 50, RankingReductionPairProcessor[GenerateFollowingInequalities=True]
Stack trace:
Aborted 1599082633Exec. 47, RankingReductionPairProcessor[GenerateFollowingInequalities=True] with a hard timeout.
    aprove.Framework.Algebra.Polynomials.VarPolynomial.minus(VarPolynomial.java:688)
    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 1599082633Exec. 50, 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)
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 1599082641Exec. 55, RankingReductionPairProcessor[GenerateFollowingInequalities=True]
Stack trace:
    immutables.Immutable.ImmutableIterator.hasNext(ImmutableIterator.java:53)
    aprove.Framework.Algebra.Polynomials.SimplePolynomial.plus(SimplePolynomial.java:268)
    aprove.Framework.Algebra.Polynomials.VarPolynomial.plus(VarPolynomial.java:516)
    aprove.Framework.IntTRS.Ranking.PCS.eliminateVariable(PCS.java:147)
    aprove.Framework.IntTRS.Ranking.PCS.eliminateOtherVariables(PCS.java:85)
    aprove.Framework.IntTRS.Ranking.TransitionRelation.<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 1599082641Exec. 55, RankingReductionPairProcessor[GenerateFollowingInequalities=True] with a hard timeout.
Threadpool thread died by not catching an exception
java.lang.ThreadDeath
	at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:157)
	at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125)
	at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
	at java.lang.Thread.run(Thread.java:748)
gtimeout: Signal TERM wird an Befehl "/Users/mhaslbeck/Projects/aprove/current_approve.sh" geschickt
-:1: parser error : Document is empty

^

real	5m40.003s
user	0m0.007s
sys	0m0.012s