Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS_Standard 2019-03-29 03.29 pair #432290113
details
property
value
status
memout
benchmark
size-12-alpha-3-num-124.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
space
Waldmann_07_size12
run statistics
property
value
solver
AProVE
configuration
standard
runtime (wallclock)
9.88488 seconds
cpu usage
35.123
user time
33.5083
system time
1.6147
max virtual memory
1.37060752E8
max residence set size
4048992.0
stage attributes
unavailable
output
10.76/3.70 2019-03-29 11:05:32 10.76/3.70 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 10.76/3.70 10.76/3.70 "process reaper" #86 daemon prio=10 os_prio=0 tid=0x00002b8890068800 nid=0x9fd9 runnable [0x0000000000000000] 10.76/3.70 java.lang.Thread.State: RUNNABLE 10.76/3.70 10.76/3.70 "process reaper" #85 daemon prio=10 os_prio=0 tid=0x00002b888800f800 nid=0x9fd6 runnable [0x0000000000000000] 10.76/3.70 java.lang.Thread.State: RUNNABLE 10.76/3.70 10.76/3.70 "process reaper" #84 daemon prio=10 os_prio=0 tid=0x00002b88a400d800 nid=0x9fd5 runnable [0x00002b88439e4000] 10.76/3.70 java.lang.Thread.State: RUNNABLE 10.76/3.70 at java.lang.Thread.run(Thread.java:747) 10.76/3.70 10.76/3.70 "process reaper" #83 daemon prio=10 os_prio=0 tid=0x00002b887801f800 nid=0x9fd4 runnable [0x00002b88439ab000] 10.76/3.70 java.lang.Thread.State: RUNNABLE 10.76/3.70 at java.lang.Thread.run(Thread.java:747) 10.76/3.70 10.76/3.70 "ThreadPoolThread60" #82 daemon prio=6 os_prio=0 tid=0x00002b8870043800 nid=0x9fd3 runnable [0x00002b8843972000] 10.76/3.70 java.lang.Thread.State: RUNNABLE 10.76/3.70 at java.lang.Thread.run(Thread.java:747) 10.76/3.70 10.76/3.70 "ThreadPoolThread59" #81 daemon prio=6 os_prio=0 tid=0x00002b8870042000 nid=0x9fd0 runnable [0x00002b8843871000] 10.76/3.70 java.lang.Thread.State: RUNNABLE 10.76/3.70 at aprove.DPFramework.DPProblem.QActiveCondition.isSuperSetOf(QActiveCondition.java:248) 10.76/3.70 at aprove.DPFramework.DPProblem.QActiveCondition.union(QActiveCondition.java:606) 10.76/3.70 at aprove.DPFramework.DPProblem.QActiveCondition.or(QActiveCondition.java:653) 10.76/3.70 at aprove.DPFramework.DPProblem.QUsableRules.getActiveConditions(QUsableRules.java:371) 10.76/3.70 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:188) 10.76/3.70 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 10.76/3.70 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 10.76/3.70 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 10.76/3.70 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 10.76/3.70 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 10.76/3.70 at java.lang.Thread.run(Thread.java:748) 10.76/3.70 10.76/3.70 "ThreadPoolThread58" #80 daemon prio=6 os_prio=0 tid=0x00002b8870041000 nid=0x9fcb runnable [0x00002b88069aa000] 10.76/3.70 java.lang.Thread.State: RUNNABLE 10.76/3.70 at java.util.TreeMap.rotateLeft(TreeMap.java:2222) 10.76/3.70 at java.util.TreeMap.fixAfterInsertion(TreeMap.java:2291) 10.76/3.70 at java.util.TreeMap.put(TreeMap.java:582) 10.76/3.70 at java.util.TreeSet.add(TreeSet.java:255) 10.76/3.70 at aprove.DPFramework.DPProblem.QActiveCondition.union(QActiveCondition.java:632) 10.76/3.70 at aprove.DPFramework.DPProblem.QActiveCondition.or(QActiveCondition.java:653) 10.76/3.70 at aprove.DPFramework.DPProblem.QUsableRules.getActiveConditions(QUsableRules.java:371) 10.76/3.70 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:188) 10.76/3.70 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 10.76/3.70 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 10.76/3.70 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 10.76/3.70 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 10.76/3.70 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 10.76/3.70 at java.lang.Thread.run(Thread.java:748) 10.76/3.70 10.76/3.70 "ThreadPoolThread56" #78 daemon prio=6 os_prio=0 tid=0x00002b8870013800 nid=0x9fbf runnable [0x0000000000000000] 10.76/3.70 java.lang.Thread.State: TERMINATED 10.76/3.70 10.76/3.70 "ThreadPoolThread55" #77 daemon prio=6 os_prio=0 tid=0x00002b8870009000 nid=0x9fba runnable [0x00002b8842728000] 10.76/3.70 java.lang.Thread.State: RUNNABLE 10.76/3.70 at immutables.Immutable.ImmutableLinkedHashMap.isEmpty(Unknown Source) 10.76/3.70 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.isZero(SimplePolynomial.java:671) 10.76/3.70 at aprove.Framework.Algebra.Polynomials.VarPolynomial.minus(VarPolynomial.java:679) 10.76/3.70 at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.encode(NegPoloInterpretation.java:596) 10.76/3.70 at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.encode(NegPoloInterpretation.java:450) 10.76/3.70 at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.solve(NegPoloInterpretation.java:181) 10.76/3.70 at aprove.DPFramework.DPProblem.Solvers.QDPNegPoloSolver.solveQActive(QDPNegPoloSolver.java:89) 10.76/3.70 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 10.76/3.70 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 10.76/3.70 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 10.76/3.70 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 10.76/3.70 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 10.76/3.70 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 10.76/3.70 at java.lang.Thread.run(Thread.java:748) 10.76/3.70 10.76/3.70 "ThreadPoolThread54" #76 daemon prio=6 os_prio=0 tid=0x00002b8870015800 nid=0x9fb9 runnable [0x00002b884366f000] 10.76/3.70 java.lang.Thread.State: RUNNABLE 10.76/3.70 at java.lang.System.arraycopy(Native Method) 10.76/3.70 at java.util.ArrayList.fastRemove(ArrayList.java:544) 10.76/3.70 at java.util.ArrayList.remove(ArrayList.java:529) 10.76/3.70 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doClosure(NonTerminationProcessor.java:361) 10.76/3.70 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doHeuristic(NonTerminationProcessor.java:284) 10.76/3.70 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.processQDPProblem(NonTerminationProcessor.java:262) 10.76/3.70 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor.processQDPProblem(NonTerminationProcessor.java:107) 10.76/3.70 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 10.76/3.70 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 10.76/3.70 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 10.76/3.70 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 10.76/3.70 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 10.76/3.70 at java.lang.Thread.run(Thread.java:748) 10.76/3.70 10.76/3.70 "ThreadPoolThread52" #74 daemon prio=6 os_prio=0 tid=0x00002b8870023000 nid=0x9fb3 runnable [0x0000000000000000] 10.76/3.70 java.lang.Thread.State: TERMINATED 10.76/3.70 10.76/3.70 "ThreadPoolThread51" #73 daemon prio=6 os_prio=0 tid=0x00002b887002b000 nid=0x9fb0 runnable [0x00002b8842b65000] 10.76/3.70 java.lang.Thread.State: RUNNABLE 10.76/3.70 at immutables.Immutable.DefaultImmutableMap.containsKey(Unknown Source) 10.76/3.70 at aprove.Framework.Algebra.Polynomials.IndefinitePart.times(IndefinitePart.java:218) 10.76/3.70 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:481) 10.76/3.70 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:606) 10.76/3.70 at aprove.Framework.Algebra.Polynomials.VarPolynomial.substituteVariables(VarPolynomial.java:851) 10.76/3.70 at aprove.DPFramework.Orders.Utility.POLO.Interpretation.interpretTerm(Interpretation.java:1408) 10.76/3.70 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