2020-06-22 04:55:10
Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode):

"process reaper" #94 daemon prio=10 os_prio=0 tid=0x00002b19a0001000 nid=0x2191 runnable [0x0000000000000000]
   java.lang.Thread.State: RUNNABLE

"ThreadPoolThread71" #98 daemon prio=6 os_prio=0 tid=0x00002b1958044000 nid=0x218e runnable [0x0000000000000000]
   java.lang.Thread.State: TERMINATED

"process reaper" #96 daemon prio=10 os_prio=0 tid=0x00002b1990001800 nid=0x2184 waiting on condition [0x00002b1903dd6000]
   java.lang.Thread.State: TIMED_WAITING (parking)
	at sun.misc.Unsafe.park(Native Method)
	- parking to wait for  <0x00000004404503d8> (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" #97 daemon prio=10 os_prio=0 tid=0x00002b19bc009000 nid=0x2182 waiting on condition [0x00002b1903d9d000]
   java.lang.Thread.State: TIMED_WAITING (parking)
	at sun.misc.Unsafe.park(Native Method)
	- parking to wait for  <0x00000004404503d8> (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" #95 daemon prio=10 os_prio=0 tid=0x00002b199c001800 nid=0x217e waiting on condition [0x00002b1903d64000]
   java.lang.Thread.State: TIMED_WAITING (parking)
	at sun.misc.Unsafe.park(Native Method)
	- parking to wait for  <0x00000004404503d8> (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" #93 daemon prio=10 os_prio=0 tid=0x00002b19a800e000 nid=0x217a waiting on condition [0x00002b18e4be3000]
   java.lang.Thread.State: TIMED_WAITING (parking)
	at sun.misc.Unsafe.park(Native Method)
	- parking to wait for  <0x00000004404503d8> (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)

"ThreadPoolThread70" #92 daemon prio=6 os_prio=0 tid=0x00002b1958042000 nid=0x2178 runnable [0x0000000000000000]
   java.lang.Thread.State: TERMINATED

"ThreadPoolThread69" #91 daemon prio=6 os_prio=0 tid=0x00002b1958040000 nid=0x2177 runnable [0x00002b1903c29000]
   java.lang.Thread.State: RUNNABLE
	at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.buildPlusCircuit(ArithmeticCircuitFactory.java:793)
	at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.buildTimesCircuit(ArithmeticCircuitFactory.java:536)
	at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.buildTimesCircuit(ArithmeticCircuitFactory.java:122)
	at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertPower(PlainSPCToCircuitConverter.java:629)
	at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertExponents(PlainSPCToCircuitConverter.java:519)
	at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertExponents(PlainSPCToCircuitConverter.java:518)
	at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convertIndefinitePart(AbstractSPCToCircuitConverter.java:394)
	at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertMonomial(PlainSPCToCircuitConverter.java:385)
	at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertPolyMap(PlainSPCToCircuitConverter.java:258)
	at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convertPolynomial(AbstractSPCToCircuitConverter.java:384)
	at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertConstraint(PlainSPCToCircuitConverter.java:82)
	at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convert(AbstractSPCToCircuitConverter.java:284)
	at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:129)
	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)

"ThreadPoolThread68" #90 daemon prio=6 os_prio=0 tid=0x00002b195803e000 nid=0x2175 runnable [0x00002b1903b28000]
   java.lang.Thread.State: RUNNABLE
	at java.math.BigInteger.shiftLeft(BigInteger.java:3109)
	at java.math.BigInteger.multiplyByInt(BigInteger.java:1519)
	at java.math.BigInteger.multiply(BigInteger.java:1499)
	at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.buildTimesCircuit(ArithmeticCircuitFactory.java:124)
	at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertExponents(PlainSPCToCircuitConverter.java:521)
	at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convertIndefinitePart(AbstractSPCToCircuitConverter.java:394)
	at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertMonomial(PlainSPCToCircuitConverter.java:385)
	at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertPolyMap(PlainSPCToCircuitConverter.java:155)
	at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convertPolynomial(AbstractSPCToCircuitConverter.java:384)
	at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertConstraint(PlainSPCToCircuitConverter.java:81)
	at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convertDiophantine(AbstractSPCToCircuitConverter.java:152)
	at aprove.Framework.Algebra.Polynomials.SatSearch.DiophantineToSATVisitor.outTheoryAtom(DiophantineToSATVisitor.java:77)
	at aprove.Framework.Algebra.Polynomials.SatSearch.DiophantineToSATVisitor.outTheoryAtom(DiophantineToSATVisitor.java:9)
	at aprove.Framework.PropositionalLogic.Formulae.TheoryAtom.apply(TheoryAtom.java:78)
	at aprove.Framework.PropositionalLogic.Formulae.AndFormula.apply(AndFormula.java:56)
	at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convert(AbstractSPCToCircuitConverter.java:188)
	at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convert(AbstractSPCToCircuitConverter.java:174)
	at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:255)
	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)

