2019-05-11 07:24:39 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): "Thread-2173" #2201 daemon prio=6 os_prio=0 tid=0x00002ad02c26e000 nid=0x2cff runnable [0x0000000000000000] java.lang.Thread.State: RUNNABLE "Thread-2129" #2200 daemon prio=6 os_prio=0 tid=0x00002ad02c255000 nid=0x2cfe runnable [0x00002ad0d8402000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2172" #2199 daemon prio=6 os_prio=0 tid=0x00002ad05400e000 nid=0x2cfd runnable [0x00002ad145210000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2109" #2157 daemon prio=6 os_prio=0 tid=0x00002ad054007800 nid=0x2cfc runnable [0x00002ad144a08000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2171" #2198 daemon prio=6 os_prio=0 tid=0x00002ad154009800 nid=0x2cfb runnable [0x00002ad147836000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2132" #2197 daemon prio=6 os_prio=0 tid=0x00002ad15400c000 nid=0x2cfa runnable [0x00002ad146220000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2170" #2196 daemon prio=6 os_prio=0 tid=0x00002ad148001000 nid=0x2cf9 runnable [0x00002ad0d9f23000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2107" #2160 daemon prio=6 os_prio=0 tid=0x00002ad148005000 nid=0x2cf8 runnable [0x00002ad0d9c20000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2169" #2195 daemon prio=6 os_prio=0 tid=0x00002ad114009800 nid=0x2cf7 runnable [0x00002ad0d8806000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2142" #2194 daemon prio=6 os_prio=0 tid=0x00002ad114008800 nid=0x2cf6 runnable [0x00002ad0d8a08000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2168" #2193 daemon prio=6 os_prio=0 tid=0x00002ad13c001000 nid=0x2cf5 runnable [0x00002ad0d8b09000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2143" #2192 daemon prio=6 os_prio=0 tid=0x00002ad13c003000 nid=0x2cf4 runnable [0x00002ad146321000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2167" #2191 daemon prio=6 os_prio=0 tid=0x00002ad12800b800 nid=0x2cf3 runnable [0x00002ad0dbbaf000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2145" #2190 daemon prio=6 os_prio=0 tid=0x00002ad128003000 nid=0x2cf2 runnable [0x00002ad168200000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2166" #2189 daemon prio=6 os_prio=0 tid=0x00002ad140003000 nid=0x2cf1 runnable [0x00002ad147331000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2146" #2188 daemon prio=6 os_prio=0 tid=0x00002ad140005000 nid=0x2cf0 runnable [0x00002ad14712f000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2165" #2187 daemon prio=6 os_prio=0 tid=0x00002ad088597000 nid=0x2cef runnable [0x00002ad146a28000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2147" #2186 daemon prio=6 os_prio=0 tid=0x00002ad088f2c000 nid=0x2cee runnable [0x00002ad0da59b000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2148" #2185 daemon prio=6 os_prio=0 tid=0x00002ad134003000 nid=0x2ced runnable [0x00002ad145f1d000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2163" #2184 daemon prio=6 os_prio=0 tid=0x00002ad08c741000 nid=0x2cec runnable [0x00002ad0d8f13000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2149" #2183 daemon prio=6 os_prio=0 tid=0x00002ad08cd31000 nid=0x2ceb runnable [0x00002ad0da05d000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2162" #2182 daemon prio=6 os_prio=0 tid=0x00002ad114007800 nid=0x2cea runnable [0x00002ad144c0a000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2150" #2181 daemon prio=6 os_prio=0 tid=0x00002ad114006800 nid=0x2ce9 runnable [0x00002ad0d981c000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2161" #2180 daemon prio=6 os_prio=0 tid=0x00002ad09012e800 nid=0x2ce8 runnable [0x00002ad083a39000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2151" #2179 daemon prio=6 os_prio=0 tid=0x00002ad09083c000 nid=0x2ce7 runnable [0x00002ad0db5a9000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2160" #2178 daemon prio=6 os_prio=0 tid=0x00002ad11c005000 nid=0x2ce6 runnable [0x00002ad147c3a000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2152" #2177 daemon prio=6 os_prio=0 tid=0x00002ad11c004000 nid=0x2ce5 runnable [0x00002ad0daaa0000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2156" #2176 daemon prio=6 os_prio=0 tid=0x00002ad15c005800 nid=0x2ce4 runnable [0x00002ad147230000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "ThreadPoolThread561" #2168 daemon prio=6 os_prio=0 tid=0x00002ad0ac054800 nid=0x2ccf in Object.wait() [0x00002ad0d9a1d000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x0000000783441d50> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread560" #2167 daemon prio=6 os_prio=0 tid=0x00002ad0ac071800 nid=0x2ccd in Object.wait() [0x00002ad0d8e12000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) - locked <0x00000007837e6838> (a java.lang.UNIXProcess) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) at aprove.Framework.IntTRS.Nonterm.IntTRSNonPeriodicNontermProcessor.process(IntTRSNonPeriodicNontermProcessor.java:79) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread559" #2166 daemon prio=6 os_prio=0 tid=0x00002ad0ac065800 nid=0x2ccb in Object.wait() [0x00002ad0d8d10000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) - locked <0x0000000786e8e8c8> (a java.lang.UNIXProcess) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:135) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "Thread-2131" #2155 daemon prio=6 os_prio=0 tid=0x00002ad0f0004000 nid=0x2cc1 runnable [0x00002ad0d8604000] java.lang.Thread.State: RUNNABLE at java.io.FileInputStream.readBytes(Native Method) at java.io.FileInputStream.read(FileInputStream.java:255) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x00000006a2463620> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x000000073895bd48> (a java.io.BufferedInputStream) at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) - locked <0x000000073895de08> (a java.io.InputStreamReader) at java.io.InputStreamReader.read(InputStreamReader.java:184) at java.io.Reader.read(Reader.java:100) at java.util.Scanner.readInput(Scanner.java:804) at java.util.Scanner.findWithinHorizon(Scanner.java:1685) at java.util.Scanner.hasNextLine(Scanner.java:1500) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) "Thread-2112" #2154 daemon prio=6 os_prio=0 tid=0x00002ad0f0001000 nid=0x2cc0 runnable [0x00002ad14611f000] java.lang.Thread.State: RUNNABLE at java.io.FileInputStream.readBytes(Native Method) at java.io.FileInputStream.read(FileInputStream.java:255) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x00000006a2461560> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x0000000732f6ff48> (a java.io.BufferedInputStream) at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) - locked <0x0000000732f72008> (a java.io.InputStreamReader) at java.io.InputStreamReader.read(InputStreamReader.java:184) at java.io.Reader.read(Reader.java:100) at java.util.Scanner.readInput(Scanner.java:804) at java.util.Scanner.findWithinHorizon(Scanner.java:1685) at java.util.Scanner.hasNextLine(Scanner.java:1500) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) "Thread-2126" #2149 daemon prio=6 os_prio=0 tid=0x00002ad02c256000 nid=0x2cba runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-2116" #2148 daemon prio=6 os_prio=0 tid=0x00002ad02c903800 nid=0x2cb8 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-2124" #2147 daemon prio=6 os_prio=0 tid=0x00002ad12c007000 nid=0x2cb7 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-2119" #2146 daemon prio=6 os_prio=0 tid=0x00002ad12c008800 nid=0x2cb6 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-2121" #2143 daemon prio=6 os_prio=0 tid=0x00002ad044010800 nid=0x2cb1 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-2067" #2142 daemon prio=6 os_prio=0 tid=0x00002ad04400f800 nid=0x2caf runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread551" #2132 daemon prio=6 os_prio=0 tid=0x00002ad0ac037800 nid=0x2c9d in Object.wait() [0x00002ad146b28000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x000000078328f150> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread550" #2131 daemon prio=6 os_prio=0 tid=0x00002ad0ac061800 nid=0x2c99 runnable [0x00002ad146421000] java.lang.Thread.State: RUNNABLE at immutables.Immutable.DefaultImmutableSet.create(Unknown Source) at immutables.Immutable.ImmutableCreator.create(Unknown Source) at immutables.Immutable.ImmutableLinkedHashMap.entrySet(Unknown Source) at aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:475) at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:606) at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread549" #2130 daemon prio=6 os_prio=0 tid=0x00002ad0ac027800 nid=0x2c98 in Object.wait() [0x00002ad146d2a000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x00000007703a3eb0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "Thread-2093" #2116 daemon prio=6 os_prio=0 tid=0x00002ad138008000 nid=0x2c8a runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-2050" #2115 daemon prio=6 os_prio=0 tid=0x00002ad138007000 nid=0x2c89 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-2090" #2110 daemon prio=6 os_prio=0 tid=0x00002ad14000d800 nid=0x2c84 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-2053" #2109 daemon prio=6 os_prio=0 tid=0x00002ad140005800 nid=0x2c83 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-2076" #2088 daemon prio=6 os_prio=0 tid=0x00002ad14c004000 nid=0x2c6c runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-2063" #2087 daemon prio=6 os_prio=0 tid=0x00002ad14c003000 nid=0x2c6b runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-2073" #2084 daemon prio=6 os_prio=0 tid=0x00002ad104008000 nid=0x2c68 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-2065" #2083 daemon prio=6 os_prio=0 tid=0x00002ad104004800 nid=0x2c66 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread545" #2040 daemon prio=6 os_prio=0 tid=0x00002ad0ac07d800 nid=0x2c15 runnable [0x00002ad147431000] java.lang.Thread.State: RUNNABLE at java.lang.Thread.setPriority0(Native Method) at java.lang.Thread.setPriority(Thread.java:1095) at java.lang.Thread.init(Thread.java:417) at java.lang.Thread.init(Thread.java:349) at java.lang.Thread.(Thread.java:448) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:46) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread541" #2036 daemon prio=6 os_prio=0 tid=0x00002ad0ac093000 nid=0x2c11 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread540" #2035 daemon prio=6 os_prio=0 tid=0x00002ad0ac077800 nid=0x2c10 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread537" #2032 daemon prio=6 os_prio=0 tid=0x00002ad0ac069800 nid=0x2c0d runnable [0x00002ad0db6aa000] java.lang.Thread.State: RUNNABLE at immutables.Immutable.DefaultImmutableSet.create(Unknown Source) at immutables.Immutable.ImmutableCreator.create(Unknown Source) at immutables.Immutable.ImmutableLinkedHashMap.entrySet(Unknown Source) at aprove.Framework.Algebra.Polynomials.VarPolynomial.minus(VarPolynomial.java:672) at aprove.Framework.IntTRS.Ranking.GEConstraint.(GEConstraint.java:42) at aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:81) at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread534" #2029 daemon prio=6 os_prio=0 tid=0x00002ad0ac06f800 nid=0x2c0a runnable [0x00002ad144906000] java.lang.Thread.State: RUNNABLE at java.lang.Thread.setPriority0(Native Method) at java.lang.Thread.setPriority(Thread.java:1095) at java.lang.Thread.init(Thread.java:417) at java.lang.Thread.init(Thread.java:349) at java.lang.Thread.(Thread.java:448) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread532" #2027 daemon prio=6 os_prio=0 tid=0x00002ad0ac073800 nid=0x2c08 in Object.wait() [0x00002ad0d9316000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x00000006b0308080> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread530" #2025 daemon prio=6 os_prio=0 tid=0x00002ad0ac089800 nid=0x2c06 runnable [0x00002ad0d8c0f000] java.lang.Thread.State: RUNNABLE at java.lang.Thread.setPriority0(Native Method) at java.lang.Thread.setPriority(Thread.java:1095) at java.lang.Thread.init(Thread.java:417) at java.lang.Thread.init(Thread.java:349) at java.lang.Thread.(Thread.java:448) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread529" #2024 daemon prio=6 os_prio=0 tid=0x00002ad0ac07f800 nid=0x2c05 in Object.wait() [0x00002ad0db7aa000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x0000000782991170> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread528" #2023 daemon prio=6 os_prio=0 tid=0x00002ad0ac091000 nid=0x2c04 in Object.wait() [0x00002ad168300000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x0000000795459420> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread526" #2021 daemon prio=6 os_prio=0 tid=0x00002ad0ac021000 nid=0x2c01 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "process reaper" #1904 daemon prio=10 os_prio=0 tid=0x00002ad148004000 nid=0x2bdc runnable [0x00002ad083aab000] java.lang.Thread.State: RUNNABLE at java.lang.UNIXProcess.waitForProcessExit(Native Method) at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "process reaper" #1905 daemon prio=10 os_prio=0 tid=0x00002ad158001000 nid=0x2bd6 waiting on condition [0x00002ad083a72000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x0000000440003e90> (a java.util.concurrent.SynchronousQueue$TransferStack) at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "process reaper" #1906 daemon prio=10 os_prio=0 tid=0x00002ad0f4003800 nid=0x2baa runnable [0x00002ad0d948a000] java.lang.Thread.State: RUNNABLE at java.lang.UNIXProcess.waitForProcessExit(Native Method) at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "process reaper" #1903 daemon prio=10 os_prio=0 tid=0x00002ad158003800 nid=0x2b9d runnable [0x00002ad0d9451000] java.lang.Thread.State: RUNNABLE at java.lang.UNIXProcess.waitForProcessExit(Native Method) at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "process reaper" #1876 daemon prio=10 os_prio=0 tid=0x00002ad160002000 nid=0x2b7e runnable [0x00002ad0d90f8000] java.lang.Thread.State: RUNNABLE at java.lang.UNIXProcess.waitForProcessExit(Native Method) at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "process reaper" #1889 daemon prio=10 os_prio=0 tid=0x00002ad12c004800 nid=0x2b7b waiting on condition [0x00002ad0d90bf000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x0000000440003e90> (a java.util.concurrent.SynchronousQueue$TransferStack) at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "process reaper" #1893 daemon prio=10 os_prio=0 tid=0x00002ad104009000 nid=0x2b78 waiting on condition [0x00002ad0d9086000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x0000000440003e90> (a java.util.concurrent.SynchronousQueue$TransferStack) at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "process reaper" #1899 daemon prio=10 os_prio=0 tid=0x00002ad14c001000 nid=0x2b75 runnable [0x00002ad0d904d000] java.lang.Thread.State: RUNNABLE at java.lang.UNIXProcess.waitForProcessExit(Native Method) at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "process reaper" #1900 daemon prio=10 os_prio=0 tid=0x00002ad140001000 nid=0x2b66 waiting on condition [0x00002ad082d12000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x0000000440003e90> (a java.util.concurrent.SynchronousQueue$TransferStack) at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "process reaper" #1898 daemon prio=10 os_prio=0 tid=0x00002ad114003800 nid=0x2b65 waiting on condition [0x00002ad082cd9000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x0000000440003e90> (a java.util.concurrent.SynchronousQueue$TransferStack) at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "process reaper" #1892 daemon prio=10 os_prio=0 tid=0x00002ad150006000 nid=0x2b60 waiting on condition [0x00002ad082ca0000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x0000000440003e90> (a java.util.concurrent.SynchronousQueue$TransferStack) at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "process reaper" #1888 daemon prio=10 os_prio=0 tid=0x00002ad164002000 nid=0x2b5d waiting on condition [0x00002ad082c67000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x0000000440003e90> (a java.util.concurrent.SynchronousQueue$TransferStack) at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "process reaper" #1885 daemon prio=10 os_prio=0 tid=0x00002ad04c010000 nid=0x2b5a waiting on condition [0x00002ad08290e000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x0000000440003e90> (a java.util.concurrent.SynchronousQueue$TransferStack) at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "process reaper" #1882 daemon prio=10 os_prio=0 tid=0x00002ad138003800 nid=0x2b57 waiting on condition [0x00002ad0828d5000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x0000000440003e90> (a java.util.concurrent.SynchronousQueue$TransferStack) at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "process reaper" #1879 daemon prio=10 os_prio=0 tid=0x00002ad104006000 nid=0x2b54 waiting on condition [0x00002ad08289c000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x0000000440003e90> (a java.util.concurrent.SynchronousQueue$TransferStack) at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "process reaper" #1873 daemon prio=10 os_prio=0 tid=0x00002ad05000c800 nid=0x2b4f waiting on condition [0x00002ad082863000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x0000000440003e90> (a java.util.concurrent.SynchronousQueue$TransferStack) at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread512" #1838 daemon prio=6 os_prio=0 tid=0x00002ad0ac08d800 nid=0x2aff in Object.wait() [0x00002ad1680fe000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x0000000735bfe028> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread502" #1828 daemon prio=6 os_prio=0 tid=0x00002ad0ac079800 nid=0x2af5 in Object.wait() [0x00002ad147633000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x0000000697335180> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.isUseless(InductiveConditionFinder.java:254) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.computeInductiveCondition(InductiveConditionFinder.java:173) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:137) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread478" #1723 daemon prio=6 os_prio=0 tid=0x00002ad0ac05a000 nid=0x2a71 waiting on condition [0x00002ad144805000] java.lang.Thread.State: RUNNABLE at java.util.HashMap.resize(HashMap.java:703) at java.util.HashMap.putVal(HashMap.java:628) at java.util.HashMap.put(HashMap.java:611) at aprove.Framework.Algebra.Polynomials.IndefinitePart.times(IndefinitePart.java:212) at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:605) at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread474" #1719 daemon prio=6 os_prio=0 tid=0x00002ad0ac052800 nid=0x2a6d runnable [0x00002ad0dbcb0000] java.lang.Thread.State: RUNNABLE at java.util.HashMap.resize(HashMap.java:703) at java.util.HashMap.putVal(HashMap.java:628) at java.util.HashMap.put(HashMap.java:611) at aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:485) at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:606) at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread462" #1707 daemon prio=6 os_prio=0 tid=0x00002ad0ac026800 nid=0x2a5b runnable [0x00002ad0d8704000] java.lang.Thread.State: RUNNABLE at java.lang.Thread.setPriority0(Native Method) at java.lang.Thread.setPriority(Thread.java:1095) at java.lang.Thread.init(Thread.java:417) at java.lang.Thread.init(Thread.java:349) at java.lang.Thread.(Thread.java:448) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread454" #1699 daemon prio=6 os_prio=0 tid=0x00002ad0ac039000 nid=0x2a53 in Object.wait() [0x00002ad0d9e21000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x00000007a30dba70> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread451" #1696 daemon prio=6 os_prio=0 tid=0x00002ad0ac015800 nid=0x2a50 in Object.wait() [0x00002ad0db1a4000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x0000000772f6cc50> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.solveConstraints(RankingRedPairWorker.java:685) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:200) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread432" #1611 daemon prio=6 os_prio=0 tid=0x00002ad0ac02e800 nid=0x29ce runnable [0x00002ad145715000] java.lang.Thread.State: RUNNABLE at java.util.Arrays.copyOf(Arrays.java:3284) at java.math.MutableBigInteger.(MutableBigInteger.java:132) at java.math.BigInteger.gcd(BigInteger.java:2338) at aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:58) at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread418" #1577 daemon prio=6 os_prio=0 tid=0x00002ad0ac013800 nid=0x299f runnable [0x00002ad145613000] java.lang.Thread.State: RUNNABLE at java.lang.Thread.setPriority0(Native Method) at java.lang.Thread.setPriority(Thread.java:1095) at java.lang.Thread.init(Thread.java:417) at java.lang.Thread.init(Thread.java:349) at java.lang.Thread.(Thread.java:448) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.isUseless(InductiveConditionFinder.java:254) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.computeInductiveCondition(InductiveConditionFinder.java:200) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:137) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread415" #1574 daemon prio=6 os_prio=0 tid=0x00002ad0ac037000 nid=0x299c runnable [0x00002ad0db4a8000] java.lang.Thread.State: RUNNABLE at java.util.LinkedHashMap$LinkedEntrySet.iterator(LinkedHashMap.java:642) at immutables.Immutable.DefaultImmutableSet.iterator(Unknown Source) at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:600) at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread405" #1521 daemon prio=6 os_prio=0 tid=0x00002ad0ac033800 nid=0x2958 in Object.wait() [0x00002ad145512000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x0000000697ab1b00> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.isUseless(InductiveConditionFinder.java:254) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.computeInductiveCondition(InductiveConditionFinder.java:173) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:137) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread383" #1348 daemon prio=6 os_prio=0 tid=0x00002ad0ac050000 nid=0x2869 runnable [0x00002ad1441ff000] java.lang.Thread.State: RUNNABLE at java.lang.Thread.setPriority0(Native Method) at java.lang.Thread.setPriority(Thread.java:1095) at java.lang.Thread.init(Thread.java:417) at java.lang.Thread.init(Thread.java:349) at java.lang.Thread.(Thread.java:448) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.solveConstraints(RankingRedPairWorker.java:685) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:200) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread372" #1337 daemon prio=6 os_prio=0 tid=0x00002ad0ac014000 nid=0x285b in Object.wait() [0x00002ad0da79c000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x00000007835a6a08> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread303" #1094 daemon prio=6 os_prio=0 tid=0x00002ad0ac015000 nid=0x2706 in Object.wait() [0x00002ad0d9215000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) - locked <0x00000006a245f438> (a java.lang.UNIXProcess) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:135) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread278" #995 daemon prio=6 os_prio=0 tid=0x00002ad0ac031800 nid=0x267a runnable [0x00002ad0daea1000] java.lang.Thread.State: RUNNABLE at immutables.Immutable.ImmutableLinkedHashMap.create(Unknown Source) at immutables.Immutable.ImmutableCreator.create(Unknown Source) at immutables.Immutable.ImmutableCreator.create(Unknown Source) at aprove.Framework.Algebra.Polynomials.IndefinitePart.(IndefinitePart.java:72) at aprove.Framework.Algebra.Polynomials.IndefinitePart.times(IndefinitePart.java:222) at aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:481) at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:606) at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread234" #839 daemon prio=6 os_prio=0 tid=0x00002ad0ac023800 nid=0x25a7 runnable [0x00002ad0d9d21000] java.lang.Thread.State: RUNNABLE at java.math.BigInteger.negate(BigInteger.java:2431) at java.math.BigInteger.abs(BigInteger.java:2422) at aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:58) at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread173" #630 daemon prio=6 os_prio=0 tid=0x00002ad0ac02b800 nid=0x248b runnable [0x00002ad0d9b1e000] java.lang.Thread.State: RUNNABLE at java.lang.Thread.setPriority0(Native Method) at java.lang.Thread.setPriority(Thread.java:1095) at java.lang.Thread.init(Thread.java:417) at java.lang.Thread.init(Thread.java:349) at java.lang.Thread.(Thread.java:448) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) at aprove.Framework.IntTRS.CaseAnalysis.DecreasingInterpretationFinder.findInterpretation(DecreasingInterpretationFinder.java:231) at aprove.Framework.IntTRS.CaseAnalysis.DecreasingInterpretationFinder.findInductiveCondition(DecreasingInterpretationFinder.java:143) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.computeInductiveCondition(InductiveConditionFinder.java:194) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:137) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread115" #395 daemon prio=6 os_prio=0 tid=0x00002ad0ac00f000 nid=0x2351 runnable [0x00002ad0d80fe000] java.lang.Thread.State: RUNNABLE at java.util.LinkedHashMap$LinkedEntrySet.iterator(LinkedHashMap.java:642) at immutables.Immutable.DefaultImmutableSet.iterator(Unknown Source) at aprove.Framework.Algebra.Polynomials.IndefinitePart.times(IndefinitePart.java:216) at aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:481) at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:606) at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "process reaper" #263 daemon prio=10 os_prio=0 tid=0x00002ad134001000 nid=0x229b waiting on condition [0x00002ad0da197000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x0000000440003e90> (a java.util.concurrent.SynchronousQueue$TransferStack) at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "process reaper" #260 daemon prio=10 os_prio=0 tid=0x00002ad104001000 nid=0x2297 waiting on condition [0x00002ad0d9f5c000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x0000000440003e90> (a java.util.concurrent.SynchronousQueue$TransferStack) at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "process reaper" #249 daemon prio=10 os_prio=0 tid=0x00002ad12c002800 nid=0x2289 waiting on condition [0x00002ad083fe7000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x0000000440003e90> (a java.util.concurrent.SynchronousQueue$TransferStack) at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "process reaper" #238 daemon prio=10 os_prio=0 tid=0x00002ad0ec001000 nid=0x227a runnable [0x00002ad083fae000] java.lang.Thread.State: RUNNABLE at java.io.FileInputStream.close(FileInputStream.java:326) at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:533) - locked <0x00000007a30db7d8> (a java.lang.Object) - locked <0x00000007a30d9728> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:301) at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "process reaper" #207 daemon prio=10 os_prio=0 tid=0x00002ad110002000 nid=0x2251 waiting on condition [0x00002ad083f75000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x0000000440003e90> (a java.util.concurrent.SynchronousQueue$TransferStack) at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "process reaper" #84 daemon prio=10 os_prio=0 tid=0x00002ad0b401f800 nid=0x21a8 waiting on condition [0x00002ad043fd3000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x0000000440003e90> (a java.util.concurrent.SynchronousQueue$TransferStack) at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "process reaper" #26 daemon prio=10 os_prio=0 tid=0x00002ad0a001c000 nid=0x214f waiting on condition [0x00002ad043f9a000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x0000000440003e90> (a java.util.concurrent.SynchronousQueue$TransferStack) at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "process reaper" #23 daemon prio=10 os_prio=0 tid=0x00002ad09c00a800 nid=0x214c waiting on condition [0x00002ad02bfce000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x0000000440003e90> (a java.util.concurrent.SynchronousQueue$TransferStack) at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "process reaper" #20 daemon prio=10 os_prio=0 tid=0x00002ad0a4015800 nid=0x2144 waiting on condition [0x00002ad02bf95000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x0000000440003e90> (a java.util.concurrent.SynchronousQueue$TransferStack) at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "TimeRefresherThread" #19 daemon prio=6 os_prio=0 tid=0x00002ad0ac00d000 nid=0x2141 runnable [0x00002ad082b2d000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadTotalCpuTime0(Native Method) at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:267) at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:226) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x000000044001c1a8> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.doPoll(TimeRefresher.java:65) at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.run(TimeRefresher.java:54) "DefaultMachine" #18 daemon prio=6 os_prio=0 tid=0x00002ad02c8ff000 nid=0x2140 waiting on condition [0x00002ad082a2b000] java.lang.Thread.State: RUNNABLE at aprove.ProofTree.Obligations.ObligationNode.addTruthValueListener(ObligationNode.java:60) - locked <0x00000006a2216fb0> (a aprove.ProofTree.Obligations.JunctorObligationNode) at aprove.ProofTree.Obligations.BasicObligationNode.addTechnique(BasicObligationNode.java:120) - locked <0x00000007bd091c28> (a aprove.ProofTree.Obligations.BasicObligationNode) at aprove.Strategies.ExecutableStrategies.ExecResult.exec(ExecResult.java:37) at aprove.Strategies.ExecutableStrategies.ExecProcessorStrategy.finish(ExecProcessorStrategy.java:83) at aprove.Strategies.ExecutableStrategies.ExecProcessorStrategy.exec(ExecProcessorStrategy.java:64) at aprove.Strategies.ExecutableStrategies.ExecRepeat.exec(ExecRepeat.java:47) at aprove.Strategies.ExecutableStrategies.ExecSequence.exec(ExecSequence.java:24) at aprove.Strategies.ExecutableStrategies.ExecSequence.exec(ExecSequence.java:24) at aprove.Strategies.ExecutableStrategies.ExecAllParallel.exec(ExecAllParallel.java:29) at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) at aprove.Strategies.ExecutableStrategies.ExecFirst.exec(ExecFirst.java:71) at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) at aprove.Strategies.ExecutableStrategies.ExecAllParallel.exec(ExecAllParallel.java:29) at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) at aprove.Strategies.ExecutableStrategies.ExecFirst.exec(ExecFirst.java:71) at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) at aprove.Strategies.ExecutableStrategies.ExecAllParallel.exec(ExecAllParallel.java:29) at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) at aprove.Strategies.ExecutableStrategies.ExecFirst.exec(ExecFirst.java:71) at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) at aprove.Strategies.ExecutableStrategies.ExecFirst.exec(ExecFirst.java:71) at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) at aprove.Strategies.ExecutableStrategies.ExecAllParallel.exec(ExecAllParallel.java:29) at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) at aprove.Strategies.ExecutableStrategies.ExecFirst.exec(ExecFirst.java:71) at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) at aprove.Strategies.ExecutableStrategies.ExecAllParallel.exec(ExecAllParallel.java:29) at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) at aprove.Strategies.ExecutableStrategies.ExecFirst.exec(ExecFirst.java:71) at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) at aprove.Strategies.ExecutableStrategies.StrategyRoot.evaluateOnce(StrategyRoot.java:35) at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine$CmdExec.run(DefaultMachine.java:247) at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine.run(DefaultMachine.java:174) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread2" #12 daemon prio=5 os_prio=0 tid=0x00002ad02c26c800 nid=0x213a runnable [0x00002ad082829000] java.lang.Thread.State: RUNNABLE at java.lang.Long.toString(Long.java:397) at java.lang.Long.toString(Long.java:124) at java.math.BigInteger.smallToString(BigInteger.java:3735) at java.math.BigInteger.toString(BigInteger.java:3776) at java.math.BigInteger.toString(BigInteger.java:3805) at java.math.BigInteger.toString(BigInteger.java:3703) at java.math.BigInteger.toString(BigInteger.java:3858) at aprove.InputModules.Programs.llvm.internalStructures.expressions.LLVMHeuristicConstRef.(LLVMHeuristicConstRef.java:36) at aprove.InputModules.Programs.llvm.internalStructures.expressions.LLVMHeuristicTermFactory.createNormalized(LLVMHeuristicTermFactory.java:560) at aprove.InputModules.Programs.llvm.internalStructures.expressions.LLVMHeuristicTermFactory.create(LLVMHeuristicTermFactory.java:283) at aprove.InputModules.Programs.llvm.utils.LLVMHeuristicExpressionUtils.addReplacedAdditiveCombinations(LLVMHeuristicExpressionUtils.java:893) at aprove.InputModules.Programs.llvm.utils.LLVMHeuristicExpressionUtils.inRelationByReplacingRefsByConstants(LLVMHeuristicExpressionUtils.java:514) at aprove.InputModules.Programs.llvm.states.LLVMHeuristicState.adjustValue(LLVMHeuristicState.java:2543) at aprove.InputModules.Programs.llvm.states.LLVMHeuristicState.adjustValues(LLVMHeuristicState.java:2813) at aprove.InputModules.Programs.llvm.states.LLVMHeuristicState.adjustValues(LLVMHeuristicState.java:505) at aprove.InputModules.Programs.llvm.states.LLVMHeuristicState.postProcess(LLVMHeuristicState.java:2197) at aprove.InputModules.Programs.llvm.states.LLVMHeuristicState.postProcessAfterRefinement(LLVMHeuristicState.java:1655) at aprove.InputModules.Programs.llvm.states.LLVMAbstractState.evaluate(LLVMAbstractState.java:517) at aprove.InputModules.Programs.llvm.segraph.graphConstructionSteps.LLVMStandardStep.perform(LLVMStandardStep.java:98) at aprove.InputModules.Programs.llvm.segraph.LLVMSEGraph.executeStepAndPutSucessorStepsInQueue(LLVMSEGraph.java:1147) at aprove.InputModules.Programs.llvm.segraph.LLVMSEGraph.buildFullGraph(LLVMSEGraph.java:274) at aprove.InputModules.Programs.llvm.segraph.LLVMSEGraph.buildFullGraph(LLVMSEGraph.java:247) at aprove.InputModules.Programs.llvm.segraph.LLVMGraphBuilder.buildGraph(LLVMGraphBuilder.java:84) at aprove.InputModules.Programs.llvm.processors.LLVMToSEGraphProcessor.process(LLVMToSEGraphProcessor.java:89) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "Service Thread" #8 daemon prio=9 os_prio=0 tid=0x00002ad02c18f800 nid=0x2136 runnable [0x0000000000000000] java.lang.Thread.State: RUNNABLE "C1 CompilerThread2" #7 daemon prio=9 os_prio=0 tid=0x00002ad02c184000 nid=0x2135 waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "C2 CompilerThread1" #6 daemon prio=9 os_prio=0 tid=0x00002ad02c182800 nid=0x2134 waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "C2 CompilerThread0" #5 daemon prio=9 os_prio=0 tid=0x00002ad02c17f800 nid=0x2133 waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "Signal Dispatcher" #4 daemon prio=9 os_prio=0 tid=0x00002ad02c17e000 nid=0x2132 waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "Finalizer" #3 daemon prio=8 os_prio=0 tid=0x00002ad02c14a000 nid=0x2131 in Object.wait() [0x00002ad0437ba000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:143) - locked <0x0000000440072428> (a java.lang.ref.ReferenceQueue$Lock) at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:164) at java.lang.ref.Finalizer$FinalizerThread.run(Finalizer.java:209) "Reference Handler" #2 daemon prio=10 os_prio=0 tid=0x00002ad02c145800 nid=0x2130 in Object.wait() [0x00002ad0436b9000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at java.lang.ref.Reference.tryHandlePending(Reference.java:191) - locked <0x0000000440072658> (a java.lang.ref.Reference$Lock) at java.lang.ref.Reference$ReferenceHandler.run(Reference.java:153) "main" #1 prio=5 os_prio=0 tid=0x00002ad02c008800 nid=0x2129 in Object.wait() [0x00002ad026f10000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) - waiting on <0x0000000440009df8> (a aprove.Strategies.ExecutableStrategies.impl.Handle) at java.lang.Object.wait(Object.java:502) at aprove.Strategies.ExecutableStrategies.impl.Handle.waitForFinish(Handle.java:42) - locked <0x0000000440009df8> (a aprove.Strategies.ExecutableStrategies.impl.Handle) at aprove.Runtime.AProVE.waitForHandle(AProVE.java:32) at aprove.Runtime.AProVE.run(AProVE.java:101) at aprove.CommandLineInterface.Main.run(Main.java:94) at aprove.CommandLineInterface.Main.doMain(Main.java:42) at aprove.Main.doMain(Main.java:54) at aprove.Main.main(Main.java:20) "VM Thread" os_prio=0 tid=0x00002ad02c13e000 nid=0x212f runnable "GC task thread#0 (ParallelGC)" os_prio=0 tid=0x00002ad02c01e000 nid=0x212b runnable "GC task thread#1 (ParallelGC)" os_prio=0 tid=0x00002ad02c01f800 nid=0x212c runnable "GC task thread#2 (ParallelGC)" os_prio=0 tid=0x00002ad02c021800 nid=0x212d runnable "GC task thread#3 (ParallelGC)" os_prio=0 tid=0x00002ad02c023800 nid=0x212e runnable "VM Periodic Task Thread" os_prio=0 tid=0x00002ad02c192000 nid=0x2137 waiting on condition