2020-06-22 20:52:53
Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode):

"ThreadPoolThread59" #83 daemon prio=6 os_prio=0 tid=0x00002b8c90033800 nid=0x8c6 runnable [0x0000000000000000]
   java.lang.Thread.State: RUNNABLE

"ThreadPoolThread58" #82 daemon prio=6 os_prio=0 tid=0x00002b8c90035800 nid=0x8c4 waiting for monitor entry [0x00002b8c235cf000]
   java.lang.Thread.State: BLOCKED (on object monitor)
	at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312)
	- waiting to lock <0x0000000440043b78> (a aprove.Strategies.Util.PrioritizableThreadPool)
	at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24)
	at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269)
	at java.lang.Thread.run(Thread.java:748)

"ThreadPoolThread57" #81 daemon prio=6 os_prio=0 tid=0x00002b8c90030800 nid=0x8c3 waiting for monitor entry [0x00002b8c237d1000]
   java.lang.Thread.State: BLOCKED (on object monitor)
	at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312)
	- waiting to lock <0x0000000440043b78> (a aprove.Strategies.Util.PrioritizableThreadPool)
	at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24)
	at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269)
	at java.lang.Thread.run(Thread.java:748)

"ThreadPoolThread56" #80 daemon prio=6 os_prio=0 tid=0x00002b8c9003b800 nid=0x8c0 waiting for monitor entry [0x00002b8c227c5000]
   java.lang.Thread.State: BLOCKED (on object monitor)
	at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312)
	- waiting to lock <0x0000000440043b78> (a aprove.Strategies.Util.PrioritizableThreadPool)
	at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24)
	at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269)
	at java.lang.Thread.run(Thread.java:748)

"ThreadPoolThread55" #79 daemon prio=6 os_prio=0 tid=0x00002b8c90039000 nid=0x8be waiting for monitor entry [0x00002b8c230cc000]
   java.lang.Thread.State: BLOCKED (on object monitor)
	at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312)
	- locked <0x0000000440043b78> (a aprove.Strategies.Util.PrioritizableThreadPool)
	at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24)
	at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269)
	at java.lang.Thread.run(Thread.java:748)

"ThreadPoolThread54" #78 daemon prio=6 os_prio=0 tid=0x00002b8c90014000 nid=0x8bc waiting for monitor entry [0x00002b8c231cd000]
   java.lang.Thread.State: BLOCKED (on object monitor)
	at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312)
	- waiting to lock <0x0000000440043b78> (a aprove.Strategies.Util.PrioritizableThreadPool)
	at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24)
	at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269)
	at java.lang.Thread.run(Thread.java:748)

"ThreadPoolThread43" #67 daemon prio=6 os_prio=0 tid=0x00002b8c9001e800 nid=0x8a6 waiting for monitor entry [0x00002b8c228c4000]
   java.lang.Thread.State: BLOCKED (on object monitor)
	at java.lang.ClassLoader.loadClass(ClassLoader.java:404)
	- waiting to lock <0x0000000440053a20> (a java.lang.Object)
	at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:335)
	at java.lang.ClassLoader.loadClass(ClassLoader.java:357)
	at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:137)
	at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:268)
	at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:229)
	at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.solve(NegPoloInterpretation.java:201)
	at aprove.DPFramework.DPProblem.Solvers.QDPNegPoloSolver.solveQActive(QDPNegPoloSolver.java:89)
	at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200)
	at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47)
	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)

