555.68/153.75 2019-03-28 12:39:47 555.68/153.75 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 555.68/153.75 555.68/153.75 "Thread-2713" #2734 daemon prio=6 os_prio=0 tid=0x00002b9804004800 nid=0xf832 runnable [0x00002b98499c9000] 555.68/153.75 java.lang.Thread.State: RUNNABLE 555.68/153.75 at java.io.FileInputStream.readBytes(Native Method) 555.68/153.75 at java.io.FileInputStream.read(FileInputStream.java:255) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x00000007bf8b54a0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x000000071c1c6830> (a java.io.BufferedInputStream) 555.68/153.75 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 555.68/153.75 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 555.68/153.75 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 555.68/153.75 - locked <0x000000071c1c88f0> (a java.io.InputStreamReader) 555.68/153.75 at java.io.InputStreamReader.read(InputStreamReader.java:184) 555.68/153.75 at java.io.Reader.read(Reader.java:100) 555.68/153.75 at java.util.Scanner.readInput(Scanner.java:804) 555.68/153.75 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 555.68/153.75 at java.util.Scanner.hasNextLine(Scanner.java:1500) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 555.68/153.75 555.68/153.75 "Thread-2651" #2692 daemon prio=6 os_prio=0 tid=0x00002b9804008800 nid=0xf831 runnable [0x00002b9847aaa000] 555.68/153.75 java.lang.Thread.State: RUNNABLE 555.68/153.75 at java.io.FileInputStream.readBytes(Native Method) 555.68/153.75 at java.io.FileInputStream.read(FileInputStream.java:255) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x00000007bf8b3408> (a java.lang.UNIXProcess$ProcessPipeInputStream) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x000000071a3d26e0> (a java.io.BufferedInputStream) 555.68/153.75 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 555.68/153.75 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 555.68/153.75 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 555.68/153.75 - locked <0x000000071a3d47a0> (a java.io.InputStreamReader) 555.68/153.75 at java.io.InputStreamReader.read(InputStreamReader.java:184) 555.68/153.75 at java.io.Reader.read(Reader.java:100) 555.68/153.75 at java.util.Scanner.readInput(Scanner.java:804) 555.68/153.75 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 555.68/153.75 at java.util.Scanner.hasNextLine(Scanner.java:1500) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 555.68/153.75 555.68/153.75 "Thread-2664" #2733 daemon prio=6 os_prio=0 tid=0x00002b9784013800 nid=0xf826 runnable [0x00002b972a6bc000] 555.68/153.75 java.lang.Thread.State: RUNNABLE 555.68/153.75 at java.io.FileInputStream.readBytes(Native Method) 555.68/153.75 at java.io.FileInputStream.read(FileInputStream.java:255) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x00000007bf8c5348> (a java.lang.UNIXProcess$ProcessPipeInputStream) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x00000007187e0580> (a java.io.BufferedInputStream) 555.68/153.75 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 555.68/153.75 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 555.68/153.75 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 555.68/153.75 - locked <0x00000007187e2640> (a java.io.InputStreamReader) 555.68/153.75 at java.io.InputStreamReader.read(InputStreamReader.java:184) 555.68/153.75 at java.io.Reader.read(Reader.java:100) 555.68/153.75 at java.util.Scanner.readInput(Scanner.java:804) 555.68/153.75 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 555.68/153.75 at java.util.Scanner.hasNextLine(Scanner.java:1500) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 555.68/153.75 555.68/153.75 "ThreadPoolThread721" #2732 daemon prio=6 os_prio=0 tid=0x00002b9790057800 nid=0xf823 runnable [0x00002b98472a0000] 555.68/153.75 java.lang.Thread.State: RUNNABLE 555.68/153.75 at java.lang.Thread.setPriority0(Native Method) 555.68/153.75 at java.lang.Thread.setPriority(Thread.java:1095) 555.68/153.75 at java.lang.Thread.init(Thread.java:417) 555.68/153.75 at java.lang.Thread.init(Thread.java:349) 555.68/153.75 at java.lang.Thread.(Thread.java:678) 555.68/153.75 at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229) 555.68/153.75 at java.lang.UNIXProcess$$Lambda$10/973783859.newThread(Unknown Source) 555.68/153.75 at java.util.concurrent.ThreadPoolExecutor$Worker.(ThreadPoolExecutor.java:619) 555.68/153.75 at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932) 555.68/153.75 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378) 555.68/153.75 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 555.68/153.75 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 555.68/153.75 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 555.68/153.75 at java.security.AccessController.doPrivileged(Native Method) 555.68/153.75 at java.lang.UNIXProcess.(UNIXProcess.java:257) 555.68/153.75 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 555.68/153.75 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 555.68/153.75 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) 555.68/153.75 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) 555.68/153.75 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) 555.68/153.75 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) 555.68/153.75 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) 555.68/153.75 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.75 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.75 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.75 at java.lang.Thread.run(Thread.java:748) 555.68/153.75 555.68/153.75 "ThreadPoolThread720" #2731 daemon prio=6 os_prio=0 tid=0x00002b9790056800 nid=0xf822 runnable [0x00002b98479a8000] 555.68/153.75 java.lang.Thread.State: RUNNABLE 555.68/153.75 at java.lang.Thread.setPriority0(Native Method) 555.68/153.75 at java.lang.Thread.setPriority(Thread.java:1095) 555.68/153.75 at java.lang.Thread.init(Thread.java:417) 555.68/153.75 at java.lang.Thread.init(Thread.java:349) 555.68/153.75 at java.lang.Thread.(Thread.java:448) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 555.68/153.75 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) 555.68/153.75 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) 555.68/153.75 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) 555.68/153.75 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) 555.68/153.75 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) 555.68/153.75 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.75 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.75 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.75 at java.lang.Thread.run(Thread.java:748) 555.68/153.75 555.68/153.75 "ThreadPoolThread719" #2730 daemon prio=6 os_prio=0 tid=0x00002b9790052800 nid=0xf821 runnable [0x00002b9845483000] 555.68/153.75 java.lang.Thread.State: RUNNABLE 555.68/153.75 at java.util.HashMap.putVal(HashMap.java:628) 555.68/153.75 at java.util.HashMap.put(HashMap.java:611) 555.68/153.75 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.negate(SimplePolynomial.java:539) 555.68/153.75 at aprove.Framework.Algebra.Polynomials.VarPolynomial.minus(VarPolynomial.java:691) 555.68/153.75 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:63) 555.68/153.75 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 555.68/153.75 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 555.68/153.75 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 555.68/153.75 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 555.68/153.75 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.75 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.75 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.75 at java.lang.Thread.run(Thread.java:748) 555.68/153.75 555.68/153.75 "ThreadPoolThread718" #2729 daemon prio=6 os_prio=0 tid=0x00002b9790037800 nid=0xf820 runnable [0x00002b984483e000] 555.68/153.75 java.lang.Thread.State: RUNNABLE 555.68/153.75 at java.lang.Thread.setPriority0(Native Method) 555.68/153.75 at java.lang.Thread.setPriority(Thread.java:1095) 555.68/153.75 at java.lang.Thread.init(Thread.java:417) 555.68/153.75 at java.lang.Thread.init(Thread.java:349) 555.68/153.75 at java.lang.Thread.(Thread.java:448) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 555.68/153.75 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 555.68/153.75 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 555.68/153.75 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 555.68/153.75 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 555.68/153.75 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.75 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.75 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.75 at java.lang.Thread.run(Thread.java:748) 555.68/153.75 555.68/153.75 "ThreadPoolThread717" #2728 daemon prio=6 os_prio=0 tid=0x00002b979006e800 nid=0xf81f runnable [0x00002b9847cab000] 555.68/153.75 java.lang.Thread.State: RUNNABLE 555.68/153.75 at java.lang.Thread.setPriority0(Native Method) 555.68/153.75 at java.lang.Thread.setPriority(Thread.java:1095) 555.68/153.75 at java.lang.Thread.init(Thread.java:417) 555.68/153.75 at java.lang.Thread.init(Thread.java:349) 555.68/153.75 at java.lang.Thread.(Thread.java:448) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 555.68/153.75 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 555.68/153.75 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 555.68/153.75 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 555.68/153.75 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 555.68/153.75 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.75 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.75 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.75 at java.lang.Thread.run(Thread.java:748) 555.68/153.75 555.68/153.75 "ThreadPoolThread716" #2727 daemon prio=6 os_prio=0 tid=0x00002b9790076000 nid=0xf81e runnable [0x00002b9766e2f000] 555.68/153.75 java.lang.Thread.State: RUNNABLE 555.68/153.75 at java.lang.Thread.setPriority0(Native Method) 555.68/153.75 at java.lang.Thread.setPriority(Thread.java:1095) 555.68/153.75 at java.lang.Thread.init(Thread.java:417) 555.68/153.75 at java.lang.Thread.init(Thread.java:349) 555.68/153.75 at java.lang.Thread.(Thread.java:448) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 555.68/153.75 at aprove.Framework.IntTRS.Nonterm.IntTRSNonPeriodicNontermProcessor.process(IntTRSNonPeriodicNontermProcessor.java:79) 555.68/153.75 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.75 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.75 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.75 at java.lang.Thread.run(Thread.java:748) 555.68/153.75 555.68/153.75 "ThreadPoolThread715" #2726 daemon prio=6 os_prio=0 tid=0x00002b9790067800 nid=0xf81d runnable [0x00002b9845886000] 555.68/153.75 java.lang.Thread.State: RUNNABLE 555.68/153.75 at java.lang.Thread.setPriority0(Native Method) 555.68/153.75 at java.lang.Thread.setPriority(Thread.java:1095) 555.68/153.75 at java.lang.Thread.init(Thread.java:417) 555.68/153.75 at java.lang.Thread.init(Thread.java:349) 555.68/153.75 at java.lang.Thread.(Thread.java:678) 555.68/153.75 at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229) 555.68/153.75 at java.lang.UNIXProcess$$Lambda$10/973783859.newThread(Unknown Source) 555.68/153.75 at java.util.concurrent.ThreadPoolExecutor$Worker.(ThreadPoolExecutor.java:619) 555.68/153.75 at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932) 555.68/153.75 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378) 555.68/153.75 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 555.68/153.75 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 555.68/153.75 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 555.68/153.75 at java.security.AccessController.doPrivileged(Native Method) 555.68/153.75 at java.lang.UNIXProcess.(UNIXProcess.java:257) 555.68/153.75 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 555.68/153.75 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 555.68/153.75 at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:135) 555.68/153.75 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.75 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.75 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.75 at java.lang.Thread.run(Thread.java:748) 555.68/153.75 555.68/153.75 "ThreadPoolThread714" #2725 daemon prio=6 os_prio=0 tid=0x00002b9790060000 nid=0xf81c runnable [0x00002b9767333000] 555.68/153.75 java.lang.Thread.State: RUNNABLE 555.68/153.75 at java.lang.Thread.setPriority0(Native Method) 555.68/153.75 at java.lang.Thread.setPriority(Thread.java:1095) 555.68/153.75 at java.lang.Thread.init(Thread.java:417) 555.68/153.75 at java.lang.Thread.init(Thread.java:349) 555.68/153.75 at java.lang.Thread.(Thread.java:678) 555.68/153.75 at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229) 555.68/153.75 at java.lang.UNIXProcess$$Lambda$10/973783859.newThread(Unknown Source) 555.68/153.75 at java.util.concurrent.ThreadPoolExecutor$Worker.(ThreadPoolExecutor.java:619) 555.68/153.75 at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932) 555.68/153.75 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378) 555.68/153.75 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 555.68/153.75 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 555.68/153.75 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 555.68/153.75 at java.security.AccessController.doPrivileged(Native Method) 555.68/153.75 at java.lang.UNIXProcess.(UNIXProcess.java:257) 555.68/153.75 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 555.68/153.75 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 555.68/153.75 at aprove.Framework.IntTRS.Nonterm.IntTRSNonPeriodicNontermProcessor.process(IntTRSNonPeriodicNontermProcessor.java:79) 555.68/153.75 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.75 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.75 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.75 at java.lang.Thread.run(Thread.java:748) 555.68/153.75 555.68/153.75 "ThreadPoolThread713" #2724 daemon prio=6 os_prio=0 tid=0x00002b9790073000 nid=0xf81a runnable [0x00002b972a3b8000] 555.68/153.75 java.lang.Thread.State: RUNNABLE 555.68/153.75 at java.lang.UNIXProcess.forkAndExec(Native Method) 555.68/153.75 at java.lang.UNIXProcess.(UNIXProcess.java:247) 555.68/153.75 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 555.68/153.75 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 555.68/153.75 at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:135) 555.68/153.75 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.75 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.75 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.75 at java.lang.Thread.run(Thread.java:748) 555.68/153.75 555.68/153.75 "ThreadPoolThread712" #2723 daemon prio=6 os_prio=0 tid=0x00002b979001c000 nid=0xf819 runnable [0x00002b984709f000] 555.68/153.75 java.lang.Thread.State: RUNNABLE 555.68/153.75 at java.lang.Thread.setPriority0(Native Method) 555.68/153.75 at java.lang.Thread.setPriority(Thread.java:1095) 555.68/153.75 at java.lang.Thread.init(Thread.java:417) 555.68/153.75 at java.lang.Thread.init(Thread.java:349) 555.68/153.75 at java.lang.Thread.(Thread.java:448) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 555.68/153.75 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.solveConstraints(RankingRedPairWorker.java:685) 555.68/153.75 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:200) 555.68/153.75 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 555.68/153.75 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.75 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.75 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.75 at java.lang.Thread.run(Thread.java:748) 555.68/153.75 555.68/153.75 "ThreadPoolThread711" #2722 daemon prio=6 os_prio=0 tid=0x00002b9790045800 nid=0xf818 runnable [0x00002b9846695000] 555.68/153.75 java.lang.Thread.State: RUNNABLE 555.68/153.75 at java.lang.Thread.setPriority0(Native Method) 555.68/153.75 at java.lang.Thread.setPriority(Thread.java:1095) 555.68/153.75 at java.lang.Thread.init(Thread.java:417) 555.68/153.75 at java.lang.Thread.init(Thread.java:349) 555.68/153.75 at java.lang.Thread.(Thread.java:448) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 555.68/153.75 at aprove.Framework.IntTRS.Nonterm.IntTRSNonPeriodicNontermProcessor.process(IntTRSNonPeriodicNontermProcessor.java:79) 555.68/153.75 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.75 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.75 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.75 at java.lang.Thread.run(Thread.java:748) 555.68/153.75 555.68/153.75 "ThreadPoolThread710" #2721 daemon prio=6 os_prio=0 tid=0x00002b9790031000 nid=0xf817 runnable [0x00002b972baca000] 555.68/153.75 java.lang.Thread.State: RUNNABLE 555.68/153.75 at java.lang.Thread.setPriority0(Native Method) 555.68/153.75 at java.lang.Thread.setPriority(Thread.java:1095) 555.68/153.75 at java.lang.Thread.init(Thread.java:417) 555.68/153.75 at java.lang.Thread.init(Thread.java:349) 555.68/153.75 at java.lang.Thread.(Thread.java:448) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 555.68/153.75 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) 555.68/153.75 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) 555.68/153.75 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) 555.68/153.75 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) 555.68/153.75 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) 555.68/153.75 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.75 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.75 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.75 at java.lang.Thread.run(Thread.java:748) 555.68/153.75 555.68/153.75 "ThreadPoolThread709" #2720 daemon prio=6 os_prio=0 tid=0x00002b9790025000 nid=0xf816 waiting for monitor entry [0x00002b9844b7b000] 555.68/153.75 java.lang.Thread.State: BLOCKED (on object monitor) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 555.68/153.75 - waiting to lock <0x0000000440014078> (a aprove.Strategies.Util.PrioritizableThreadPool) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 555.68/153.75 at java.lang.Thread.run(Thread.java:748) 555.68/153.75 555.68/153.75 "ThreadPoolThread708" #2719 daemon prio=6 os_prio=0 tid=0x00002b9790016000 nid=0xf815 runnable [0x00002b972bf05000] 555.68/153.75 java.lang.Thread.State: RUNNABLE 555.68/153.75 at java.util.HashMap.hash(HashMap.java:338) 555.68/153.75 at java.util.LinkedHashMap.get(LinkedHashMap.java:440) 555.68/153.75 at immutables.Immutable.ImmutableLinkedHashMap.get(Unknown Source) 555.68/153.75 at java.util.AbstractMap.equals(AbstractMap.java:495) 555.68/153.75 at immutables.Immutable.ImmutableLinkedHashMap.equals(Unknown Source) 555.68/153.75 at aprove.Framework.Algebra.Polynomials.IndefinitePart.equals(IndefinitePart.java:1177) 555.68/153.75 at java.util.HashMap.putVal(HashMap.java:634) 555.68/153.75 at java.util.HashMap.put(HashMap.java:611) 555.68/153.75 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:620) 555.68/153.75 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 555.68/153.75 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 555.68/153.75 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 555.68/153.75 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 555.68/153.75 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 555.68/153.75 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 555.68/153.75 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.75 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.75 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.75 at java.lang.Thread.run(Thread.java:748) 555.68/153.75 555.68/153.75 "ThreadPoolThread707" #2718 daemon prio=6 os_prio=0 tid=0x00002b9790068800 nid=0xf814 waiting for monitor entry [0x00002b9846090000] 555.68/153.75 java.lang.Thread.State: BLOCKED (on object monitor) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 555.68/153.75 - waiting to lock <0x0000000440014078> (a aprove.Strategies.Util.PrioritizableThreadPool) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 555.68/153.75 at java.lang.Thread.run(Thread.java:748) 555.68/153.75 555.68/153.75 "ThreadPoolThread706" #2717 daemon prio=6 os_prio=0 tid=0x00002b9790034000 nid=0xf813 waiting for monitor entry [0x00002b9846494000] 555.68/153.75 java.lang.Thread.State: BLOCKED (on object monitor) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 555.68/153.75 - waiting to lock <0x0000000440014078> (a aprove.Strategies.Util.PrioritizableThreadPool) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 555.68/153.75 at java.lang.Thread.run(Thread.java:748) 555.68/153.75 555.68/153.75 "ThreadPoolThread705" #2716 daemon prio=6 os_prio=0 tid=0x00002b9790063000 nid=0xf812 waiting for monitor entry [0x00002b9766f31000] 555.68/153.75 java.lang.Thread.State: BLOCKED (on object monitor) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 555.68/153.75 - waiting to lock <0x0000000440014078> (a aprove.Strategies.Util.PrioritizableThreadPool) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 555.68/153.75 at java.lang.Thread.run(Thread.java:748) 555.68/153.75 555.68/153.75 "ThreadPoolThread704" #2715 daemon prio=6 os_prio=0 tid=0x00002b9790064800 nid=0xf811 waiting for monitor entry [0x00002b9767be8000] 555.68/153.75 java.lang.Thread.State: BLOCKED (on object monitor) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 555.68/153.75 - waiting to lock <0x0000000440014078> (a aprove.Strategies.Util.PrioritizableThreadPool) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 555.68/153.75 at java.lang.Thread.run(Thread.java:748) 555.68/153.75 555.68/153.75 "ThreadPoolThread703" #2714 daemon prio=6 os_prio=0 tid=0x00002b979004b800 nid=0xf810 waiting for monitor entry [0x00002b9845282000] 555.68/153.75 java.lang.Thread.State: BLOCKED (on object monitor) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 555.68/153.75 - waiting to lock <0x0000000440014078> (a aprove.Strategies.Util.PrioritizableThreadPool) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 555.68/153.75 at java.lang.Thread.run(Thread.java:748) 555.68/153.75 555.68/153.75 "ThreadPoolThread702" #2713 daemon prio=6 os_prio=0 tid=0x00002b9790061000 nid=0xf80f waiting for monitor entry [0x00002b9846292000] 555.68/153.75 java.lang.Thread.State: BLOCKED (on object monitor) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 555.68/153.75 - waiting to lock <0x0000000440014078> (a aprove.Strategies.Util.PrioritizableThreadPool) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 555.68/153.75 at java.lang.Thread.run(Thread.java:748) 555.68/153.75 555.68/153.75 "ThreadPoolThread701" #2712 daemon prio=6 os_prio=0 tid=0x00002b979000d800 nid=0xf80e waiting for monitor entry [0x00002b972a7bd000] 555.68/153.75 java.lang.Thread.State: BLOCKED (on object monitor) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 555.68/153.75 - waiting to lock <0x0000000440014078> (a aprove.Strategies.Util.PrioritizableThreadPool) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 555.68/153.75 at java.lang.Thread.run(Thread.java:748) 555.68/153.75 555.68/153.75 "ThreadPoolThread700" #2711 daemon prio=6 os_prio=0 tid=0x00002b979000e000 nid=0xf80d waiting for monitor entry [0x00002b9845e8e000] 555.68/153.75 java.lang.Thread.State: BLOCKED (on object monitor) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 555.68/153.75 - waiting to lock <0x0000000440014078> (a aprove.Strategies.Util.PrioritizableThreadPool) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 555.68/153.75 at java.lang.Thread.run(Thread.java:748) 555.68/153.75 555.68/153.75 "ThreadPoolThread699" #2710 daemon prio=6 os_prio=0 tid=0x00002b9790047000 nid=0xf80c waiting for monitor entry [0x00002b9844402000] 555.68/153.75 java.lang.Thread.State: BLOCKED (on object monitor) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 555.68/153.75 - waiting to lock <0x0000000440014078> (a aprove.Strategies.Util.PrioritizableThreadPool) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 555.68/153.75 at java.lang.Thread.run(Thread.java:748) 555.68/153.75 555.68/153.75 "ThreadPoolThread698" #2709 daemon prio=6 os_prio=0 tid=0x00002b9790011800 nid=0xf80b waiting for monitor entry [0x00002b98471a1000] 555.68/153.75 java.lang.Thread.State: BLOCKED (on object monitor) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 555.68/153.75 - waiting to lock <0x0000000440014078> (a aprove.Strategies.Util.PrioritizableThreadPool) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 555.68/153.75 at java.lang.Thread.run(Thread.java:748) 555.68/153.75 555.68/153.75 "ThreadPoolThread697" #2708 daemon prio=6 os_prio=0 tid=0x00002b9790041800 nid=0xf80a waiting for monitor entry [0x00002b9767f24000] 555.68/153.75 java.lang.Thread.State: BLOCKED (on object monitor) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 555.68/153.75 - waiting to lock <0x0000000440014078> (a aprove.Strategies.Util.PrioritizableThreadPool) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 555.68/153.75 at java.lang.Thread.run(Thread.java:748) 555.68/153.75 555.68/153.75 "ThreadPoolThread696" #2707 daemon prio=6 os_prio=0 tid=0x00002b979004c800 nid=0xf809 waiting for monitor entry [0x00002b9845181000] 555.68/153.75 java.lang.Thread.State: BLOCKED (on object monitor) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 555.68/153.75 - waiting to lock <0x0000000440014078> (a aprove.Strategies.Util.PrioritizableThreadPool) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 555.68/153.75 at java.lang.Thread.run(Thread.java:748) 555.68/153.75 555.68/153.75 "ThreadPoolThread695" #2706 daemon prio=6 os_prio=0 tid=0x00002b9790075000 nid=0xf808 runnable [0x00002b98474a3000] 555.68/153.75 java.lang.Thread.State: RUNNABLE 555.68/153.75 at java.lang.Thread.setPriority0(Native Method) 555.68/153.75 at java.lang.Thread.setPriority(Thread.java:1095) 555.68/153.75 at java.lang.Thread.init(Thread.java:417) 555.68/153.75 at java.lang.Thread.init(Thread.java:349) 555.68/153.75 at java.lang.Thread.(Thread.java:448) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 555.68/153.75 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.solveConstraints(RankingRedPairWorker.java:685) 555.68/153.75 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:200) 555.68/153.75 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 555.68/153.75 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.75 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.75 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.75 at java.lang.Thread.run(Thread.java:748) 555.68/153.75 555.68/153.75 "Thread-2674" #2705 daemon prio=6 os_prio=0 tid=0x00002b97c8001000 nid=0xf807 runnable [0x0000000000000000] 555.68/153.75 java.lang.Thread.State: RUNNABLE 555.68/153.75 555.68/153.75 "Thread-2666" #2704 daemon prio=6 os_prio=0 tid=0x00002b97c8004800 nid=0xf806 runnable [0x00002b98473a3000] 555.68/153.75 java.lang.Thread.State: RUNNABLE 555.68/153.75 at java.io.FileInputStream.readBytes(Native Method) 555.68/153.75 at java.io.FileInputStream.read(FileInputStream.java:255) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x0000000695954e58> (a java.lang.UNIXProcess$ProcessPipeInputStream) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x0000000705e4d9a8> (a java.io.BufferedInputStream) 555.68/153.75 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 555.68/153.75 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 555.68/153.75 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 555.68/153.75 - locked <0x0000000705e4fa68> (a java.io.InputStreamReader) 555.68/153.75 at java.io.InputStreamReader.read(InputStreamReader.java:184) 555.68/153.75 at java.io.Reader.read(Reader.java:100) 555.68/153.75 at java.util.Scanner.readInput(Scanner.java:804) 555.68/153.75 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 555.68/153.75 at java.util.Scanner.hasNextLine(Scanner.java:1500) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 555.68/153.75 555.68/153.75 "Thread-2672" #2703 daemon prio=6 os_prio=0 tid=0x00002b9810009000 nid=0xf805 runnable [0x00002b98477a7000] 555.68/153.75 java.lang.Thread.State: RUNNABLE 555.68/153.75 at java.io.FileInputStream.readBytes(Native Method) 555.68/153.75 at java.io.FileInputStream.read(FileInputStream.java:255) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x000000069ff94fb8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x00000006fc3922d0> (a java.io.BufferedInputStream) 555.68/153.75 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 555.68/153.75 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 555.68/153.75 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 555.68/153.75 - locked <0x00000006fc394390> (a java.io.InputStreamReader) 555.68/153.75 at java.io.InputStreamReader.read(InputStreamReader.java:184) 555.68/153.75 at java.io.Reader.read(Reader.java:100) 555.68/153.75 at java.util.Scanner.readInput(Scanner.java:804) 555.68/153.75 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 555.68/153.75 at java.util.Scanner.hasNextLine(Scanner.java:1500) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 555.68/153.75 555.68/153.75 "Thread-2668" #2702 daemon prio=6 os_prio=0 tid=0x00002b9810008800 nid=0xf803 runnable [0x00002b9767aae000] 555.68/153.75 java.lang.Thread.State: RUNNABLE 555.68/153.75 at java.io.FileInputStream.readBytes(Native Method) 555.68/153.75 at java.io.FileInputStream.read(FileInputStream.java:255) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x000000069ff92ef8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x00000006ec8c3650> (a java.io.BufferedInputStream) 555.68/153.75 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 555.68/153.75 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 555.68/153.75 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 555.68/153.75 - locked <0x00000006ec8c5710> (a java.io.InputStreamReader) 555.68/153.75 at java.io.InputStreamReader.read(InputStreamReader.java:184) 555.68/153.75 at java.io.Reader.read(Reader.java:100) 555.68/153.75 at java.util.Scanner.readInput(Scanner.java:804) 555.68/153.75 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 555.68/153.75 at java.util.Scanner.hasNextLine(Scanner.java:1500) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 555.68/153.75 555.68/153.75 "Thread-2667" #2701 daemon prio=6 os_prio=0 tid=0x00002b9830005800 nid=0xf802 runnable [0x0000000000000000] 555.68/153.75 java.lang.Thread.State: TERMINATED 555.68/153.75 555.68/153.75 "Thread-2671" #2700 daemon prio=6 os_prio=0 tid=0x00002b97c4002800 nid=0xf801 runnable [0x00002b9849aca000] 555.68/153.75 java.lang.Thread.State: RUNNABLE 555.68/153.75 at java.io.FileInputStream.readBytes(Native Method) 555.68/153.75 at java.io.FileInputStream.read(FileInputStream.java:255) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x000000069ff8f9f8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x00000006db2080a8> (a java.io.BufferedInputStream) 555.68/153.75 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 555.68/153.75 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 555.68/153.75 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 555.68/153.75 - locked <0x00000006db20a168> (a java.io.InputStreamReader) 555.68/153.75 at java.io.InputStreamReader.read(InputStreamReader.java:184) 555.68/153.75 at java.io.Reader.read(Reader.java:100) 555.68/153.75 at java.util.Scanner.readInput(Scanner.java:804) 555.68/153.75 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 555.68/153.75 at java.util.Scanner.hasNextLine(Scanner.java:1500) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 555.68/153.75 555.68/153.75 "Thread-2669" #2699 daemon prio=6 os_prio=0 tid=0x00002b97c4005000 nid=0xf800 runnable [0x00002b972a2b8000] 555.68/153.75 java.lang.Thread.State: RUNNABLE 555.68/153.75 at java.io.FileInputStream.readBytes(Native Method) 555.68/153.75 at java.io.FileInputStream.read(FileInputStream.java:255) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x000000069ff8f948> (a java.lang.UNIXProcess$ProcessPipeInputStream) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x00000006cf5117c8> (a java.io.BufferedInputStream) 555.68/153.75 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 555.68/153.75 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 555.68/153.75 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 555.68/153.75 - locked <0x00000006cf513888> (a java.io.InputStreamReader) 555.68/153.75 at java.io.InputStreamReader.read(InputStreamReader.java:184) 555.68/153.75 at java.io.Reader.read(Reader.java:100) 555.68/153.75 at java.util.Scanner.readInput(Scanner.java:804) 555.68/153.75 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 555.68/153.75 at java.util.Scanner.hasNextLine(Scanner.java:1500) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 555.68/153.75 555.68/153.75 "Thread-2670" #2698 daemon prio=6 os_prio=0 tid=0x00002b9784010000 nid=0xf7ff runnable [0x0000000000000000] 555.68/153.75 java.lang.Thread.State: TERMINATED 555.68/153.75 555.68/153.75 "Thread-2646" #2696 daemon prio=6 os_prio=0 tid=0x00002b978400f800 nid=0xf7fe runnable [0x0000000000000000] 555.68/153.75 java.lang.Thread.State: TERMINATED 555.68/153.75 555.68/153.75 "Thread-2665" #2694 daemon prio=6 os_prio=0 tid=0x00002b97b8003800 nid=0xf7f9 runnable [0x00002b9767e23000] 555.68/153.75 java.lang.Thread.State: RUNNABLE 555.68/153.75 at java.io.FileInputStream.readBytes(Native Method) 555.68/153.75 at java.io.FileInputStream.read(FileInputStream.java:255) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x00000007bf6ca020> (a java.lang.UNIXProcess$ProcessPipeInputStream) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x00000007bf734700> (a java.io.BufferedInputStream) 555.68/153.75 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 555.68/153.75 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 555.68/153.75 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 555.68/153.75 - locked <0x00000007bf734728> (a java.io.InputStreamReader) 555.68/153.75 at java.io.InputStreamReader.read(InputStreamReader.java:184) 555.68/153.75 at java.io.Reader.read(Reader.java:100) 555.68/153.75 at java.util.Scanner.readInput(Scanner.java:804) 555.68/153.75 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 555.68/153.75 at java.util.Scanner.hasNextLine(Scanner.java:1500) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 555.68/153.75 555.68/153.75 "Thread-2650" #2693 daemon prio=6 os_prio=0 tid=0x00002b97b8001000 nid=0xf7f8 runnable [0x00002b9845a8a000] 555.68/153.75 java.lang.Thread.State: RUNNABLE 555.68/153.75 at java.io.FileInputStream.readBytes(Native Method) 555.68/153.75 at java.io.FileInputStream.read(FileInputStream.java:255) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x00000007bf6c67b0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x00000007bf73a010> (a java.io.BufferedInputStream) 555.68/153.75 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 555.68/153.75 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 555.68/153.75 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 555.68/153.75 - locked <0x00000007bf73a038> (a java.io.InputStreamReader) 555.68/153.75 at java.io.InputStreamReader.read(InputStreamReader.java:184) 555.68/153.75 at java.io.Reader.read(Reader.java:100) 555.68/153.75 at java.util.Scanner.readInput(Scanner.java:804) 555.68/153.75 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 555.68/153.75 at java.util.Scanner.hasNextLine(Scanner.java:1500) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 555.68/153.75 555.68/153.75 "Thread-2652" #2691 daemon prio=6 os_prio=0 tid=0x00002b9784013000 nid=0xf7f7 runnable [0x00002b972b9ca000] 555.68/153.75 java.lang.Thread.State: RUNNABLE 555.68/153.75 at java.io.FileInputStream.readBytes(Native Method) 555.68/153.75 at java.io.FileInputStream.read(FileInputStream.java:255) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x00000007bf73f680> (a java.lang.UNIXProcess$ProcessPipeInputStream) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x00000007bf73f6a8> (a java.io.BufferedInputStream) 555.68/153.75 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 555.68/153.75 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 555.68/153.75 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 555.68/153.75 - locked <0x00000007bf73f6d0> (a java.io.InputStreamReader) 555.68/153.75 at java.io.InputStreamReader.read(InputStreamReader.java:184) 555.68/153.75 at java.io.Reader.read(Reader.java:100) 555.68/153.75 at java.util.Scanner.readInput(Scanner.java:804) 555.68/153.75 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 555.68/153.75 at java.util.Scanner.hasNextLine(Scanner.java:1500) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 555.68/153.75 555.68/153.75 "Thread-2662" #2690 daemon prio=6 os_prio=0 tid=0x0000000000cb9800 nid=0xf7f6 runnable [0x00002b9766b2d000] 555.68/153.75 java.lang.Thread.State: RUNNABLE 555.68/153.75 at java.io.FileInputStream.readBytes(Native Method) 555.68/153.75 at java.io.FileInputStream.read(FileInputStream.java:255) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x00000007bf6c2020> (a java.lang.UNIXProcess$ProcessPipeInputStream) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x00000007bf746d28> (a java.io.BufferedInputStream) 555.68/153.75 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 555.68/153.75 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 555.68/153.75 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 555.68/153.75 - locked <0x00000007bf746d50> (a java.io.InputStreamReader) 555.68/153.75 at java.io.InputStreamReader.read(InputStreamReader.java:184) 555.68/153.75 at java.io.Reader.read(Reader.java:100) 555.68/153.75 at java.util.Scanner.readInput(Scanner.java:804) 555.68/153.75 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 555.68/153.75 at java.util.Scanner.hasNextLine(Scanner.java:1500) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 555.68/153.75 555.68/153.75 "Thread-2653" #2689 daemon prio=6 os_prio=0 tid=0x0000000000cb8800 nid=0xf7f4 runnable [0x00002b9844979000] 555.68/153.75 java.lang.Thread.State: RUNNABLE 555.68/153.75 at java.io.FileInputStream.readBytes(Native Method) 555.68/153.75 at java.io.FileInputStream.read(FileInputStream.java:255) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x00000007bf6bfe60> (a java.lang.UNIXProcess$ProcessPipeInputStream) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x00000007bf74c368> (a java.io.BufferedInputStream) 555.68/153.75 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 555.68/153.75 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 555.68/153.75 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 555.68/153.75 - locked <0x00000007bf74c390> (a java.io.InputStreamReader) 555.68/153.75 at java.io.InputStreamReader.read(InputStreamReader.java:184) 555.68/153.75 at java.io.Reader.read(Reader.java:100) 555.68/153.75 at java.util.Scanner.readInput(Scanner.java:804) 555.68/153.75 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 555.68/153.75 at java.util.Scanner.hasNextLine(Scanner.java:1500) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 555.68/153.75 555.68/153.75 "Thread-2661" #2688 daemon prio=6 os_prio=0 tid=0x00002b97e4007000 nid=0xf7f3 runnable [0x00002b9844200000] 555.68/153.75 java.lang.Thread.State: RUNNABLE 555.68/153.75 at java.io.FileInputStream.readBytes(Native Method) 555.68/153.75 at java.io.FileInputStream.read(FileInputStream.java:255) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x00000007bf6ae930> (a java.lang.UNIXProcess$ProcessPipeInputStream) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x00000007bf752010> (a java.io.BufferedInputStream) 555.68/153.75 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 555.68/153.75 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 555.68/153.75 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 555.68/153.75 - locked <0x00000007bf752038> (a java.io.InputStreamReader) 555.68/153.75 at java.io.InputStreamReader.read(InputStreamReader.java:184) 555.68/153.75 at java.io.Reader.read(Reader.java:100) 555.68/153.75 at java.util.Scanner.readInput(Scanner.java:804) 555.68/153.75 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 555.68/153.75 at java.util.Scanner.hasNextLine(Scanner.java:1500) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 555.68/153.75 555.68/153.75 "Thread-2655" #2687 daemon prio=6 os_prio=0 tid=0x00002b97e4006800 nid=0xf7f2 runnable [0x00002b9847dad000] 555.68/153.75 java.lang.Thread.State: RUNNABLE 555.68/153.75 at java.io.FileInputStream.readBytes(Native Method) 555.68/153.75 at java.io.FileInputStream.read(FileInputStream.java:255) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x00000007bf6ac898> (a java.lang.UNIXProcess$ProcessPipeInputStream) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x00000007bf757640> (a java.io.BufferedInputStream) 555.68/153.75 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 555.68/153.75 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 555.68/153.75 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 555.68/153.75 - locked <0x00000007bf757668> (a java.io.InputStreamReader) 555.68/153.75 at java.io.InputStreamReader.read(InputStreamReader.java:184) 555.68/153.75 at java.io.Reader.read(Reader.java:100) 555.68/153.75 at java.util.Scanner.readInput(Scanner.java:804) 555.68/153.75 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 555.68/153.75 at java.util.Scanner.hasNextLine(Scanner.java:1500) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 555.68/153.75 555.68/153.75 "Thread-2658" #2684 daemon prio=6 os_prio=0 tid=0x00002b9810007000 nid=0xf7ef runnable [0x00002b9847eae000] 555.68/153.75 java.lang.Thread.State: RUNNABLE 555.68/153.75 at java.io.FileInputStream.readBytes(Native Method) 555.68/153.75 at java.io.FileInputStream.read(FileInputStream.java:255) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x0000000445d88200> (a java.lang.UNIXProcess$ProcessPipeInputStream) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x00000007bf75d228> (a java.io.BufferedInputStream) 555.68/153.75 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 555.68/153.75 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 555.68/153.75 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 555.68/153.75 - locked <0x00000007bf75d250> (a java.io.InputStreamReader) 555.68/153.75 at java.io.InputStreamReader.read(InputStreamReader.java:184) 555.68/153.75 at java.io.Reader.read(Reader.java:100) 555.68/153.75 at java.util.Scanner.readInput(Scanner.java:804) 555.68/153.75 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 555.68/153.75 at java.util.Scanner.hasNextLine(Scanner.java:1500) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 555.68/153.75 555.68/153.75 "Thread-2619" #2683 daemon prio=6 os_prio=0 tid=0x00002b9810006000 nid=0xf7ee runnable [0x00002b9767537000] 555.68/153.75 java.lang.Thread.State: RUNNABLE 555.68/153.75 at java.io.FileInputStream.readBytes(Native Method) 555.68/153.75 at java.io.FileInputStream.read(FileInputStream.java:255) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x0000000445d881c8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x00000007bf764070> (a java.io.BufferedInputStream) 555.68/153.75 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 555.68/153.75 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 555.68/153.75 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 555.68/153.75 - locked <0x00000007bf764098> (a java.io.InputStreamReader) 555.68/153.75 at java.io.InputStreamReader.read(InputStreamReader.java:184) 555.68/153.75 at java.io.Reader.read(Reader.java:100) 555.68/153.75 at java.util.Scanner.readInput(Scanner.java:804) 555.68/153.75 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 555.68/153.75 at java.util.Scanner.hasNextLine(Scanner.java:1500) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 555.68/153.75 555.68/153.75 "Thread-2648" #2676 daemon prio=6 os_prio=0 tid=0x00002b979003e800 nid=0xf7df runnable [0x0000000000000000] 555.68/153.75 java.lang.Thread.State: TERMINATED 555.68/153.75 555.68/153.75 "Thread-2642" #2675 daemon prio=6 os_prio=0 tid=0x00002b979002a800 nid=0xf7dd runnable [0x0000000000000000] 555.68/153.75 java.lang.Thread.State: TERMINATED 555.68/153.75 555.68/153.75 "ThreadPoolThread693" #2662 daemon prio=6 os_prio=0 tid=0x00002b9790078800 nid=0xf7cd runnable [0x00002b9849dcd000] 555.68/153.75 java.lang.Thread.State: RUNNABLE 555.68/153.75 at java.lang.Thread.start0(Native Method) 555.68/153.75 at java.lang.Thread.start(Thread.java:717) 555.68/153.75 - locked <0x00000007bf773098> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:70) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 555.68/153.75 at aprove.Framework.IntTRS.Nonterm.IntTRSNonPeriodicNontermProcessor.process(IntTRSNonPeriodicNontermProcessor.java:79) 555.68/153.75 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.75 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.75 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.75 at java.lang.Thread.run(Thread.java:748) 555.68/153.75 555.68/153.75 "Thread-2637" #2661 daemon prio=6 os_prio=0 tid=0x00002b977456e800 nid=0xf7cc runnable [0x00002b9849ccc000] 555.68/153.75 java.lang.Thread.State: RUNNABLE 555.68/153.75 at java.io.FileInputStream.readBytes(Native Method) 555.68/153.75 at java.io.FileInputStream.read(FileInputStream.java:255) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x0000000445b54138> (a java.lang.UNIXProcess$ProcessPipeInputStream) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x00000007bf78a010> (a java.io.BufferedInputStream) 555.68/153.75 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 555.68/153.75 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 555.68/153.75 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 555.68/153.75 - locked <0x00000007bf78a038> (a java.io.InputStreamReader) 555.68/153.75 at java.io.InputStreamReader.read(InputStreamReader.java:184) 555.68/153.75 at java.io.Reader.read(Reader.java:100) 555.68/153.75 at java.util.Scanner.readInput(Scanner.java:804) 555.68/153.75 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 555.68/153.75 at java.util.Scanner.hasNextLine(Scanner.java:1500) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 555.68/153.75 555.68/153.75 "Thread-2597" #2660 daemon prio=6 os_prio=0 tid=0x00002b97748ef000 nid=0xf7cb runnable [0x00002b9849bcb000] 555.68/153.75 java.lang.Thread.State: RUNNABLE 555.68/153.75 at java.io.FileInputStream.readBytes(Native Method) 555.68/153.75 at java.io.FileInputStream.read(FileInputStream.java:255) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x0000000445b540b0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x00000007bf78f470> (a java.io.BufferedInputStream) 555.68/153.75 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 555.68/153.75 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 555.68/153.75 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 555.68/153.75 - locked <0x00000007bf78f498> (a java.io.InputStreamReader) 555.68/153.75 at java.io.InputStreamReader.read(InputStreamReader.java:184) 555.68/153.75 at java.io.Reader.read(Reader.java:100) 555.68/153.75 at java.util.Scanner.readInput(Scanner.java:804) 555.68/153.75 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 555.68/153.75 at java.util.Scanner.hasNextLine(Scanner.java:1500) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 555.68/153.75 555.68/153.75 "Thread-2634" #2655 daemon prio=6 os_prio=0 tid=0x00002b97a000c000 nid=0xf7c6 runnable [0x00002b98497c7000] 555.68/153.75 java.lang.Thread.State: RUNNABLE 555.68/153.75 at java.io.FileInputStream.readBytes(Native Method) 555.68/153.75 at java.io.FileInputStream.read(FileInputStream.java:255) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x0000000445b22210> (a java.lang.UNIXProcess$ProcessPipeInputStream) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x00000007bf794ad8> (a java.io.BufferedInputStream) 555.68/153.75 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 555.68/153.75 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 555.68/153.75 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 555.68/153.75 - locked <0x00000007bf794b00> (a java.io.InputStreamReader) 555.68/153.75 at java.io.InputStreamReader.read(InputStreamReader.java:184) 555.68/153.75 at java.io.Reader.read(Reader.java:100) 555.68/153.75 at java.util.Scanner.readInput(Scanner.java:804) 555.68/153.75 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 555.68/153.75 at java.util.Scanner.hasNextLine(Scanner.java:1500) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 555.68/153.75 555.68/153.75 "Thread-2601" #2654 daemon prio=6 os_prio=0 tid=0x00002b97a000b000 nid=0xf7c5 runnable [0x00002b9847bab000] 555.68/153.75 java.lang.Thread.State: RUNNABLE 555.68/153.75 at java.io.FileInputStream.readBytes(Native Method) 555.68/153.75 at java.io.FileInputStream.read(FileInputStream.java:255) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x0000000445b22188> (a java.lang.UNIXProcess$ProcessPipeInputStream) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x00000007bf79a010> (a java.io.BufferedInputStream) 555.68/153.75 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 555.68/153.75 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 555.68/153.75 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 555.68/153.75 - locked <0x00000007bf79a038> (a java.io.InputStreamReader) 555.68/153.75 at java.io.InputStreamReader.read(InputStreamReader.java:184) 555.68/153.75 at java.io.Reader.read(Reader.java:100) 555.68/153.75 at java.util.Scanner.readInput(Scanner.java:804) 555.68/153.75 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 555.68/153.75 at java.util.Scanner.hasNextLine(Scanner.java:1500) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 555.68/153.75 555.68/153.75 "Thread-2629" #2645 daemon prio=6 os_prio=0 tid=0x00002b9838004000 nid=0xf7bc runnable [0x0000000000000000] 555.68/153.75 java.lang.Thread.State: TERMINATED 555.68/153.75 555.68/153.75 "Thread-2606" #2644 daemon prio=6 os_prio=0 tid=0x00002b9838002800 nid=0xf7bb runnable [0x0000000000000000] 555.68/153.75 java.lang.Thread.State: TERMINATED 555.68/153.75 555.68/153.75 "Thread-2625" #2637 daemon prio=6 os_prio=0 tid=0x00002b97f0009000 nid=0xf7b4 runnable [0x00002b98486b6000] 555.68/153.75 java.lang.Thread.State: RUNNABLE 555.68/153.75 at java.io.FileInputStream.readBytes(Native Method) 555.68/153.75 at java.io.FileInputStream.read(FileInputStream.java:255) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x0000000445b218c0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x00000007bf7aa010> (a java.io.BufferedInputStream) 555.68/153.75 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 555.68/153.75 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 555.68/153.75 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 555.68/153.75 - locked <0x00000007bf7aa038> (a java.io.InputStreamReader) 555.68/153.75 at java.io.InputStreamReader.read(InputStreamReader.java:184) 555.68/153.75 at java.io.Reader.read(Reader.java:100) 555.68/153.75 at java.util.Scanner.readInput(Scanner.java:804) 555.68/153.75 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 555.68/153.75 at java.util.Scanner.hasNextLine(Scanner.java:1500) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 555.68/153.75 555.68/153.75 "Thread-2611" #2636 daemon prio=6 os_prio=0 tid=0x00002b97f0001800 nid=0xf7b3 runnable [0x00002b98485b5000] 555.68/153.75 java.lang.Thread.State: RUNNABLE 555.68/153.75 at java.io.FileInputStream.readBytes(Native Method) 555.68/153.75 at java.io.FileInputStream.read(FileInputStream.java:255) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x0000000445b21838> (a java.lang.UNIXProcess$ProcessPipeInputStream) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x00000007bf7ba010> (a java.io.BufferedInputStream) 555.68/153.75 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 555.68/153.75 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 555.68/153.75 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 555.68/153.75 - locked <0x00000007bf7ba038> (a java.io.InputStreamReader) 555.68/153.75 at java.io.InputStreamReader.read(InputStreamReader.java:184) 555.68/153.75 at java.io.Reader.read(Reader.java:100) 555.68/153.75 at java.util.Scanner.readInput(Scanner.java:804) 555.68/153.75 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 555.68/153.75 at java.util.Scanner.hasNextLine(Scanner.java:1500) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 555.68/153.75 555.68/153.75 "Thread-2622" #2634 daemon prio=6 os_prio=0 tid=0x00002b9830003800 nid=0xf7b0 runnable [0x00002b98482b2000] 555.68/153.75 java.lang.Thread.State: RUNNABLE 555.68/153.75 at java.io.FileInputStream.readBytes(Native Method) 555.68/153.75 at java.io.FileInputStream.read(FileInputStream.java:255) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.76 - locked <0x0000000445b537e8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 555.68/153.76 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.76 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.76 - locked <0x00000007bf7af470> (a java.io.BufferedInputStream) 555.68/153.76 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 555.68/153.76 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 555.68/153.76 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 555.68/153.76 - locked <0x00000007bf7af498> (a java.io.InputStreamReader) 555.68/153.76 at java.io.InputStreamReader.read(InputStreamReader.java:184) 555.68/153.76 at java.io.Reader.read(Reader.java:100) 555.68/153.76 at java.util.Scanner.readInput(Scanner.java:804) 555.68/153.76 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 555.68/153.76 at java.util.Scanner.hasNextLine(Scanner.java:1500) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 555.68/153.76 555.68/153.76 "Thread-2614" #2633 daemon prio=6 os_prio=0 tid=0x00002b9830001000 nid=0xf7af runnable [0x00002b98481b1000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 at java.io.FileInputStream.readBytes(Native Method) 555.68/153.76 at java.io.FileInputStream.read(FileInputStream.java:255) 555.68/153.76 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.76 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.76 - locked <0x0000000445b53760> (a java.lang.UNIXProcess$ProcessPipeInputStream) 555.68/153.76 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.76 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.76 - locked <0x0000000445e45348> (a java.io.BufferedInputStream) 555.68/153.76 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 555.68/153.76 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 555.68/153.76 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 555.68/153.76 - locked <0x0000000445e45330> (a java.io.InputStreamReader) 555.68/153.76 at java.io.InputStreamReader.read(InputStreamReader.java:184) 555.68/153.76 at java.io.Reader.read(Reader.java:100) 555.68/153.76 at java.util.Scanner.readInput(Scanner.java:804) 555.68/153.76 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 555.68/153.76 at java.util.Scanner.hasNextLine(Scanner.java:1500) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 555.68/153.76 555.68/153.76 "ThreadPoolThread691" #2620 daemon prio=6 os_prio=0 tid=0x00002b9790071000 nid=0xf78f in Object.wait() [0x00002b98478a7000] 555.68/153.76 java.lang.Thread.State: WAITING (on object monitor) 555.68/153.76 at java.lang.Object.wait(Native Method) 555.68/153.76 at java.lang.Object.wait(Object.java:502) 555.68/153.76 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 555.68/153.76 - locked <0x0000000445b54020> (a java.lang.UNIXProcess) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 555.68/153.76 at aprove.Framework.IntTRS.Nonterm.IntTRSNonPeriodicNontermProcessor.process(IntTRSNonPeriodicNontermProcessor.java:79) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.76 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.76 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "ThreadPoolThread688" #2617 daemon prio=6 os_prio=0 tid=0x00002b979006b000 nid=0xf78c runnable [0x00002b9846c9b000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 at java.util.AbstractMap.hashCode(AbstractMap.java:529) 555.68/153.76 at immutables.Immutable.ImmutableLinkedHashMap.hashCode(Unknown Source) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.computeHashValue(SimplePolynomial.java:1867) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.hashCode(SimplePolynomial.java:1862) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.equals(SimplePolynomial.java:1881) 555.68/153.76 at java.util.LinkedHashMap.containsValue(LinkedHashMap.java:417) 555.68/153.76 at java.util.LinkedHashMap$LinkedValues.contains(LinkedHashMap.java:598) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.VarPolynomial.(VarPolynomial.java:115) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.VarPolynomial.create(VarPolynomial.java:169) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.VarPolynomial.minus(VarPolynomial.java:695) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:67) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.76 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.76 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "ThreadPoolThread687" #2616 daemon prio=6 os_prio=0 tid=0x00002b979006a000 nid=0xf78b runnable [0x0000000000000000] 555.68/153.76 java.lang.Thread.State: TERMINATED 555.68/153.76 555.68/153.76 "ThreadPoolThread684" #2613 daemon prio=6 os_prio=0 tid=0x00002b9790066000 nid=0xf788 runnable [0x00002b9844300000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 at immutables.Immutable.DefaultImmutableSet.iterator(Unknown Source) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.VarPolynomial.minus(VarPolynomial.java:672) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:67) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.76 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.76 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "ThreadPoolThread679" #2608 daemon prio=6 os_prio=0 tid=0x00002b979005e800 nid=0xf782 runnable [0x00002b9767435000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 at immutables.Immutable.DefaultImmutableSet.iterator(Unknown Source) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.IndefinitePart.times(IndefinitePart.java:216) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:605) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.76 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.76 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "ThreadPoolThread674" #2603 daemon prio=6 os_prio=0 tid=0x00002b9790058800 nid=0xf77c in Object.wait() [0x00002b9846897000] 555.68/153.76 java.lang.Thread.State: WAITING (on object monitor) 555.68/153.76 at java.lang.Object.wait(Native Method) 555.68/153.76 at java.lang.Object.wait(Object.java:502) 555.68/153.76 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 555.68/153.76 - locked <0x00000007bf6c4710> (a java.lang.UNIXProcess) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 555.68/153.76 at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:135) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.76 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.76 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "ThreadPoolThread666" #2573 daemon prio=6 os_prio=0 tid=0x00002b979004f800 nid=0xf752 in Object.wait() [0x00002b98475a4000] 555.68/153.76 java.lang.Thread.State: WAITING (on object monitor) 555.68/153.76 at java.lang.Object.wait(Native Method) 555.68/153.76 at java.lang.Object.wait(Object.java:502) 555.68/153.76 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 555.68/153.76 - locked <0x0000000445d88188> (a java.lang.UNIXProcess) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.76 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.76 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "ThreadPoolThread665" #2572 daemon prio=6 os_prio=0 tid=0x00002b979000f800 nid=0xf751 runnable [0x00002b9846a99000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 at aprove.Framework.Algebra.Polynomials.VarPolynomial.(VarPolynomial.java:115) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.VarPolynomial.create(VarPolynomial.java:175) 555.68/153.76 at aprove.Framework.IntTRS.PoloRedPair.PolynomialConstraint.divideByGGT(PolynomialConstraint.java:427) 555.68/153.76 at aprove.Framework.IntTRS.PoloRedPair.PolynomialConstraint.(PolynomialConstraint.java:105) 555.68/153.76 at aprove.Framework.IntTRS.PoloRedPair.PolynomialConstraint.contradicts(PolynomialConstraint.java:545) 555.68/153.76 at aprove.Framework.IntTRS.PoloRedPair.PolynomialConstraint.contradicts(PolynomialConstraint.java:542) 555.68/153.76 at aprove.Framework.IntTRS.PoloRedPair.PolynomialConstraint.contradicts(PolynomialConstraint.java:549) 555.68/153.76 at aprove.Framework.IntTRS.TerminationGraph.RuleSimplification.simplifyCondition(RuleSimplification.java:243) 555.68/153.76 at aprove.Framework.IntTRS.TerminationGraph.RuleSimplification.simplifyCondition(RuleSimplification.java:171) 555.68/153.76 at aprove.Framework.IntTRS.TerminationGraph.RuleSimplification.runSimplification(RuleSimplification.java:115) 555.68/153.76 at aprove.Framework.IntTRS.TerminationGraph.RuleSimplification.simplify(RuleSimplification.java:99) 555.68/153.76 at aprove.Framework.IntTRS.TerminationGraph.RuleSimplification.simplifyRules(RuleSimplification.java:80) 555.68/153.76 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.getSimplifiedSCCs(TerminationGraph.java:253) 555.68/153.76 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:134) 555.68/153.76 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 555.68/153.76 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.76 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.76 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "ThreadPoolThread660" #2567 daemon prio=6 os_prio=0 tid=0x00002b9790054800 nid=0xf74c runnable [0x00002b9846190000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 at immutables.Immutable.DefaultImmutableSet.iterator(Unknown Source) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.IndefinitePart.times(IndefinitePart.java:206) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:605) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.76 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.76 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "ThreadPoolThread658" #2565 daemon prio=6 os_prio=0 tid=0x00002b979003b800 nid=0xf74a in Object.wait() [0x00002b9846796000] 555.68/153.76 java.lang.Thread.State: WAITING (on object monitor) 555.68/153.76 at java.lang.Object.wait(Native Method) 555.68/153.76 at java.lang.Object.wait(Object.java:502) 555.68/153.76 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 555.68/153.76 - locked <0x0000000445b536d0> (a java.lang.UNIXProcess) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 555.68/153.76 at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:135) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.76 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.76 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "ThreadPoolThread656" #2563 daemon prio=6 os_prio=0 tid=0x00002b9790014000 nid=0xf747 runnable [0x00002b9846e9d000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 at java.lang.Thread.setPriority0(Native Method) 555.68/153.76 at java.lang.Thread.setPriority(Thread.java:1095) 555.68/153.76 at java.lang.Thread.init(Thread.java:417) 555.68/153.76 at java.lang.Thread.init(Thread.java:349) 555.68/153.76 at java.lang.Thread.(Thread.java:448) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 555.68/153.76 at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:135) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.76 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.76 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "ThreadPoolThread655" #2562 daemon prio=6 os_prio=0 tid=0x00002b9790048000 nid=0xf746 in Object.wait() [0x00002b9845786000] 555.68/153.76 java.lang.Thread.State: WAITING (on object monitor) 555.68/153.76 at java.lang.Object.wait(Native Method) 555.68/153.76 at java.lang.Object.wait(Object.java:502) 555.68/153.76 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 555.68/153.76 - locked <0x0000000445b220f8> (a java.lang.UNIXProcess) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 555.68/153.76 at aprove.Framework.IntTRS.Nonterm.IntTRSNonPeriodicNontermProcessor.process(IntTRSNonPeriodicNontermProcessor.java:79) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.76 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.76 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "ThreadPoolThread651" #2558 daemon prio=6 os_prio=0 tid=0x00002b9790021800 nid=0xf742 in Object.wait() [0x00002b9845d8c000] 555.68/153.76 java.lang.Thread.State: WAITING (on object monitor) 555.68/153.76 at java.lang.Object.wait(Native Method) 555.68/153.76 at java.lang.Object.wait(Object.java:502) 555.68/153.76 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 555.68/153.76 - locked <0x0000000445b217a8> (a java.lang.UNIXProcess) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 555.68/153.76 at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:135) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.76 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.76 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "ThreadPoolThread643" #2503 daemon prio=6 os_prio=0 tid=0x00002b9790056000 nid=0xf6f5 runnable [0x00002b9767031000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 at java.lang.Thread.setPriority0(Native Method) 555.68/153.76 at java.lang.Thread.setPriority(Thread.java:1095) 555.68/153.76 at java.lang.Thread.init(Thread.java:417) 555.68/153.76 at java.lang.Thread.init(Thread.java:349) 555.68/153.76 at java.lang.Thread.(Thread.java:448) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.76 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.76 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "ThreadPoolThread628" #2368 daemon prio=6 os_prio=0 tid=0x00002b9790035000 nid=0xf631 in Object.wait() [0x00002b9846f9e000] 555.68/153.76 java.lang.Thread.State: WAITING (on object monitor) 555.68/153.76 at java.lang.Object.wait(Native Method) 555.68/153.76 at java.lang.Object.wait(Object.java:502) 555.68/153.76 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 555.68/153.76 - locked <0x000000069ff90dd0> (a java.lang.UNIXProcess) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.76 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.76 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "ThreadPoolThread624" #2364 daemon prio=6 os_prio=0 tid=0x00002b979004e000 nid=0xf62d runnable [0x00002b9845f8e000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 at java.lang.UNIXProcess.forkAndExec(Native Method) 555.68/153.76 at java.lang.UNIXProcess.(UNIXProcess.java:247) 555.68/153.76 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 555.68/153.76 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.76 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.76 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "ThreadPoolThread622" #2362 daemon prio=6 os_prio=0 tid=0x00002b9790042800 nid=0xf62a runnable [0x00002b972a1b6000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 at java.util.AbstractSet.(AbstractSet.java:63) 555.68/153.76 at java.util.LinkedHashMap$LinkedEntrySet.(LinkedHashMap.java:638) 555.68/153.76 at java.util.LinkedHashMap.entrySet(LinkedHashMap.java:635) 555.68/153.76 at java.util.AbstractMap.hashCode(AbstractMap.java:528) 555.68/153.76 at immutables.Immutable.ImmutableLinkedHashMap.hashCode(Unknown Source) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.IndefinitePart.computeHashValue(IndefinitePart.java:1160) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.IndefinitePart.hashCode(IndefinitePart.java:1155) 555.68/153.76 at java.util.HashMap.hash(HashMap.java:338) 555.68/153.76 at java.util.LinkedHashMap.get(LinkedHashMap.java:440) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:483) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:606) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.76 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.76 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "ThreadPoolThread619" #2359 daemon prio=6 os_prio=0 tid=0x00002b9790044800 nid=0xf627 runnable [0x00002b9767132000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 at immutables.Immutable.DefaultImmutableSet.iterator(Unknown Source) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:475) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:606) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.76 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.76 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "ThreadPoolThread609" #2275 daemon prio=6 os_prio=0 tid=0x00002b9790030000 nid=0xf5b4 runnable [0x00002b9766a2b000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 at java.lang.Thread.setPriority0(Native Method) 555.68/153.76 at java.lang.Thread.setPriority(Thread.java:1095) 555.68/153.76 at java.lang.Thread.init(Thread.java:417) 555.68/153.76 at java.lang.Thread.init(Thread.java:349) 555.68/153.76 at java.lang.Thread.(Thread.java:448) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.isUseless(InductiveConditionFinder.java:254) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.computeInductiveCondition(InductiveConditionFinder.java:200) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:137) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.76 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.76 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "process reaper" #2245 daemon prio=10 os_prio=0 tid=0x00002b9804003000 nid=0xf5a6 runnable [0x00002b9844878000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 555.68/153.76 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 555.68/153.76 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 555.68/153.76 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 555.68/153.76 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "process reaper" #2242 daemon prio=10 os_prio=0 tid=0x00002b970c265000 nid=0xf586 waiting on condition [0x00002b984463d000] 555.68/153.76 java.lang.Thread.State: TIMED_WAITING (parking) 555.68/153.76 at sun.misc.Unsafe.park(Native Method) 555.68/153.76 - parking to wait for <0x000000044001bde0> (a java.util.concurrent.SynchronousQueue$TransferStack) 555.68/153.76 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 555.68/153.76 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 555.68/153.76 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 555.68/153.76 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 555.68/153.76 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 555.68/153.76 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 555.68/153.76 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "process reaper" #2239 daemon prio=10 os_prio=0 tid=0x00002b9724004000 nid=0xf583 waiting on condition [0x00002b9767fcf000] 555.68/153.76 java.lang.Thread.State: TIMED_WAITING (parking) 555.68/153.76 at sun.misc.Unsafe.park(Native Method) 555.68/153.76 - parking to wait for <0x000000044001bde0> (a java.util.concurrent.SynchronousQueue$TransferStack) 555.68/153.76 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 555.68/153.76 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 555.68/153.76 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 555.68/153.76 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 555.68/153.76 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 555.68/153.76 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 555.68/153.76 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "process reaper" #2236 daemon prio=10 os_prio=0 tid=0x00002b9834006800 nid=0xf580 runnable [0x00002b976690e000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 555.68/153.76 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 555.68/153.76 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 555.68/153.76 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 555.68/153.76 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "process reaper" #2233 daemon prio=10 os_prio=0 tid=0x00002b97709a4000 nid=0xf57c runnable [0x00002b97668d5000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 555.68/153.76 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 555.68/153.76 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 555.68/153.76 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 555.68/153.76 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "process reaper" #2226 daemon prio=10 os_prio=0 tid=0x00002b979c0b4800 nid=0xf575 runnable [0x00002b976689c000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 555.68/153.76 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 555.68/153.76 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 555.68/153.76 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 555.68/153.76 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "process reaper" #2223 daemon prio=10 os_prio=0 tid=0x00002b980c012800 nid=0xf572 runnable [0x00002b9766863000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 555.68/153.76 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 555.68/153.76 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 555.68/153.76 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 555.68/153.76 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "process reaper" #2220 daemon prio=10 os_prio=0 tid=0x00002b97f8004000 nid=0xf56f waiting on condition [0x00002b972bfea000] 555.68/153.76 java.lang.Thread.State: TIMED_WAITING (parking) 555.68/153.76 at sun.misc.Unsafe.park(Native Method) 555.68/153.76 - parking to wait for <0x000000044001bde0> (a java.util.concurrent.SynchronousQueue$TransferStack) 555.68/153.76 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 555.68/153.76 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 555.68/153.76 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 555.68/153.76 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 555.68/153.76 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 555.68/153.76 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 555.68/153.76 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "process reaper" #2217 daemon prio=10 os_prio=0 tid=0x00002b97ac003000 nid=0xf56c runnable [0x00002b972bf3f000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 555.68/153.76 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 555.68/153.76 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 555.68/153.76 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 555.68/153.76 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "ThreadPoolThread603" #2199 daemon prio=6 os_prio=0 tid=0x00002b9790046800 nid=0xf555 runnable [0x00002b9844e7d000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 at immutables.Immutable.ImmutableIterator.next(Unknown Source) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:475) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:606) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.76 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.76 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "ThreadPoolThread597" #2193 daemon prio=6 os_prio=0 tid=0x00002b9790059800 nid=0xf548 runnable [0x00002b984473d000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 at immutables.Immutable.DefaultImmutableSet.iterator(Unknown Source) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:475) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:606) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.76 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.76 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "ThreadPoolThread583" #2169 daemon prio=6 os_prio=0 tid=0x00002b9790050800 nid=0xf520 in Object.wait() [0x00002b9767ce8000] 555.68/153.76 java.lang.Thread.State: WAITING (on object monitor) 555.68/153.76 at java.lang.Object.wait(Native Method) 555.68/153.76 at java.lang.Object.wait(Object.java:502) 555.68/153.76 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 555.68/153.76 - locked <0x00000007bf6bddc0> (a java.lang.UNIXProcess) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.76 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.76 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "ThreadPoolThread572" #2119 daemon prio=6 os_prio=0 tid=0x00002b9790049000 nid=0xf4dc in Object.wait() [0x00002b9844603000] 555.68/153.76 java.lang.Thread.State: WAITING (on object monitor) 555.68/153.76 at java.lang.Object.wait(Native Method) 555.68/153.76 at java.lang.Object.wait(Object.java:502) 555.68/153.76 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 555.68/153.76 - locked <0x0000000695952d30> (a java.lang.UNIXProcess) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.76 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.76 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "ThreadPoolThread568" #2115 daemon prio=6 os_prio=0 tid=0x00002b9790023000 nid=0xf4d8 in Object.wait() [0x00002b9845382000] 555.68/153.76 java.lang.Thread.State: WAITING (on object monitor) 555.68/153.76 at java.lang.Object.wait(Native Method) 555.68/153.76 at java.lang.Object.wait(Object.java:502) 555.68/153.76 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 555.68/153.76 - locked <0x00000007bf8aa4d8> (a java.lang.UNIXProcess) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.76 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.76 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "ThreadPoolThread566" #2113 daemon prio=6 os_prio=0 tid=0x00002b979003d800 nid=0xf4d5 runnable [0x00002b9766728000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 at immutables.Immutable.DefaultImmutableSet.iterator(Unknown Source) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:600) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.76 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.76 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "ThreadPoolThread550" #2027 daemon prio=6 os_prio=0 tid=0x00002b979004a800 nid=0xf460 runnable [0x00002b9767872000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 at immutables.Immutable.DefaultImmutableSet.iterator(Unknown Source) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.IndefinitePart.times(IndefinitePart.java:206) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:605) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.76 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.76 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "ThreadPoolThread546" #2023 daemon prio=6 os_prio=0 tid=0x00002b9790032000 nid=0xf45c runnable [0x00002b972b8c8000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 at immutables.Immutable.DefaultImmutableSet.iterator(Unknown Source) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.IndefinitePart.times(IndefinitePart.java:206) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:605) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.76 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.76 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "ThreadPoolThread540" #2017 daemon prio=6 os_prio=0 tid=0x00002b9790033000 nid=0xf450 runnable [0x00002b984507f000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 at immutables.Immutable.DefaultImmutableSet.iterator(Unknown Source) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.IndefinitePart.getDegree(IndefinitePart.java:164) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.VarPolynomial.getDegree(VarPolynomial.java:472) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:71) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.76 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.76 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "ThreadPoolThread526" #1970 daemon prio=6 os_prio=0 tid=0x00002b979001f800 nid=0xf414 in Object.wait() [0x00002b9844502000] 555.68/153.76 java.lang.Thread.State: WAITING (on object monitor) 555.68/153.76 at java.lang.Object.wait(Native Method) 555.68/153.76 at java.lang.Object.wait(Object.java:502) 555.68/153.76 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 555.68/153.76 - locked <0x00000007bf6aa7f8> (a java.lang.UNIXProcess) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.76 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.76 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "ThreadPoolThread506" #1871 daemon prio=6 os_prio=0 tid=0x00002b9790041000 nid=0xf2ee runnable [0x00002b9766c2d000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 at aprove.Framework.Algebra.Polynomials.VarPolynomial.minus(VarPolynomial.java:695) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:67) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.76 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.76 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "ThreadPoolThread505" #1870 daemon prio=6 os_prio=0 tid=0x00002b9790040000 nid=0xf2ed runnable [0x00002b9845b8a000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 at aprove.Framework.Algebra.Polynomials.VarPolynomial.minus(VarPolynomial.java:688) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:67) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.76 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.76 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "ThreadPoolThread483" #1787 daemon prio=6 os_prio=0 tid=0x00002b9790012000 nid=0xf27c runnable [0x00002b972b7c7000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 at java.math.BigInteger.gcd(BigInteger.java:2340) 555.68/153.76 at aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:58) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.76 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.76 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "ThreadPoolThread468" #1715 daemon prio=6 os_prio=0 tid=0x00002b979003c800 nid=0xf219 runnable [0x00002b9845685000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 at immutables.Immutable.DefaultImmutableSet.iterator(Unknown Source) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.IndefinitePart.times(IndefinitePart.java:216) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:481) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:606) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.76 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.76 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "ThreadPoolThread463" #1710 daemon prio=6 os_prio=0 tid=0x00002b979001d800 nid=0xf211 in Object.wait() [0x00002b9845584000] 555.68/153.76 java.lang.Thread.State: WAITING (on object monitor) 555.68/153.76 at java.lang.Object.wait(Native Method) 555.68/153.76 at java.lang.Object.wait(Object.java:502) 555.68/153.76 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 555.68/153.76 - locked <0x00000007bf8c5320> (a java.lang.UNIXProcess) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.76 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.76 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "ThreadPoolThread455" #1666 daemon prio=6 os_prio=0 tid=0x00002b9790037000 nid=0xf1d6 runnable [0x00002b9845c8b000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 at immutables.Immutable.DefaultImmutableSet.iterator(Unknown Source) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:475) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:606) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.76 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.76 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "ThreadPoolThread450" #1661 daemon prio=6 os_prio=0 tid=0x00002b979002e000 nid=0xf1d0 runnable [0x00002b972b6c7000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 at aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:58) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.76 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.76 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "ThreadPoolThread427" #1570 daemon prio=6 os_prio=0 tid=0x00002b9790039800 nid=0xf152 runnable [0x00002b9844c7b000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 at java.util.Collections.eq(Collections.java:5250) 555.68/153.76 at java.util.Collections$SingletonMap.get(Collections.java:4877) 555.68/153.76 at immutables.Immutable.DefaultImmutableMap.get(Unknown Source) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.VarPolynomial.minus(VarPolynomial.java:676) 555.68/153.76 at aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:80) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.76 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.76 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "ThreadPoolThread302" #1115 daemon prio=6 os_prio=0 tid=0x00002b979000c800 nid=0xeee5 in Object.wait() [0x00002b9766d2e000] 555.68/153.76 java.lang.Thread.State: WAITING (on object monitor) 555.68/153.76 at java.lang.Object.wait(Native Method) 555.68/153.76 at java.lang.Object.wait(Object.java:502) 555.68/153.76 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 555.68/153.76 - locked <0x000000069ff8f830> (a java.lang.UNIXProcess) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 555.68/153.76 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 555.68/153.76 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.76 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.76 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "ThreadPoolThread276" #1003 daemon prio=6 os_prio=0 tid=0x00002b979001a800 nid=0xee48 runnable [0x00002b972a0b5000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 at immutables.Immutable.DefaultImmutableSet.iterator(Unknown Source) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.IndefinitePart.times(IndefinitePart.java:206) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:481) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:606) 555.68/153.76 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 555.68/153.76 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.76 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.76 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "process reaper" #96 daemon prio=10 os_prio=0 tid=0x00002b980c011000 nid=0xe8bb runnable [0x00002b9767f96000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 555.68/153.76 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 555.68/153.76 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 555.68/153.76 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 555.68/153.76 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "process reaper" #93 daemon prio=10 os_prio=0 tid=0x00002b97f8002000 nid=0xe8b8 runnable [0x00002b9767f5d000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 555.68/153.76 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 555.68/153.76 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 555.68/153.76 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 555.68/153.76 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "process reaper" #90 daemon prio=10 os_prio=0 tid=0x00002b97f0002800 nid=0xe8b5 runnable [0x00002b9767d22000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 555.68/153.76 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 555.68/153.76 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 555.68/153.76 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 555.68/153.76 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "process reaper" #85 daemon prio=10 os_prio=0 tid=0x00002b97880eb000 nid=0xe8b2 runnable [0x00002b9767ae7000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 555.68/153.76 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 555.68/153.76 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 555.68/153.76 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 555.68/153.76 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "process reaper" #82 daemon prio=10 os_prio=0 tid=0x00002b9808003000 nid=0xe8ac waiting on condition [0x00002b97678ac000] 555.68/153.76 java.lang.Thread.State: TIMED_WAITING (parking) 555.68/153.76 at sun.misc.Unsafe.park(Native Method) 555.68/153.76 - parking to wait for <0x000000044001bde0> (a java.util.concurrent.SynchronousQueue$TransferStack) 555.68/153.76 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 555.68/153.76 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 555.68/153.76 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 555.68/153.76 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 555.68/153.76 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 555.68/153.76 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 555.68/153.76 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "process reaper" #74 daemon prio=10 os_prio=0 tid=0x00002b97e4001000 nid=0xe89d runnable [0x00002b9767570000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 555.68/153.76 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 555.68/153.76 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 555.68/153.76 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 555.68/153.76 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "process reaper" #36 daemon prio=10 os_prio=0 tid=0x00002b978c02d000 nid=0xe86a runnable [0x00002b972bfb1000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 555.68/153.76 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 555.68/153.76 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 555.68/153.76 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 555.68/153.76 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "process reaper" #39 daemon prio=10 os_prio=0 tid=0x00002b97a8001000 nid=0xe867 runnable [0x00002b972bf78000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 555.68/153.76 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 555.68/153.76 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 555.68/153.76 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 555.68/153.76 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "process reaper" #32 daemon prio=10 os_prio=0 tid=0x00002b97b0003000 nid=0xe860 runnable [0x00002b972be05000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 555.68/153.76 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 555.68/153.76 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 555.68/153.76 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 555.68/153.76 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "process reaper" #20 daemon prio=10 os_prio=0 tid=0x00002b9788015800 nid=0xe84b runnable [0x00002b9723fd7000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 555.68/153.76 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 555.68/153.76 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 555.68/153.76 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 555.68/153.76 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "TimeRefresherThread" #19 daemon prio=6 os_prio=0 tid=0x00002b979000b800 nid=0xe849 sleeping[0x00002b972a5bb000] 555.68/153.76 java.lang.Thread.State: TIMED_WAITING (sleeping) 555.68/153.76 at java.lang.Thread.sleep(Native Method) 555.68/153.76 at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.run(TimeRefresher.java:55) 555.68/153.76 555.68/153.76 "DefaultMachine" #18 daemon prio=6 os_prio=0 tid=0x00002b970c919000 nid=0xe848 runnable [0x00002b972a4b9000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 at java.lang.Thread.setPriority0(Native Method) 555.68/153.76 at java.lang.Thread.setPriority(Thread.java:1095) 555.68/153.76 at java.lang.Thread.init(Thread.java:417) 555.68/153.76 at java.lang.Thread.init(Thread.java:349) 555.68/153.76 at java.lang.Thread.(Thread.java:464) 555.68/153.76 at aprove.Strategies.Util.PrioritizableThreadPool.startWorker(PrioritizableThreadPool.java:405) 555.68/153.76 at aprove.Strategies.Util.PrioritizableThreadPool.executeNow(PrioritizableThreadPool.java:191) 555.68/153.76 - locked <0x0000000440014078> (a aprove.Strategies.Util.PrioritizableThreadPool) 555.68/153.76 at aprove.Strategies.Util.ThreadingPolicy$HighPolicy.schedule(ThreadingPolicy.java:26) 555.68/153.76 at aprove.Strategies.Util.ThreadingPolicy$DefaultPolicy.schedule(ThreadingPolicy.java:41) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.Executor.start(Executor.java:114) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.ExecProcessorStrategy.exec(ExecProcessorStrategy.java:55) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.ExecRepeat.exec(ExecRepeat.java:47) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.ExecSequence.exec(ExecSequence.java:24) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.ExecAllParallel.exec(ExecAllParallel.java:29) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.ExecFirst.exec(ExecFirst.java:71) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.ExecAllParallel.exec(ExecAllParallel.java:29) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.ExecFirst.exec(ExecFirst.java:71) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.ExecFirst.exec(ExecFirst.java:71) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.ExecFirst.exec(ExecFirst.java:71) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.ExecAllParallel.exec(ExecAllParallel.java:29) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.StrategyRoot.evaluateOnce(StrategyRoot.java:35) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine$CmdExec.run(DefaultMachine.java:247) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine.run(DefaultMachine.java:174) 555.68/153.76 at java.lang.Thread.run(Thread.java:748) 555.68/153.76 555.68/153.76 "Service Thread" #8 daemon prio=9 os_prio=0 tid=0x00002b970c18f800 nid=0xe83e runnable [0x0000000000000000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 555.68/153.76 "C1 CompilerThread2" #7 daemon prio=9 os_prio=0 tid=0x00002b970c184000 nid=0xe83d waiting on condition [0x0000000000000000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 555.68/153.76 "C2 CompilerThread1" #6 daemon prio=9 os_prio=0 tid=0x00002b970c182800 nid=0xe83c waiting on condition [0x0000000000000000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 555.68/153.76 "C2 CompilerThread0" #5 daemon prio=9 os_prio=0 tid=0x00002b970c17f800 nid=0xe83b waiting on condition [0x0000000000000000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 555.68/153.76 "Signal Dispatcher" #4 daemon prio=9 os_prio=0 tid=0x00002b970c17e000 nid=0xe83a waiting on condition [0x0000000000000000] 555.68/153.76 java.lang.Thread.State: RUNNABLE 555.68/153.76 555.68/153.76 "Finalizer" #3 daemon prio=8 os_prio=0 tid=0x00002b970c14a000 nid=0xe839 in Object.wait() [0x00002b972980e000] 555.68/153.76 java.lang.Thread.State: WAITING (on object monitor) 555.68/153.76 at java.lang.Object.wait(Native Method) 555.68/153.76 at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:143) 555.68/153.76 - locked <0x0000000440014e00> (a java.lang.ref.ReferenceQueue$Lock) 555.68/153.76 at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:164) 555.68/153.76 at java.lang.ref.Finalizer$FinalizerThread.run(Finalizer.java:209) 555.68/153.76 555.68/153.76 "Reference Handler" #2 daemon prio=10 os_prio=0 tid=0x00002b970c145800 nid=0xe838 in Object.wait() [0x00002b972970d000] 555.68/153.76 java.lang.Thread.State: WAITING (on object monitor) 555.68/153.76 at java.lang.Object.wait(Native Method) 555.68/153.76 at java.lang.Object.wait(Object.java:502) 555.68/153.76 at java.lang.ref.Reference.tryHandlePending(Reference.java:191) 555.68/153.76 - locked <0x0000000440014690> (a java.lang.ref.Reference$Lock) 555.68/153.76 at java.lang.ref.Reference$ReferenceHandler.run(Reference.java:153) 555.68/153.76 555.68/153.76 "main" #1 prio=5 os_prio=0 tid=0x00002b970c008800 nid=0xe831 in Object.wait() [0x00002b9708f9a000] 555.68/153.76 java.lang.Thread.State: WAITING (on object monitor) 555.68/153.76 at java.lang.Object.wait(Native Method) 555.68/153.76 - waiting on <0x00000004400074a8> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 555.68/153.76 at java.lang.Object.wait(Object.java:502) 555.68/153.76 at aprove.Strategies.ExecutableStrategies.impl.Handle.waitForFinish(Handle.java:42) 555.68/153.76 - locked <0x00000004400074a8> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 555.68/153.76 at aprove.Runtime.AProVE.waitForHandle(AProVE.java:32) 555.68/153.76 at aprove.Runtime.AProVE.run(AProVE.java:101) 555.68/153.76 at aprove.CommandLineInterface.Main.run(Main.java:94) 555.68/153.76 at aprove.CommandLineInterface.Main.doMain(Main.java:42) 555.68/153.76 at aprove.Main.doMain(Main.java:54) 555.68/153.76 at aprove.Main.main(Main.java:20) 555.68/153.76 555.68/153.76 "VM Thread" os_prio=0 tid=0x00002b970c13e000 nid=0xe837 runnable 555.68/153.76 555.68/153.76 "GC task thread#0 (ParallelGC)" os_prio=0 tid=0x00002b970c01e000 nid=0xe833 runnable 555.68/153.76 555.68/153.76 "GC task thread#1 (ParallelGC)" os_prio=0 tid=0x00002b970c01f800 nid=0xe834 runnable 555.68/153.76 555.68/153.76 "GC task thread#2 (ParallelGC)" os_prio=0 tid=0x00002b970c021800 nid=0xe835 runnable 555.68/153.76 555.68/153.76 "GC task thread#3 (ParallelGC)" os_prio=0 tid=0x00002b970c023800 nid=0xe836 runnable 555.68/153.76 555.68/153.76 "VM Periodic Task Thread" os_prio=0 tid=0x00002b970c192000 nid=0xe83f waiting on condition 555.68/153.76 555.68/153.76 JNI global references: 303 555.68/153.76 555.74/153.78 Heap 555.74/153.78 PSYoungGen total 4876800K, used 2245318K [0x0000000695580000, 0x00000007c0000000, 0x00000007c0000000) 555.74/153.78 eden space 4866560K, 46% used [0x0000000695580000,0x000000071e2e4088,0x00000007be600000) 555.74/153.78 from space 10240K, 33% used [0x00000007bf600000,0x00000007bf94d820,0x00000007c0000000) 555.74/153.78 to space 13312K, 0% used [0x00000007be600000,0x00000007be600000,0x00000007bf300000) 555.74/153.78 ParOldGen total 9786880K, used 99723K [0x0000000440000000, 0x0000000695580000, 0x0000000695580000) 555.74/153.78 object space 9786880K, 1% used [0x0000000440000000,0x0000000446162fd8,0x0000000695580000) 555.74/153.78 Metaspace used 24169K, capacity 24436K, committed 24704K, reserved 1071104K 555.74/153.78 class space used 2566K, capacity 2652K, committed 2688K, reserved 1048576K 555.74/153.78 594.20/163.72 EOF