"ThreadPoolThread67" #89 daemon prio=6 os_prio=0 tid=0x00002b195803c000 nid=0x2173 runnable [0x00002b1903a27000]
   java.lang.Thread.State: RUNNABLE
	at aprove.Framework.Algebra.GeneralPolynomials.GMonomial.equals(GMonomial.java:209)
	at aprove.Framework.Algebra.GeneralPolynomials.Rings.SimpleGPolyFlatRing.times(SimpleGPolyFlatRing.java:156)
	at aprove.Framework.Algebra.GeneralPolynomials.Rings.SimpleGPolyFlatRing.times(SimpleGPolyFlatRing.java:32)
	at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.FlatteningVisitor.caseTimesNode(FlatteningVisitor.java:206)
	at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.FlatteningVisitor.caseTimesNode(FlatteningVisitor.java:28)
	at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.TimesNode.visit(TimesNode.java:71)
	at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40)
	at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:66)
	at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40)
	at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:66)
	at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40)
	at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.TimesNode.visit(TimesNode.java:69)
	at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40)
	at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:63)
	at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40)
	at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:63)
	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.DPFramework.Orders.Utility.PMATRO.ExoticPolyMatrixInterpretation.transformConstraint(ExoticPolyMatrixInterpretation.java:366)
	at aprove.DPFramework.Orders.Utility.PMATRO.ExoticPolyMatrixInterpretation.fromTermConstraints(ExoticPolyMatrixInterpretation.java:319)
	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)

"ThreadPoolThread66" #88 daemon prio=6 os_prio=0 tid=0x00002b195803b800 nid=0x2171 runnable [0x0000000000000000]
   java.lang.Thread.State: TERMINATED

"ThreadPoolThread65" #87 daemon prio=6 os_prio=0 tid=0x00002b1958022000 nid=0x216a runnable [0x0000000000000000]
   java.lang.Thread.State: TERMINATED

"ThreadPoolThread64" #86 daemon prio=6 os_prio=0 tid=0x00002b1958020800 nid=0x2169 runnable [0x00002b1901f0f000]
   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/1815687134.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)

"ThreadPoolThread63" #85 daemon prio=6 os_prio=0 tid=0x00002b195801f800 nid=0x2165 runnable [0x0000000000000000]
   java.lang.Thread.State: TERMINATED

"ThreadPoolThread62" #84 daemon prio=6 os_prio=0 tid=0x00002b195801e800 nid=0x215d runnable [0x00002b1902817000]
   java.lang.Thread.State: RUNNABLE
	at java.lang.UNIXProcess.forkAndExec(Native Method)
	at java.lang.UNIXProcess.<init>(UNIXProcess.java:247)
	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)

"ThreadPoolThread61" #83 daemon prio=6 os_prio=0 tid=0x00002b195801d800 nid=0x215c runnable [0x00002b1902311000]
   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 <0x00000006d5cd8a48> (a java.lang.Object)
	at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:335)
	at java.lang.ClassLoader.loadClass(ClassLoader.java:357)
	at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor.processQDPProblem(NonTerminationProcessor.java:106)
	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)

"ThreadPoolThread60" #82 daemon prio=6 os_prio=0 tid=0x00002b195801c800 nid=0x215b runnable [0x0000000000000000]
   java.lang.Thread.State: TERMINATED