"ThreadPoolThread42" #66 daemon prio=6 os_prio=0 tid=0x00002b8c9001d800 nid=0x8a5 runnable [0x00002b8c229c5000]
   java.lang.Thread.State: RUNNABLE
	at sun.misc.Unsafe.unpark(Native Method)
	at java.util.concurrent.locks.LockSupport.unpark(LockSupport.java:141)
	at java.util.concurrent.SynchronousQueue$TransferStack$SNode.tryMatch(SynchronousQueue.java:265)
	at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:383)
	at java.util.concurrent.SynchronousQueue.offer(SynchronousQueue.java:913)
	at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1371)
	at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288)
	at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258)
	at java.lang.UNIXProcess$$Lambda$11/1112213719.run(Unknown Source)
	at java.security.AccessController.doPrivileged(Native Method)
	at java.lang.UNIXProcess.<init>(UNIXProcess.java:257)
	at java.lang.ProcessImpl.start(ProcessImpl.java:134)
	at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029)
	at java.lang.Runtime.exec(Runtime.java:620)
	at java.lang.Runtime.exec(Runtime.java:450)
	at java.lang.Runtime.exec(Runtime.java:347)
	at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATExtStartedFileChecker.found(MiniSATExtStartedFileChecker.java:64)
	at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.<init>(MiniSATFileChecker.java:114)
	at aprove.GraphUserInterface.Factories.Solvers.Engines.MINISATEngine.getSATChecker(MINISATEngine.java:54)
	at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:158)
	at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156)
	at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294)
	at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191)
	at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94)
	at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200)
	at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47)
	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)

"ThreadPoolThread41" #65 daemon prio=6 os_prio=0 tid=0x00002b8c9000d000 nid=0x8a4 waiting for monitor entry [0x00002b8c22fc9000]
   java.lang.Thread.State: BLOCKED (on object monitor)
	at java.lang.ClassLoader.loadClass(ClassLoader.java:404)
	- waiting to lock <0x0000000440100ff8> (a java.lang.Object)
	at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:335)
	at java.lang.ClassLoader.loadClass(ClassLoader.java:357)
	at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.FullSharingFactory.times(FullSharingFactory.java:252)
	at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.VarSubstitutionVisitor.caseConcatNode(VarSubstitutionVisitor.java:239)
	at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.ConcatNode.visit(ConcatNode.java:170)
	at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.visit(OrderPoly.java:157)
	at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40)
	at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:63)
	at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.visit(OrderPoly.java:157)
	at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40)
	at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:63)
	at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.visit(OrderPoly.java:157)
	at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40)
	at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:66)
	at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.visit(OrderPoly.java:157)
	at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40)
	at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.FullSharingFactory.substituteVariables(FullSharingFactory.java:421)
	at aprove.DPFramework.Orders.Utility.GPOLO.OrderPolyFactory.substituteVariables(OrderPolyFactory.java:177)
	at aprove.Framework.Algebra.PolyMatrices.PolyMatrixFactory.substituteVariables(PolyMatrixFactory.java:403)
	at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.interpretTerm(AbstractPolyMatrixInterpretation.java:287)
	at aprove.DPFramework.Orders.Utility.PMATRO.ExoticPolyMatrixInterpretation.fromTermConstraints(ExoticPolyMatrixInterpretation.java:275)
	at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.getActiveRuleConstraints(AbstractPolyMatrixInterpretation.java:320)
	at aprove.DPFramework.DPProblem.Solvers.PMatroExoticSolver.solveQActive(PMatroExoticSolver.java:233)
	at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200)
	at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47)
	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)

"ThreadPoolThread40" #64 daemon prio=6 os_prio=0 tid=0x00002b8c90012800 nid=0x8a3 runnable [0x00002b8c216b3000]
   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.<init>(Thread.java:678)
	at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229)
	at java.lang.UNIXProcess$$Lambda$10/751510804.newThread(Unknown Source)
	at java.util.concurrent.ThreadPoolExecutor$Worker.<init>(ThreadPoolExecutor.java:619)
	at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932)
	at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378)
	at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288)
	at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258)
	at java.lang.UNIXProcess$$Lambda$11/1112213719.run(Unknown Source)
	at java.security.AccessController.doPrivileged(Native Method)
	at java.lang.UNIXProcess.<init>(UNIXProcess.java:257)
	at java.lang.ProcessImpl.start(ProcessImpl.java:134)
	at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029)
	at java.lang.Runtime.exec(Runtime.java:620)
	at java.lang.Runtime.exec(Runtime.java:450)
	at java.lang.Runtime.exec(Runtime.java:347)
	at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATExtStartedFileChecker.found(MiniSATExtStartedFileChecker.java:64)
	at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.<init>(MiniSATFileChecker.java:114)
	at aprove.GraphUserInterface.Factories.Solvers.Engines.MINISATEngine.getSATChecker(MINISATEngine.java:54)
	at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:158)
	at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156)
	at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294)
	at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191)
	at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94)
	at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200)
	at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47)
	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)

