Running Thread.stop() against 1784905468Exec. 148, QDPReductionPair[Order=KBO[Engine=MINISAT], MergeMutual=False]
Stack trace:
    java.base/java.util.Arrays.copyOf(Arrays.java:3478)
    java.base/java.util.ArrayList.toArray(ArrayList.java:370)
    java.base/java.util.ArrayList.<init>(ArrayList.java:182)
    aprove.verification.dpframework.Orders.Utility.KBO.HomogenousInequality.build_e_combined(HomogenousInequality.java:135)
    aprove.verification.dpframework.Orders.Utility.KBO.HomogenousInequality.solve(HomogenousInequality.java:153)
    aprove.verification.dpframework.Orders.Utility.KBO.HomogenousInequality.getKappaMatrix(HomogenousInequality.java:174)
    aprove.verification.dpframework.Orders.Utility.KBO.HomogenousInequalitySystem.add(HomogenousInequalitySystem.java:95)
    aprove.verification.dpframework.Orders.Solvers.KBOSolver.solvingOrder(KBOSolver.java:196)
    aprove.verification.dpframework.Orders.Solvers.KBOSolver.solve(KBOSolver.java:122)
    aprove.verification.dpframework.DPProblem.Solvers.QDPAfsOrderSolver.solve(QDPAfsOrderSolver.java:81)
    aprove.verification.dpframework.DPProblem.Solvers.QDPAfsOrderSolver.solveQActive(QDPAfsOrderSolver.java:51)
    aprove.verification.dpframework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:199)
    aprove.verification.dpframework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47)
    aprove.strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
    aprove.strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
    aprove.strategies.Abortions.PooledJob.run(PooledJob.java:99)
    aprove.strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
    java.base/java.lang.Thread.run(Thread.java:1474)
Running Thread.stop() against 1784905468Exec. 154, QDPReductionPair[Order=KBO[Engine=MINISAT], MergeMutual=False]
Stack trace:
    java.base/java.util.Arrays.copyOf(Arrays.java:3478)
    java.base/java.util.ArrayList.toArray(ArrayList.java:370)
    java.base/java.util.ArrayList.<init>(ArrayList.java:182)
    aprove.verification.dpframework.Orders.Utility.KBO.HomogenousInequality.build_e_combined(HomogenousInequality.java:135)
    aprove.verification.dpframework.Orders.Utility.KBO.HomogenousInequality.solve(HomogenousInequality.java:153)
    aprove.verification.dpframework.Orders.Utility.KBO.HomogenousInequality.getKappaMatrix(HomogenousInequality.java:174)
    aprove.verification.dpframework.Orders.Utility.KBO.HomogenousInequalitySystem.add(HomogenousInequalitySystem.java:95)
    aprove.verification.dpframework.Orders.Solvers.KBOSolver.solvingOrder(KBOSolver.java:196)
    aprove.verification.dpframework.Orders.Solvers.KBOSolver.solve(KBOSolver.java:122)
    aprove.verification.dpframework.DPProblem.Solvers.QDPAfsOrderSolver.solve(QDPAfsOrderSolver.java:81)
    aprove.verification.dpframework.DPProblem.Solvers.QDPAfsOrderSolver.solveQActive(QDPAfsOrderSolver.java:51)
    aprove.verification.dpframework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:199)
    aprove.verification.dpframework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47)
    aprove.strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
    aprove.strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
    aprove.strategies.Abortions.PooledJob.run(PooledJob.java:99)
    aprove.strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
    java.base/java.lang.Thread.run(Thread.java:1474)
