11.99/4.03	2019-03-29 17:28:17
11.99/4.03	Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode):
11.99/4.03	
11.99/4.03	"process reaper" #89 daemon prio=10 os_prio=0 tid=0x00002af468001000 nid=0xf277 runnable [0x0000000000000000]
11.99/4.03	   java.lang.Thread.State: RUNNABLE
11.99/4.03	
11.99/4.03	"process reaper" #88 daemon prio=10 os_prio=0 tid=0x00002af42c001000 nid=0xf276 waiting on condition [0x00002af3a2192000]
11.99/4.03	   java.lang.Thread.State: TIMED_WAITING (parking)
11.99/4.03		at sun.misc.Unsafe.park(Native Method)
11.99/4.03		- parking to wait for  <0x0000000440002420> (a java.util.concurrent.SynchronousQueue$TransferStack)
11.99/4.03		at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215)
11.99/4.03		at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460)
11.99/4.03		at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362)
11.99/4.03		at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941)
11.99/4.03		at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073)
11.99/4.03		at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134)
11.99/4.03		at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
11.99/4.03		at java.lang.Thread.run(Thread.java:748)
11.99/4.03	
11.99/4.03	"process reaper" #87 daemon prio=10 os_prio=0 tid=0x00002af44c008000 nid=0xf25d waiting on condition [0x00002af3a2159000]
11.99/4.03	   java.lang.Thread.State: TIMED_WAITING (parking)
11.99/4.03		at sun.misc.Unsafe.park(Native Method)
11.99/4.03		- parking to wait for  <0x0000000440002420> (a java.util.concurrent.SynchronousQueue$TransferStack)
11.99/4.03		at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215)
11.99/4.03		at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460)
11.99/4.03		at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362)
11.99/4.03		at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941)
11.99/4.03		at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073)
11.99/4.03		at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134)
11.99/4.03		at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
11.99/4.03		at java.lang.Thread.run(Thread.java:748)
11.99/4.03	
11.99/4.03	"ThreadPoolThread64" #86 daemon prio=6 os_prio=0 tid=0x00002af3fc037800 nid=0xf252 runnable [0x00002af3a1a1b000]
11.99/4.03	   java.lang.Thread.State: RUNNABLE
11.99/4.03		at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NarrowPair.getNrOfAppls(NonTerminationProcessor.java:1174)
11.99/4.03		at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doOneNarrowingStep(NonTerminationProcessor.java:505)
11.99/4.03		at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doClosure(NonTerminationProcessor.java:341)
11.99/4.03		at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doHeuristic(NonTerminationProcessor.java:284)
11.99/4.03		at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.processQDPProblem(NonTerminationProcessor.java:262)
11.99/4.03		at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor.processQDPProblem(NonTerminationProcessor.java:107)
11.99/4.03		at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47)
11.99/4.03		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
11.99/4.03		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
11.99/4.03		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
11.99/4.03		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
11.99/4.03		at java.lang.Thread.run(Thread.java:748)
11.99/4.03	
11.99/4.03	"ThreadPoolThread63" #85 daemon prio=6 os_prio=0 tid=0x00002af3fc03b800 nid=0xf251 runnable [0x00002af3a1617000]
11.99/4.03	   java.lang.Thread.State: RUNNABLE
11.99/4.03		at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NarrowPair.getNrOfAppls(NonTerminationProcessor.java:1174)
11.99/4.03		at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doOneNarrowingStep(NonTerminationProcessor.java:505)
11.99/4.03		at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doClosure(NonTerminationProcessor.java:341)
11.99/4.03		at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doHeuristic(NonTerminationProcessor.java:284)
11.99/4.03		at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.processQDPProblem(NonTerminationProcessor.java:262)
11.99/4.03		at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor.processQDPProblem(NonTerminationProcessor.java:107)
11.99/4.03		at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47)
11.99/4.03		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
11.99/4.03		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
11.99/4.03		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
11.99/4.03		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
11.99/4.03		at java.lang.Thread.run(Thread.java:748)
11.99/4.03	
11.99/4.03	"ThreadPoolThread59" #81 daemon prio=6 os_prio=0 tid=0x00002af3fc041800 nid=0xf24d runnable [0x00002af3a1d1d000]
11.99/4.03	   java.lang.Thread.State: RUNNABLE
11.99/4.03		at immutables.Immutable.ImmutableArrayList.equals(Unknown Source)
11.99/4.03		at aprove.DPFramework.BasicStructures.TRSFunctionApplication.equals(TRSFunctionApplication.java:343)
11.99/4.03		at aprove.DPFramework.BasicStructures.TermPair.checkProperStd(TermPair.java:46)
11.99/4.03		at aprove.DPFramework.BasicStructures.TermPair.<init>(TermPair.java:74)
11.99/4.03		at aprove.DPFramework.BasicStructures.TermPair.create(TermPair.java:87)
11.99/4.03		at aprove.DPFramework.Orders.Utility.PMATRO.ExoticPolyMatrixInterpretation.fromTermConstraints(ExoticPolyMatrixInterpretation.java:273)
11.99/4.03		at aprove.DPFramework.DPProblem.Solvers.PMatroExoticSolver.solveQActive(PMatroExoticSolver.java:235)
11.99/4.03		at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200)
11.99/4.03		at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47)
11.99/4.03		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
11.99/4.03		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
11.99/4.03		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
11.99/4.03		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
11.99/4.03		at java.lang.Thread.run(Thread.java:748)
11.99/4.03	
11.99/4.03	"ThreadPoolThread58" #80 daemon prio=6 os_prio=0 tid=0x00002af3fc03f800 nid=0xf24c runnable [0x00002af3a1c1c000]
11.99/4.03	   java.lang.Thread.State: RUNNABLE
11.99/4.03		at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.addGates(NaryJunctorFormula.java:94)
11.99/4.03		at aprove.Framework.PropositionalLogic.FormulaToDimacsConverter.toEDimacsArrays(FormulaToDimacsConverter.java:295)
11.99/4.03		at aprove.Framework.PropositionalLogic.FormulaToDimacsConverter.convert(FormulaToDimacsConverter.java:93)
11.99/4.03		at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:137)
11.99/4.03		at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:268)
11.99/4.03		at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:229)
11.99/4.03		at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.solve(NegPoloInterpretation.java:201)
11.99/4.03		at aprove.DPFramework.DPProblem.Solvers.QDPNegPoloSolver.solveQActive(QDPNegPoloSolver.java:89)
11.99/4.03		at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200)
11.99/4.03		at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47)
11.99/4.03		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
11.99/4.03		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
11.99/4.03		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
11.99/4.03		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
11.99/4.03		at java.lang.Thread.run(Thread.java:748)
11.99/4.03	
11.99/4.03	"ThreadPoolThread53" #75 daemon prio=6 os_prio=0 tid=0x00002af3fc024800 nid=0xf247 runnable [0x00002af3a1818000]
11.99/4.03	   java.lang.Thread.State: RUNNABLE
11.99/4.03		at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.label(NaryJunctorFormula.java:76)
11.99/4.03		at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.label(NaryJunctorFormula.java:79)
11.99/4.03		at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.label(NaryJunctorFormula.java:79)
11.99/4.03		at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.label(NaryJunctorFormula.java:79)
11.99/4.03		at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.label(NaryJunctorFormula.java:79)
11.99/4.03		at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.label(NaryJunctorFormula.java:79)
11.99/4.03		at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.label(NaryJunctorFormula.java:79)
11.99/4.03		at aprove.Framework.PropositionalLogic.Formulae.IffFormula.label(IffFormula.java:68)
11.99/4.03		at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.label(NaryJunctorFormula.java:79)
11.99/4.03		at aprove.Framework.PropositionalLogic.FormulaToDimacsConverter.toEDimacsArrays(FormulaToDimacsConverter.java:285)
11.99/4.03		at aprove.Framework.PropositionalLogic.FormulaToDimacsConverter.convert(FormulaToDimacsConverter.java:93)
11.99/4.03		at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:137)
11.99/4.03		at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:161)
11.99/4.03		at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156)
11.99/4.03		at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294)
11.99/4.03		at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191)
11.99/4.03		at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94)
11.99/4.03		at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200)
11.99/4.03		at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47)
11.99/4.03		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
11.99/4.03		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
11.99/4.03		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
11.99/4.03		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
11.99/4.03		at java.lang.Thread.run(Thread.java:748)
11.99/4.03	
11.99/4.03	"ThreadPoolThread52" #74 daemon prio=6 os_prio=0 tid=0x00002af3fc035800 nid=0xf246 runnable [0x00002af3a1717000]
11.99/4.03	   java.lang.Thread.State: RUNNABLE
11.99/4.03		at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.BinaryNode.getVariables(BinaryNode.java:84)
11.99/4.03		at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.BinaryNode.calculateVariables(BinaryNode.java:97)
11.99/4.03		- locked <0x00000006bec31fa8> (a aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode)
11.99/4.03		at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.BinaryNode.getVariables(BinaryNode.java:85)
11.99/4.03		- locked <0x00000006bec31fa8> (a aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode)
11.99/4.03		at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.BinaryNode.calculateVariables(BinaryNode.java:97)
11.99/4.03		- locked <0x00000006bec36970> (a aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode)
11.99/4.03		at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.BinaryNode.getVariables(BinaryNode.java:85)
11.99/4.03		- locked <0x00000006bec36970> (a aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode)
11.99/4.03		at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.BinaryNode.calculateVariables(BinaryNode.java:98)
11.99/4.03		- locked <0x00000006bec37340> (a aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode)
11.99/4.03		at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.BinaryNode.getVariables(BinaryNode.java:85)
11.99/4.03		- locked <0x00000006bec37340> (a aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode)
11.99/4.03		at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.BinaryNode.calculateVariables(BinaryNode.java:98)
11.99/4.03		- locked <0x00000006bec37810> (a aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.TimesNode)
11.99/4.03		at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.BinaryNode.getVariables(BinaryNode.java:85)
11.99/4.03		- locked <0x00000006bec37810> (a aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.TimesNode)
11.99/4.03		at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.BinaryNode.calculateVariables(BinaryNode.java:97)
11.99/4.03		- locked <0x00000006bec3c1d8> (a aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode)
11.99/4.03		at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.BinaryNode.getVariables(BinaryNode.java:85)
11.99/4.03		- locked <0x00000006bec3c1d8> (a aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode)
11.99/4.03		at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.BinaryNode.calculateVariables(BinaryNode.java:97)
11.99/4.03		- locked <0x00000006bec40ba0> (a aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode)
11.99/4.03		at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.BinaryNode.getVariables(BinaryNode.java:85)
11.99/4.03		- locked <0x00000006bec40ba0> (a aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode)
11.99/4.03		at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.BinaryNode.calculateVariables(BinaryNode.java:98)
11.99/4.03		- locked <0x00000006bec42580> (a aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode)
11.99/4.03		at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.BinaryNode.getVariables(BinaryNode.java:85)
11.99/4.03		- locked <0x00000006bec42580> (a aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode)
11.99/4.03		at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.calculateInnerVariables(OrderPoly.java:91)
11.99/4.03		at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.<init>(OrderPoly.java:60)
11.99/4.03		at aprove.DPFramework.Orders.Utility.GPOLO.OrderPolyFactory.wrap(OrderPolyFactory.java:63)
11.99/4.03		at aprove.DPFramework.Orders.Utility.GPOLO.OrderPolyFactory.concat(OrderPolyFactory.java:158)
11.99/4.03		at aprove.DPFramework.Orders.Utility.PMATRO.ExoticPolyMatrixInterpretation.transformConstraint(ExoticPolyMatrixInterpretation.java:376)
11.99/4.03		at aprove.DPFramework.Orders.Utility.PMATRO.ExoticPolyMatrixInterpretation.fromTermConstraints(ExoticPolyMatrixInterpretation.java:319)
11.99/4.03		at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.getActiveRuleConstraints(AbstractPolyMatrixInterpretation.java:320)
11.99/4.03		at aprove.DPFramework.DPProblem.Solvers.PMatroExoticSolver.solveQActive(PMatroExoticSolver.java:233)
11.99/4.03		at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200)
11.99/4.03		at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47)
11.99/4.03		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
11.99/4.03		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
11.99/4.03		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
11.99/4.03		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
11.99/4.03		at java.lang.Thread.run(Thread.java:748)
11.99/4.03	
11.99/4.03	"ThreadPoolThread49" #71 daemon prio=6 os_prio=0 tid=0x00002af3fc02f800 nid=0xf243 runnable [0x00002af3a1413000]
11.99/4.03	   java.lang.Thread.State: RUNNABLE
11.99/4.03		at java.lang.Thread.setPriority0(Native Method)
11.99/4.03		at java.lang.Thread.setPriority(Thread.java:1095)
11.99/4.03		at java.lang.Thread.init(Thread.java:417)
11.99/4.03		at java.lang.Thread.init(Thread.java:349)
11.99/4.03		at java.lang.Thread.<init>(Thread.java:678)
11.99/4.03		at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229)
11.99/4.03		at java.lang.UNIXProcess$$Lambda$10/1165138671.newThread(Unknown Source)
11.99/4.03		at java.util.concurrent.ThreadPoolExecutor$Worker.<init>(ThreadPoolExecutor.java:619)
11.99/4.03		at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932)
11.99/4.03		at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378)
11.99/4.03		at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288)
11.99/4.03		at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258)
11.99/4.03		at java.lang.UNIXProcess$$Lambda$11/2024249043.run(Unknown Source)
11.99/4.03		at java.security.AccessController.doPrivileged(Native Method)
11.99/4.03		at java.lang.UNIXProcess.<init>(UNIXProcess.java:257)
11.99/4.03		at java.lang.ProcessImpl.start(ProcessImpl.java:134)
11.99/4.03		at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029)
11.99/4.03		at java.lang.Runtime.exec(Runtime.java:620)
11.99/4.03		at java.lang.Runtime.exec(Runtime.java:450)
11.99/4.03		at java.lang.Runtime.exec(Runtime.java:347)
11.99/4.03		at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATExtStartedFileChecker.found(MiniSATExtStartedFileChecker.java:64)
11.99/4.03		at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.<init>(MiniSATFileChecker.java:114)
11.99/4.03		at aprove.GraphUserInterface.Factories.Solvers.Engines.MINISATEngine.getSATChecker(MINISATEngine.java:54)
11.99/4.03		at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:158)
11.99/4.03		at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156)
11.99/4.03		at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294)
11.99/4.03		at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191)
11.99/4.03		at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94)
11.99/4.03		at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200)
11.99/4.03		at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47)
11.99/4.03		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
11.99/4.03		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
11.99/4.03		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
11.99/4.03		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
11.99/4.03		at java.lang.Thread.run(Thread.java:748)
11.99/4.03	
11.99/4.03	"ThreadPoolThread48" #70 daemon prio=6 os_prio=0 tid=0x00002af3fc02d000 nid=0xf242 runnable [0x00002af3a1312000]
11.99/4.03	   java.lang.Thread.State: RUNNABLE
11.99/4.03		at java.lang.Thread.setPriority0(Native Method)
11.99/4.03		at java.lang.Thread.setPriority(Thread.java:1095)
11.99/4.03		at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:232)
11.99/4.03		at java.lang.UNIXProcess$$Lambda$10/1165138671.newThread(Unknown Source)
11.99/4.03		at java.util.concurrent.ThreadPoolExecutor$Worker.<init>(ThreadPoolExecutor.java:619)
11.99/4.03		at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932)
11.99/4.03		at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378)
11.99/4.03		at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288)
11.99/4.03		at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258)
11.99/4.03		at java.lang.UNIXProcess$$Lambda$11/2024249043.run(Unknown Source)
11.99/4.03		at java.security.AccessController.doPrivileged(Native Method)
11.99/4.03		at java.lang.UNIXProcess.<init>(UNIXProcess.java:257)
11.99/4.03		at java.lang.ProcessImpl.start(ProcessImpl.java:134)
11.99/4.03		at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029)
11.99/4.03		at java.lang.Runtime.exec(Runtime.java:620)
11.99/4.03		at java.lang.Runtime.exec(Runtime.java:450)
11.99/4.03		at java.lang.Runtime.exec(Runtime.java:347)
11.99/4.03		at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATExtStartedFileChecker.found(MiniSATExtStartedFileChecker.java:64)
11.99/4.03		at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.<init>(MiniSATFileChecker.java:114)
11.99/4.03		at aprove.GraphUserInterface.Factories.Solvers.Engines.MINISATEngine.getSATChecker(MINISATEngine.java:54)
11.99/4.03		at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:264)
11.99/4.03		at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:229)
11.99/4.03		at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.solve(NegPoloInterpretation.java:201)
11.99/4.03		at aprove.DPFramework.DPProblem.Solvers.QDPNegPoloSolver.solveQActive(QDPNegPoloSolver.java:89)
11.99/4.03		at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200)
11.99/4.03		at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47)
11.99/4.03		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
11.99/4.03		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
11.99/4.03		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
11.99/4.03		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
11.99/4.03		at java.lang.Thread.run(Thread.java:748)
11.99/4.03	
11.99/4.03	"ThreadPoolThread47" #69 daemon prio=6 os_prio=0 tid=0x00002af3fc02b000 nid=0xf241 runnable [0x00002af3a1212000]
11.99/4.03	   java.lang.Thread.State: RUNNABLE
11.99/4.03		at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.BinaryNode.getVariables(BinaryNode.java:84)
11.99/4.03		at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.BinaryNode.calculateVariables(BinaryNode.java:98)
11.99/4.03		- locked <0x00000006c352d440> (a aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.TimesNode)
11.99/4.03		at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.BinaryNode.getVariables(BinaryNode.java:85)
11.99/4.03		- locked <0x00000006c352d440> (a aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.TimesNode)
11.99/4.03		at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.BinaryNode.calculateVariables(BinaryNode.java:97)
11.99/4.03		- locked <0x00000006c352e7b0> (a aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode)
11.99/4.03		at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.BinaryNode.getVariables(BinaryNode.java:85)
11.99/4.03		- locked <0x00000006c352e7b0> (a aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode)
11.99/4.03		at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.BinaryNode.calculateVariables(BinaryNode.java:97)
11.99/4.03		- locked <0x00000006c352fb68> (a aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode)
11.99/4.03		at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.BinaryNode.getVariables(BinaryNode.java:85)
11.99/4.03		- locked <0x00000006c352fb68> (a aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode)
11.99/4.03		at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.calculateInnerVariables(OrderPoly.java:91)
11.99/4.03		at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.<init>(OrderPoly.java:60)
11.99/4.03		at aprove.DPFramework.Orders.Utility.GPOLO.OrderPolyFactory.wrap(OrderPolyFactory.java:63)
11.99/4.03		at aprove.DPFramework.Orders.Utility.GPOLO.OrderPolyFactory.concat(OrderPolyFactory.java:158)
11.99/4.03		at aprove.DPFramework.Orders.Utility.PMATRO.ExoticPolyMatrixInterpretation.transformConstraint(ExoticPolyMatrixInterpretation.java:383)
11.99/4.03		at aprove.DPFramework.Orders.Utility.PMATRO.ExoticPolyMatrixInterpretation.fromTermConstraints(ExoticPolyMatrixInterpretation.java:319)
11.99/4.03		at aprove.DPFramework.DPProblem.Solvers.PMatroExoticSolver.solveQActive(PMatroExoticSolver.java:235)
11.99/4.03		at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200)
11.99/4.03		at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47)
11.99/4.03		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
11.99/4.03		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
11.99/4.03		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
11.99/4.03		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
11.99/4.03		at java.lang.Thread.run(Thread.java:748)
11.99/4.03	
11.99/4.03	"ThreadPoolThread45" #67 daemon prio=6 os_prio=0 tid=0x00002af3fc028000 nid=0xf23f runnable [0x0000000000000000]
11.99/4.03	   java.lang.Thread.State: TERMINATED
11.99/4.03	
11.99/4.03	"ThreadPoolThread44" #66 daemon prio=6 os_prio=0 tid=0x00002af3fc027000 nid=0xf23e runnable [0x00002af3a0d0d000]
11.99/4.03	   java.lang.Thread.State: RUNNABLE
11.99/4.03		at aprove.Framework.Algebra.GeneralPolynomials.GMonomial.equals(GMonomial.java:212)
11.99/4.03		at aprove.Framework.Algebra.GeneralPolynomials.Monoids.GMonomialMonoid.op(GMonomialMonoid.java:44)
11.99/4.03		at aprove.Framework.Algebra.GeneralPolynomials.Monoids.GMonomialMonoid.op(GMonomialMonoid.java:22)
11.99/4.03		at aprove.Framework.Algebra.GeneralPolynomials.Rings.SimpleGPolyFlatRing.times(SimpleGPolyFlatRing.java:144)
11.99/4.03		at aprove.Framework.Algebra.GeneralPolynomials.Rings.SimpleGPolyFlatRing.times(SimpleGPolyFlatRing.java:32)
11.99/4.03		at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.FlatteningVisitor.caseTimesNode(FlatteningVisitor.java:206)
11.99/4.03		at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.FlatteningVisitor.caseTimesNode(FlatteningVisitor.java:28)
11.99/4.03		at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.TimesNode.visit(TimesNode.java:71)
11.99/4.03		at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40)
11.99/4.03		at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:66)
11.99/4.03		at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40)
11.99/4.03		at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:66)
11.99/4.03		at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.visit(OrderPoly.java:157)
11.99/4.03		at aprove.DPFramework.Orders.Utility.PMATRO.ExoticPolyMatrixInterpretation.transformConstraint(ExoticPolyMatrixInterpretation.java:366)
11.99/4.03		at aprove.DPFramework.Orders.Utility.PMATRO.ExoticPolyMatrixInterpretation.fromTermConstraints(ExoticPolyMatrixInterpretation.java:319)
11.99/4.03		at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.getActiveRuleConstraints(AbstractPolyMatrixInterpretation.java:320)
11.99/4.03		at aprove.DPFramework.DPProblem.Solvers.PMatroExoticSolver.solveQActive(PMatroExoticSolver.java:233)
11.99/4.03		at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200)
11.99/4.03		at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47)
11.99/4.03		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
11.99/4.03		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
11.99/4.03		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
11.99/4.03		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
11.99/4.03		at java.lang.Thread.run(Thread.java:748)
11.99/4.03	
11.99/4.03	"ThreadPoolThread41" #63 daemon prio=6 os_prio=0 tid=0x00002af3fc024000 nid=0xf23b runnable [0x00002af3a0808000]
11.99/4.03	   java.lang.Thread.State: RUNNABLE
11.99/4.03		at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.addGates(NaryJunctorFormula.java:94)
11.99/4.03		at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.addGates(NaryJunctorFormula.java:97)
11.99/4.03		at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.addGates(NaryJunctorFormula.java:97)
11.99/4.03		at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.addGates(NaryJunctorFormula.java:97)
11.99/4.03		at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.addGates(NaryJunctorFormula.java:97)
11.99/4.03		at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.addGates(NaryJunctorFormula.java:97)
11.99/4.03		at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.addGates(NaryJunctorFormula.java:97)
11.99/4.03		at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.addGates(NaryJunctorFormula.java:97)
11.99/4.03		at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.addGates(NaryJunctorFormula.java:97)
11.99/4.03		at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.addGates(NaryJunctorFormula.java:97)
11.99/4.03		at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.addGates(NaryJunctorFormula.java:97)
11.99/4.03		at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.addGates(NaryJunctorFormula.java:97)
11.99/4.03		at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.addGates(NaryJunctorFormula.java:97)
11.99/4.03		at aprove.Framework.PropositionalLogic.FormulaToDimacsConverter.toEDimacsArrays(FormulaToDimacsConverter.java:295)
11.99/4.03		at aprove.Framework.PropositionalLogic.FormulaToDimacsConverter.convert(FormulaToDimacsConverter.java:93)
11.99/4.03		at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:137)
11.99/4.03		at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:161)
11.99/4.03		at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156)
11.99/4.03		at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294)
11.99/4.03		at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191)
11.99/4.03		at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94)
11.99/4.03		at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200)
11.99/4.03		at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47)
11.99/4.03		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
11.99/4.03		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
11.99/4.03		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
11.99/4.03		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
11.99/4.03		at java.lang.Thread.run(Thread.java:748)
11.99/4.03	
11.99/4.03	"ThreadPoolThread40" #62 daemon prio=6 os_prio=0 tid=0x00002af3fc023000 nid=0xf23a runnable [0x00002af3a0909000]
11.99/4.03	   java.lang.Thread.State: RUNNABLE
11.99/4.03		at java.lang.StringCoding$StringEncoder.requestedCharsetName(StringCoding.java:295)
11.99/4.03		at java.lang.StringCoding.encode(StringCoding.java:332)
11.99/4.03		at java.lang.StringCoding.encode(StringCoding.java:387)
11.99/4.03		at java.lang.String.getBytes(String.java:958)
11.99/4.03		at java.lang.ProcessImpl.start(ProcessImpl.java:74)
11.99/4.03		at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029)
11.99/4.03		at java.lang.Runtime.exec(Runtime.java:620)
11.99/4.03		at java.lang.Runtime.exec(Runtime.java:450)
11.99/4.03		at java.lang.Runtime.exec(Runtime.java:347)
11.99/4.03		at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATExtStartedFileChecker.found(MiniSATExtStartedFileChecker.java:64)
11.99/4.03		at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.<init>(MiniSATFileChecker.java:114)
11.99/4.03		at aprove.GraphUserInterface.Factories.Solvers.Engines.MINISATEngine.getSATChecker(MINISATEngine.java:54)
11.99/4.03		at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:158)
11.99/4.03		at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156)
11.99/4.03		at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294)
11.99/4.03		at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191)
11.99/4.03		at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94)
11.99/4.03		at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200)
11.99/4.03		at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47)
11.99/4.03		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
11.99/4.03		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
11.99/4.03		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
11.99/4.03		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
11.99/4.03		at java.lang.Thread.run(Thread.java:748)
11.99/4.03	
11.99/4.03	"ThreadPoolThread39" #61 daemon prio=6 os_prio=0 tid=0x00002af3fc018000 nid=0xf239 runnable [0x00002af3a0f0e000]
11.99/4.03	   java.lang.Thread.State: RUNNABLE
11.99/4.03		at java.lang.Thread.setPriority0(Native Method)
11.99/4.03		at java.lang.Thread.setPriority(Thread.java:1095)
11.99/4.03		at java.lang.Thread.init(Thread.java:417)
11.99/4.03		at java.lang.Thread.init(Thread.java:349)
11.99/4.03		at java.lang.Thread.<init>(Thread.java:678)
11.99/4.03		at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229)
11.99/4.03		at java.lang.UNIXProcess$$Lambda$10/1165138671.newThread(Unknown Source)
11.99/4.03		at java.util.concurrent.ThreadPoolExecutor$Worker.<init>(ThreadPoolExecutor.java:619)
11.99/4.03		at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932)
11.99/4.03		at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378)
11.99/4.03		at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288)
11.99/4.03		at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258)
11.99/4.03		at java.lang.UNIXProcess$$Lambda$11/2024249043.run(Unknown Source)
11.99/4.03		at java.security.AccessController.doPrivileged(Native Method)
11.99/4.03		at java.lang.UNIXProcess.<init>(UNIXProcess.java:257)
11.99/4.03		at java.lang.ProcessImpl.start(ProcessImpl.java:134)
11.99/4.03		at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029)
11.99/4.03		at java.lang.Runtime.exec(Runtime.java:620)
11.99/4.03		at java.lang.Runtime.exec(Runtime.java:450)
11.99/4.03		at java.lang.Runtime.exec(Runtime.java:347)
11.99/4.03		at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATExtStartedFileChecker.found(MiniSATExtStartedFileChecker.java:64)
11.99/4.03		at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.<init>(MiniSATFileChecker.java:114)
11.99/4.03		at aprove.GraphUserInterface.Factories.Solvers.Engines.MINISATEngine.getSATChecker(MINISATEngine.java:54)
11.99/4.03		at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:158)
11.99/4.03		at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156)
11.99/4.03		at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294)
11.99/4.03		at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191)
11.99/4.03		at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94)
11.99/4.03		at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200)
11.99/4.03		at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47)
11.99/4.03		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
11.99/4.03		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
11.99/4.03		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
11.99/4.03		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
11.99/4.03		at java.lang.Thread.run(Thread.java:748)
11.99/4.03	
11.99/4.03	"ThreadPoolThread37" #59 daemon prio=6 os_prio=0 tid=0x00002af3fc011000 nid=0xf237 runnable [0x00002af3a0e0e000]
11.99/4.03	   java.lang.Thread.State: RUNNABLE
11.99/4.03		at aprove.Framework.PropositionalLogic.Formulae.Variable.addGates(Variable.java:70)
11.99/4.03		at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.addGates(NaryJunctorFormula.java:97)
11.99/4.03		at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.addGates(NaryJunctorFormula.java:97)
11.99/4.03		at aprove.Framework.PropositionalLogic.Formulae.IffFormula.addGates(IffFormula.java:81)
11.99/4.03		at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.addGates(NaryJunctorFormula.java:97)
11.99/4.03		at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.addGates(NaryJunctorFormula.java:97)
11.99/4.03		at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.addGates(NaryJunctorFormula.java:97)
11.99/4.03		at aprove.Framework.PropositionalLogic.FormulaToDimacsConverter.toEDimacsArrays(FormulaToDimacsConverter.java:295)
11.99/4.03		at aprove.Framework.PropositionalLogic.FormulaToDimacsConverter.convert(FormulaToDimacsConverter.java:93)
11.99/4.03		at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:137)
11.99/4.03		at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:268)
11.99/4.03		at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:229)
11.99/4.03		at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.solve(NegPoloInterpretation.java:201)
11.99/4.03		at aprove.DPFramework.DPProblem.Solvers.QDPNegPoloSolver.solveQActive(QDPNegPoloSolver.java:89)
11.99/4.03		at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200)
11.99/4.03		at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47)
11.99/4.03		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
11.99/4.03		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
11.99/4.03		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
11.99/4.03		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
11.99/4.03		at java.lang.Thread.run(Thread.java:748)
11.99/4.03	
11.99/4.03	"ThreadPoolThread36" #58 daemon prio=6 os_prio=0 tid=0x00002af3fc016000 nid=0xf236 runnable [0x00002af3935b6000]
11.99/4.03	   java.lang.Thread.State: RUNNABLE
11.99/4.03		at java.io.UnixFileSystem.delete0(Native Method)
11.99/4.03		at java.io.UnixFileSystem.delete(UnixFileSystem.java:265)
11.99/4.03		at java.io.File.delete(File.java:1041)
11.99/4.03		at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:216)
11.99/4.03		at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:153)
11.99/4.03		at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:268)
11.99/4.03		at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:229)
11.99/4.03		at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.solve(NegPoloInterpretation.java:201)
11.99/4.03		at aprove.DPFramework.DPProblem.Solvers.QDPNegPoloSolver.solveQActive(QDPNegPoloSolver.java:89)
11.99/4.03		at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200)
11.99/4.03		at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47)
11.99/4.03		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
11.99/4.03		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
11.99/4.03		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
11.99/4.03		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
11.99/4.03		at java.lang.Thread.run(Thread.java:748)
11.99/4.03	
11.99/4.03	"ThreadPoolThread35" #57 daemon prio=6 os_prio=0 tid=0x00002af3fc012800 nid=0xf235 runnable [0x0000000000000000]
11.99/4.03	   java.lang.Thread.State: TERMINATED
11.99/4.03	
11.99/4.03	"ThreadPoolThread33" #55 daemon prio=6 os_prio=0 tid=0x00002af3fc019800 nid=0xf233 runnable [0x00002af3938b8000]
11.99/4.03	   java.lang.Thread.State: RUNNABLE
11.99/4.03		at java.lang.Thread.setPriority0(Native Method)
11.99/4.03		at java.lang.Thread.setPriority(Thread.java:1095)
11.99/4.03		at java.lang.Thread.init(Thread.java:417)
11.99/4.03		at java.lang.Thread.init(Thread.java:349)
11.99/4.03		at java.lang.Thread.<init>(Thread.java:678)
11.99/4.03		at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229)
11.99/4.03		at java.lang.UNIXProcess$$Lambda$10/1165138671.newThread(Unknown Source)
11.99/4.03		at java.util.concurrent.ThreadPoolExecutor$Worker.<init>(ThreadPoolExecutor.java:619)
11.99/4.03		at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932)
11.99/4.03		at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378)
11.99/4.03		at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288)
11.99/4.03		at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258)
11.99/4.03		at java.lang.UNIXProcess$$Lambda$11/2024249043.run(Unknown Source)
11.99/4.03		at java.security.AccessController.doPrivileged(Native Method)
11.99/4.03		at java.lang.UNIXProcess.<init>(UNIXProcess.java:257)
11.99/4.03		at java.lang.ProcessImpl.start(ProcessImpl.java:134)
11.99/4.03		at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029)
11.99/4.03		at java.lang.Runtime.exec(Runtime.java:620)
11.99/4.03		at java.lang.Runtime.exec(Runtime.java:485)
11.99/4.03		at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:268)
11.99/4.03		at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:206)
11.99/4.03		at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:153)
11.99/4.03		at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:161)
11.99/4.03		at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156)
11.99/4.03		at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294)
11.99/4.03		at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191)
11.99/4.03		at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94)
11.99/4.03		at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200)
11.99/4.03		at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47)
11.99/4.03		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
11.99/4.03		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
11.99/4.03		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
11.99/4.03		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
11.99/4.03		at java.lang.Thread.run(Thread.java:748)
11.99/4.03	
11.99/4.03	"process reaper" #32 daemon prio=10 os_prio=0 tid=0x00002af408023800 nid=0xf219 waiting on condition [0x00002af393ff4000]
11.99/4.03	   java.lang.Thread.State: TIMED_WAITING (parking)
11.99/4.03		at sun.misc.Unsafe.park(Native Method)
11.99/4.03		- parking to wait for  <0x0000000440002420> (a java.util.concurrent.SynchronousQueue$TransferStack)
11.99/4.03		at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215)
11.99/4.03		at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460)
11.99/4.03		at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362)
11.99/4.03		at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941)
11.99/4.03		at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073)
11.99/4.03		at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134)
11.99/4.03		at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
11.99/4.03		at java.lang.Thread.run(Thread.java:748)
11.99/4.03	
11.99/4.03	"process reaper" #31 daemon prio=10 os_prio=0 tid=0x00002af418001800 nid=0xf218 waiting on condition [0x00002af373ffc000]
11.99/4.03	   java.lang.Thread.State: TIMED_WAITING (parking)
11.99/4.03		at sun.misc.Unsafe.park(Native Method)
11.99/4.03		- parking to wait for  <0x0000000440002420> (a java.util.concurrent.SynchronousQueue$TransferStack)
11.99/4.03		at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215)
11.99/4.03		at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460)
11.99/4.03		at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362)
11.99/4.03		at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941)
11.99/4.03		at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073)
11.99/4.03		at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134)
11.99/4.03		at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
11.99/4.03		at java.lang.Thread.run(Thread.java:748)
11.99/4.03	
11.99/4.03	"ThreadPoolThread13" #25 daemon prio=6 os_prio=0 tid=0x00002af3fc00f800 nid=0xf210 runnable [0x00002af3939ba000]
11.99/4.03	   java.lang.Thread.State: RUNNABLE
11.99/4.03		at aprove.Framework.TreeAutomaton.TreeAutomaton.evaluate(TreeAutomaton.java:201)
11.99/4.03		at aprove.Framework.TreeAutomaton.TreeAutomaton.evaluate(TreeAutomaton.java:182)
11.99/4.03		at aprove.Framework.TreeAutomaton.TreeAutomaton.evaluate(TreeAutomaton.java:182)
11.99/4.03		at aprove.Framework.TreeAutomaton.TreeAutomaton.evaluate(TreeAutomaton.java:182)
11.99/4.03		at aprove.Framework.TreeAutomaton.TreeAutomaton.evaluate(TreeAutomaton.java:159)
11.99/4.03		at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.collectAllCompatibleConflicts(TRSBounds.java:1686)
11.99/4.03		at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.createCompatibleTA(TRSBounds.java:693)
11.99/4.03		at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.getCertificate(TRSBounds.java:517)
11.99/4.03		at aprove.DPFramework.TRSProblem.Processors.QTRSRoofMatchBoundsTAProcessor.processQTRS(QTRSRoofMatchBoundsTAProcessor.java:90)
11.99/4.03		at aprove.DPFramework.TRSProblem.Processors.QTRSProcessor.process(QTRSProcessor.java:34)
11.99/4.03		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
11.99/4.03		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
11.99/4.03		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
11.99/4.03		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
11.99/4.03		at java.lang.Thread.run(Thread.java:748)
11.99/4.03	
11.99/4.03	"ThreadPoolThread11" #23 daemon prio=6 os_prio=0 tid=0x00002af3fc00c800 nid=0xf20e runnable [0x00002af3a0507000]
11.99/4.03	   java.lang.Thread.State: RUNNABLE
11.99/4.03		at aprove.Framework.TreeAutomaton.TreeAutomaton.getReversedEpsTransitions(TreeAutomaton.java:100)
11.99/4.03		at aprove.DPFramework.BasicStructures.Matchbounds.TRSBoundsTA.createStateSubstitutions(TRSBoundsTA.java:253)
11.99/4.03		at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.collectAllCompatibleConflicts(TRSBounds.java:1666)
11.99/4.03		at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.createCompatibleTA(TRSBounds.java:693)
11.99/4.03		at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.getCertificate(TRSBounds.java:517)
11.99/4.03		at aprove.DPFramework.TRSProblem.Processors.QTRSRoofMatchBoundsTAProcessor.processQTRS(QTRSRoofMatchBoundsTAProcessor.java:90)
11.99/4.03		at aprove.DPFramework.TRSProblem.Processors.QTRSProcessor.process(QTRSProcessor.java:34)
11.99/4.03		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
11.99/4.03		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
11.99/4.03		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
11.99/4.03		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
11.99/4.03		at java.lang.Thread.run(Thread.java:748)
11.99/4.03	
11.99/4.03	"TimeRefresherThread" #19 daemon prio=6 os_prio=0 tid=0x00002af3fc00b000 nid=0xf20a waiting on condition [0x00002af3936b8000]
11.99/4.03	   java.lang.Thread.State: TIMED_WAITING (sleeping)
11.99/4.03		at java.lang.Thread.sleep(Native Method)
11.99/4.03		at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.run(TimeRefresher.java:55)
11.99/4.03	
11.99/4.03	"DefaultMachine" #18 daemon prio=6 os_prio=0 tid=0x00002af374806000 nid=0xf209 waiting on condition [0x00002af3937b9000]
11.99/4.03	   java.lang.Thread.State: RUNNABLE
11.99/4.03		at aprove.ProofTree.Obligations.ObligationNode.isTruthValueKnown(ObligationNode.java:104)
11.99/4.03		at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:66)
11.99/4.03		at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62)
11.99/4.03		at aprove.Strategies.ExecutableStrategies.StrategyRoot.evaluateOnce(StrategyRoot.java:35)
11.99/4.03		at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine$CmdExec.run(DefaultMachine.java:247)
11.99/4.03		at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine.run(DefaultMachine.java:174)
11.99/4.03		at java.lang.Thread.run(Thread.java:748)
11.99/4.03	
11.99/4.03	"ThreadPoolThread2" #12 daemon prio=5 os_prio=0 tid=0x00002af374274000 nid=0xf203 runnable [0x00002af3934b6000]
11.99/4.03	   java.lang.Thread.State: RUNNABLE
11.99/4.03		at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.OverlapClosure.getBigness(OverlapClosure.java:323)
11.99/4.03		at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.NonLoopFinder.testAndInsert(NonLoopFinder.java:184)
11.99/4.03		at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.NonLoopFinder.findNonLoop(NonLoopFinder.java:143)
11.99/4.03		at aprove.DPFramework.TRSProblem.Processors.SRSNonLoopProcessor.processQTRS(SRSNonLoopProcessor.java:69)
11.99/4.03		at aprove.DPFramework.TRSProblem.Processors.QTRSProcessor.process(QTRSProcessor.java:34)
11.99/4.03		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
11.99/4.03		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
11.99/4.03		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
11.99/4.03		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
11.99/4.03		at java.lang.Thread.run(Thread.java:748)
11.99/4.03	
11.99/4.03	"ThreadPoolThread1" #11 daemon prio=5 os_prio=0 tid=0x00002af374256800 nid=0xf202 runnable [0x0000000000000000]
11.99/4.03	   java.lang.Thread.State: TERMINATED
11.99/4.03	
11.99/4.03	"Service Thread" #8 daemon prio=9 os_prio=0 tid=0x00002af374187800 nid=0xf1ff runnable [0x0000000000000000]
11.99/4.03	   java.lang.Thread.State: RUNNABLE
11.99/4.03	
11.99/4.03	"C1 CompilerThread2" #7 daemon prio=9 os_prio=0 tid=0x00002af374184000 nid=0xf1fe runnable [0x0000000000000000]
11.99/4.03	   java.lang.Thread.State: RUNNABLE
11.99/4.03	
11.99/4.03	"C2 CompilerThread1" #6 daemon prio=9 os_prio=0 tid=0x00002af374182800 nid=0xf1fd runnable [0x0000000000000000]
11.99/4.03	   java.lang.Thread.State: RUNNABLE
11.99/4.03	
11.99/4.03	"C2 CompilerThread0" #5 daemon prio=9 os_prio=0 tid=0x00002af37417f800 nid=0xf1fc runnable [0x0000000000000000]
11.99/4.03	   java.lang.Thread.State: RUNNABLE
11.99/4.03	
11.99/4.03	"Signal Dispatcher" #4 daemon prio=9 os_prio=0 tid=0x00002af37417e000 nid=0xf1fb waiting on condition [0x0000000000000000]
11.99/4.03	   java.lang.Thread.State: RUNNABLE
11.99/4.03	
11.99/4.03	"Finalizer" #3 daemon prio=8 os_prio=0 tid=0x00002af37414a000 nid=0xf1fa in Object.wait() [0x00002af392a0c000]
11.99/4.03	   java.lang.Thread.State: WAITING (on object monitor)
11.99/4.03		at java.lang.Object.wait(Native Method)
11.99/4.03		- waiting on <0x0000000443b66370> (a java.lang.ref.ReferenceQueue$Lock)
11.99/4.03		at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:143)
11.99/4.03		- locked <0x0000000443b66370> (a java.lang.ref.ReferenceQueue$Lock)
11.99/4.03		at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:164)
11.99/4.03		at java.lang.ref.Finalizer$FinalizerThread.run(Finalizer.java:209)
11.99/4.03	
11.99/4.03	"Reference Handler" #2 daemon prio=10 os_prio=0 tid=0x00002af374145800 nid=0xf1f9 in Object.wait() [0x00002af39290b000]
11.99/4.03	   java.lang.Thread.State: WAITING (on object monitor)
11.99/4.03		at java.lang.Object.wait(Native Method)
11.99/4.03		- waiting on <0x0000000440021e00> (a java.lang.ref.Reference$Lock)
11.99/4.03		at java.lang.Object.wait(Object.java:502)
11.99/4.03		at java.lang.ref.Reference.tryHandlePending(Reference.java:191)
11.99/4.03		- locked <0x0000000440021e00> (a java.lang.ref.Reference$Lock)
11.99/4.03		at java.lang.ref.Reference$ReferenceHandler.run(Reference.java:153)
11.99/4.03	
11.99/4.03	"main" #1 prio=5 os_prio=0 tid=0x00002af374008800 nid=0xf1f2 in Object.wait() [0x00002af3721a0000]
11.99/4.03	   java.lang.Thread.State: WAITING (on object monitor)
11.99/4.03		at java.lang.Object.wait(Native Method)
11.99/4.03		- waiting on <0x0000000440023d70> (a aprove.Strategies.ExecutableStrategies.impl.Handle)
11.99/4.03		at java.lang.Object.wait(Object.java:502)
11.99/4.03		at aprove.Strategies.ExecutableStrategies.impl.Handle.waitForFinish(Handle.java:42)
11.99/4.03		- locked <0x0000000440023d70> (a aprove.Strategies.ExecutableStrategies.impl.Handle)
11.99/4.03		at aprove.Runtime.AProVE.waitForHandle(AProVE.java:32)
11.99/4.03		at aprove.Runtime.AProVE.run(AProVE.java:101)
11.99/4.03		at aprove.CommandLineInterface.Main.run(Main.java:94)
11.99/4.03		at aprove.CommandLineInterface.Main.doMain(Main.java:42)
11.99/4.03		at aprove.Main.doMain(Main.java:54)
11.99/4.03		at aprove.Main.main(Main.java:20)
11.99/4.03	
11.99/4.03	"VM Thread" os_prio=0 tid=0x00002af37413e000 nid=0xf1f8 runnable 
11.99/4.03	
11.99/4.03	"GC task thread#0 (ParallelGC)" os_prio=0 tid=0x00002af37401e000 nid=0xf1f4 runnable 
11.99/4.03	
11.99/4.03	"GC task thread#1 (ParallelGC)" os_prio=0 tid=0x00002af37401f800 nid=0xf1f5 runnable 
11.99/4.03	
11.99/4.03	"GC task thread#2 (ParallelGC)" os_prio=0 tid=0x00002af374021800 nid=0xf1f6 runnable 
11.99/4.03	
11.99/4.03	"GC task thread#3 (ParallelGC)" os_prio=0 tid=0x00002af374023800 nid=0xf1f7 runnable 
11.99/4.03	
11.99/4.03	"VM Periodic Task Thread" os_prio=0 tid=0x00002af37418a000 nid=0xf200 waiting on condition 
11.99/4.03	
11.99/4.03	JNI global references: 326
11.99/4.03	
11.99/4.03	Heap
11.99/4.03	 PSYoungGen      total 4281856K, used 1254908K [0x0000000695580000, 0x00000007c0000000, 0x00000007c0000000)
11.99/4.03	  eden space 3670528K, 34% used [0x0000000695580000,0x00000006e1eff0b8,0x0000000775600000)
11.99/4.03	  from space 611328K, 0% used [0x000000079ab00000,0x000000079ab00000,0x00000007c0000000)
11.99/4.03	  to   space 611328K, 0% used [0x0000000775600000,0x0000000775600000,0x000000079ab00000)
11.99/4.03	 ParOldGen       total 9786880K, used 85973K [0x0000000440000000, 0x0000000695580000, 0x0000000695580000)
11.99/4.03	  object space 9786880K, 0% used [0x0000000440000000,0x00000004453f5718,0x0000000695580000)
11.99/4.03	 Metaspace       used 20954K, capacity 21186K, committed 21504K, reserved 1069056K
11.99/4.03	  class space    used 2425K, capacity 2499K, committed 2560K, reserved 1048576K
11.99/4.03	
12.39/4.05	NO
12.39/4.06	proof of /export/starexec/sandbox2/benchmark/theBenchmark.xml
12.39/4.06	# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty
12.39/4.06	
12.39/4.06	
12.39/4.06	Termination w.r.t. Q of the given QTRS could be disproven:
12.39/4.06	
12.39/4.06	(0) QTRS
12.39/4.06	(1) NonTerminationProof [COMPLETE, 967 ms]
12.39/4.06	(2) NO
12.39/4.06	
12.39/4.06	
12.39/4.06	----------------------------------------
12.39/4.06	
12.39/4.06	(0)
12.39/4.06	Obligation:
12.39/4.06	Q restricted rewrite system:
12.39/4.06	The TRS R consists of the following rules:
12.39/4.06	
12.39/4.06	   b(a(b(a(a(b(x1)))))) -> b(b(a(b(a(b(x1))))))
12.39/4.06	   b(a(b(b(x1)))) -> b(b(a(a(b(a(b(x1)))))))
12.39/4.06	
12.39/4.06	Q is empty.
12.39/4.06	
12.39/4.06	----------------------------------------
12.39/4.06	
12.39/4.06	(1) NonTerminationProof (COMPLETE)
12.39/4.06	We used the non-termination processor [OPPELT08] to show that the SRS problem is infinite.
12.39/4.06	
12.39/4.06	Found the self-embedding DerivationStructure: 
12.39/4.06	"b a b a a b b b a a b b -> b b b a a b b a b b a a b a b a a b b b a a b b a b a b a b"
12.39/4.06	b a b a a b b b a a b b -> b b b a a b b a b b a a b a b a a b b b a a b b a b a b a b
12.39/4.06	by OverlapClosure OC 2"b a b a a b b b -> b b b a a b b a b b a a b a b a a b a b
12.39/4.06	by OverlapClosure OC 3"b a b a a b b b -> b b b a a b b a b a b b a a b a b
12.39/4.06	by OverlapClosure OC 2"b a b a a b b -> b b b a a b b a b a b a b
12.39/4.06	by OverlapClosure OC 3"b a b a a b b -> b b b a a b a b a a b a b
12.39/4.06	by OverlapClosure OC 3"b a b a a b b -> b b a b b a a b a b
12.39/4.06	by OverlapClosure OC 2"b a b a a b -> b b a b a b
12.39/4.06	by original rule (OC 1)""b a b b -> b b a a b a b
12.39/4.06	by original rule (OC 1)"""b a b b -> b b a a b a b
12.39/4.06	by original rule (OC 1)"""b a b a a b -> b b a b a b
12.39/4.06	by original rule (OC 1)"""b a b b -> b b a a b a b
12.39/4.06	by original rule (OC 1)"""b a b b -> b b a a b a b
12.39/4.06	by original rule (OC 1)"""b a b a a b b -> b b b a a b b a b a b a b
12.39/4.06	by OverlapClosure OC 3"b a b a a b b -> b b b a a b a b a a b a b
12.39/4.06	by OverlapClosure OC 3"b a b a a b b -> b b a b b a a b a b
12.39/4.06	by OverlapClosure OC 2"b a b a a b -> b b a b a b
12.39/4.06	by original rule (OC 1)""b a b b -> b b a a b a b
12.39/4.06	by original rule (OC 1)"""b a b b -> b b a a b a b
12.39/4.06	by original rule (OC 1)"""b a b a a b -> b b a b a b
12.39/4.06	by original rule (OC 1)""
12.39/4.06	
12.39/4.06	----------------------------------------
12.39/4.06	
12.39/4.06	(2)
12.39/4.06	NO
12.58/4.15	EOF