"ThreadPoolThread39" #63 daemon prio=6 os_prio=0 tid=0x00002b8c9001f800 nid=0x8a2 runnable [0x00002b8c22ac6000]
   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.<init>(Thread.java:678)
	at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229)
	at java.lang.UNIXProcess$$Lambda$10/751510804.newThread(Unknown Source)
	at java.util.concurrent.ThreadPoolExecutor$Worker.<init>(ThreadPoolExecutor.java:619)
	at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932)
	at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378)
	at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288)
	at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258)
	at java.lang.UNIXProcess$$Lambda$11/1112213719.run(Unknown Source)
	at java.security.AccessController.doPrivileged(Native Method)
	at java.lang.UNIXProcess.<init>(UNIXProcess.java:257)
	at java.lang.ProcessImpl.start(ProcessImpl.java:134)
	at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029)
	at java.lang.Runtime.exec(Runtime.java:620)
	at java.lang.Runtime.exec(Runtime.java:450)
	at java.lang.Runtime.exec(Runtime.java:347)
	at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATExtStartedFileChecker.found(MiniSATExtStartedFileChecker.java:64)
	at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.<init>(MiniSATFileChecker.java:114)
	at aprove.GraphUserInterface.Factories.Solvers.Engines.MINISATEngine.getSATChecker(MINISATEngine.java:54)
	at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:158)
	at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156)
	at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294)
	at aprove.DPFramework.Orders.Solvers.POLOSolver.solveWithoutOptimizing(POLOSolver.java:230)
	at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:209)
	at aprove.DPFramework.TRSProblem.Solvers.RRRPoloSolver.solveRRR(RRRPoloSolver.java:53)
	at aprove.DPFramework.TRSProblem.Solvers.RRRPoloSolver.solveRRR(RRRPoloSolver.java:20)
	at aprove.DPFramework.DPProblem.Processors.MRRProcessor.processQDPProblem(MRRProcessor.java:61)
	at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47)
	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)

"ThreadPoolThread35" #59 daemon prio=6 os_prio=0 tid=0x00002b8c9000c000 nid=0x89e runnable [0x00002b8c213b0000]
   java.lang.Thread.State: RUNNABLE
	at sun.misc.Unsafe.unpark(Native Method)
	at java.util.concurrent.locks.LockSupport.unpark(LockSupport.java:141)
	at java.util.concurrent.SynchronousQueue$TransferStack$SNode.tryMatch(SynchronousQueue.java:265)
	at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:383)
	at java.util.concurrent.SynchronousQueue.offer(SynchronousQueue.java:913)
	at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1371)
	at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288)
	at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258)
	at java.lang.UNIXProcess$$Lambda$11/1112213719.run(Unknown Source)
	at java.security.AccessController.doPrivileged(Native Method)
	at java.lang.UNIXProcess.<init>(UNIXProcess.java:257)
	at java.lang.ProcessImpl.start(ProcessImpl.java:134)
	at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029)
	at java.lang.Runtime.exec(Runtime.java:620)
	at java.lang.Runtime.exec(Runtime.java:450)
	at java.lang.Runtime.exec(Runtime.java:347)
	at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATExtStartedFileChecker.found(MiniSATExtStartedFileChecker.java:64)
	at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.<init>(MiniSATFileChecker.java:114)
	at aprove.GraphUserInterface.Factories.Solvers.Engines.MINISATEngine.getSATChecker(MINISATEngine.java:54)
	at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:158)
	at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156)
	at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294)
	at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191)
	at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94)
	at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200)
	at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47)
	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)

