RUNNING APROVE filename: NO_21.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 1599080093Exec. 29, 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.(TransitionRelation.java:113) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:73) aprove.Framework.IntTRS.Ranking.RuleToTransitionRelation.ruleToTransitionRelation(RuleToTransitionRelation.java:108) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.translateRules(RankingRedPairWorker.java:239) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:182) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) java.lang.Thread.run(Thread.java:748) Aborted 1599080093Exec. 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 1599080093Exec. 31, RankingReductionPairProcessor[GenerateFollowingInequalities=True] Stack trace: java.util.AbstractMap.equals(AbstractMap.java:487) 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.HashMap.containsKey(HashMap.java:596) immutables.Immutable.ImmutableLinkedHashMap.containsKey(ImmutableLinkedHashMap.java:91) aprove.Framework.Algebra.Polynomials.VarPolynomial.minus(VarPolynomial.java:690) 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.(TransitionRelation.java:113) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:73) aprove.Framework.IntTRS.Ranking.RuleToTransitionRelation.ruleToTransitionRelation(RuleToTransitionRelation.java:108) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.translateRules(RankingRedPairWorker.java:239) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:182) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) java.lang.Thread.run(Thread.java:748) Aborted 1599080093Exec. 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 1599080108Exec. 36, RankingReductionPairProcessor[GenerateFollowingInequalities=False] Stack trace: immutables.Immutable.ImmutableIterator.next(ImmutableIterator.java:61) 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.(TransitionRelation.java:113) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:73) aprove.Framework.IntTRS.Ranking.RuleToTransitionRelation.ruleToTransitionRelation(RuleToTransitionRelation.java:108) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.translateRules(RankingRedPairWorker.java:239) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:182) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) java.lang.Thread.run(Thread.java:748) Aborted 1599080108Exec. 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 1599080108Exec. 38, RankingReductionPairProcessor[GenerateFollowingInequalities=True] Stack trace: 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.(TransitionRelation.java:113) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:73) aprove.Framework.IntTRS.Ranking.RuleToTransitionRelation.ruleToTransitionRelation(RuleToTransitionRelation.java:108) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.translateRules(RankingRedPairWorker.java:239) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:182) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) java.lang.Thread.run(Thread.java:748) Aborted 1599080108Exec. 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 1599080131Exec. 43, RankingReductionPairProcessor[GenerateFollowingInequalities=False] 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.(TransitionRelation.java:113) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:73) aprove.Framework.IntTRS.Ranking.RuleToTransitionRelation.ruleToTransitionRelation(RuleToTransitionRelation.java:108) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.translateRules(RankingRedPairWorker.java:239) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:182) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) java.lang.Thread.run(Thread.java:748) Aborted 1599080131Exec. 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 1599080131Exec. 45, 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:147) aprove.Framework.IntTRS.Ranking.PCS.eliminateOtherVariables(PCS.java:85) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:113) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:73) aprove.Framework.IntTRS.Ranking.RuleToTransitionRelation.ruleToTransitionRelation(RuleToTransitionRelation.java:108) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.translateRules(RankingRedPairWorker.java:239) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:182) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) java.lang.Thread.run(Thread.java:748) Aborted 1599080131Exec. 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 1599080153Exec. 52, RankingReductionPairProcessor[GenerateFollowingInequalities=True] Stack trace: java.util.HashMap.hash(HashMap.java:339) java.util.LinkedHashMap.get(LinkedHashMap.java:440) immutables.Immutable.ImmutableLinkedHashMap.get(ImmutableLinkedHashMap.java:130) 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.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.(TransitionRelation.java:113) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:73) aprove.Framework.IntTRS.Ranking.RuleToTransitionRelation.ruleToTransitionRelation(RuleToTransitionRelation.java:108) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.translateRules(RankingRedPairWorker.java:239) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:182) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) java.lang.Thread.run(Thread.java:748) Aborted 1599080153Exec. 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 1599080205Exec. 64, RankingReductionPairProcessor[GenerateFollowingInequalities=False] Stack trace: immutables.Immutable.DefaultImmutableSet.iterator(DefaultImmutableSet.java:160) 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.(TransitionRelation.java:113) aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:73) aprove.Framework.IntTRS.Ranking.RuleToTransitionRelation.ruleToTransitionRelation(RuleToTransitionRelation.java:108) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.translateRules(RankingRedPairWorker.java:239) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:182) aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) java.lang.Thread.run(Thread.java:748) Aborted 1599080205Exec. 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) gtimeout: Signal TERM wird an Befehl "/Users/mhaslbeck/Projects/aprove/current_approve.sh" geschickt -:1: parser error : Document is empty ^ real 5m0.306s user 0m0.006s sys 0m0.009s