638.02/163.23 2019-03-28 12:02:12 638.02/163.23 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 638.02/163.23 638.02/163.23 "Thread-2589" #2627 daemon prio=6 os_prio=0 tid=0x00002acb74003800 nid=0x920c runnable [0x0000000000000000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 638.02/163.23 "Thread-2588" #2626 daemon prio=6 os_prio=0 tid=0x00002acb74003000 nid=0x9207 runnable [0x0000000000000000] 638.02/163.23 java.lang.Thread.State: TERMINATED 638.02/163.23 638.02/163.23 "ThreadPoolThread311" #2569 daemon prio=6 os_prio=0 tid=0x00002acae0018000 nid=0x91b8 runnable [0x00002aca93cd4000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 at java.lang.Thread.setPriority0(Native Method) 638.02/163.23 at java.lang.Thread.setPriority(Thread.java:1095) 638.02/163.23 at java.lang.Thread.init(Thread.java:417) 638.02/163.23 at java.lang.Thread.init(Thread.java:349) 638.02/163.23 at java.lang.Thread.(Thread.java:448) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 638.02/163.23 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 638.02/163.23 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 638.02/163.23 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 638.02/163.23 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 638.02/163.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 638.02/163.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 638.02/163.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 638.02/163.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 638.02/163.23 at java.lang.Thread.run(Thread.java:748) 638.02/163.23 638.02/163.23 "Thread-2559" #2591 daemon prio=6 os_prio=0 tid=0x00002acad4019800 nid=0x91aa runnable [0x00002acab6b2d000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 at java.io.FileInputStream.readBytes(Native Method) 638.02/163.23 at java.io.FileInputStream.read(FileInputStream.java:255) 638.02/163.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 638.02/163.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 638.02/163.23 - locked <0x00000007b8496588> (a java.lang.UNIXProcess$ProcessPipeInputStream) 638.02/163.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 638.02/163.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 638.02/163.23 - locked <0x00000007b8496ef0> (a java.io.BufferedInputStream) 638.02/163.23 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 638.02/163.23 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 638.02/163.23 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 638.02/163.23 - locked <0x00000007b8496698> (a java.io.InputStreamReader) 638.02/163.23 at java.io.InputStreamReader.read(InputStreamReader.java:184) 638.02/163.23 at java.io.Reader.read(Reader.java:100) 638.02/163.23 at java.util.Scanner.readInput(Scanner.java:804) 638.02/163.23 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 638.02/163.23 at java.util.Scanner.hasNextLine(Scanner.java:1500) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 638.02/163.23 638.02/163.23 "Thread-2552" #2590 daemon prio=6 os_prio=0 tid=0x00002acad4018800 nid=0x91a8 runnable [0x00002acab6a2c000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 at java.io.FileInputStream.readBytes(Native Method) 638.02/163.23 at java.io.FileInputStream.read(FileInputStream.java:255) 638.02/163.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 638.02/163.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 638.02/163.23 - locked <0x00000007b849ed38> (a java.lang.UNIXProcess$ProcessPipeInputStream) 638.02/163.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 638.02/163.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 638.02/163.23 - locked <0x00000007b849f6a0> (a java.io.BufferedInputStream) 638.02/163.23 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 638.02/163.23 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 638.02/163.23 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 638.02/163.23 - locked <0x00000007b849ee48> (a java.io.InputStreamReader) 638.02/163.23 at java.io.InputStreamReader.read(InputStreamReader.java:184) 638.02/163.23 at java.io.Reader.read(Reader.java:100) 638.02/163.23 at java.util.Scanner.readInput(Scanner.java:804) 638.02/163.23 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 638.02/163.23 at java.util.Scanner.hasNextLine(Scanner.java:1500) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 638.02/163.23 638.02/163.23 "Thread-2541" #2571 daemon prio=6 os_prio=0 tid=0x00002acb68002800 nid=0x9175 runnable [0x00002aca938d1000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 at java.io.FileInputStream.readBytes(Native Method) 638.02/163.23 at java.io.FileInputStream.read(FileInputStream.java:255) 638.02/163.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 638.02/163.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 638.02/163.23 - locked <0x00000007b84a6d38> (a java.lang.UNIXProcess$ProcessPipeInputStream) 638.02/163.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 638.02/163.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 638.02/163.23 - locked <0x00000007b84a76a0> (a java.io.BufferedInputStream) 638.02/163.23 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 638.02/163.23 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 638.02/163.23 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 638.02/163.23 - locked <0x00000007b84a6e48> (a java.io.InputStreamReader) 638.02/163.23 at java.io.InputStreamReader.read(InputStreamReader.java:184) 638.02/163.23 at java.io.Reader.read(Reader.java:100) 638.02/163.23 at java.util.Scanner.readInput(Scanner.java:804) 638.02/163.23 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 638.02/163.23 at java.util.Scanner.hasNextLine(Scanner.java:1500) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 638.02/163.23 638.02/163.23 "Thread-2534" #2570 daemon prio=6 os_prio=0 tid=0x00002acb68001800 nid=0x9173 runnable [0x00002aca93fd8000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 at java.io.FileInputStream.readBytes(Native Method) 638.02/163.23 at java.io.FileInputStream.read(FileInputStream.java:255) 638.02/163.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 638.02/163.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 638.02/163.23 - locked <0x00000007b84aed38> (a java.lang.UNIXProcess$ProcessPipeInputStream) 638.02/163.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 638.02/163.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 638.02/163.23 - locked <0x00000007b84af6a0> (a java.io.BufferedInputStream) 638.02/163.23 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 638.02/163.23 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 638.02/163.23 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 638.02/163.23 - locked <0x00000007b84aee48> (a java.io.InputStreamReader) 638.02/163.23 at java.io.InputStreamReader.read(InputStreamReader.java:184) 638.02/163.23 at java.io.Reader.read(Reader.java:100) 638.02/163.23 at java.util.Scanner.readInput(Scanner.java:804) 638.02/163.23 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 638.02/163.23 at java.util.Scanner.hasNextLine(Scanner.java:1500) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 638.02/163.23 638.02/163.23 "Thread-2539" #2568 daemon prio=6 os_prio=0 tid=0x00002acb34002000 nid=0x916e runnable [0x00002aca92bc4000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 at java.io.FileInputStream.readBytes(Native Method) 638.02/163.23 at java.io.FileInputStream.read(FileInputStream.java:255) 638.02/163.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 638.02/163.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 638.02/163.23 - locked <0x00000007b84b6d38> (a java.lang.UNIXProcess$ProcessPipeInputStream) 638.02/163.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 638.02/163.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 638.02/163.23 - locked <0x00000007b84b76a0> (a java.io.BufferedInputStream) 638.02/163.23 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 638.02/163.23 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 638.02/163.23 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 638.02/163.23 - locked <0x00000007b84b6e48> (a java.io.InputStreamReader) 638.02/163.23 at java.io.InputStreamReader.read(InputStreamReader.java:184) 638.02/163.23 at java.io.Reader.read(Reader.java:100) 638.02/163.23 at java.util.Scanner.readInput(Scanner.java:804) 638.02/163.23 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 638.02/163.23 at java.util.Scanner.hasNextLine(Scanner.java:1500) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 638.02/163.23 638.02/163.23 "Thread-2537" #2567 daemon prio=6 os_prio=0 tid=0x00002acb34001000 nid=0x9168 runnable [0x00002acb90d7c000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 at java.io.FileInputStream.readBytes(Native Method) 638.02/163.23 at java.io.FileInputStream.read(FileInputStream.java:255) 638.02/163.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 638.02/163.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 638.02/163.23 - locked <0x00000007b84bed38> (a java.lang.UNIXProcess$ProcessPipeInputStream) 638.02/163.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 638.02/163.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 638.02/163.23 - locked <0x00000007b84bf6a0> (a java.io.BufferedInputStream) 638.02/163.23 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 638.02/163.23 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 638.02/163.23 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 638.02/163.23 - locked <0x00000007b84bee48> (a java.io.InputStreamReader) 638.02/163.23 at java.io.InputStreamReader.read(InputStreamReader.java:184) 638.02/163.23 at java.io.Reader.read(Reader.java:100) 638.02/163.23 at java.util.Scanner.readInput(Scanner.java:804) 638.02/163.23 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 638.02/163.23 at java.util.Scanner.hasNextLine(Scanner.java:1500) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 638.02/163.23 638.02/163.23 "ThreadPoolThread310" #2564 daemon prio=6 os_prio=0 tid=0x00002acae0058000 nid=0x9158 in Object.wait() [0x00002acb90b79000] 638.02/163.23 java.lang.Thread.State: WAITING (on object monitor) 638.02/163.23 at java.lang.Object.wait(Native Method) 638.02/163.23 at java.lang.Object.wait(Object.java:502) 638.02/163.23 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 638.02/163.23 - locked <0x00000007b84c4ce0> (a java.lang.UNIXProcess) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 638.02/163.23 at aprove.Framework.IntTRS.Nonterm.IntTRSNonPeriodicNontermProcessor.process(IntTRSNonPeriodicNontermProcessor.java:79) 638.02/163.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 638.02/163.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 638.02/163.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 638.02/163.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 638.02/163.23 at java.lang.Thread.run(Thread.java:748) 638.02/163.23 638.02/163.23 "ThreadPoolThread308" #2539 daemon prio=6 os_prio=0 tid=0x00002acae0049000 nid=0x911a runnable [0x00002acab6627000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 at java.math.MutableBigInteger.hybridGCD(MutableBigInteger.java:1880) 638.02/163.23 at java.math.BigInteger.gcd(BigInteger.java:2340) 638.02/163.23 at aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:58) 638.02/163.23 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 638.02/163.23 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 638.02/163.23 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 638.02/163.23 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 638.02/163.23 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 638.02/163.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 638.02/163.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 638.02/163.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 638.02/163.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 638.02/163.23 at java.lang.Thread.run(Thread.java:748) 638.02/163.23 638.02/163.23 "ThreadPoolThread307" #2538 daemon prio=6 os_prio=0 tid=0x00002acae0023000 nid=0x9119 runnable [0x00002acb9117f000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.checkBinomial(RuleAnalyzer.java:1505) 638.02/163.23 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.huntForBinomials(RuleAnalyzer.java:1433) 638.02/163.23 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.applySimplifications(RuleAnalyzer.java:1367) 638.02/163.23 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.requireGEZero(RuleAnalyzer.java:1236) 638.02/163.23 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.inferCoefficientConstraintsForPolynomial(RuleAnalyzer.java:1005) 638.02/163.23 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.inferCoefficientConstraints(RuleAnalyzer.java:907) 638.02/163.23 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:170) 638.02/163.23 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) 638.02/163.23 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) 638.02/163.23 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) 638.02/163.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 638.02/163.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 638.02/163.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 638.02/163.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 638.02/163.23 at java.lang.Thread.run(Thread.java:748) 638.02/163.23 638.02/163.23 "ThreadPoolThread304" #2487 daemon prio=6 os_prio=0 tid=0x00002acae0050800 nid=0x90a7 in Object.wait() [0x00002acab6729000] 638.02/163.23 java.lang.Thread.State: WAITING (on object monitor) 638.02/163.23 at java.lang.Object.wait(Native Method) 638.02/163.23 at java.lang.Object.wait(Object.java:502) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 638.02/163.23 - locked <0x000000069a546f08> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 638.02/163.23 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 638.02/163.23 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 638.02/163.23 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 638.02/163.23 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 638.02/163.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 638.02/163.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 638.02/163.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 638.02/163.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 638.02/163.23 at java.lang.Thread.run(Thread.java:748) 638.02/163.23 638.02/163.23 "ThreadPoolThread303" #2486 daemon prio=6 os_prio=0 tid=0x00002acae0047000 nid=0x90a6 in Object.wait() [0x00002aca93bd4000] 638.02/163.23 java.lang.Thread.State: WAITING (on object monitor) 638.02/163.23 at java.lang.Object.wait(Native Method) 638.02/163.23 at java.lang.Object.wait(Object.java:502) 638.02/163.23 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 638.02/163.23 - locked <0x00000007b87ec660> (a java.lang.UNIXProcess) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 638.02/163.23 at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:135) 638.02/163.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 638.02/163.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 638.02/163.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 638.02/163.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 638.02/163.23 at java.lang.Thread.run(Thread.java:748) 638.02/163.23 638.02/163.23 "Thread-2451" #2482 daemon prio=6 os_prio=0 tid=0x00002acb84002800 nid=0x90a1 runnable [0x00002acb90c7b000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 at java.io.FileInputStream.readBytes(Native Method) 638.02/163.23 at java.io.FileInputStream.read(FileInputStream.java:255) 638.02/163.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 638.02/163.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 638.02/163.23 - locked <0x00000007b8764650> (a java.lang.UNIXProcess$ProcessPipeInputStream) 638.02/163.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 638.02/163.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 638.02/163.23 - locked <0x00000007b913dd98> (a java.io.BufferedInputStream) 638.02/163.23 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 638.02/163.23 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 638.02/163.23 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 638.02/163.23 - locked <0x00000007b913d540> (a java.io.InputStreamReader) 638.02/163.23 at java.io.InputStreamReader.read(InputStreamReader.java:184) 638.02/163.23 at java.io.Reader.read(Reader.java:100) 638.02/163.23 at java.util.Scanner.readInput(Scanner.java:804) 638.02/163.23 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 638.02/163.23 at java.util.Scanner.hasNextLine(Scanner.java:1500) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 638.02/163.23 638.02/163.23 "Thread-2434" #2481 daemon prio=6 os_prio=0 tid=0x00002acb84003800 nid=0x90a0 runnable [0x00002acab7cb0000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 at java.io.FileInputStream.readBytes(Native Method) 638.02/163.23 at java.io.FileInputStream.read(FileInputStream.java:255) 638.02/163.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 638.02/163.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 638.02/163.23 - locked <0x00000007b87625b8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 638.02/163.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 638.02/163.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 638.02/163.23 - locked <0x00000007b914d370> (a java.io.BufferedInputStream) 638.02/163.23 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 638.02/163.23 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 638.02/163.23 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 638.02/163.23 - locked <0x00000007b914cb18> (a java.io.InputStreamReader) 638.02/163.23 at java.io.InputStreamReader.read(InputStreamReader.java:184) 638.02/163.23 at java.io.Reader.read(Reader.java:100) 638.02/163.23 at java.util.Scanner.readInput(Scanner.java:804) 638.02/163.23 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 638.02/163.23 at java.util.Scanner.hasNextLine(Scanner.java:1500) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 638.02/163.23 638.02/163.23 "Thread-2449" #2480 daemon prio=6 os_prio=0 tid=0x00002acb7c003000 nid=0x909e runnable [0x00002acab7234000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 at java.io.FileInputStream.readBytes(Native Method) 638.02/163.23 at java.io.FileInputStream.read(FileInputStream.java:255) 638.02/163.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 638.02/163.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 638.02/163.23 - locked <0x00000007b879be30> (a java.lang.UNIXProcess$ProcessPipeInputStream) 638.02/163.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 638.02/163.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 638.02/163.23 - locked <0x00000007b91529b0> (a java.io.BufferedInputStream) 638.02/163.23 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 638.02/163.23 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 638.02/163.23 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 638.02/163.23 - locked <0x00000007b9152158> (a java.io.InputStreamReader) 638.02/163.23 at java.io.InputStreamReader.read(InputStreamReader.java:184) 638.02/163.23 at java.io.Reader.read(Reader.java:100) 638.02/163.23 at java.util.Scanner.readInput(Scanner.java:804) 638.02/163.23 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 638.02/163.23 at java.util.Scanner.hasNextLine(Scanner.java:1500) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 638.02/163.23 638.02/163.23 "Thread-2435" #2479 daemon prio=6 os_prio=0 tid=0x00002acb7c002800 nid=0x909d runnable [0x00002aca93ed7000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 at java.io.FileInputStream.readBytes(Native Method) 638.02/163.23 at java.io.FileInputStream.read(FileInputStream.java:255) 638.02/163.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 638.02/163.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 638.02/163.23 - locked <0x00000007b8799d98> (a java.lang.UNIXProcess$ProcessPipeInputStream) 638.02/163.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 638.02/163.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 638.02/163.23 - locked <0x00000007b91605c8> (a java.io.BufferedInputStream) 638.02/163.23 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 638.02/163.23 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 638.02/163.23 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 638.02/163.23 - locked <0x00000007b9157788> (a java.io.InputStreamReader) 638.02/163.23 at java.io.InputStreamReader.read(InputStreamReader.java:184) 638.02/163.23 at java.io.Reader.read(Reader.java:100) 638.02/163.23 at java.util.Scanner.readInput(Scanner.java:804) 638.02/163.23 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 638.02/163.23 at java.util.Scanner.hasNextLine(Scanner.java:1500) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 638.02/163.23 638.02/163.23 "ThreadPoolThread300" #2420 daemon prio=6 os_prio=0 tid=0x00002acae002e800 nid=0x9042 runnable [0x00002aca92ec6000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 at java.lang.Thread.setPriority0(Native Method) 638.02/163.23 at java.lang.Thread.setPriority(Thread.java:1095) 638.02/163.23 at java.lang.Thread.init(Thread.java:417) 638.02/163.23 at java.lang.Thread.init(Thread.java:349) 638.02/163.23 at java.lang.Thread.(Thread.java:448) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 638.02/163.23 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 638.02/163.23 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 638.02/163.23 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 638.02/163.23 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 638.02/163.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 638.02/163.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 638.02/163.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 638.02/163.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 638.02/163.23 at java.lang.Thread.run(Thread.java:748) 638.02/163.23 638.02/163.23 "ThreadPoolThread299" #2393 daemon prio=6 os_prio=0 tid=0x00002acae005b800 nid=0x8f81 runnable [0x00002aca933cb000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 at java.lang.Thread.setPriority0(Native Method) 638.02/163.23 at java.lang.Thread.setPriority(Thread.java:1095) 638.02/163.23 at java.lang.Thread.init(Thread.java:417) 638.02/163.23 at java.lang.Thread.init(Thread.java:349) 638.02/163.23 at java.lang.Thread.(Thread.java:448) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 638.02/163.23 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 638.02/163.23 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 638.02/163.23 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 638.02/163.23 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 638.02/163.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 638.02/163.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 638.02/163.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 638.02/163.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 638.02/163.23 at java.lang.Thread.run(Thread.java:748) 638.02/163.23 638.02/163.23 "ThreadPoolThread298" #2392 daemon prio=6 os_prio=0 tid=0x00002acae0014800 nid=0x8f80 runnable [0x00002aca929c1000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 at java.lang.Thread.setPriority0(Native Method) 638.02/163.23 at java.lang.Thread.setPriority(Thread.java:1095) 638.02/163.23 at java.lang.Thread.init(Thread.java:417) 638.02/163.23 at java.lang.Thread.init(Thread.java:349) 638.02/163.23 at java.lang.Thread.(Thread.java:448) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 638.02/163.23 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 638.02/163.23 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 638.02/163.23 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 638.02/163.23 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 638.02/163.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 638.02/163.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 638.02/163.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 638.02/163.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 638.02/163.23 at java.lang.Thread.run(Thread.java:748) 638.02/163.23 638.02/163.23 "ThreadPoolThread294" #2244 daemon prio=6 os_prio=0 tid=0x00002acae0034800 nid=0x8e9e in Object.wait() [0x00002acb90401000] 638.02/163.23 java.lang.Thread.State: WAITING (on object monitor) 638.02/163.23 at java.lang.Object.wait(Native Method) 638.02/163.23 at java.lang.Object.wait(Object.java:502) 638.02/163.23 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 638.02/163.23 - locked <0x00000007b8795ff0> (a java.lang.UNIXProcess) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 638.02/163.23 at aprove.Framework.IntTRS.CaseAnalysis.InductiveChecker.check(InductiveChecker.java:112) 638.02/163.23 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.computeInductiveCondition(InductiveConditionFinder.java:204) 638.02/163.23 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:137) 638.02/163.23 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 638.02/163.23 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 638.02/163.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 638.02/163.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 638.02/163.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 638.02/163.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 638.02/163.23 at java.lang.Thread.run(Thread.java:748) 638.02/163.23 638.02/163.23 "ThreadPoolThread293" #2209 daemon prio=6 os_prio=0 tid=0x00002acae003f800 nid=0x8e69 runnable [0x00002acb90e7c000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 at java.lang.Thread.setPriority0(Native Method) 638.02/163.23 at java.lang.Thread.setPriority(Thread.java:1095) 638.02/163.23 at java.lang.Thread.init(Thread.java:417) 638.02/163.23 at java.lang.Thread.init(Thread.java:349) 638.02/163.23 at java.lang.Thread.(Thread.java:448) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 638.02/163.23 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 638.02/163.23 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 638.02/163.23 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 638.02/163.23 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 638.02/163.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 638.02/163.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 638.02/163.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 638.02/163.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 638.02/163.23 at java.lang.Thread.run(Thread.java:748) 638.02/163.23 638.02/163.23 "ThreadPoolThread291" #2195 daemon prio=6 os_prio=0 tid=0x00002acae0009000 nid=0x8e53 in Object.wait() [0x00002acab7aad000] 638.02/163.23 java.lang.Thread.State: WAITING (on object monitor) 638.02/163.23 at java.lang.Object.wait(Native Method) 638.02/163.23 at java.lang.Object.wait(Object.java:502) 638.02/163.23 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 638.02/163.23 - locked <0x00000007b8760518> (a java.lang.UNIXProcess) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 638.02/163.23 at aprove.Framework.IntTRS.CaseAnalysis.InductiveChecker.check(InductiveChecker.java:112) 638.02/163.23 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.computeInductiveCondition(InductiveConditionFinder.java:204) 638.02/163.23 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:137) 638.02/163.23 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 638.02/163.23 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 638.02/163.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 638.02/163.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 638.02/163.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 638.02/163.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 638.02/163.23 at java.lang.Thread.run(Thread.java:748) 638.02/163.23 638.02/163.23 "ThreadPoolThread290" #2194 daemon prio=6 os_prio=0 tid=0x00002acae0052800 nid=0x8e51 runnable [0x00002aca919b6000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 at java.lang.Thread.setPriority0(Native Method) 638.02/163.23 at java.lang.Thread.setPriority(Thread.java:1095) 638.02/163.23 at java.lang.Thread.init(Thread.java:417) 638.02/163.23 at java.lang.Thread.init(Thread.java:349) 638.02/163.23 at java.lang.Thread.(Thread.java:448) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 638.02/163.23 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 638.02/163.23 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 638.02/163.23 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 638.02/163.23 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 638.02/163.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 638.02/163.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 638.02/163.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 638.02/163.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 638.02/163.23 at java.lang.Thread.run(Thread.java:748) 638.02/163.23 638.02/163.23 "ThreadPoolThread288" #2062 daemon prio=6 os_prio=0 tid=0x00002acae005a000 nid=0x8d87 runnable [0x00002aca930c8000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 at java.lang.Thread.setPriority0(Native Method) 638.02/163.23 at java.lang.Thread.setPriority(Thread.java:1095) 638.02/163.23 at java.lang.Thread.init(Thread.java:417) 638.02/163.23 at java.lang.Thread.init(Thread.java:349) 638.02/163.23 at java.lang.Thread.(Thread.java:448) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 638.02/163.23 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 638.02/163.23 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 638.02/163.23 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 638.02/163.23 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 638.02/163.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 638.02/163.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 638.02/163.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 638.02/163.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 638.02/163.23 at java.lang.Thread.run(Thread.java:748) 638.02/163.23 638.02/163.23 "ThreadPoolThread284" #2048 daemon prio=6 os_prio=0 tid=0x00002acae001d800 nid=0x8c2d in Object.wait() [0x00002acab692a000] 638.02/163.23 java.lang.Thread.State: WAITING (on object monitor) 638.02/163.23 at java.lang.Object.wait(Native Method) 638.02/163.23 at java.lang.Object.wait(Object.java:502) 638.02/163.23 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 638.02/163.23 - locked <0x00000007b88220c0> (a java.lang.UNIXProcess) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 638.02/163.23 at aprove.Framework.IntTRS.CaseAnalysis.InductiveChecker.check(InductiveChecker.java:112) 638.02/163.23 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.computeInductiveCondition(InductiveConditionFinder.java:204) 638.02/163.23 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:137) 638.02/163.23 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 638.02/163.23 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 638.02/163.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 638.02/163.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 638.02/163.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 638.02/163.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 638.02/163.23 at java.lang.Thread.run(Thread.java:748) 638.02/163.23 638.02/163.23 "process reaper" #1959 daemon prio=10 os_prio=0 tid=0x00002acb60001800 nid=0x8b3c waiting on condition [0x00002aca8bfe8000] 638.02/163.23 java.lang.Thread.State: TIMED_WAITING (parking) 638.02/163.23 at sun.misc.Unsafe.park(Native Method) 638.02/163.23 - parking to wait for <0x0000000440005588> (a java.util.concurrent.SynchronousQueue$TransferStack) 638.02/163.23 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 638.02/163.23 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 638.02/163.23 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 638.02/163.23 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 638.02/163.23 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 638.02/163.23 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 638.02/163.23 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 638.02/163.23 at java.lang.Thread.run(Thread.java:748) 638.02/163.23 638.02/163.23 "process reaper" #1831 daemon prio=10 os_prio=0 tid=0x00002acb84001800 nid=0x89ff runnable [0x00002acb90878000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 638.02/163.23 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 638.02/163.23 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 638.02/163.23 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 638.02/163.23 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 638.02/163.23 at java.lang.Thread.run(Thread.java:748) 638.02/163.23 638.02/163.23 "process reaper" #1828 daemon prio=10 os_prio=0 tid=0x00002acb0c00a800 nid=0x89e6 runnable [0x00002acab78ac000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 638.02/163.23 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 638.02/163.23 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 638.02/163.23 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 638.02/163.23 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 638.02/163.23 at java.lang.Thread.run(Thread.java:748) 638.02/163.23 638.02/163.23 "process reaper" #1822 daemon prio=10 os_prio=0 tid=0x00002acb64017000 nid=0x89de waiting on condition [0x00002acb90a79000] 638.02/163.23 java.lang.Thread.State: TIMED_WAITING (parking) 638.02/163.23 at sun.misc.Unsafe.park(Native Method) 638.02/163.23 - parking to wait for <0x0000000440005588> (a java.util.concurrent.SynchronousQueue$TransferStack) 638.02/163.23 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 638.02/163.23 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 638.02/163.23 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 638.02/163.23 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 638.02/163.23 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 638.02/163.23 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 638.02/163.23 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 638.02/163.23 at java.lang.Thread.run(Thread.java:748) 638.02/163.23 638.02/163.23 "process reaper" #1571 daemon prio=10 os_prio=0 tid=0x00002acb50003800 nid=0x87c3 runnable [0x00002acb90a07000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 638.02/163.23 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 638.02/163.23 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 638.02/163.23 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 638.02/163.23 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 638.02/163.23 at java.lang.Thread.run(Thread.java:748) 638.02/163.23 638.02/163.23 "Thread-1429" #1461 daemon prio=6 os_prio=0 tid=0x00002acb20003000 nid=0x86f7 runnable [0x00002aca92cc5000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 at java.io.FileInputStream.readBytes(Native Method) 638.02/163.23 at java.io.FileInputStream.read(FileInputStream.java:255) 638.02/163.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 638.02/163.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 638.02/163.23 - locked <0x00000004d81d4f78> (a java.lang.UNIXProcess$ProcessPipeInputStream) 638.02/163.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 638.02/163.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 638.02/163.23 - locked <0x00000004d81d4fa0> (a java.io.BufferedInputStream) 638.02/163.23 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 638.02/163.23 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 638.02/163.23 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 638.02/163.23 - locked <0x00000004d81d5028> (a java.io.InputStreamReader) 638.02/163.23 at java.io.InputStreamReader.read(InputStreamReader.java:184) 638.02/163.23 at java.io.Reader.read(Reader.java:100) 638.02/163.23 at java.util.Scanner.readInput(Scanner.java:804) 638.02/163.23 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 638.02/163.23 at java.util.Scanner.hasNextLine(Scanner.java:1500) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 638.02/163.23 638.02/163.23 "Thread-1425" #1460 daemon prio=6 os_prio=0 tid=0x00002acb20007000 nid=0x86f6 runnable [0x00002acab7771000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 at java.io.FileInputStream.readBytes(Native Method) 638.02/163.23 at java.io.FileInputStream.read(FileInputStream.java:255) 638.02/163.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 638.02/163.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 638.02/163.23 - locked <0x00000004d81d6610> (a java.lang.UNIXProcess$ProcessPipeInputStream) 638.02/163.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 638.02/163.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 638.02/163.23 - locked <0x00000004d81d6638> (a java.io.BufferedInputStream) 638.02/163.23 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 638.02/163.23 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 638.02/163.23 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 638.02/163.23 - locked <0x00000004d81d66c0> (a java.io.InputStreamReader) 638.02/163.23 at java.io.InputStreamReader.read(InputStreamReader.java:184) 638.02/163.23 at java.io.Reader.read(Reader.java:100) 638.02/163.23 at java.util.Scanner.readInput(Scanner.java:804) 638.02/163.23 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 638.02/163.23 at java.util.Scanner.hasNextLine(Scanner.java:1500) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 638.02/163.23 638.02/163.23 "process reaper" #1437 daemon prio=10 os_prio=0 tid=0x00002acb24001000 nid=0x8690 waiting on condition [0x00002acab7fec000] 638.02/163.23 java.lang.Thread.State: TIMED_WAITING (parking) 638.02/163.23 at sun.misc.Unsafe.park(Native Method) 638.02/163.23 - parking to wait for <0x0000000440005588> (a java.util.concurrent.SynchronousQueue$TransferStack) 638.02/163.23 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 638.02/163.23 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 638.02/163.23 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 638.02/163.23 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 638.02/163.23 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 638.02/163.23 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 638.02/163.23 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 638.02/163.23 at java.lang.Thread.run(Thread.java:748) 638.02/163.23 638.02/163.23 "Thread-1271" #1303 daemon prio=6 os_prio=0 tid=0x00002acaec007800 nid=0x8568 runnable [0x00002aca914b2000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 at java.io.FileInputStream.readBytes(Native Method) 638.02/163.23 at java.io.FileInputStream.read(FileInputStream.java:255) 638.02/163.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 638.02/163.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 638.02/163.23 - locked <0x00000004d242d558> (a java.lang.UNIXProcess$ProcessPipeInputStream) 638.02/163.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 638.02/163.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 638.02/163.23 - locked <0x00000004d2461c40> (a java.io.BufferedInputStream) 638.02/163.23 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 638.02/163.23 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 638.02/163.23 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 638.02/163.23 - locked <0x00000004d245eee8> (a java.io.InputStreamReader) 638.02/163.23 at java.io.InputStreamReader.read(InputStreamReader.java:184) 638.02/163.23 at java.io.Reader.read(Reader.java:100) 638.02/163.23 at java.util.Scanner.readInput(Scanner.java:804) 638.02/163.23 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 638.02/163.23 at java.util.Scanner.hasNextLine(Scanner.java:1500) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 638.02/163.23 638.02/163.23 "Thread-1270" #1302 daemon prio=6 os_prio=0 tid=0x00002acaec003800 nid=0x8567 runnable [0x00002acab7032000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 at java.io.FileInputStream.readBytes(Native Method) 638.02/163.23 at java.io.FileInputStream.read(FileInputStream.java:255) 638.02/163.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 638.02/163.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 638.02/163.23 - locked <0x00000004d242d4d0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 638.02/163.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 638.02/163.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 638.02/163.23 - locked <0x00000004d2463250> (a java.io.BufferedInputStream) 638.02/163.23 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 638.02/163.23 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 638.02/163.23 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 638.02/163.23 - locked <0x00000004d2462a28> (a java.io.InputStreamReader) 638.02/163.23 at java.io.InputStreamReader.read(InputStreamReader.java:184) 638.02/163.23 at java.io.Reader.read(Reader.java:100) 638.02/163.23 at java.util.Scanner.readInput(Scanner.java:804) 638.02/163.23 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 638.02/163.23 at java.util.Scanner.hasNextLine(Scanner.java:1500) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 638.02/163.23 638.02/163.23 "ThreadPoolThread223" #1215 daemon prio=6 os_prio=0 tid=0x00002acae0036800 nid=0x844e in Object.wait() [0x00002acb90604000] 638.02/163.23 java.lang.Thread.State: WAITING (on object monitor) 638.02/163.23 at java.lang.Object.wait(Native Method) 638.02/163.23 at java.lang.Object.wait(Object.java:502) 638.02/163.23 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 638.02/163.23 - locked <0x00000004d242d440> (a java.lang.UNIXProcess) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 638.02/163.23 at aprove.Framework.IntTRS.CaseAnalysis.InductiveChecker.check(InductiveChecker.java:112) 638.02/163.23 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.computeInductiveCondition(InductiveConditionFinder.java:204) 638.02/163.23 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:137) 638.02/163.23 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 638.02/163.23 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 638.02/163.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 638.02/163.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 638.02/163.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 638.02/163.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 638.02/163.23 at java.lang.Thread.run(Thread.java:748) 638.02/163.23 638.02/163.23 "ThreadPoolThread209" #1087 daemon prio=6 os_prio=0 tid=0x00002acae0028800 nid=0x8384 in Object.wait() [0x00002acab7873000] 638.02/163.23 java.lang.Thread.State: WAITING (on object monitor) 638.02/163.23 at java.lang.Object.wait(Native Method) 638.02/163.23 at java.lang.Object.wait(Object.java:502) 638.02/163.23 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 638.02/163.23 - locked <0x00000004d8134dc8> (a java.lang.UNIXProcess) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 638.02/163.23 at aprove.Framework.IntTRS.CaseAnalysis.InductiveChecker.check(InductiveChecker.java:112) 638.02/163.23 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.computeInductiveCondition(InductiveConditionFinder.java:204) 638.02/163.23 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:137) 638.02/163.23 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 638.02/163.23 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 638.02/163.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 638.02/163.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 638.02/163.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 638.02/163.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 638.02/163.23 at java.lang.Thread.run(Thread.java:748) 638.02/163.23 638.02/163.23 "Thread-988" #1019 daemon prio=6 os_prio=0 tid=0x00002acb80004000 nid=0x8320 runnable [0x00002acab6e30000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 at java.io.FileInputStream.readBytes(Native Method) 638.02/163.23 at java.io.FileInputStream.read(FileInputStream.java:255) 638.02/163.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 638.02/163.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 638.02/163.23 - locked <0x00000004cc9fd4a8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 638.02/163.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 638.02/163.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 638.02/163.23 - locked <0x00000004cc9fde10> (a java.io.BufferedInputStream) 638.02/163.23 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 638.02/163.23 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 638.02/163.23 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 638.02/163.23 - locked <0x00000004cc9fd5e8> (a java.io.InputStreamReader) 638.02/163.23 at java.io.InputStreamReader.read(InputStreamReader.java:184) 638.02/163.23 at java.io.Reader.read(Reader.java:100) 638.02/163.23 at java.util.Scanner.readInput(Scanner.java:804) 638.02/163.23 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 638.02/163.23 at java.util.Scanner.hasNextLine(Scanner.java:1500) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 638.02/163.23 638.02/163.23 "Thread-986" #1018 daemon prio=6 os_prio=0 tid=0x00002acb80003800 nid=0x831f runnable [0x00002aca936cf000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 at java.io.FileInputStream.readBytes(Native Method) 638.02/163.23 at java.io.FileInputStream.read(FileInputStream.java:255) 638.02/163.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 638.02/163.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 638.02/163.23 - locked <0x00000004cc9feb40> (a java.lang.UNIXProcess$ProcessPipeInputStream) 638.02/163.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 638.02/163.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 638.02/163.23 - locked <0x00000004cca07b38> (a java.io.BufferedInputStream) 638.02/163.23 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 638.02/163.23 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 638.02/163.23 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 638.02/163.23 - locked <0x00000004cc9fec80> (a java.io.InputStreamReader) 638.02/163.23 at java.io.InputStreamReader.read(InputStreamReader.java:184) 638.02/163.23 at java.io.Reader.read(Reader.java:100) 638.02/163.23 at java.util.Scanner.readInput(Scanner.java:804) 638.02/163.23 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 638.02/163.23 at java.util.Scanner.hasNextLine(Scanner.java:1500) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 638.02/163.23 638.02/163.23 "ThreadPoolThread169" #719 daemon prio=6 os_prio=0 tid=0x00002acae001b800 nid=0x8156 in Object.wait() [0x00002aca93ad3000] 638.02/163.23 java.lang.Thread.State: WAITING (on object monitor) 638.02/163.23 at java.lang.Object.wait(Native Method) 638.02/163.23 at java.lang.Object.wait(Object.java:502) 638.02/163.23 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 638.02/163.23 - locked <0x00000004cca086a8> (a java.lang.UNIXProcess) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 638.02/163.23 at aprove.Framework.IntTRS.CaseAnalysis.InductiveChecker.check(InductiveChecker.java:112) 638.02/163.23 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.computeInductiveCondition(InductiveConditionFinder.java:204) 638.02/163.23 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:137) 638.02/163.23 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 638.02/163.23 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 638.02/163.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 638.02/163.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 638.02/163.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 638.02/163.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 638.02/163.23 at java.lang.Thread.run(Thread.java:748) 638.02/163.23 638.02/163.23 "process reaper" #108 daemon prio=10 os_prio=0 tid=0x00002acb40003800 nid=0x7d0b runnable [0x00002acb90a40000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 638.02/163.23 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 638.02/163.23 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 638.02/163.23 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 638.02/163.23 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 638.02/163.23 at java.lang.Thread.run(Thread.java:748) 638.02/163.23 638.02/163.23 "process reaper" #116 daemon prio=10 os_prio=0 tid=0x00002acb38001000 nid=0x7d05 waiting on condition [0x00002acb909ce000] 638.02/163.23 java.lang.Thread.State: TIMED_WAITING (parking) 638.02/163.23 at sun.misc.Unsafe.park(Native Method) 638.02/163.23 - parking to wait for <0x0000000440005588> (a java.util.concurrent.SynchronousQueue$TransferStack) 638.02/163.23 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 638.02/163.23 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 638.02/163.23 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 638.02/163.23 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 638.02/163.23 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 638.02/163.23 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 638.02/163.23 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 638.02/163.23 at java.lang.Thread.run(Thread.java:748) 638.02/163.23 638.02/163.23 "process reaper" #119 daemon prio=10 os_prio=0 tid=0x00002acb3c001000 nid=0x7cf8 runnable [0x00002acb90995000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 638.02/163.23 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 638.02/163.23 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 638.02/163.23 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 638.02/163.23 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 638.02/163.23 at java.lang.Thread.run(Thread.java:748) 638.02/163.23 638.02/163.23 "process reaper" #69 daemon prio=10 os_prio=0 tid=0x00002acb48008800 nid=0x7c9b runnable [0x00002acab7671000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 638.02/163.23 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 638.02/163.23 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 638.02/163.23 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 638.02/163.23 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 638.02/163.23 at java.lang.Thread.run(Thread.java:748) 638.02/163.23 638.02/163.23 "process reaper" #52 daemon prio=10 os_prio=0 tid=0x00002acb20001000 nid=0x7c7a runnable [0x00002aca57ff7000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 638.02/163.23 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 638.02/163.23 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 638.02/163.23 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 638.02/163.23 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 638.02/163.23 at java.lang.Thread.run(Thread.java:748) 638.02/163.23 638.02/163.23 "process reaper" #20 daemon prio=10 os_prio=0 tid=0x00002acad8015800 nid=0x7c54 runnable [0x00002aca57fbe000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 638.02/163.23 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 638.02/163.23 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 638.02/163.23 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 638.02/163.23 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 638.02/163.23 at java.lang.Thread.run(Thread.java:748) 638.02/163.23 638.02/163.23 "TimeRefresherThread" #19 daemon prio=6 os_prio=0 tid=0x00002acae000d000 nid=0x7c52 sleeping[0x00002aca918b6000] 638.02/163.23 java.lang.Thread.State: TIMED_WAITING (sleeping) 638.02/163.23 at java.lang.Thread.sleep(Native Method) 638.02/163.23 at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.run(TimeRefresher.java:55) 638.02/163.23 638.02/163.23 "DefaultMachine" #18 daemon prio=6 os_prio=0 tid=0x00002aca58802000 nid=0x7c51 waiting on condition [0x00002aca917b5000] 638.02/163.23 java.lang.Thread.State: WAITING (parking) 638.02/163.23 at sun.misc.Unsafe.park(Native Method) 638.02/163.23 - parking to wait for <0x000000044001ce40> (a java.util.concurrent.locks.AbstractQueuedSynchronizer$ConditionObject) 638.02/163.23 at java.util.concurrent.locks.LockSupport.park(LockSupport.java:175) 638.02/163.23 at java.util.concurrent.locks.AbstractQueuedSynchronizer$ConditionObject.await(AbstractQueuedSynchronizer.java:2039) 638.02/163.23 at java.util.concurrent.LinkedBlockingQueue.take(LinkedBlockingQueue.java:442) 638.02/163.23 at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine.run(DefaultMachine.java:169) 638.02/163.23 at java.lang.Thread.run(Thread.java:748) 638.02/163.23 638.02/163.23 "ThreadPoolThread2" #12 daemon prio=5 os_prio=0 tid=0x00002aca5827d000 nid=0x7c4a runnable [0x00002aca915b3000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 at aprove.InputModules.Programs.llvm.segraph.LLVMSELoop.toPaths(LLVMSELoop.java:465) 638.02/163.23 at aprove.InputModules.Programs.llvm.processors.LLVMNonterminationProcessor.process(LLVMNonterminationProcessor.java:569) 638.02/163.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 638.02/163.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 638.02/163.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 638.02/163.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 638.02/163.23 at java.lang.Thread.run(Thread.java:748) 638.02/163.23 638.02/163.23 "Service Thread" #8 daemon prio=9 os_prio=0 tid=0x00002aca581a2000 nid=0x7c46 runnable [0x0000000000000000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 638.02/163.23 "C1 CompilerThread2" #7 daemon prio=9 os_prio=0 tid=0x00002aca58185000 nid=0x7c45 waiting on condition [0x0000000000000000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 638.02/163.23 "C2 CompilerThread1" #6 daemon prio=9 os_prio=0 tid=0x00002aca58183000 nid=0x7c44 runnable [0x0000000000000000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 638.02/163.23 "C2 CompilerThread0" #5 daemon prio=9 os_prio=0 tid=0x00002aca58180000 nid=0x7c43 runnable [0x0000000000000000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 638.02/163.23 "Signal Dispatcher" #4 daemon prio=9 os_prio=0 tid=0x00002aca5817e800 nid=0x7c42 waiting on condition [0x0000000000000000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 638.02/163.23 "Finalizer" #3 daemon prio=8 os_prio=0 tid=0x00002aca5814b000 nid=0x7c41 in Object.wait() [0x00002aca90b09000] 638.02/163.23 java.lang.Thread.State: WAITING (on object monitor) 638.02/163.23 at java.lang.Object.wait(Native Method) 638.02/163.23 at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:143) 638.02/163.23 - locked <0x0000000440282678> (a java.lang.ref.ReferenceQueue$Lock) 638.02/163.23 at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:164) 638.02/163.23 at java.lang.ref.Finalizer$FinalizerThread.run(Finalizer.java:209) 638.02/163.23 638.02/163.23 "Reference Handler" #2 daemon prio=10 os_prio=0 tid=0x00002aca58146800 nid=0x7c40 in Object.wait() [0x00002aca90a08000] 638.02/163.23 java.lang.Thread.State: WAITING (on object monitor) 638.02/163.23 at java.lang.Object.wait(Native Method) 638.02/163.23 at java.lang.Object.wait(Object.java:502) 638.02/163.23 at java.lang.ref.Reference.tryHandlePending(Reference.java:191) 638.02/163.23 - locked <0x0000000440281ba0> (a java.lang.ref.Reference$Lock) 638.02/163.23 at java.lang.ref.Reference$ReferenceHandler.run(Reference.java:153) 638.02/163.23 638.02/163.23 "main" #1 prio=5 os_prio=0 tid=0x00002aca58009800 nid=0x7c39 in Object.wait() [0x00002aca53c09000] 638.02/163.23 java.lang.Thread.State: WAITING (on object monitor) 638.02/163.23 at java.lang.Object.wait(Native Method) 638.02/163.23 - waiting on <0x0000000440282930> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 638.02/163.23 at java.lang.Object.wait(Object.java:502) 638.02/163.23 at aprove.Strategies.ExecutableStrategies.impl.Handle.waitForFinish(Handle.java:42) 638.02/163.23 - locked <0x0000000440282930> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 638.02/163.23 at aprove.Runtime.AProVE.waitForHandle(AProVE.java:32) 638.02/163.23 at aprove.Runtime.AProVE.run(AProVE.java:101) 638.02/163.23 at aprove.CommandLineInterface.Main.run(Main.java:94) 638.02/163.23 at aprove.CommandLineInterface.Main.doMain(Main.java:42) 638.02/163.23 at aprove.Main.doMain(Main.java:54) 638.02/163.23 at aprove.Main.main(Main.java:20) 638.02/163.23 638.02/163.23 "VM Thread" os_prio=0 tid=0x00002aca5813e800 nid=0x7c3f runnable 638.02/163.23 638.02/163.23 "GC task thread#0 (ParallelGC)" os_prio=0 tid=0x00002aca5801e800 nid=0x7c3b runnable 638.02/163.23 638.02/163.23 "GC task thread#1 (ParallelGC)" os_prio=0 tid=0x00002aca58020800 nid=0x7c3c runnable 638.02/163.23 638.02/163.23 "GC task thread#2 (ParallelGC)" os_prio=0 tid=0x00002aca58022000 nid=0x7c3d runnable 638.02/163.23 638.02/163.23 "GC task thread#3 (ParallelGC)" os_prio=0 tid=0x00002aca58024000 nid=0x7c3e runnable 638.02/163.23 638.02/163.23 "VM Periodic Task Thread" os_prio=0 tid=0x00002aca581ad000 nid=0x7c47 waiting on condition 638.02/163.23 638.02/163.24 JNI global references: 283 638.02/163.24 638.50/163.26 Heap 638.50/163.26 PSYoungGen total 4815872K, used 262146K [0x0000000695580000, 0x00000007c0000000, 0x00000007c0000000) 638.50/163.26 eden space 4741632K, 4% used [0x0000000695580000,0x00000006a27b92a0,0x00000007b6c00000) 638.50/163.26 from space 74240K, 63% used [0x00000007b6c00000,0x00000007b99c76c0,0x00000007bb480000) 638.50/163.26 to space 76800K, 0% used [0x00000007bb500000,0x00000007bb500000,0x00000007c0000000) 638.50/163.26 ParOldGen total 9786880K, used 2794595K [0x0000000440000000, 0x0000000695580000, 0x0000000695580000) 638.50/163.26 object space 9786880K, 28% used [0x0000000440000000,0x00000004ea918cf0,0x0000000695580000) 638.50/163.26 Metaspace used 23863K, capacity 24104K, committed 24448K, reserved 1071104K 638.50/163.26 class space used 2577K, capacity 2662K, committed 2688K, reserved 1048576K 638.50/163.26 677.55/173.24 EOF