"ThreadPoolThread34" #58 daemon prio=6 os_prio=0 tid=0x00002b8c90018000 nid=0x89d waiting on condition [0x00002b8c22bc6000]
   java.lang.Thread.State: RUNNABLE
	at java.lang.ClassLoader.defineClass1(Native Method)
	at java.lang.ClassLoader.defineClass(ClassLoader.java:763)
	at java.security.SecureClassLoader.defineClass(SecureClassLoader.java:142)
	at java.net.URLClassLoader.defineClass(URLClassLoader.java:467)
	at java.net.URLClassLoader.access$100(URLClassLoader.java:73)
	at java.net.URLClassLoader$1.run(URLClassLoader.java:368)
	at java.net.URLClassLoader$1.run(URLClassLoader.java:362)
	at java.security.AccessController.doPrivileged(Native Method)
	at java.net.URLClassLoader.findClass(URLClassLoader.java:361)
	at java.lang.ClassLoader.loadClass(ClassLoader.java:424)
	- locked <0x0000000440100ff8> (a java.lang.Object)
	at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:335)
	at java.lang.ClassLoader.loadClass(ClassLoader.java:357)
	at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.FullSharingFactory.times(FullSharingFactory.java:252)
	at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.VarSubstitutionVisitor.caseConcatNode(VarSubstitutionVisitor.java:239)
	at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.ConcatNode.visit(ConcatNode.java:170)
	at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.visit(OrderPoly.java:157)
	at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40)
	at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:63)
	at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.visit(OrderPoly.java:157)
	at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40)
	at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:63)
	at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.visit(OrderPoly.java:157)
	at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40)
	at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:66)
	at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.visit(OrderPoly.java:157)
	at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40)
	at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.FullSharingFactory.substituteVariables(FullSharingFactory.java:421)
	at aprove.DPFramework.Orders.Utility.GPOLO.OrderPolyFactory.substituteVariables(OrderPolyFactory.java:177)
	at aprove.Framework.Algebra.PolyMatrices.PolyMatrixFactory.substituteVariables(PolyMatrixFactory.java:403)
	at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.interpretTerm(AbstractPolyMatrixInterpretation.java:287)
	at aprove.DPFramework.Orders.Utility.PMATRO.ExoticPolyMatrixInterpretation.fromTermConstraints(ExoticPolyMatrixInterpretation.java:275)
	at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.getActiveRuleConstraints(AbstractPolyMatrixInterpretation.java:320)
	at aprove.DPFramework.DPProblem.Solvers.PMatroExoticSolver.solveQActive(PMatroExoticSolver.java:233)
	at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200)
	at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47)
	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)

"ThreadPoolThread33" #57 daemon prio=6 os_prio=0 tid=0x00002b8c90016000 nid=0x89c runnable [0x00002b8c226c1000]
   java.lang.Thread.State: RUNNABLE
	at java.lang.ClassLoader.defineClass1(Native Method)
	at java.lang.ClassLoader.defineClass(ClassLoader.java:763)
	at java.security.SecureClassLoader.defineClass(SecureClassLoader.java:142)
	at java.net.URLClassLoader.defineClass(URLClassLoader.java:467)
	at java.net.URLClassLoader.access$100(URLClassLoader.java:73)
	at java.net.URLClassLoader$1.run(URLClassLoader.java:368)
	at java.net.URLClassLoader$1.run(URLClassLoader.java:362)
	at java.security.AccessController.doPrivileged(Native Method)
	at java.net.URLClassLoader.findClass(URLClassLoader.java:361)
	at java.lang.ClassLoader.loadClass(ClassLoader.java:424)
	- locked <0x0000000440053a20> (a java.lang.Object)
	at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:335)
	at java.lang.ClassLoader.loadClass(ClassLoader.java:357)
	at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:137)
	at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:161)
	at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156)
	at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294)
	at aprove.DPFramework.Orders.Solvers.POLOSolver.solveWithoutOptimizing(POLOSolver.java:230)
	at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:209)
	at aprove.DPFramework.TRSProblem.Solvers.RRRPoloSolver.solveRRR(RRRPoloSolver.java:53)
	at aprove.DPFramework.TRSProblem.Solvers.RRRPoloSolver.solveRRR(RRRPoloSolver.java:20)
	at aprove.DPFramework.DPProblem.Processors.MRRProcessor.processQDPProblem(MRRProcessor.java:61)
	at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47)
	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)

