details

property	value
status	memout
benchmark	random-403.xml
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
space	Waldmann_19

run statistics

property	value
solver	AProVE
configuration	standard
runtime (wallclock)	8.62583 seconds
cpu usage	30.105
user time	28.6515
system time	1.45348
max virtual memory	3.2586748E8
max residence set size	3785004.0

stage attributes

unavailable

output

12.50/4.13 2019-03-29 17:47:02 12.50/4.13 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 12.50/4.13 12.50/4.13 "ThreadPoolThread69" #93 daemon prio=6 os_prio=0 tid=0x00002ac8d403c000 nid=0x1af9 runnable [0x00002ac8aa92a000] 12.50/4.13 java.lang.Thread.State: RUNNABLE 12.50/4.13 at immutables.Immutable.ImmutableIterator.hasNext(Unknown Source) 12.50/4.13 at aprove.DPFramework.BasicStructures.TRSFunctionApplication.<init>(TRSFunctionApplication.java:269) 12.50/4.13 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.<init>(TRSCompoundTerm.java:22) 12.50/4.13 at aprove.DPFramework.BasicStructures.TRSTerm.createFunctionApplication(TRSTerm.java:76) 12.50/4.13 at aprove.DPFramework.BasicStructures.TRSTerm.createFunctionApplication(TRSTerm.java:88) 12.50/4.13 at aprove.DPFramework.BasicStructures.TRSTerm.replaceAt(TRSTerm.java:863) 12.50/4.13 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doOneNarrowingStep(NonTerminationProcessor.java:543) 12.50/4.13 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doClosure(NonTerminationProcessor.java:341) 12.50/4.13 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doHeuristic(NonTerminationProcessor.java:284) 12.50/4.13 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.processQDPProblem(NonTerminationProcessor.java:262) 12.50/4.13 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor.processQDPProblem(NonTerminationProcessor.java:107) 12.50/4.13 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 12.50/4.13 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 12.50/4.13 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 12.50/4.13 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 12.50/4.13 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 12.50/4.13 at java.lang.Thread.run(Thread.java:748) 12.50/4.13 12.50/4.13 "ThreadPoolThread68" #92 daemon prio=6 os_prio=0 tid=0x00002ac8d4039800 nid=0x1af8 runnable [0x00002ac8aa828000] 12.50/4.13 java.lang.Thread.State: RUNNABLE 12.50/4.13 at java.util.HashMap.hash(HashMap.java:338) 12.50/4.13 at java.util.LinkedHashMap.get(LinkedHashMap.java:440) 12.50/4.13 at immutables.Immutable.ImmutableLinkedHashMap.get(Unknown Source) 12.50/4.13 at aprove.DPFramework.BasicStructures.TRSSubstitution.substitute(TRSSubstitution.java:107) 12.50/4.13 at aprove.DPFramework.BasicStructures.TRSSubstitution.substitute(TRSSubstitution.java:21) 12.50/4.13 at aprove.DPFramework.BasicStructures.TRSVariable.processSubstitution(TRSVariable.java:208) 12.50/4.13 at aprove.DPFramework.BasicStructures.TRSTerm.applySubstitution(TRSTerm.java:216) 12.50/4.13 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.processSubstitution(TRSCompoundTerm.java:48) 12.50/4.13 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.applySubstitution(TRSCompoundTerm.java:40) 12.50/4.13 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.applySubstitution(TRSCompoundTerm.java:15) 12.50/4.13 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.processSubstitution(TRSCompoundTerm.java:48) 12.50/4.13 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.applySubstitution(TRSCompoundTerm.java:40) 12.50/4.13 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.applySubstitution(TRSCompoundTerm.java:15) 12.50/4.13 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.processSubstitution(TRSCompoundTerm.java:48) 12.50/4.13 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.applySubstitution(TRSCompoundTerm.java:40) 12.50/4.13 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.applySubstitution(TRSCompoundTerm.java:15) 12.50/4.13 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.processSubstitution(TRSCompoundTerm.java:48) 12.50/4.13 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.applySubstitution(TRSCompoundTerm.java:40) 12.50/4.13 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.applySubstitution(TRSCompoundTerm.java:15) 12.50/4.13 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.processSubstitution(TRSCompoundTerm.java:48) 12.50/4.13 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.applySubstitution(TRSCompoundTerm.java:40) 12.50/4.13 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.applySubstitution(TRSCompoundTerm.java:15) 12.50/4.13 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.processSubstitution(TRSCompoundTerm.java:48) 12.50/4.13 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.applySubstitution(TRSCompoundTerm.java:40) 12.50/4.13 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.applySubstitution(TRSCompoundTerm.java:15) 12.50/4.13 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.processSubstitution(TRSCompoundTerm.java:48) 12.50/4.13 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.applySubstitution(TRSCompoundTerm.java:40) 12.50/4.13 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.applySubstitution(TRSCompoundTerm.java:15) 12.50/4.13 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.processSubstitution(TRSCompoundTerm.java:48) 12.50/4.13 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.applySubstitution(TRSCompoundTerm.java:40) 12.50/4.13 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.applySubstitution(TRSCompoundTerm.java:15) 12.50/4.13 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.processSubstitution(TRSCompoundTerm.java:48) 12.50/4.13 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.applySubstitution(TRSCompoundTerm.java:40) 12.50/4.13 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.applySubstitution(TRSCompoundTerm.java:15) 12.50/4.13 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.processSubstitution(TRSCompoundTerm.java:48) 12.50/4.13 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.applySubstitution(TRSCompoundTerm.java:40) 12.50/4.13 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.applySubstitution(TRSCompoundTerm.java:15) 12.50/4.13 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.processSubstitution(TRSCompoundTerm.java:48) 12.50/4.13 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.applySubstitution(TRSCompoundTerm.java:40) 12.50/4.13 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.applySubstitution(TRSCompoundTerm.java:15) 12.50/4.13 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doOneNarrowingStep(NonTerminationProcessor.java:543) 12.50/4.13 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doClosure(NonTerminationProcessor.java:341) 12.50/4.13 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doHeuristic(NonTerminationProcessor.java:284) 12.50/4.13 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.processQDPProblem(NonTerminationProcessor.java:262) 12.50/4.13 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor.processQDPProblem(NonTerminationProcessor.java:107) 12.50/4.13 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 12.50/4.13 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 12.50/4.13 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 12.50/4.13 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 12.50/4.13 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 12.50/4.13 at java.lang.Thread.run(Thread.java:748) 12.50/4.13 12.50/4.13 "ThreadPoolThread66" #90 daemon prio=6 os_prio=0 tid=0x00002ac8d4035800 nid=0x1af6 runnable [0x00002ac8aa627000] 12.50/4.13 java.lang.Thread.State: RUNNABLE 12.50/4.13 at java.lang.UNIXProcess.forkAndExec(Native Method) 12.50/4.13 at java.lang.UNIXProcess.<init>(UNIXProcess.java:247) 12.50/4.13 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 12.50/4.13 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 12.50/4.13 at java.lang.Runtime.exec(Runtime.java:620) 12.50/4.13 at java.lang.Runtime.exec(Runtime.java:450) 12.50/4.13 at java.lang.Runtime.exec(Runtime.java:347) 12.50/4.13 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATExtStartedFileChecker.found(MiniSATExtStartedFileChecker.java:64) 12.50/4.13 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.<init>(MiniSATFileChecker.java:114) 12.50/4.13 at aprove.GraphUserInterface.Factories.Solvers.Engines.MINISATEngine.getSATChecker(MINISATEngine.java:54) 12.50/4.13 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:158) 12.50/4.13 at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) 12.50/4.13 at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) 12.50/4.13 at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191) 12.50/4.13 at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94) 12.50/4.13 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 12.50/4.13 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 12.50/4.13 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 12.50/4.13 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 12.50/4.13 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 12.50/4.13 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 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