"ThreadPoolThread59" #81 daemon prio=6 os_prio=0 tid=0x00002b1958018800 nid=0x215a runnable [0x0000000000000000]
   java.lang.Thread.State: TERMINATED

"ThreadPoolThread58" #80 daemon prio=6 os_prio=0 tid=0x00002b1958025800 nid=0x2159 waiting for monitor entry [0x00002b1900cff000]
   java.lang.Thread.State: BLOCKED (on object monitor)
	at java.lang.ClassLoader.loadClass(ClassLoader.java:404)
	- waiting to lock <0x00000006d5cd8a48> (a java.lang.Object)
	at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:335)
	at java.lang.ClassLoader.loadClass(ClassLoader.java:357)
	at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor.processQDPProblem(NonTerminationProcessor.java:106)
	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)

"ThreadPoolThread57" #79 daemon prio=6 os_prio=0 tid=0x00002b1958039000 nid=0x2158 runnable [0x0000000000000000]
   java.lang.Thread.State: TERMINATED

"ThreadPoolThread56" #78 daemon prio=6 os_prio=0 tid=0x00002b195801a800 nid=0x2157 runnable [0x00002b1902a19000]
   java.lang.Thread.State: RUNNABLE
	at java.lang.Object.hashCode(Native Method)
	at java.util.HashMap.hash(HashMap.java:338)
	at java.util.HashMap.put(HashMap.java:611)
	at java.util.HashSet.add(HashSet.java:219)
	at aprove.Framework.PropositionalLogic.Formulae.NonCountingCircuitFactory.buildAnd(NonCountingCircuitFactory.java:69)
	at aprove.Framework.PropositionalLogic.Formulae.AbstractFormulaFactory.buildAnd(AbstractFormulaFactory.java:65)
	at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.buildGTCircuit(ArithmeticCircuitFactory.java:960)
	at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.buildGECircuit(ArithmeticCircuitFactory.java:1226)
	at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertConstraint(PlainSPCToCircuitConverter.java:104)
	at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convert(AbstractSPCToCircuitConverter.java:299)
	at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:129)
	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)

"ThreadPoolThread52" #74 daemon prio=6 os_prio=0 tid=0x00002b1958012800 nid=0x2153 runnable [0x00002b1901001000]
   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/1178639874.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/1815687134.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:264)
	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)

"ThreadPoolThread51" #73 daemon prio=6 os_prio=0 tid=0x00002b1958014800 nid=0x2152 runnable [0x0000000000000000]
   java.lang.Thread.State: TERMINATED

"ThreadPoolThread49" #71 daemon prio=6 os_prio=0 tid=0x00002b1958037000 nid=0x2150 runnable [0x00002b1903625000]
   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 <0x000000069e7ecbb0> (a java.lang.UNIXProcess$ProcessPipeInputStream)
	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 <0x000000069e7f1240> (a java.io.InputStreamReader)
	at java.io.InputStreamReader.read(InputStreamReader.java:184)
	at java.io.BufferedReader.fill(BufferedReader.java:161)
	at java.io.BufferedReader.readLine(BufferedReader.java:324)
	- locked <0x000000069e7f1240> (a java.io.InputStreamReader)
	at java.io.BufferedReader.readLine(BufferedReader.java:389)
	at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:304)
	at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:206)
	at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:153)
	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)

"ThreadPoolThread48" #70 daemon prio=6 os_prio=0 tid=0x00002b1958035000 nid=0x214f runnable [0x00002b1903523000]
   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/1178639874.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/1815687134.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:485)
	at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:268)
	at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:206)
	at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:153)
	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.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)

"ThreadPoolThread47" #69 daemon prio=6 os_prio=0 tid=0x00002b1958033000 nid=0x214e runnable [0x00002b1903422000]
   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/1178639874.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/1815687134.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.DPFramework.DPProblem.Solvers.PMatroExoticSolver.solveQActive(PMatroExoticSolver.java:330)
	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)

"ThreadPoolThread46" #68 daemon prio=6 os_prio=0 tid=0x00002b1958031000 nid=0x214d runnable [0x00002b1903321000]
   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/1178639874.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/1815687134.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)