"ThreadPoolThread32" #56 daemon prio=6 os_prio=0 tid=0x00002b8c90019800 nid=0x89b waiting for monitor entry [0x00002b8c219b6000]
   java.lang.Thread.State: BLOCKED (on object monitor)
	at java.lang.ClassLoader.loadClass(ClassLoader.java:404)
	- waiting to lock <0x0000000440053a20> (a java.lang.Object)
	at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:335)
	at java.lang.ClassLoader.loadClass(ClassLoader.java:357)
	at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:137)
	at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:268)
	at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:229)
	at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.solve(NegPoloInterpretation.java:201)
	at aprove.DPFramework.DPProblem.Solvers.QDPNegPoloSolver.solveQActive(QDPNegPoloSolver.java:89)
	at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200)
	at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47)
	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)

"ThreadPoolThread30" #54 daemon prio=6 os_prio=0 tid=0x00002b8c90010800 nid=0x899 runnable [0x00002b8c217b4000]
   java.lang.Thread.State: RUNNABLE
	at sun.misc.Unsafe.unpark(Native Method)
	at java.util.concurrent.locks.LockSupport.unpark(LockSupport.java:141)
	at java.util.concurrent.SynchronousQueue$TransferStack$SNode.tryMatch(SynchronousQueue.java:265)
	at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:383)
	at java.util.concurrent.SynchronousQueue.offer(SynchronousQueue.java:913)
	at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1371)
	at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288)
	at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258)
	at java.lang.UNIXProcess$$Lambda$11/1112213719.run(Unknown Source)
	at java.security.AccessController.doPrivileged(Native Method)
	at java.lang.UNIXProcess.<init>(UNIXProcess.java:257)
	at java.lang.ProcessImpl.start(ProcessImpl.java:134)
	at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029)
	at java.lang.Runtime.exec(Runtime.java:620)
	at java.lang.Runtime.exec(Runtime.java:450)
	at java.lang.Runtime.exec(Runtime.java:347)
	at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATExtStartedFileChecker.found(MiniSATExtStartedFileChecker.java:64)
	at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.<init>(MiniSATFileChecker.java:114)
	at aprove.GraphUserInterface.Factories.Solvers.Engines.MINISATEngine.getSATChecker(MINISATEngine.java:54)
	at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:158)
	at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156)
	at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294)
	at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191)
	at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94)
	at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200)
	at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47)
	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" #36 daemon prio=10 os_prio=0 tid=0x00002b8cac001000 nid=0x889 waiting on condition [0x00002b8c03fe3000]
   java.lang.Thread.State: TIMED_WAITING (parking)
	at sun.misc.Unsafe.park(Native Method)
	- parking to wait for  <0x0000000440044240> (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" #34 daemon prio=10 os_prio=0 tid=0x00002b8ca8008800 nid=0x885 waiting on condition [0x00002b8c03faa000]
   java.lang.Thread.State: TIMED_WAITING (parking)
	at sun.misc.Unsafe.park(Native Method)
	- parking to wait for  <0x0000000440044240> (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" #35 daemon prio=10 os_prio=0 tid=0x00002b8c7c015800 nid=0x884 waiting on condition [0x00002b8c03f71000]
   java.lang.Thread.State: TIMED_WAITING (parking)
	at sun.misc.Unsafe.park(Native Method)
	- parking to wait for  <0x0000000440044240> (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" #33 daemon prio=10 os_prio=0 tid=0x00002b8c94007000 nid=0x882 waiting on condition [0x00002b8c03f38000]
   java.lang.Thread.State: TIMED_WAITING (parking)
	at sun.misc.Unsafe.park(Native Method)
	- parking to wait for  <0x0000000440044240> (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)

"ThreadPoolThread17" #29 daemon prio=6 os_prio=0 tid=0x00002b8c9001b800 nid=0x87b runnable [0x00002b8c22ec9000]
   java.lang.Thread.State: RUNNABLE
	at immutables.Immutable.ImmutableIterator.hasNext(Unknown Source)
	at aprove.DPFramework.BasicStructures.Matchbounds.TRSBoundsTA.solveStateSubstitutions(TRSBoundsTA.java:300)
	at aprove.DPFramework.BasicStructures.Matchbounds.TRSBoundsTA.solveStateSubstitutions(TRSBoundsTA.java:332)
	at aprove.DPFramework.BasicStructures.Matchbounds.TRSBoundsTA.solveStateSubstitutions(TRSBoundsTA.java:304)
	at aprove.DPFramework.BasicStructures.Matchbounds.TRSBoundsTA.solveStateSubstitutions(TRSBoundsTA.java:332)
	at aprove.DPFramework.BasicStructures.Matchbounds.TRSBoundsTA.solveStateSubstitutions(TRSBoundsTA.java:304)
	at aprove.DPFramework.BasicStructures.Matchbounds.TRSBoundsTA.solveStateSubstitutions(TRSBoundsTA.java:332)
	at aprove.DPFramework.BasicStructures.Matchbounds.TRSBoundsTA.solveStateSubstitutions(TRSBoundsTA.java:304)
	at aprove.DPFramework.BasicStructures.Matchbounds.TRSBoundsTA.createStateSubstitutions(TRSBoundsTA.java:256)
	at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.collectAllCompatibleConflicts(TRSBounds.java:1666)
	at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.createCompatibleTA(TRSBounds.java:693)
	at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.getCertificate(TRSBounds.java:517)
	at aprove.DPFramework.TRSProblem.Processors.QTRSRoofMatchBoundsTAProcessor.processQTRS(QTRSRoofMatchBoundsTAProcessor.java:90)
	at aprove.DPFramework.TRSProblem.Processors.QTRSProcessor.process(QTRSProcessor.java:34)
	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)

"ThreadPoolThread10" #22 daemon prio=6 os_prio=0 tid=0x00002b8c9000e000 nid=0x874 runnable [0x00002b8c225c2000]
   java.lang.Thread.State: RUNNABLE
	at immutables.Immutable.ImmutableIterator.hasNext(Unknown Source)
	at aprove.Framework.TreeAutomaton.TreeAutomaton.getReversedEpsTransitions(TreeAutomaton.java:90)
	at aprove.DPFramework.BasicStructures.Matchbounds.TRSBoundsTA.createStateSubstitutions(TRSBoundsTA.java:253)
	at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.collectAllCompatibleConflicts(TRSBounds.java:1666)
	at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.createCompatibleTA(TRSBounds.java:693)
	at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.getCertificate(TRSBounds.java:517)
	at aprove.DPFramework.TRSProblem.Processors.QTRSRoofMatchBoundsTAProcessor.processQTRS(QTRSRoofMatchBoundsTAProcessor.java:90)
	at aprove.DPFramework.TRSProblem.Processors.QTRSProcessor.process(QTRSProcessor.java:34)
	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)

"TimeRefresherThread" #19 daemon prio=6 os_prio=0 tid=0x00002b8c9000b000 nid=0x871 sleeping[0x00002b8c21ab9000]
   java.lang.Thread.State: TIMED_WAITING (sleeping)
	at java.lang.Thread.sleep(Native Method)
	at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.run(TimeRefresher.java:55)

"DefaultMachine" #18 daemon prio=6 os_prio=0 tid=0x00002b8c04818800 nid=0x870 runnable [0x00002b8c218b6000]
   java.lang.Thread.State: RUNNABLE
	at aprove.Strategies.Util.PrioritizableThreadPool.executeNow(PrioritizableThreadPool.java:196)
	at aprove.Strategies.Util.ThreadingPolicy$HighPolicy.schedule(ThreadingPolicy.java:26)
	at aprove.Strategies.Util.ThreadingPolicy$DefaultPolicy.schedule(ThreadingPolicy.java:41)
	at aprove.Strategies.ExecutableStrategies.Executor.start(Executor.java:114)
	at aprove.Strategies.ExecutableStrategies.ExecProcessorStrategy.exec(ExecProcessorStrategy.java:55)
	at aprove.Strategies.ExecutableStrategies.ExecSimple.exec(ExecSimple.java:40)
	at aprove.Strategies.ExecutableStrategies.ExecFirst.exec(ExecFirst.java:71)
	at aprove.Strategies.ExecutableStrategies.ExecRepeat.exec(ExecRepeat.java:47)
	at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82)
	at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62)
	at aprove.Strategies.ExecutableStrategies.ExecFirst.exec(ExecFirst.java:71)
	at aprove.Strategies.ExecutableStrategies.ExecRepeat.exec(ExecRepeat.java:47)
	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=0x00002b8c0427c800 nid=0x86a runnable [0x00002b8c215b3000]
   java.lang.Thread.State: RUNNABLE
	at immutables.Immutable.ImmutableIterator.hasNext(Unknown Source)
	at immutables.Immutable.ImmutableListIterator.hasNext(Unknown Source)
	at java.util.AbstractList.equals(AbstractList.java:520)
	at immutables.Immutable.ImmutableArrayList.equals(Unknown Source)
	at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.StringPattern.equals(StringPattern.java:68)
	at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.OverlapClosure.equals(OverlapClosure.java:103)
	at java.util.HashMap.getNode(HashMap.java:578)
	at java.util.HashMap.containsKey(HashMap.java:595)
	at java.util.HashSet.contains(HashSet.java:203)
	at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.NonLoopFinder.testAndInsert(NonLoopFinder.java:181)
	at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.NonLoopFinder.findNonLoop(NonLoopFinder.java:143)
	at aprove.DPFramework.TRSProblem.Processors.SRSNonLoopProcessor.processQTRS(SRSNonLoopProcessor.java:69)
	at aprove.DPFramework.TRSProblem.Processors.QTRSProcessor.process(QTRSProcessor.java:34)
	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)

