Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS_Standard 2019-03-29 03.29 pair #432294325
details
property
value
status
memout
benchmark
un10.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
space
Trafo_06
run statistics
property
value
solver
AProVE
configuration
standard
runtime (wallclock)
13.4207 seconds
cpu usage
48.81
user time
46.32
system time
2.49
max virtual memory
2.7865852E8
max residence set size
1440.0
stage attributes
unavailable
output
10.13/3.39 2019-03-29 17:22:01 10.13/3.39 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 10.13/3.39 10.13/3.39 "ThreadPoolThread65" #86 daemon prio=6 os_prio=0 tid=0x00002b2b34037000 nid=0x7645 runnable [0x00002b2acf8d3000] 10.13/3.39 java.lang.Thread.State: RUNNABLE 10.13/3.39 at aprove.DPFramework.BasicStructures.Unification.Unification.<init>(Unification.java:64) 10.13/3.39 at aprove.DPFramework.BasicStructures.TRSTerm.getMGU(TRSTerm.java:397) 10.13/3.39 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doOneNarrowingStep(NonTerminationProcessor.java:425) 10.13/3.39 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doClosure(NonTerminationProcessor.java:341) 10.13/3.39 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doHeuristic(NonTerminationProcessor.java:284) 10.13/3.39 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.processQDPProblem(NonTerminationProcessor.java:262) 10.13/3.39 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor.processQDPProblem(NonTerminationProcessor.java:107) 10.13/3.39 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 10.13/3.39 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 10.13/3.39 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 10.13/3.39 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 10.13/3.39 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 10.13/3.39 at java.lang.Thread.run(Thread.java:748) 10.13/3.39 10.13/3.39 "ThreadPoolThread64" #85 daemon prio=6 os_prio=0 tid=0x00002b2b34035000 nid=0x7644 runnable [0x00002b2acf7d1000] 10.13/3.39 java.lang.Thread.State: RUNNABLE 10.13/3.39 at java.util.LinkedHashMap.newNode(LinkedHashMap.java:256) 10.13/3.39 at java.util.HashMap.putVal(HashMap.java:630) 10.13/3.39 at java.util.HashMap.put(HashMap.java:611) 10.13/3.39 at java.util.HashSet.add(HashSet.java:219) 10.13/3.39 at aprove.DPFramework.BasicStructures.TRSVariable.collectVariables(TRSVariable.java:66) 10.13/3.39 at aprove.DPFramework.BasicStructures.TRSFunctionApplication.collectVariables(TRSFunctionApplication.java:289) 10.13/3.39 at aprove.DPFramework.BasicStructures.TRSFunctionApplication.collectVariables(TRSFunctionApplication.java:289) 10.13/3.39 at aprove.DPFramework.BasicStructures.TRSFunctionApplication.collectVariables(TRSFunctionApplication.java:289) 10.13/3.39 at aprove.DPFramework.BasicStructures.TRSFunctionApplication.collectVariables(TRSFunctionApplication.java:289) 10.13/3.39 at aprove.DPFramework.BasicStructures.TRSFunctionApplication.collectVariables(TRSFunctionApplication.java:289) 10.13/3.39 at aprove.DPFramework.BasicStructures.TRSFunctionApplication.collectVariables(TRSFunctionApplication.java:289) 10.13/3.39 at aprove.DPFramework.BasicStructures.TRSFunctionApplication.collectVariables(TRSFunctionApplication.java:289) 10.13/3.39 at aprove.DPFramework.BasicStructures.TRSFunctionApplication.collectVariables(TRSFunctionApplication.java:289) 10.13/3.39 at aprove.DPFramework.BasicStructures.TRSFunctionApplication.collectVariables(TRSFunctionApplication.java:289) 10.13/3.39 at aprove.DPFramework.BasicStructures.TRSFunctionApplication.collectVariables(TRSFunctionApplication.java:289) 10.13/3.39 at aprove.DPFramework.BasicStructures.TRSTerm.getVariables(TRSTerm.java:572) 10.13/3.39 at aprove.DPFramework.BasicStructures.Rule.checkProperLandR(Rule.java:65) 10.13/3.39 at aprove.DPFramework.BasicStructures.Rule.<init>(Rule.java:55) 10.13/3.39 at aprove.DPFramework.BasicStructures.Rule.renameVariables(Rule.java:275) 10.13/3.39 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doOneNarrowingStep(NonTerminationProcessor.java:514) 10.13/3.39 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doClosure(NonTerminationProcessor.java:341) 10.13/3.39 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doHeuristic(NonTerminationProcessor.java:284) 10.13/3.39 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.processQDPProblem(NonTerminationProcessor.java:262) 10.13/3.39 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor.processQDPProblem(NonTerminationProcessor.java:107) 10.13/3.39 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 10.13/3.39 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 10.13/3.39 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 10.13/3.39 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 10.13/3.39 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 10.13/3.39 at java.lang.Thread.run(Thread.java:748) 10.13/3.39 10.13/3.39 "ThreadPoolThread59" #80 daemon prio=6 os_prio=0 tid=0x00002b2b3401b800 nid=0x763f runnable [0x00002b2acf2cc000] 10.13/3.39 java.lang.Thread.State: RUNNABLE 10.13/3.39 at java.lang.UNIXProcess.forkAndExec(Native Method) 10.13/3.39 at java.lang.UNIXProcess.<init>(UNIXProcess.java:247) 10.13/3.39 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 10.13/3.39 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 10.13/3.39 at java.lang.Runtime.exec(Runtime.java:620) 10.13/3.39 at java.lang.Runtime.exec(Runtime.java:450) 10.13/3.39 at java.lang.Runtime.exec(Runtime.java:347) 10.13/3.39 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATExtStartedFileChecker.found(MiniSATExtStartedFileChecker.java:64) 10.13/3.39 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.<init>(MiniSATFileChecker.java:114) 10.13/3.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.MINISATEngine.getSATChecker(MINISATEngine.java:54) 10.13/3.39 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:264) 10.13/3.39 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:229) 10.13/3.39 at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.solve(NegPoloInterpretation.java:201) 10.13/3.39 at aprove.DPFramework.DPProblem.Solvers.QDPNegPoloSolver.solveQActive(QDPNegPoloSolver.java:89) 10.13/3.39 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 10.13/3.39 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 10.13/3.39 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 10.13/3.39 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 10.13/3.39 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 10.13/3.39 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 10.13/3.39 at java.lang.Thread.run(Thread.java:748) 10.13/3.39 10.13/3.39 "ThreadPoolThread58" #79 daemon prio=6 os_prio=0 tid=0x00002b2b34029000 nid=0x763e runnable [0x00002b2acf1cb000] 10.13/3.39 java.lang.Thread.State: RUNNABLE 10.13/3.39 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.VarPartNode.getVariables(VarPartNode.java:167) 10.13/3.39 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.ConcatNode.getVariables(ConcatNode.java:69) 10.13/3.39 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.calculateInnerVariables(OrderPoly.java:91) 10.13/3.39 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.<init>(OrderPoly.java:60) 10.13/3.39 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPolyFactory.wrap(OrderPolyFactory.java:63) 10.13/3.39 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPolyFactory.substituteVariables(OrderPolyFactory.java:177) 10.13/3.39 at aprove.Framework.Algebra.PolyMatrices.PolyMatrixFactory.substituteVariables(PolyMatrixFactory.java:403) 10.13/3.39 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.interpretTerm(AbstractPolyMatrixInterpretation.java:287) 10.13/3.39 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.interpretTerm(AbstractPolyMatrixInterpretation.java:277) 10.13/3.39 at aprove.DPFramework.Orders.Utility.PMATRO.ExoticPolyMatrixInterpretation.fromTermConstraints(ExoticPolyMatrixInterpretation.java:275) 10.13/3.39 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.getActiveRuleConstraints(AbstractPolyMatrixInterpretation.java:320) 10.13/3.39 at aprove.DPFramework.DPProblem.Solvers.PMatroExoticSolver.solveQActive(PMatroExoticSolver.java:233) 10.13/3.39 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 10.13/3.39 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 10.13/3.39 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 10.13/3.39 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 10.13/3.39 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 10.13/3.39 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 10.13/3.39 at java.lang.Thread.run(Thread.java:748) 10.13/3.39 10.13/3.39 "ThreadPoolThread56" #77 daemon prio=6 os_prio=0 tid=0x00002b2b34026800 nid=0x763c runnable [0x00002b2acedc7000] 10.13/3.39 java.lang.Thread.State: RUNNABLE
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