"ThreadPoolThread45" #67 daemon prio=6 os_prio=0 tid=0x00002b195802f000 nid=0x214c runnable [0x00002b1903221000]
   java.lang.Thread.State: RUNNABLE
	at java.lang.Object.hashCode(Native Method)
	at aprove.Framework.Utility.GenericStructures.Pair.hashCode(Pair.java:89)
	at java.util.HashMap.hash(HashMap.java:338)
	at java.util.HashMap.containsKey(HashMap.java:595)
	at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.GPoly$GPolySkeleton.isFlat(GPoly.java:412)
	at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.FlatteningVisitor.caseConcatNode(FlatteningVisitor.java:95)
	at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.FlatteningVisitor.caseConcatNode(FlatteningVisitor.java:28)
	at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.ConcatNode.visit(ConcatNode.java:170)
	at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40)
	at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.TimesNode.visit(TimesNode.java:66)
	at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40)
	at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:63)
	at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40)
	at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:63)
	at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40)
	at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:66)
	at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40)
	at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.TimesNode.visit(TimesNode.java:69)
	at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40)
	at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:66)
	at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40)
	at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:63)
	at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40)
	at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:66)
	at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40)
	at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.TimesNode.visit(TimesNode.java:69)
	at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40)
	at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:66)
	at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40)
	at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:63)
	at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40)
	at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:66)
	at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40)
	at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.TimesNode.visit(TimesNode.java:69)
	at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40)
	at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:63)
	at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40)
	at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:63)
	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.DPFramework.Orders.Utility.PMATRO.ExoticPolyMatrixInterpretation.transformConstraint(ExoticPolyMatrixInterpretation.java:366)
	at aprove.DPFramework.Orders.Utility.PMATRO.ExoticPolyMatrixInterpretation.fromTermConstraints(ExoticPolyMatrixInterpretation.java:330)
	at aprove.DPFramework.DPProblem.Solvers.PMatroExoticSolver.solveQActive(PMatroExoticSolver.java:235)
	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)

"ThreadPoolThread44" #66 daemon prio=6 os_prio=0 tid=0x00002b195802d000 nid=0x214b runnable [0x00002b190311f000]
   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/1815687134.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:485)
	at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:268)
	at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:206)
	at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:153)
	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)

"ThreadPoolThread43" #65 daemon prio=6 os_prio=0 tid=0x00002b195802b000 nid=0x214a runnable [0x0000000000000000]
   java.lang.Thread.State: TERMINATED

"ThreadPoolThread42" #64 daemon prio=6 os_prio=0 tid=0x00002b1958029000 nid=0x2149 runnable [0x00002b1902f1e000]
   java.lang.Thread.State: RUNNABLE
	at java.lang.UNIXProcess.forkAndExec(Native Method)
	at java.lang.UNIXProcess.<init>(UNIXProcess.java:247)
	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:485)
	at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:268)
	at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:206)
	at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:153)
	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.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" #63 daemon prio=6 os_prio=0 tid=0x00002b1958027800 nid=0x2148 runnable [0x00002b1902e1d000]
   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 <0x000000069c3dabd0> (a java.lang.UNIXProcess$ProcessPipeInputStream)
	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 <0x000000069c3df260> (a java.io.InputStreamReader)
	at java.io.InputStreamReader.read(InputStreamReader.java:184)
	at java.io.BufferedReader.fill(BufferedReader.java:161)
	at java.io.BufferedReader.readLine(BufferedReader.java:324)
	- locked <0x000000069c3df260> (a java.io.InputStreamReader)
	at java.io.BufferedReader.readLine(BufferedReader.java:389)
	at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:304)
	at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:206)
	at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:153)
	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.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" #61 daemon prio=6 os_prio=0 tid=0x00002b1958024800 nid=0x2146 runnable [0x00002b1902413000]
   java.lang.Thread.State: RUNNABLE
	at java.lang.Integer.stringSize(Integer.java:472)
	at java.lang.AbstractStringBuilder.append(AbstractStringBuilder.java:671)
	at java.lang.StringBuilder.append(StringBuilder.java:208)
	at org.sat4j.tools.ExtendedDimacsArrayToDimacsConverter.processClause(Unknown Source)
	at org.sat4j.tools.ExtendedDimacsArrayToDimacsConverter.and(Unknown Source)
	at org.sat4j.tools.ExtendedDimacsArrayToDimacsConverter.handleConstr(Unknown Source)
	at org.sat4j.tools.DimacsArrayToDimacsConverter.parseInstance(Unknown Source)
	at aprove.Framework.PropositionalLogic.FormulaToDimacsConverter.convert(FormulaToDimacsConverter.java:117)
	at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:137)
	at aprove.DPFramework.DPProblem.Solvers.PMatroExoticSolver.solveQActive(PMatroExoticSolver.java:333)
	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)