"ThreadPoolThread1" #11 daemon prio=5 os_prio=0 tid=0x00002b8c0426e800 nid=0x869 runnable [0x00002b8c214b2000]
   java.lang.Thread.State: RUNNABLE
	at java.util.AbstractList.hashCode(AbstractList.java:539)
	at immutables.Immutable.ImmutableArrayList.hashCode(Unknown Source)
	at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.StringPattern.newHashCode(StringPattern.java:109)
	at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.StringPattern.<init>(StringPattern.java:39)
	at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.WordPattern.lift(WordPattern.java:109)
	at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.DerivationPattern.lift(DerivationPattern.java:111)
	at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.NonLoopFinder.findNonLoop(NonLoopFinder.java:113)
	at aprove.DPFramework.TRSProblem.Processors.SRSNonLoopProcessor.processQTRS(SRSNonLoopProcessor.java:69)
	at aprove.DPFramework.TRSProblem.Processors.QTRSProcessor.process(QTRSProcessor.java:34)
	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=0x00002b8c041a1800 nid=0x866 runnable [0x0000000000000000]
   java.lang.Thread.State: RUNNABLE

"C1 CompilerThread2" #7 daemon prio=9 os_prio=0 tid=0x00002b8c04184000 nid=0x865 runnable [0x0000000000000000]
   java.lang.Thread.State: RUNNABLE

