details

property	value
status	memout
benchmark	aaron3_true-termination.c
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
space	SV-COMP_Termination_Category

run statistics

property	value
solver	AProVE
configuration	c
runtime (wallclock)	122.4 seconds
cpu usage	473.47
user time	460.38
system time	13.09
max virtual memory	1.49591388E8
max residence set size	1440.0

stage attributes

unavailable

output

436.02/112.87 2019-03-28 12:05:22 436.02/112.87 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 436.02/112.87 436.02/112.87 "Thread-2603" #2637 daemon prio=6 os_prio=0 tid=0x00002acb7c002800 nid=0xa863 runnable [0x0000000000000000] 436.02/112.87 java.lang.Thread.State: TERMINATED 436.02/112.87 436.02/112.87 "Thread-2612" #2636 daemon prio=6 os_prio=0 tid=0x00002acbb8002000 nid=0xa862 runnable [0x0000000000000000] 436.02/112.87 java.lang.Thread.State: TERMINATED 436.02/112.87 436.02/112.87 "Thread-2604" #2635 daemon prio=6 os_prio=0 tid=0x00002acbb8001000 nid=0xa860 runnable [0x0000000000000000] 436.02/112.87 java.lang.Thread.State: TERMINATED 436.02/112.87 436.02/112.87 "Thread-2605" #2634 daemon prio=6 os_prio=0 tid=0x00002acb78008800 nid=0xa85f runnable [0x0000000000000000] 436.02/112.87 java.lang.Thread.State: TERMINATED 436.02/112.87 436.02/112.87 "Thread-2589" #2622 daemon prio=6 os_prio=0 tid=0x00002acb8c001000 nid=0xa85b runnable [0x0000000000000000] 436.02/112.87 java.lang.Thread.State: TERMINATED 436.02/112.87 436.02/112.87 "Thread-2596" #2623 daemon prio=6 os_prio=0 tid=0x00002acc0001b000 nid=0xa84c runnable [0x0000000000000000] 436.02/112.87 java.lang.Thread.State: TERMINATED 436.02/112.87 436.02/112.87 "Thread-2590" #2621 daemon prio=6 os_prio=0 tid=0x00002acc00010800 nid=0xa84b runnable [0x0000000000000000] 436.02/112.87 java.lang.Thread.State: TERMINATED 436.02/112.87 436.02/112.87 "ThreadPoolThread340" #2573 daemon prio=6 os_prio=0 tid=0x00002acb68018800 nid=0xa801 runnable [0x00002acb03909000] 436.02/112.87 java.lang.Thread.State: RUNNABLE 436.02/112.87 at java.lang.Thread.setPriority0(Native Method) 436.02/112.87 at java.lang.Thread.setPriority(Thread.java:1095) 436.02/112.87 at java.lang.Thread.init(Thread.java:417) 436.02/112.87 at java.lang.Thread.init(Thread.java:349) 436.02/112.87 at java.lang.Thread.<init>(Thread.java:448) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.<init>(ExecHelper.java:68) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 436.02/112.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 436.02/112.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 436.02/112.87 at java.lang.Thread.run(Thread.java:748) 436.02/112.87 436.02/112.87 "ThreadPoolThread339" #2572 daemon prio=6 os_prio=0 tid=0x00002acb68026000 nid=0xa7ff runnable [0x00002acb3edd9000] 436.02/112.87 java.lang.Thread.State: RUNNABLE 436.02/112.87 at java.lang.Thread.setPriority0(Native Method) 436.02/112.87 at java.lang.Thread.setPriority(Thread.java:1095) 436.02/112.87 at java.lang.Thread.init(Thread.java:417) 436.02/112.87 at java.lang.Thread.init(Thread.java:349) 436.02/112.87 at java.lang.Thread.<init>(Thread.java:448) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.<init>(ExecHelper.java:68) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 436.02/112.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 436.02/112.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 436.02/112.87 at java.lang.Thread.run(Thread.java:748) 436.02/112.87 436.02/112.87 "ThreadPoolThread338" #2530 daemon prio=6 os_prio=0 tid=0x00002acb6802a000 nid=0xa7c1 runnable [0x00002acb019b6000] 436.02/112.87 java.lang.Thread.State: RUNNABLE 436.02/112.87 at java.lang.Thread.setPriority0(Native Method) 436.02/112.87 at java.lang.Thread.setPriority(Thread.java:1095) 436.02/112.87 at java.lang.Thread.init(Thread.java:417) 436.02/112.87 at java.lang.Thread.init(Thread.java:349) 436.02/112.87 at java.lang.Thread.<init>(Thread.java:448) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.<init>(ExecHelper.java:68) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 436.02/112.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 436.02/112.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 436.02/112.87 at java.lang.Thread.run(Thread.java:748) 436.02/112.87 436.02/112.87 "ThreadPoolThread336" #2478 daemon prio=6 os_prio=0 tid=0x00002acb68032800 nid=0xa774 runnable [0x00002acb02dc5000] 436.02/112.87 java.lang.Thread.State: RUNNABLE 436.02/112.87 at java.lang.Thread.setPriority0(Native Method) 436.02/112.87 at java.lang.Thread.setPriority(Thread.java:1095) 436.02/112.87 at java.lang.Thread.init(Thread.java:417) 436.02/112.87 at java.lang.Thread.init(Thread.java:349) 436.02/112.87 at java.lang.Thread.<init>(Thread.java:448) popout

output may be truncated. 'popout' for the full output.

job log

popout

actions

all output return to C 2019-03-28 11.48