"ThreadPoolThread38" #60 daemon prio=6 os_prio=0 tid=0x00002b1958023800 nid=0x2145 runnable [0x00002b1902614000]
   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/1178639874.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/1815687134.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:485)
	at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:268)
	at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:206)
	at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:153)
	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.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" #32 daemon prio=10 os_prio=0 tid=0x00002b1950013800 nid=0x2128 runnable [0x00002b18c7fef000]
   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/899973523.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" #31 daemon prio=10 os_prio=0 tid=0x00002b194c02a800 nid=0x2125 runnable [0x00002b18c7fb6000]
   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/899973523.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)

"ThreadPoolThread16" #28 daemon prio=6 os_prio=0 tid=0x00002b1958016800 nid=0x2120 runnable [0x00002b1901103000]
   java.lang.Thread.State: RUNNABLE
	at java.lang.Integer.hashCode(Integer.java:947)
	at aprove.Framework.Utility.GenericStructures.Pair.hashCode(Pair.java:90)
	at java.util.HashMap.hash(HashMap.java:338)
	at java.util.HashMap.containsKey(HashMap.java:595)
	at java.util.HashSet.contains(HashSet.java:203)
	at java.util.AbstractCollection.containsAll(AbstractCollection.java:318)
	at java.util.AbstractSet.equals(AbstractSet.java:95)
	at java.util.HashMap.putVal(HashMap.java:634)
	at java.util.HashMap.put(HashMap.java:611)
	at java.util.HashSet.add(HashSet.java:219)
	at java.util.AbstractCollection.addAll(AbstractCollection.java:344)
	at aprove.DPFramework.BasicStructures.Matchbounds.TRSBoundsTA.solveStateSubstitutions(TRSBoundsTA.java:309)
	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)

"ThreadPoolThread12" #24 daemon prio=6 os_prio=0 tid=0x00002b1958010000 nid=0x211c runnable [0x0000000000000000]
   java.lang.Thread.State: TERMINATED

"ThreadPoolThread9" #21 daemon prio=6 os_prio=0 tid=0x00002b1958011000 nid=0x2119 runnable [0x00002b1901406000]
   java.lang.Thread.State: RUNNABLE
	at java.util.LinkedHashMap.clear(LinkedHashMap.java:463)
	at java.util.HashSet.clear(HashSet.java:243)
	at aprove.Framework.TreeAutomaton.TreeAutomaton.epsTransClosure(TreeAutomaton.java:464)
	at aprove.DPFramework.BasicStructures.Matchbounds.TRSBoundsTA.solveStateSubstitutions(TRSBoundsTA.java:288)
	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)