"C2 CompilerThread1" #6 daemon prio=9 os_prio=0 tid=0x00002b8c04182000 nid=0x864 runnable [0x0000000000000000]
   java.lang.Thread.State: RUNNABLE

"C2 CompilerThread0" #5 daemon prio=9 os_prio=0 tid=0x00002b8c0417f800 nid=0x863 runnable [0x0000000000000000]
   java.lang.Thread.State: RUNNABLE

"Signal Dispatcher" #4 daemon prio=9 os_prio=0 tid=0x00002b8c0417e000 nid=0x862 waiting on condition [0x0000000000000000]
   java.lang.Thread.State: RUNNABLE

"Finalizer" #3 daemon prio=8 os_prio=0 tid=0x00002b8c0414a000 nid=0x861 in Object.wait() [0x00002b8c20b09000]
   java.lang.Thread.State: WAITING (on object monitor)
	at java.lang.Object.wait(Native Method)
	- waiting on <0x0000000440eb9c80> (a java.lang.ref.ReferenceQueue$Lock)
	at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:143)
	- locked <0x0000000440eb9c80> (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=0x00002b8c04145800 nid=0x860 in Object.wait() [0x00002b8c20a08000]
   java.lang.Thread.State: WAITING (on object monitor)
	at java.lang.Object.wait(Native Method)
	- waiting on <0x0000000440eb9ea0> (a java.lang.ref.Reference$Lock)
	at java.lang.Object.wait(Object.java:502)
	at java.lang.ref.Reference.tryHandlePending(Reference.java:191)
	- locked <0x0000000440eb9ea0> (a java.lang.ref.Reference$Lock)
	at java.lang.ref.Reference$ReferenceHandler.run(Reference.java:153)

"main" #1 prio=5 os_prio=0 tid=0x00002b8c04008800 nid=0x859 in Object.wait() [0x00002b8c001b1000]
   java.lang.Thread.State: WAITING (on object monitor)
	at java.lang.Object.wait(Native Method)
	- waiting on <0x0000000440054b40> (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 <0x0000000440054b40> (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=0x00002b8c0413e000 nid=0x85f runnable 

"GC task thread#0 (ParallelGC)" os_prio=0 tid=0x00002b8c0401e000 nid=0x85b runnable 

"GC task thread#1 (ParallelGC)" os_prio=0 tid=0x00002b8c0401f800 nid=0x85c runnable 

"GC task thread#2 (ParallelGC)" os_prio=0 tid=0x00002b8c04021800 nid=0x85d runnable 

"GC task thread#3 (ParallelGC)" os_prio=0 tid=0x00002b8c04023800 nid=0x85e runnable 

"VM Periodic Task Thread" os_prio=0 tid=0x00002b8c041ac000 nid=0x867 waiting on condition 

JNI global references: 313

Heap
 PSYoungGen      total 4281856K, used 609897K [0x0000000695580000, 0x00000007c0000000, 0x00000007c0000000)
  eden space 3670528K, 16% used [0x0000000695580000,0x00000006ba91a560,0x0000000775600000)
  from space 611328K, 0% used [0x000000079ab00000,0x000000079ab00000,0x00000007c0000000)
  to   space 611328K, 0% used [0x0000000775600000,0x0000000775600000,0x000000079ab00000)
 ParOldGen       total 9786880K, used 27771K [0x0000000440000000, 0x0000000695580000, 0x0000000695580000)
  object space 9786880K, 0% used [0x0000000440000000,0x0000000441b1ef30,0x0000000695580000)
 Metaspace       used 20898K, capacity 21134K, committed 21504K, reserved 1069056K
  class space    used 2431K, capacity 2499K, committed 2560K, reserved 1048576K