Aborted 1784905468Exec. 148, QDPReductionPair with some error. Reason: java.lang.OutOfMemoryError: Java heap space.
            java.base/java.util.Arrays.copyOf(Arrays.java:3478)
            java.base/java.util.ArrayList.toArray(ArrayList.java:370)
            java.base/java.util.ArrayList.<init>(ArrayList.java:182)
            aprove.verification.dpframework.Orders.Utility.KBO.HomogenousInequality.build_e_combined(HomogenousInequality.java:135)
            aprove.verification.dpframework.Orders.Utility.KBO.HomogenousInequality.solve(HomogenousInequality.java:153)
            aprove.verification.dpframework.Orders.Utility.KBO.HomogenousInequality.getKappaMatrix(HomogenousInequality.java:174)
            aprove.verification.dpframework.Orders.Utility.KBO.HomogenousInequalitySystem.add(HomogenousInequalitySystem.java:95)
            aprove.verification.dpframework.Orders.Solvers.KBOSolver.solvingOrder(KBOSolver.java:196)
            aprove.verification.dpframework.Orders.Solvers.KBOSolver.solve(KBOSolver.java:122)
            aprove.verification.dpframework.DPProblem.Solvers.QDPAfsOrderSolver.solve(QDPAfsOrderSolver.java:81)
            aprove.verification.dpframework.DPProblem.Solvers.QDPAfsOrderSolver.solveQActive(QDPAfsOrderSolver.java:51)
            aprove.verification.dpframework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:199)
            aprove.verification.dpframework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47)
            aprove.strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
            aprove.strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
            aprove.strategies.Abortions.PooledJob.run(PooledJob.java:99)
            aprove.strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
            java.base/java.lang.Thread.runWith(Thread.java:1487)
            java.base/java.lang.Thread.run(Thread.java:1474)
java.lang.OutOfMemoryError: Java heap space
	at java.base/java.util.Arrays.copyOf(Arrays.java:3478)
	at java.base/java.util.ArrayList.toArray(ArrayList.java:370)
	at java.base/java.util.ArrayList.<init>(ArrayList.java:182)
	at aprove.verification.dpframework.Orders.Utility.KBO.HomogenousInequality.build_e_combined(HomogenousInequality.java:135)
	at aprove.verification.dpframework.Orders.Utility.KBO.HomogenousInequality.solve(HomogenousInequality.java:153)
	at aprove.verification.dpframework.Orders.Utility.KBO.HomogenousInequality.getKappaMatrix(HomogenousInequality.java:174)
	at aprove.verification.dpframework.Orders.Utility.KBO.HomogenousInequalitySystem.add(HomogenousInequalitySystem.java:95)
	at aprove.verification.dpframework.Orders.Solvers.KBOSolver.solvingOrder(KBOSolver.java:196)
	at aprove.verification.dpframework.Orders.Solvers.KBOSolver.solve(KBOSolver.java:122)
	at aprove.verification.dpframework.DPProblem.Solvers.QDPAfsOrderSolver.solve(QDPAfsOrderSolver.java:81)
	at aprove.verification.dpframework.DPProblem.Solvers.QDPAfsOrderSolver.solveQActive(QDPAfsOrderSolver.java:51)
	at aprove.verification.dpframework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:199)
	at aprove.verification.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.base/java.lang.Thread.runWith(Thread.java:1487)
	at java.base/java.lang.Thread.run(Thread.java:1474)
Running Thread.stop() against 1784905471Exec. 316, QDPReductionPair[Order=KBO[Engine=MINISAT], MergeMutual=False]
Stack trace:
    java.base/java.util.ArrayList.<init>(ArrayList.java:157)
    aprove.verification.dpframework.Orders.Utility.KBO.IntMatrix.multiply(IntMatrix.java:98)
    aprove.verification.dpframework.Orders.Utility.KBO.IntMatrix.multiply(IntMatrix.java:48)
    aprove.verification.dpframework.Orders.Utility.KBO.HomogenousInequalitySystem.add(HomogenousInequalitySystem.java:96)
    aprove.verification.dpframework.Orders.Solvers.KBOSolver.solvingOrder(KBOSolver.java:196)
    aprove.verification.dpframework.Orders.Solvers.KBOSolver.solve(KBOSolver.java:122)
    aprove.verification.dpframework.DPProblem.Solvers.QDPAfsOrderSolver.solve(QDPAfsOrderSolver.java:81)
    aprove.verification.dpframework.DPProblem.Solvers.QDPAfsOrderSolver.solveQActive(QDPAfsOrderSolver.java:51)
    aprove.verification.dpframework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:199)
    aprove.verification.dpframework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47)
    aprove.strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
    aprove.strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
    aprove.strategies.Abortions.PooledJob.run(PooledJob.java:99)
    aprove.strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
    java.base/java.lang.Thread.run(Thread.java:1474)