"TimeRefresherThread" #19 daemon prio=6 os_prio=0 tid=0x00002b195800f000 nid=0x2117 runnable [0x00002b1901205000]
   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 <0x0000000440159320> (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=0x00002b18c8940000 nid=0x2116 waiting on condition [0x00002b1901306000]
   java.lang.Thread.State: WAITING (parking)
	at sun.misc.Unsafe.park(Native Method)
	- parking to wait for  <0x000000044001b4f0> (a java.util.concurrent.locks.AbstractQueuedSynchronizer$ConditionObject)
	at java.util.concurrent.locks.LockSupport.park(LockSupport.java:175)
	at java.util.concurrent.locks.AbstractQueuedSynchronizer$ConditionObject.await(AbstractQueuedSynchronizer.java:2039)
	at java.util.concurrent.LinkedBlockingQueue.take(LinkedBlockingQueue.java:442)
	at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine.run(DefaultMachine.java:169)
	at java.lang.Thread.run(Thread.java:748)

"ThreadPoolThread2" #12 daemon prio=5 os_prio=0 tid=0x00002b18c8254800 nid=0x2110 runnable [0x00002b1900f02000]
   java.lang.Thread.State: RUNNABLE
	at immutables.Immutable.ImmutableArrayList.toArray(Unknown Source)
	at java.util.ArrayList.<init>(ArrayList.java:177)
	at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.WordPattern.expand(WordPattern.java:80)
	at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.DerivationPattern.expand(DerivationPattern.java:97)
	at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.NonLoopFinder.findNonLoop(NonLoopFinder.java:114)
	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=0x00002b18c824e800 nid=0x210f runnable [0x00002b1900e01000]
   java.lang.Thread.State: RUNNABLE
	at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.Reason.<init>(Reason.java:19)
	at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.DerivationPattern.expand(DerivationPattern.java:98)
	at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.NonLoopFinder.findNonLoop(NonLoopFinder.java:114)
	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=0x00002b18c8187800 nid=0x210c runnable [0x0000000000000000]
   java.lang.Thread.State: RUNNABLE

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

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

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

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

"Finalizer" #3 daemon prio=8 os_prio=0 tid=0x00002b18c814a000 nid=0x2107 in Object.wait() [0x00002b18e4402000]
   java.lang.Thread.State: WAITING (on object monitor)
	at java.lang.Object.wait(Native Method)
	- waiting on <0x0000000440688c88> (a java.lang.ref.ReferenceQueue$Lock)
	at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:143)
	- locked <0x0000000440688c88> (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=0x00002b18c8145800 nid=0x2106 in Object.wait() [0x00002b18e4301000]
   java.lang.Thread.State: WAITING (on object monitor)
	at java.lang.Object.wait(Native Method)
	- waiting on <0x00000004400ea708> (a java.lang.ref.Reference$Lock)
	at java.lang.Object.wait(Object.java:502)
	at java.lang.ref.Reference.tryHandlePending(Reference.java:191)
	- locked <0x00000004400ea708> (a java.lang.ref.Reference$Lock)
	at java.lang.ref.Reference$ReferenceHandler.run(Reference.java:153)

"main" #1 prio=5 os_prio=0 tid=0x00002b18c8008800 nid=0x20ff in Object.wait() [0x00002b18c3b60000]
   java.lang.Thread.State: WAITING (on object monitor)
	at java.lang.Object.wait(Native Method)
	- waiting on <0x000000044001bad0> (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 <0x000000044001bad0> (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=0x00002b18c813e000 nid=0x2105 runnable 

"GC task thread#0 (ParallelGC)" os_prio=0 tid=0x00002b18c801e000 nid=0x2101 runnable 

"GC task thread#1 (ParallelGC)" os_prio=0 tid=0x00002b18c801f800 nid=0x2102 runnable 

"GC task thread#2 (ParallelGC)" os_prio=0 tid=0x00002b18c8021800 nid=0x2103 runnable 

"GC task thread#3 (ParallelGC)" os_prio=0 tid=0x00002b18c8023800 nid=0x2104 runnable 

"VM Periodic Task Thread" os_prio=0 tid=0x00002b18c818a000 nid=0x210d waiting on condition 

JNI global references: 426

Heap
 PSYoungGen      total 4281856K, used 1321508K [0x0000000695580000, 0x00000007c0000000, 0x00000007c0000000)
  eden space 3670528K, 36% used [0x0000000695580000,0x00000006e6009380,0x0000000775600000)
  from space 611328K, 0% used [0x0000000775600000,0x0000000775600000,0x000000079ab00000)
  to   space 611328K, 0% used [0x000000079ab00000,0x000000079ab00000,0x00000007c0000000)
 ParOldGen       total 9786880K, used 43401K [0x0000000440000000, 0x0000000695580000, 0x0000000695580000)
  object space 9786880K, 0% used [0x0000000440000000,0x0000000442a62558,0x0000000695580000)
 Metaspace       used 21053K, capacity 21298K, committed 21504K, reserved 1069056K
  class space    used 2440K, capacity 2531K, committed 2560K, reserved 1048576K