564.68/146.33 2019-03-28 11:55:08 564.68/146.33 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 564.68/146.33 564.68/146.33 "Thread-9363" #9376 daemon prio=6 os_prio=0 tid=0x00002b59dc0a4800 nid=0xc879 runnable [0x0000000000000000] 564.68/146.33 java.lang.Thread.State: RUNNABLE 564.68/146.33 564.68/146.33 "Thread-9337" #9375 daemon prio=6 os_prio=0 tid=0x00002b59dc0a8800 nid=0xc878 runnable [0x0000000000000000] 564.68/146.33 java.lang.Thread.State: TERMINATED 564.68/146.33 564.68/146.33 "Thread-9339" #9373 daemon prio=6 os_prio=0 tid=0x00002b5a2400c000 nid=0xc873 runnable [0x0000000000000000] 564.68/146.33 java.lang.Thread.State: TERMINATED 564.68/146.33 564.68/146.33 "Thread-9340" #9347 daemon prio=6 os_prio=0 tid=0x00002b5a20007000 nid=0xc872 runnable [0x0000000000000000] 564.68/146.33 java.lang.Thread.State: TERMINATED 564.68/146.33 564.68/146.33 "Thread-9360" #9370 daemon prio=6 os_prio=0 tid=0x00002b5a60010800 nid=0xc86e runnable [0x0000000000000000] 564.68/146.33 java.lang.Thread.State: TERMINATED 564.68/146.33 564.68/146.33 "Thread-9346" #9369 daemon prio=6 os_prio=0 tid=0x00002b5a60002000 nid=0xc86d runnable [0x0000000000000000] 564.68/146.33 java.lang.Thread.State: TERMINATED 564.68/146.33 564.68/146.33 "Thread-9358" #9367 daemon prio=6 os_prio=0 tid=0x00002b5a0c001000 nid=0xc86b runnable [0x0000000000000000] 564.68/146.33 java.lang.Thread.State: TERMINATED 564.68/146.33 564.68/146.33 "Thread-9350" #9364 daemon prio=6 os_prio=0 tid=0x00002b5a90004800 nid=0xc865 runnable [0x0000000000000000] 564.68/146.33 java.lang.Thread.State: TERMINATED 564.68/146.33 564.68/146.33 "Thread-9355" #9363 daemon prio=6 os_prio=0 tid=0x00002b59f4003000 nid=0xc864 runnable [0x0000000000000000] 564.68/146.33 java.lang.Thread.State: TERMINATED 564.68/146.33 564.68/146.33 "Thread-9352" #9362 daemon prio=6 os_prio=0 tid=0x00002b59f4007800 nid=0xc862 runnable [0x0000000000000000] 564.68/146.33 java.lang.Thread.State: TERMINATED 564.68/146.33 564.68/146.33 "Thread-9354" #9361 daemon prio=6 os_prio=0 tid=0x00002b5a6800b000 nid=0xc861 runnable [0x0000000000000000] 564.68/146.33 java.lang.Thread.State: TERMINATED 564.68/146.33 564.68/146.33 "Thread-9319" #9360 daemon prio=6 os_prio=0 tid=0x00002b5a68002800 nid=0xc85f runnable [0x0000000000000000] 564.68/146.33 java.lang.Thread.State: TERMINATED 564.68/146.33 564.68/146.33 "Thread-9351" #9359 daemon prio=6 os_prio=0 tid=0x00002b5a1c013000 nid=0xc85e runnable [0x0000000000000000] 564.68/146.33 java.lang.Thread.State: TERMINATED 564.68/146.33 564.68/146.33 "Thread-9336" #9342 daemon prio=6 os_prio=0 tid=0x00002b59dc0ab800 nid=0xc846 runnable [0x0000000000000000] 564.68/146.33 java.lang.Thread.State: TERMINATED 564.68/146.33 564.68/146.33 "Thread-9328" #9341 daemon prio=6 os_prio=0 tid=0x00002b59dc0ac800 nid=0xc843 runnable [0x0000000000000000] 564.68/146.33 java.lang.Thread.State: TERMINATED 564.68/146.33 564.68/146.33 "Thread-9333" #9340 daemon prio=6 os_prio=0 tid=0x00002b5a8000d000 nid=0xc842 runnable [0x0000000000000000] 564.68/146.33 java.lang.Thread.State: TERMINATED 564.68/146.33 564.68/146.33 "Thread-9329" #9339 daemon prio=6 os_prio=0 tid=0x00002b5a80008800 nid=0xc841 runnable [0x0000000000000000] 564.68/146.33 java.lang.Thread.State: TERMINATED 564.68/146.33 564.68/146.33 "Thread-9332" #9338 daemon prio=6 os_prio=0 tid=0x00002b5a28004800 nid=0xc840 runnable [0x0000000000000000] 564.68/146.33 java.lang.Thread.State: TERMINATED 564.68/146.33 564.68/146.33 "Thread-9330" #9337 daemon prio=6 os_prio=0 tid=0x00002b5a2800c800 nid=0xc83f runnable [0x0000000000000000] 564.68/146.33 java.lang.Thread.State: TERMINATED 564.68/146.33 564.68/146.33 "Thread-9318" #9336 daemon prio=6 os_prio=0 tid=0x00002b5a14004800 nid=0xc83e runnable [0x0000000000000000] 564.68/146.33 java.lang.Thread.State: TERMINATED 564.68/146.33 564.68/146.33 "ThreadPoolThread145" #9175 daemon prio=6 os_prio=0 tid=0x00002b59e4013800 nid=0xc74a runnable [0x00002b5986305000] 564.68/146.33 java.lang.Thread.State: RUNNABLE 564.68/146.33 at java.lang.UNIXProcess.forkAndExec(Native Method) 564.68/146.33 at java.lang.UNIXProcess.(UNIXProcess.java:247) 564.68/146.33 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 564.68/146.33 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 564.68/146.33 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 564.68/146.33 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 564.68/146.33 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 564.68/146.33 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 564.68/146.33 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 564.68/146.33 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 564.68/146.33 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 564.68/146.33 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 564.68/146.33 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 564.68/146.33 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 564.68/146.33 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 564.68/146.33 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 564.68/146.33 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 564.68/146.33 at java.lang.Thread.run(Thread.java:748) 564.68/146.33 564.68/146.33 "ThreadPoolThread144" #8938 daemon prio=6 os_prio=0 tid=0x00002b59e401d800 nid=0xc5e6 runnable [0x00002b5987617000] 564.68/146.33 java.lang.Thread.State: RUNNABLE 564.68/146.33 at java.lang.Thread.setPriority0(Native Method) 564.68/146.33 at java.lang.Thread.setPriority(Thread.java:1095) 564.68/146.33 at java.lang.Thread.init(Thread.java:417) 564.68/146.33 at java.lang.Thread.init(Thread.java:349) 564.68/146.33 at java.lang.Thread.(Thread.java:448) 564.68/146.33 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 564.68/146.33 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 564.68/146.33 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 564.68/146.33 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 564.68/146.33 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 564.68/146.33 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 564.68/146.33 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 564.68/146.33 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.33 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.33 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.33 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.33 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.33 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.33 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 564.68/146.33 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 564.68/146.33 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 564.68/146.33 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 564.68/146.33 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 564.68/146.33 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 564.68/146.33 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 564.68/146.33 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 564.68/146.33 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 564.68/146.33 at java.lang.Thread.run(Thread.java:748) 564.68/146.33 564.68/146.33 "Thread-7229" #7237 daemon prio=6 os_prio=0 tid=0x00002b5a10004800 nid=0xbada runnable [0x00002b5986508000] 564.68/146.33 java.lang.Thread.State: RUNNABLE 564.68/146.33 at java.io.FileInputStream.readBytes(Native Method) 564.68/146.33 at java.io.FileInputStream.read(FileInputStream.java:255) 564.68/146.33 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 564.68/146.33 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 564.68/146.33 - locked <0x00000007b8eea030> (a java.lang.UNIXProcess$ProcessPipeInputStream) 564.68/146.33 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 564.68/146.33 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 564.68/146.33 - locked <0x00000007bb84a080> (a java.io.BufferedInputStream) 564.68/146.33 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 564.68/146.33 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 564.68/146.33 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 564.68/146.33 - locked <0x00000007bb84a918> (a java.io.InputStreamReader) 564.68/146.33 at java.io.InputStreamReader.read(InputStreamReader.java:184) 564.68/146.33 at java.io.Reader.read(Reader.java:100) 564.68/146.33 at java.util.Scanner.readInput(Scanner.java:804) 564.68/146.33 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 564.68/146.33 at java.util.Scanner.hasNextLine(Scanner.java:1500) 564.68/146.33 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 564.68/146.33 564.68/146.33 "Thread-7211" #7236 daemon prio=6 os_prio=0 tid=0x00002b5a10003000 nid=0xbad9 runnable [0x00002b598520b000] 564.68/146.33 java.lang.Thread.State: RUNNABLE 564.68/146.33 at java.io.FileInputStream.readBytes(Native Method) 564.68/146.33 at java.io.FileInputStream.read(FileInputStream.java:255) 564.68/146.33 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 564.68/146.33 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 564.68/146.33 - locked <0x00000007b8e5ee60> (a java.lang.UNIXProcess$ProcessPipeInputStream) 564.68/146.33 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 564.68/146.33 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 564.68/146.33 - locked <0x00000007bb84f6b0> (a java.io.BufferedInputStream) 564.68/146.33 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 564.68/146.33 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 564.68/146.33 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 564.68/146.33 - locked <0x00000007bb84ff48> (a java.io.InputStreamReader) 564.68/146.33 at java.io.InputStreamReader.read(InputStreamReader.java:184) 564.68/146.33 at java.io.Reader.read(Reader.java:100) 564.68/146.33 at java.util.Scanner.readInput(Scanner.java:804) 564.68/146.33 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 564.68/146.33 at java.util.Scanner.hasNextLine(Scanner.java:1500) 564.68/146.33 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 564.68/146.33 564.68/146.33 "ThreadPoolThread133" #7201 daemon prio=6 os_prio=0 tid=0x00002b59e401f800 nid=0xbaa0 runnable [0x00002b5986203000] 564.68/146.33 java.lang.Thread.State: RUNNABLE 564.68/146.33 at java.lang.Thread.setPriority0(Native Method) 564.68/146.33 at java.lang.Thread.setPriority(Thread.java:1095) 564.68/146.33 at java.lang.Thread.init(Thread.java:417) 564.68/146.33 at java.lang.Thread.init(Thread.java:349) 564.68/146.33 at java.lang.Thread.(Thread.java:448) 564.68/146.33 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 564.68/146.33 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 564.68/146.33 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 564.68/146.33 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 564.68/146.33 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 564.68/146.33 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 564.68/146.33 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 564.68/146.33 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.33 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.33 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.33 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.33 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.33 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.33 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.33 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.33 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.33 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.33 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.33 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.33 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 564.68/146.33 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 564.68/146.33 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 564.68/146.33 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 564.68/146.33 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 564.68/146.33 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 564.68/146.33 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 564.68/146.33 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 564.68/146.33 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 564.68/146.33 at java.lang.Thread.run(Thread.java:748) 564.68/146.33 564.68/146.33 "ThreadPoolThread131" #7167 daemon prio=6 os_prio=0 tid=0x00002b59e4019800 nid=0xba59 in Object.wait() [0x00002b5977963000] 564.68/146.33 java.lang.Thread.State: WAITING (on object monitor) 564.68/146.33 at java.lang.Object.wait(Native Method) 564.68/146.33 at java.lang.Object.wait(Object.java:502) 564.68/146.33 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 564.68/146.33 - locked <0x00000007b8e5cdc0> (a java.lang.UNIXProcess) 564.68/146.33 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 564.68/146.33 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 564.68/146.33 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 564.68/146.34 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 564.68/146.34 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 564.68/146.34 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 564.68/146.34 at java.lang.Thread.run(Thread.java:748) 564.68/146.34 564.68/146.34 "Thread-7015" #7024 daemon prio=6 os_prio=0 tid=0x00002b5a84004000 nid=0xb921 runnable [0x00002b598771a000] 564.68/146.34 java.lang.Thread.State: RUNNABLE 564.68/146.34 at java.io.FileInputStream.readBytes(Native Method) 564.68/146.34 at java.io.FileInputStream.read(FileInputStream.java:255) 564.68/146.34 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 564.68/146.34 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 564.68/146.34 - locked <0x00000007b8efc0b8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 564.68/146.34 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 564.68/146.34 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 564.68/146.34 - locked <0x00000007bb981eb8> (a java.io.BufferedInputStream) 564.68/146.34 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 564.68/146.34 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 564.68/146.34 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 564.68/146.34 - locked <0x00000007bb982750> (a java.io.InputStreamReader) 564.68/146.34 at java.io.InputStreamReader.read(InputStreamReader.java:184) 564.68/146.34 at java.io.Reader.read(Reader.java:100) 564.68/146.34 at java.util.Scanner.readInput(Scanner.java:804) 564.68/146.34 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 564.68/146.34 at java.util.Scanner.hasNextLine(Scanner.java:1500) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 564.68/146.34 564.68/146.34 "Thread-7009" #7023 daemon prio=6 os_prio=0 tid=0x00002b5a84003000 nid=0xb91f runnable [0x00002b5986a0d000] 564.68/146.34 java.lang.Thread.State: RUNNABLE 564.68/146.34 at java.io.FileInputStream.readBytes(Native Method) 564.68/146.34 at java.io.FileInputStream.read(FileInputStream.java:255) 564.68/146.34 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 564.68/146.34 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 564.68/146.34 - locked <0x00000007b8efa020> (a java.lang.UNIXProcess$ProcessPipeInputStream) 564.68/146.34 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 564.68/146.34 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 564.68/146.34 - locked <0x00000007bb988270> (a java.io.BufferedInputStream) 564.68/146.34 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 564.68/146.34 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 564.68/146.34 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 564.68/146.34 - locked <0x00000007bb988b08> (a java.io.InputStreamReader) 564.68/146.34 at java.io.InputStreamReader.read(InputStreamReader.java:184) 564.68/146.34 at java.io.Reader.read(Reader.java:100) 564.68/146.34 at java.util.Scanner.readInput(Scanner.java:804) 564.68/146.34 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 564.68/146.34 at java.util.Scanner.hasNextLine(Scanner.java:1500) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 564.68/146.34 564.68/146.34 "ThreadPoolThread130" #6970 daemon prio=6 os_prio=0 tid=0x00002b59e4018800 nid=0xb8ca in Object.wait() [0x00002b5987d20000] 564.68/146.34 java.lang.Thread.State: WAITING (on object monitor) 564.68/146.34 at java.lang.Object.wait(Native Method) 564.68/146.34 at java.lang.Object.wait(Object.java:502) 564.68/146.34 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 564.68/146.34 - locked <0x00000007b8eee850> (a java.lang.UNIXProcess) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 564.68/146.34 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 564.68/146.34 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 564.68/146.34 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 564.68/146.34 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 564.68/146.34 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 564.68/146.34 at java.lang.Thread.run(Thread.java:748) 564.68/146.34 564.68/146.34 "ThreadPoolThread119" #6309 daemon prio=6 os_prio=0 tid=0x00002b59e401c800 nid=0xb44f runnable [0x00002b5985f00000] 564.68/146.34 java.lang.Thread.State: RUNNABLE 564.68/146.34 at java.lang.Thread.setPriority0(Native Method) 564.68/146.34 at java.lang.Thread.setPriority(Thread.java:1095) 564.68/146.34 at java.lang.Thread.init(Thread.java:417) 564.68/146.34 at java.lang.Thread.init(Thread.java:349) 564.68/146.34 at java.lang.Thread.(Thread.java:448) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 564.68/146.34 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 564.68/146.34 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 564.68/146.34 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 564.68/146.34 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 564.68/146.34 at java.lang.Thread.run(Thread.java:748) 564.68/146.34 564.68/146.34 "process reaper" #5673 daemon prio=10 os_prio=0 tid=0x00002b5a78002800 nid=0xafae runnable [0x00002b5985580000] 564.68/146.34 java.lang.Thread.State: RUNNABLE 564.68/146.34 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 564.68/146.34 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 564.68/146.34 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 564.68/146.34 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 564.68/146.34 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 564.68/146.34 at java.lang.Thread.run(Thread.java:748) 564.68/146.34 564.68/146.34 "ThreadPoolThread108" #5371 daemon prio=6 os_prio=0 tid=0x00002b59e401b800 nid=0xad98 runnable [0x00002b5986809000] 564.68/146.34 java.lang.Thread.State: RUNNABLE 564.68/146.34 at java.lang.UNIXProcess.forkAndExec(Native Method) 564.68/146.34 at java.lang.UNIXProcess.(UNIXProcess.java:247) 564.68/146.34 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 564.68/146.34 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 564.68/146.34 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 564.68/146.34 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 564.68/146.34 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 564.68/146.34 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 564.68/146.34 at java.lang.Thread.run(Thread.java:748) 564.68/146.34 564.68/146.34 "ThreadPoolThread98" #4485 daemon prio=6 os_prio=0 tid=0x00002b59e401a800 nid=0xa736 runnable [0x00002b59857fb000] 564.68/146.34 java.lang.Thread.State: RUNNABLE 564.68/146.34 at java.lang.UNIXProcess.forkAndExec(Native Method) 564.68/146.34 at java.lang.UNIXProcess.(UNIXProcess.java:247) 564.68/146.34 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 564.68/146.34 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 564.68/146.34 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 564.68/146.34 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 564.68/146.34 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 564.68/146.34 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 564.68/146.34 at java.lang.Thread.run(Thread.java:748) 564.68/146.34 564.68/146.34 "process reaper" #4057 daemon prio=10 os_prio=0 tid=0x00002b5a1c010800 nid=0xa3f4 waiting on condition [0x00002b5985547000] 564.68/146.34 java.lang.Thread.State: TIMED_WAITING (parking) 564.68/146.34 at sun.misc.Unsafe.park(Native Method) 564.68/146.34 - parking to wait for <0x0000000440002a90> (a java.util.concurrent.SynchronousQueue$TransferStack) 564.68/146.34 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 564.68/146.34 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 564.68/146.34 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 564.68/146.34 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 564.68/146.34 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 564.68/146.34 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 564.68/146.34 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 564.68/146.34 at java.lang.Thread.run(Thread.java:748) 564.68/146.34 564.68/146.34 "ThreadPoolThread86" #3647 daemon prio=6 os_prio=0 tid=0x00002b59e4011800 nid=0xa18d runnable [0x00002b5986405000] 564.68/146.34 java.lang.Thread.State: RUNNABLE 564.68/146.34 at java.lang.Thread.setPriority0(Native Method) 564.68/146.34 at java.lang.Thread.setPriority(Thread.java:1095) 564.68/146.34 at java.lang.Thread.init(Thread.java:417) 564.68/146.34 at java.lang.Thread.init(Thread.java:349) 564.68/146.34 at java.lang.Thread.(Thread.java:448) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:46) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 564.68/146.34 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 564.68/146.34 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 564.68/146.34 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 564.68/146.34 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 564.68/146.34 at java.lang.Thread.run(Thread.java:748) 564.68/146.34 564.68/146.34 "ThreadPoolThread69" #2445 daemon prio=6 os_prio=0 tid=0x00002b59e400c800 nid=0x99d0 runnable [0x00002b5986708000] 564.68/146.34 java.lang.Thread.State: RUNNABLE 564.68/146.34 at java.lang.UNIXProcess.forkAndExec(Native Method) 564.68/146.34 at java.lang.UNIXProcess.(UNIXProcess.java:247) 564.68/146.34 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 564.68/146.34 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 564.68/146.34 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 564.68/146.34 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 564.68/146.34 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 564.68/146.34 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 564.68/146.34 at java.lang.Thread.run(Thread.java:748) 564.68/146.34 564.68/146.34 "ThreadPoolThread63" #2197 daemon prio=6 os_prio=0 tid=0x00002b59e4016000 nid=0x985a runnable [0x00002b5986001000] 564.68/146.34 java.lang.Thread.State: RUNNABLE 564.68/146.34 at java.lang.UNIXProcess.forkAndExec(Native Method) 564.68/146.34 at java.lang.UNIXProcess.(UNIXProcess.java:247) 564.68/146.34 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 564.68/146.34 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 564.68/146.34 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 564.68/146.34 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 564.68/146.34 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 564.68/146.34 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 564.68/146.34 at java.lang.Thread.run(Thread.java:748) 564.68/146.34 564.68/146.34 "ThreadPoolThread53" #1579 daemon prio=6 os_prio=0 tid=0x00002b59e4016800 nid=0x94b1 runnable [0x00002b5977f67000] 564.68/146.34 java.lang.Thread.State: RUNNABLE 564.68/146.34 at java.lang.UNIXProcess.forkAndExec(Native Method) 564.68/146.34 at java.lang.UNIXProcess.(UNIXProcess.java:247) 564.68/146.34 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 564.68/146.34 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 564.68/146.34 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 564.68/146.34 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 564.68/146.34 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 564.68/146.34 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 564.68/146.34 at java.lang.Thread.run(Thread.java:748) 564.68/146.34 564.68/146.34 "process reaper" #522 daemon prio=10 os_prio=0 tid=0x00002b59dc0a6800 nid=0x8e68 waiting on condition [0x00002b5977fdb000] 564.68/146.34 java.lang.Thread.State: TIMED_WAITING (parking) 564.68/146.34 at sun.misc.Unsafe.park(Native Method) 564.68/146.34 - parking to wait for <0x0000000440002a90> (a java.util.concurrent.SynchronousQueue$TransferStack) 564.68/146.34 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 564.68/146.34 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 564.68/146.34 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 564.68/146.34 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 564.68/146.34 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 564.68/146.34 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 564.68/146.34 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 564.68/146.34 at java.lang.Thread.run(Thread.java:748) 564.68/146.34 564.68/146.34 "ThreadPoolThread37" #514 daemon prio=6 os_prio=0 tid=0x00002b59e4017800 nid=0x8e5d runnable [0x00002b5985dff000] 564.68/146.34 java.lang.Thread.State: RUNNABLE 564.68/146.34 at java.lang.Thread.setPriority0(Native Method) 564.68/146.34 at java.lang.Thread.setPriority(Thread.java:1095) 564.68/146.34 at java.lang.Thread.init(Thread.java:417) 564.68/146.34 at java.lang.Thread.init(Thread.java:349) 564.68/146.34 at java.lang.Thread.(Thread.java:448) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 564.68/146.34 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 564.68/146.34 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 564.68/146.34 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 564.68/146.34 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 564.68/146.34 at java.lang.Thread.run(Thread.java:748) 564.68/146.34 564.68/146.34 "ThreadPoolThread26" #303 daemon prio=6 os_prio=0 tid=0x00002b59e4015000 nid=0x8d0d runnable [0x00002b59858fc000] 564.68/146.34 java.lang.Thread.State: RUNNABLE 564.68/146.34 at java.lang.Thread.setPriority0(Native Method) 564.68/146.34 at java.lang.Thread.setPriority(Thread.java:1095) 564.68/146.34 at java.lang.Thread.init(Thread.java:417) 564.68/146.34 at java.lang.Thread.init(Thread.java:349) 564.68/146.34 at java.lang.Thread.(Thread.java:448) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 564.68/146.34 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 564.68/146.34 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 564.68/146.34 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 564.68/146.34 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 564.68/146.34 at java.lang.Thread.run(Thread.java:748) 564.68/146.34 564.68/146.34 "ThreadPoolThread14" #201 daemon prio=6 os_prio=0 tid=0x00002b59e400e800 nid=0x8ba4 in Object.wait() [0x00002b59840fe000] 564.68/146.34 java.lang.Thread.State: WAITING (on object monitor) 564.68/146.34 at java.lang.Object.wait(Native Method) 564.68/146.34 at java.lang.Object.wait(Object.java:502) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 564.68/146.34 - locked <0x00000006f3fc0b00> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 564.68/146.34 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 564.68/146.34 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 564.68/146.34 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 564.68/146.34 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 564.68/146.34 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 564.68/146.34 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 564.68/146.34 at java.lang.Thread.run(Thread.java:748) 564.68/146.34 564.68/146.34 "process reaper" #119 daemon prio=10 os_prio=0 tid=0x00002b5a1c00e000 nid=0x8b19 waiting on condition [0x00002b5977fa2000] 564.68/146.34 java.lang.Thread.State: TIMED_WAITING (parking) 564.68/146.34 at sun.misc.Unsafe.park(Native Method) 564.68/146.34 - parking to wait for <0x0000000440002a90> (a java.util.concurrent.SynchronousQueue$TransferStack) 564.68/146.34 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 564.68/146.34 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 564.68/146.34 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 564.68/146.34 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 564.68/146.34 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 564.68/146.34 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 564.68/146.34 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 564.68/146.34 at java.lang.Thread.run(Thread.java:748) 564.68/146.34 564.68/146.34 "process reaper" #27 daemon prio=10 os_prio=0 tid=0x00002b59d4027000 nid=0x8a89 waiting on condition [0x00002b595ffee000] 564.68/146.34 java.lang.Thread.State: TIMED_WAITING (parking) 564.68/146.34 at sun.misc.Unsafe.park(Native Method) 564.68/146.34 - parking to wait for <0x0000000440002a90> (a java.util.concurrent.SynchronousQueue$TransferStack) 564.68/146.34 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 564.68/146.34 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 564.68/146.34 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 564.68/146.34 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 564.68/146.34 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 564.68/146.34 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 564.68/146.34 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 564.68/146.34 at java.lang.Thread.run(Thread.java:748) 564.68/146.34 564.68/146.34 "process reaper" #26 daemon prio=10 os_prio=0 tid=0x00002b59dc06b000 nid=0x8a88 waiting on condition [0x00002b595ffb5000] 564.68/146.34 java.lang.Thread.State: TIMED_WAITING (parking) 564.68/146.34 at sun.misc.Unsafe.park(Native Method) 564.68/146.34 - parking to wait for <0x0000000440002a90> (a java.util.concurrent.SynchronousQueue$TransferStack) 564.68/146.34 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 564.68/146.34 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 564.68/146.34 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 564.68/146.34 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 564.68/146.34 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 564.68/146.34 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 564.68/146.34 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 564.68/146.34 at java.lang.Thread.run(Thread.java:748) 564.68/146.34 564.68/146.34 "process reaper" #23 daemon prio=10 os_prio=0 tid=0x00002b59d8036000 nid=0x8a81 runnable [0x00002b595ff7c000] 564.68/146.34 java.lang.Thread.State: RUNNABLE 564.68/146.34 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 564.68/146.34 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 564.68/146.34 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 564.68/146.34 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 564.68/146.34 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 564.68/146.34 at java.lang.Thread.run(Thread.java:748) 564.68/146.34 564.68/146.34 "process reaper" #20 daemon prio=10 os_prio=0 tid=0x00002b59dc013800 nid=0x8a76 waiting on condition [0x00002b595ff43000] 564.68/146.34 java.lang.Thread.State: TIMED_WAITING (parking) 564.68/146.34 at sun.misc.Unsafe.park(Native Method) 564.68/146.34 - parking to wait for <0x0000000440002a90> (a java.util.concurrent.SynchronousQueue$TransferStack) 564.68/146.34 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 564.68/146.34 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 564.68/146.34 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 564.68/146.34 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 564.68/146.34 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 564.68/146.34 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 564.68/146.34 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 564.68/146.34 at java.lang.Thread.run(Thread.java:748) 564.68/146.34 564.68/146.34 "TimeRefresherThread" #19 daemon prio=6 os_prio=0 tid=0x00002b59e400b800 nid=0x8a74 waiting on condition [0x00002b5977d67000] 564.68/146.34 java.lang.Thread.State: TIMED_WAITING (sleeping) 564.68/146.34 at java.lang.Thread.sleep(Native Method) 564.68/146.34 at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.run(TimeRefresher.java:55) 564.68/146.34 564.68/146.34 "DefaultMachine" #18 daemon prio=6 os_prio=0 tid=0x00002b596084a000 nid=0x8a73 waiting on condition [0x00002b5977e68000] 564.68/146.34 java.lang.Thread.State: WAITING (parking) 564.68/146.34 at sun.misc.Unsafe.park(Native Method) 564.68/146.34 - parking to wait for <0x000000044000b1d0> (a java.util.concurrent.locks.AbstractQueuedSynchronizer$ConditionObject) 564.68/146.34 at java.util.concurrent.locks.LockSupport.park(LockSupport.java:175) 564.68/146.34 at java.util.concurrent.locks.AbstractQueuedSynchronizer$ConditionObject.await(AbstractQueuedSynchronizer.java:2039) 564.68/146.34 at java.util.concurrent.LinkedBlockingQueue.take(LinkedBlockingQueue.java:442) 564.68/146.34 at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine.run(DefaultMachine.java:169) 564.68/146.34 at java.lang.Thread.run(Thread.java:748) 564.68/146.34 564.68/146.34 "Service Thread" #8 daemon prio=9 os_prio=0 tid=0x00002b59601a1800 nid=0x8a68 runnable [0x0000000000000000] 564.68/146.34 java.lang.Thread.State: RUNNABLE 564.68/146.34 564.68/146.34 "C1 CompilerThread2" #7 daemon prio=9 os_prio=0 tid=0x00002b5960184000 nid=0x8a67 waiting on condition [0x0000000000000000] 564.68/146.34 java.lang.Thread.State: RUNNABLE 564.68/146.34 564.68/146.34 "C2 CompilerThread1" #6 daemon prio=9 os_prio=0 tid=0x00002b5960182800 nid=0x8a66 waiting on condition [0x0000000000000000] 564.68/146.34 java.lang.Thread.State: RUNNABLE 564.68/146.34 564.68/146.34 "C2 CompilerThread0" #5 daemon prio=9 os_prio=0 tid=0x00002b596017f800 nid=0x8a65 waiting on condition [0x0000000000000000] 564.68/146.34 java.lang.Thread.State: RUNNABLE 564.68/146.34 564.68/146.34 "Signal Dispatcher" #4 daemon prio=9 os_prio=0 tid=0x00002b596017e000 nid=0x8a64 waiting on condition [0x0000000000000000] 564.68/146.34 java.lang.Thread.State: RUNNABLE 564.68/146.34 564.68/146.34 "Finalizer" #3 daemon prio=8 os_prio=0 tid=0x00002b596014a000 nid=0x8a63 in Object.wait() [0x00002b59770bb000] 564.68/146.34 java.lang.Thread.State: WAITING (on object monitor) 564.68/146.34 at java.lang.Object.wait(Native Method) 564.68/146.34 at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:143) 564.68/146.34 - locked <0x0000000440240110> (a java.lang.ref.ReferenceQueue$Lock) 564.68/146.34 at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:164) 564.68/146.34 at java.lang.ref.Finalizer$FinalizerThread.run(Finalizer.java:209) 564.68/146.34 564.68/146.34 "Reference Handler" #2 daemon prio=10 os_prio=0 tid=0x00002b5960145800 nid=0x8a62 in Object.wait() [0x00002b5976fba000] 564.68/146.34 java.lang.Thread.State: WAITING (on object monitor) 564.68/146.34 at java.lang.Object.wait(Native Method) 564.68/146.34 at java.lang.Object.wait(Object.java:502) 564.68/146.34 at java.lang.ref.Reference.tryHandlePending(Reference.java:191) 564.68/146.34 - locked <0x000000044023db18> (a java.lang.ref.Reference$Lock) 564.68/146.34 at java.lang.ref.Reference$ReferenceHandler.run(Reference.java:153) 564.68/146.34 564.68/146.34 "main" #1 prio=5 os_prio=0 tid=0x00002b5960008800 nid=0x8a5b in Object.wait() [0x00002b595a7bf000] 564.68/146.34 java.lang.Thread.State: WAITING (on object monitor) 564.68/146.34 at java.lang.Object.wait(Native Method) 564.68/146.34 - waiting on <0x000000044000b330> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 564.68/146.34 at java.lang.Object.wait(Object.java:502) 564.68/146.34 at aprove.Strategies.ExecutableStrategies.impl.Handle.waitForFinish(Handle.java:42) 564.68/146.34 - locked <0x000000044000b330> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 564.68/146.34 at aprove.Runtime.AProVE.waitForHandle(AProVE.java:32) 564.68/146.34 at aprove.Runtime.AProVE.run(AProVE.java:101) 564.68/146.34 at aprove.CommandLineInterface.Main.run(Main.java:94) 564.68/146.34 at aprove.CommandLineInterface.Main.doMain(Main.java:42) 564.68/146.34 at aprove.Main.doMain(Main.java:54) 564.68/146.34 at aprove.Main.main(Main.java:20) 564.68/146.34 564.68/146.34 "VM Thread" os_prio=0 tid=0x00002b596013e000 nid=0x8a61 runnable 564.68/146.34 564.68/146.34 "GC task thread#0 (ParallelGC)" os_prio=0 tid=0x00002b596001e000 nid=0x8a5d runnable 564.68/146.34 564.68/146.34 "GC task thread#1 (ParallelGC)" os_prio=0 tid=0x00002b596001f800 nid=0x8a5e runnable 564.68/146.34 564.68/146.34 "GC task thread#2 (ParallelGC)" os_prio=0 tid=0x00002b5960021800 nid=0x8a5f runnable 564.68/146.34 564.68/146.34 "GC task thread#3 (ParallelGC)" os_prio=0 tid=0x00002b5960023800 nid=0x8a60 runnable 564.68/146.34 564.68/146.34 "VM Periodic Task Thread" os_prio=0 tid=0x00002b59601a4800 nid=0x8a69 waiting on condition 564.68/146.34 564.68/146.37 JNI global references: 318 564.68/146.37 565.24/146.44 Heap 565.24/146.44 PSYoungGen total 4745216K, used 1896162K [0x0000000695580000, 0x00000007c0000000, 0x00000007c0000000) 565.24/146.44 eden space 4613632K, 38% used [0x0000000695580000,0x00000007031888c0,0x00000007aef00000) 565.24/146.44 from space 131584K, 74% used [0x00000007b7f80000,0x00000007bdf30150,0x00000007c0000000) 565.24/146.44 to space 139776K, 0% used [0x00000007aef00000,0x00000007aef00000,0x00000007b7780000) 565.24/146.44 ParOldGen total 9786880K, used 49901K [0x0000000440000000, 0x0000000695580000, 0x0000000695580000) 565.24/146.44 object space 9786880K, 0% used [0x0000000440000000,0x00000004430bb7d8,0x0000000695580000) 565.24/146.44 Metaspace used 23475K, capacity 23786K, committed 24192K, reserved 1071104K 565.24/146.44 class space used 2551K, capacity 2621K, committed 2688K, reserved 1048576K 565.24/146.44 603.06/156.34 EOF