Aborted 1784905468Exec. 154, QDPReductionPair with some error. Reason: java.lang.OutOfMemoryError: Java heap space.
            java.base/java.util.Arrays.copyOf(Arrays.java:3478)
            java.base/java.util.ArrayList.toArray(ArrayList.java:370)
            java.base/java.util.ArrayList.<init>(ArrayList.java:182)
            aprove.verification.dpframework.Orders.Utility.KBO.HomogenousInequality.build_e_combined(HomogenousInequality.java:135)
            aprove.verification.dpframework.Orders.Utility.KBO.HomogenousInequality.solve(HomogenousInequality.java:153)
            aprove.verification.dpframework.Orders.Utility.KBO.HomogenousInequality.getKappaMatrix(HomogenousInequality.java:174)
            aprove.verification.dpframework.Orders.Utility.KBO.HomogenousInequalitySystem.add(HomogenousInequalitySystem.java:95)
            aprove.verification.dpframework.Orders.Solvers.KBOSolver.solvingOrder(KBOSolver.java:196)
            aprove.verification.dpframework.Orders.Solvers.KBOSolver.solve(KBOSolver.java:122)
            aprove.verification.dpframework.DPProblem.Solvers.QDPAfsOrderSolver.solve(QDPAfsOrderSolver.java:81)
            aprove.verification.dpframework.DPProblem.Solvers.QDPAfsOrderSolver.solveQActive(QDPAfsOrderSolver.java:51)
            aprove.verification.dpframework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:199)
            aprove.verification.dpframework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47)
            aprove.strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
            aprove.strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
            aprove.strategies.Abortions.PooledJob.run(PooledJob.java:99)
            aprove.strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
            java.base/java.lang.Thread.runWith(Thread.java:1487)
            java.base/java.lang.Thread.run(Thread.java:1474)
java.lang.OutOfMemoryError: Java heap space
	at java.base/java.util.Arrays.copyOf(Arrays.java:3478)
	at java.base/java.util.ArrayList.toArray(ArrayList.java:370)
	at java.base/java.util.ArrayList.<init>(ArrayList.java:182)
	at aprove.verification.dpframework.Orders.Utility.KBO.HomogenousInequality.build_e_combined(HomogenousInequality.java:135)
	at aprove.verification.dpframework.Orders.Utility.KBO.HomogenousInequality.solve(HomogenousInequality.java:153)
	at aprove.verification.dpframework.Orders.Utility.KBO.HomogenousInequality.getKappaMatrix(HomogenousInequality.java:174)
	at aprove.verification.dpframework.Orders.Utility.KBO.HomogenousInequalitySystem.add(HomogenousInequalitySystem.java:95)
	at aprove.verification.dpframework.Orders.Solvers.KBOSolver.solvingOrder(KBOSolver.java:196)
	at aprove.verification.dpframework.Orders.Solvers.KBOSolver.solve(KBOSolver.java:122)
	at aprove.verification.dpframework.DPProblem.Solvers.QDPAfsOrderSolver.solve(QDPAfsOrderSolver.java:81)
	at aprove.verification.dpframework.DPProblem.Solvers.QDPAfsOrderSolver.solveQActive(QDPAfsOrderSolver.java:51)
	at aprove.verification.dpframework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:199)
	at aprove.verification.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.base/java.lang.Thread.runWith(Thread.java:1487)
	at java.base/java.lang.Thread.run(Thread.java:1474)
