Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS_Standard 2019-03-29 03.29 pair #432292915
details
property
value
status
memout
benchmark
abacababab-ababababacabac.srs.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
space
Wenzel_16
run statistics
property
value
solver
AProVE
configuration
standard
runtime (wallclock)
13.7975 seconds
cpu usage
50.42
user time
48.04
system time
2.38
max virtual memory
1.379896E8
max residence set size
1440.0
stage attributes
unavailable
output
11.07/3.78 2019-03-29 16:33:17 11.07/3.78 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 11.07/3.78 11.07/3.78 "ThreadPoolThread70" #98 daemon prio=6 os_prio=0 tid=0x00002ac85003c000 nid=0x136a runnable [0x00002ac820601000] 11.07/3.78 java.lang.Thread.State: RUNNABLE 11.07/3.78 at java.util.LinkedHashMap.entrySet(LinkedHashMap.java:635) 11.07/3.78 at java.util.AbstractMap.equals(AbstractMap.java:486) 11.07/3.78 at immutables.Immutable.ImmutableLinkedHashMap.equals(Unknown Source) 11.07/3.78 at aprove.Framework.Algebra.Polynomials.IndefinitePart.equals(IndefinitePart.java:1177) 11.07/3.78 at java.util.HashMap.getNode(HashMap.java:571) 11.07/3.78 at java.util.LinkedHashMap.get(LinkedHashMap.java:440) 11.07/3.78 at immutables.Immutable.ImmutableLinkedHashMap.get(Unknown Source) 11.07/3.78 at aprove.Framework.Algebra.Polynomials.VarPolynomial.minus(VarPolynomial.java:676) 11.07/3.78 at aprove.DPFramework.Orders.Utility.POLO.Interpretation.getActiveRuleConstraints(Interpretation.java:737) 11.07/3.78 at aprove.GraphUserInterface.Factories.Solvers.POLOFactory.getSolver(POLOFactory.java:254) 11.07/3.78 at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:63) 11.07/3.78 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 11.07/3.78 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 11.07/3.78 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 11.07/3.78 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 11.07/3.78 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 11.07/3.78 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 11.07/3.78 at java.lang.Thread.run(Thread.java:748) 11.07/3.78 11.07/3.78 "ThreadPoolThread69" #97 daemon prio=6 os_prio=0 tid=0x00002ac85003b000 nid=0x1369 runnable [0x00002ac81bd3d000] 11.07/3.78 java.lang.Thread.State: RUNNABLE 11.07/3.78 at java.math.BigInteger.shiftRightImpl(BigInteger.java:3168) 11.07/3.78 at java.math.BigInteger.shiftRight(BigInteger.java:3133) 11.07/3.78 at java.math.BigInteger.pow(BigInteger.java:2235) 11.07/3.78 at aprove.Framework.Algebra.Polynomials.IndefinitePart.max(IndefinitePart.java:387) 11.07/3.78 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.max(SimplePolynomial.java:1437) 11.07/3.78 at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.interpret(NegPoloInterpretation.java:689) 11.07/3.78 at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.interpret(NegPoloInterpretation.java:674) 11.07/3.78 at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.interpret(NegPoloInterpretation.java:674) 11.07/3.78 at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.interpret(NegPoloInterpretation.java:674) 11.07/3.78 at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.interpret(NegPoloInterpretation.java:674) 11.07/3.78 at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.interpret(NegPoloInterpretation.java:674) 11.07/3.78 at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.interpret(NegPoloInterpretation.java:674) 11.07/3.78 at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.interpret(NegPoloInterpretation.java:674) 11.07/3.78 at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.interpret(NegPoloInterpretation.java:674) 11.07/3.78 at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.interpret(NegPoloInterpretation.java:674) 11.07/3.78 at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.interpret(NegPoloInterpretation.java:674) 11.07/3.78 at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.encode(NegPoloInterpretation.java:592) 11.07/3.78 at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.encode(NegPoloInterpretation.java:450) 11.07/3.78 at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.solve(NegPoloInterpretation.java:181) 11.07/3.78 at aprove.DPFramework.DPProblem.Solvers.QDPNegPoloSolver.solveQActive(QDPNegPoloSolver.java:89) 11.07/3.78 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 11.07/3.78 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 11.07/3.78 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 11.07/3.78 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 11.07/3.78 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 11.07/3.78 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 11.07/3.78 at java.lang.Thread.run(Thread.java:748) 11.07/3.78 11.07/3.78 "ThreadPoolThread68" #96 daemon prio=6 os_prio=0 tid=0x00002ac85003a000 nid=0x1368 runnable [0x00002ac81bf3f000] 11.07/3.78 java.lang.Thread.State: RUNNABLE 11.07/3.78 at java.lang.Object.hashCode(Native Method) 11.07/3.78 at aprove.Framework.Utility.GenericStructures.Pair.hashCode(Pair.java:90) 11.07/3.78 at java.util.HashMap.hash(HashMap.java:338) 11.07/3.78 at java.util.HashMap.get(HashMap.java:556) 11.07/3.78 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.FullSharingFactory.concat(FullSharingFactory.java:125) 11.07/3.78 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.FullSharingFactory.buildFromVariable(FullSharingFactory.java:447) 11.07/3.78 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPolyFactory.buildFromVariable(OrderPolyFactory.java:116) 11.07/3.78 at aprove.Framework.Algebra.PolyMatrices.PolyMatrixFactory.buildVariableVector(PolyMatrixFactory.java:148) 11.07/3.78 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.interpretTerm(AbstractPolyMatrixInterpretation.java:264) 11.07/3.78 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.interpretTerm(AbstractPolyMatrixInterpretation.java:277) 11.07/3.78 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.interpretTerm(AbstractPolyMatrixInterpretation.java:277) 11.07/3.78 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.interpretTerm(AbstractPolyMatrixInterpretation.java:277) 11.07/3.78 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.interpretTerm(AbstractPolyMatrixInterpretation.java:277) 11.07/3.78 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.interpretTerm(AbstractPolyMatrixInterpretation.java:277) 11.07/3.78 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.interpretTerm(AbstractPolyMatrixInterpretation.java:277) 11.07/3.78 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.interpretTerm(AbstractPolyMatrixInterpretation.java:277) 11.07/3.78 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.interpretTerm(AbstractPolyMatrixInterpretation.java:277) 11.07/3.78 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.interpretTerm(AbstractPolyMatrixInterpretation.java:277) 11.07/3.78 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.interpretTerm(AbstractPolyMatrixInterpretation.java:277) 11.07/3.78 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.interpretTerm(AbstractPolyMatrixInterpretation.java:277) 11.07/3.78 at aprove.DPFramework.Orders.Utility.PMATRO.ExoticPolyMatrixInterpretation.fromTermConstraints(ExoticPolyMatrixInterpretation.java:275) 11.07/3.78 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.getActiveRuleConstraints(AbstractPolyMatrixInterpretation.java:320) 11.07/3.78 at aprove.DPFramework.DPProblem.Solvers.PMatroExoticSolver.solveQActive(PMatroExoticSolver.java:233) 11.07/3.78 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 11.07/3.78 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 11.07/3.78 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 11.07/3.78 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 11.07/3.78 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 11.07/3.78 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 11.07/3.78 at java.lang.Thread.run(Thread.java:748) 11.07/3.78 11.07/3.78 "ThreadPoolThread65" #93 daemon prio=6 os_prio=0 tid=0x00002ac85001d000 nid=0x1365 runnable [0x00002ac81b234000] 11.07/3.78 java.lang.Thread.State: RUNNABLE 11.07/3.78 at java.lang.Integer.equals(Integer.java:974) 11.07/3.78 at java.util.AbstractMap.equals(AbstractMap.java:495) 11.07/3.78 at immutables.Immutable.ImmutableLinkedHashMap.equals(Unknown Source) 11.07/3.78 at aprove.Framework.Algebra.Polynomials.IndefinitePart.equals(IndefinitePart.java:1177) 11.07/3.78 at java.util.HashMap.putVal(HashMap.java:634) 11.07/3.78 at java.util.HashMap.put(HashMap.java:611) 11.07/3.78 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:485) 11.07/3.78 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:606) 11.07/3.78 at aprove.Framework.Algebra.Polynomials.VarPolynomial.substituteVariables(VarPolynomial.java:851) 11.07/3.78 at aprove.DPFramework.Orders.Utility.POLO.Interpretation.interpretTerm(Interpretation.java:1408) 11.07/3.78 at aprove.DPFramework.Orders.Utility.POLO.Interpretation.interpretTerm(Interpretation.java:1401)
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to SRS_Standard 2019-03-29 03.29