RUNNING APROVE
filename: ChenFlurMukhopadhyay-SAS2012-Ex2.13_true-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 1599060153Exec. 34, RankingReductionPairProcessor[GenerateFollowingInequalities=False]
Stack trace:
    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)
    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 1599060153Exec. 34, 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)
java.lang.NullPointerException
	at aprove.Framework.IntTRS.PoloRedPair.PolynomialInterpretation.toCPF(PolynomialInterpretation.java:188)
	at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor$IntTRSPoloRedPairProof.toCPF(IntTRSPolynomialOrderProcessor.java:349)
	at aprove.ProofTree.Obligations.BasicObligationNode.toCPF(BasicObligationNode.java:397)
	at aprove.ProofTree.Obligations.BasicObligationNode.toCPF(BasicObligationNode.java:374)
	at aprove.ProofTree.Obligations.BasicObligationNode.toCPF(BasicObligationNode.java:374)
	at aprove.ProofTree.Obligations.BasicObligationNode.toCPF(BasicObligationNode.java:374)
	at aprove.ProofTree.Obligations.BasicObligationNode.toCPF(BasicObligationNode.java:374)
	at aprove.ProofTree.Obligations.BasicObligationNode.toCPF(BasicObligationNode.java:374)
	at aprove.ProofTree.Obligations.BasicObligationNode.toCPF(BasicObligationNode.java:374)
	at aprove.ProofTree.Obligations.BasicObligationNode.toCPF(BasicObligationNode.java:374)
	at aprove.ProofTree.Obligations.BasicObligationNode.toCPF(BasicObligationNode.java:374)
	at aprove.ProofTree.Obligations.BasicObligationNode.toCPF(BasicObligationNode.java:374)
	at aprove.CommandLineInterface.ProofExport.exportCPF(ProofExport.java:132)
	at aprove.ProofTree.Obligations.BasicObligationNode.writeCPF(BasicObligationNode.java:423)
	at aprove.CommandLineInterface.ProofExport$1.export(ProofExport.java:27)
	at aprove.CommandLineInterface.Main.run(Main.java:150)
	at aprove.CommandLineInterface.Main.doMain(Main.java:42)
	at aprove.Main.doMain(Main.java:54)
	at aprove.Main.main(Main.java:20)
-:1: parser error : Start tag expected, '<' not found
java.lang.NullPointerException
^

real	0m43.230s
user	3m22.988s
sys	0m3.599s