Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
C 2019-03-28 11.48 pair #432171470
details
property
value
status
memout
benchmark
GulwaniJainKoskinen-PLDI2009-Fig1_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)
156.322 seconds
cpu usage
603.06
user time
572.91
system time
30.15
max virtual memory
1.4773182E8
max residence set size
1440.0
stage attributes
unavailable
output
564.68/146.33 2019-03-28 11:55:08 564.68/146.33 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 564.68/146.33 564.68/146.33 "Thread-9363" #9376 daemon prio=6 os_prio=0 tid=0x00002b59dc0a4800 nid=0xc879 runnable [0x0000000000000000] 564.68/146.33 java.lang.Thread.State: RUNNABLE 564.68/146.33 564.68/146.33 "Thread-9337" #9375 daemon prio=6 os_prio=0 tid=0x00002b59dc0a8800 nid=0xc878 runnable [0x0000000000000000] 564.68/146.33 java.lang.Thread.State: TERMINATED 564.68/146.33 564.68/146.33 "Thread-9339" #9373 daemon prio=6 os_prio=0 tid=0x00002b5a2400c000 nid=0xc873 runnable [0x0000000000000000] 564.68/146.33 java.lang.Thread.State: TERMINATED 564.68/146.33 564.68/146.33 "Thread-9340" #9347 daemon prio=6 os_prio=0 tid=0x00002b5a20007000 nid=0xc872 runnable [0x0000000000000000] 564.68/146.33 java.lang.Thread.State: TERMINATED 564.68/146.33 564.68/146.33 "Thread-9360" #9370 daemon prio=6 os_prio=0 tid=0x00002b5a60010800 nid=0xc86e runnable [0x0000000000000000] 564.68/146.33 java.lang.Thread.State: TERMINATED 564.68/146.33 564.68/146.33 "Thread-9346" #9369 daemon prio=6 os_prio=0 tid=0x00002b5a60002000 nid=0xc86d runnable [0x0000000000000000] 564.68/146.33 java.lang.Thread.State: TERMINATED 564.68/146.33 564.68/146.33 "Thread-9358" #9367 daemon prio=6 os_prio=0 tid=0x00002b5a0c001000 nid=0xc86b runnable [0x0000000000000000] 564.68/146.33 java.lang.Thread.State: TERMINATED 564.68/146.33 564.68/146.33 "Thread-9350" #9364 daemon prio=6 os_prio=0 tid=0x00002b5a90004800 nid=0xc865 runnable [0x0000000000000000] 564.68/146.33 java.lang.Thread.State: TERMINATED 564.68/146.33 564.68/146.33 "Thread-9355" #9363 daemon prio=6 os_prio=0 tid=0x00002b59f4003000 nid=0xc864 runnable [0x0000000000000000] 564.68/146.33 java.lang.Thread.State: TERMINATED 564.68/146.33 564.68/146.33 "Thread-9352" #9362 daemon prio=6 os_prio=0 tid=0x00002b59f4007800 nid=0xc862 runnable [0x0000000000000000] 564.68/146.33 java.lang.Thread.State: TERMINATED 564.68/146.33 564.68/146.33 "Thread-9354" #9361 daemon prio=6 os_prio=0 tid=0x00002b5a6800b000 nid=0xc861 runnable [0x0000000000000000] 564.68/146.33 java.lang.Thread.State: TERMINATED 564.68/146.33 564.68/146.33 "Thread-9319" #9360 daemon prio=6 os_prio=0 tid=0x00002b5a68002800 nid=0xc85f runnable [0x0000000000000000] 564.68/146.33 java.lang.Thread.State: TERMINATED 564.68/146.33 564.68/146.33 "Thread-9351" #9359 daemon prio=6 os_prio=0 tid=0x00002b5a1c013000 nid=0xc85e runnable [0x0000000000000000] 564.68/146.33 java.lang.Thread.State: TERMINATED 564.68/146.33 564.68/146.33 "Thread-9336" #9342 daemon prio=6 os_prio=0 tid=0x00002b59dc0ab800 nid=0xc846 runnable [0x0000000000000000] 564.68/146.33 java.lang.Thread.State: TERMINATED 564.68/146.33 564.68/146.33 "Thread-9328" #9341 daemon prio=6 os_prio=0 tid=0x00002b59dc0ac800 nid=0xc843 runnable [0x0000000000000000] 564.68/146.33 java.lang.Thread.State: TERMINATED 564.68/146.33 564.68/146.33 "Thread-9333" #9340 daemon prio=6 os_prio=0 tid=0x00002b5a8000d000 nid=0xc842 runnable [0x0000000000000000] 564.68/146.33 java.lang.Thread.State: TERMINATED 564.68/146.33 564.68/146.33 "Thread-9329" #9339 daemon prio=6 os_prio=0 tid=0x00002b5a80008800 nid=0xc841 runnable [0x0000000000000000] 564.68/146.33 java.lang.Thread.State: TERMINATED 564.68/146.33 564.68/146.33 "Thread-9332" #9338 daemon prio=6 os_prio=0 tid=0x00002b5a28004800 nid=0xc840 runnable [0x0000000000000000] 564.68/146.33 java.lang.Thread.State: TERMINATED 564.68/146.33 564.68/146.33 "Thread-9330" #9337 daemon prio=6 os_prio=0 tid=0x00002b5a2800c800 nid=0xc83f runnable [0x0000000000000000] 564.68/146.33 java.lang.Thread.State: TERMINATED 564.68/146.33 564.68/146.33 "Thread-9318" #9336 daemon prio=6 os_prio=0 tid=0x00002b5a14004800 nid=0xc83e runnable [0x0000000000000000] 564.68/146.33 java.lang.Thread.State: TERMINATED 564.68/146.33 564.68/146.33 "ThreadPoolThread145" #9175 daemon prio=6 os_prio=0 tid=0x00002b59e4013800 nid=0xc74a runnable [0x00002b5986305000] 564.68/146.33 java.lang.Thread.State: RUNNABLE 564.68/146.33 at java.lang.UNIXProcess.forkAndExec(Native Method) 564.68/146.33 at java.lang.UNIXProcess.<init>(UNIXProcess.java:247) 564.68/146.33 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 564.68/146.33 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 564.68/146.33 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 564.68/146.33 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 564.68/146.33 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 564.68/146.33 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 564.68/146.33 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 564.68/146.33 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 564.68/146.33 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 564.68/146.33 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 564.68/146.33 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 564.68/146.33 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 564.68/146.33 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 564.68/146.33 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 564.68/146.33 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 564.68/146.33 at java.lang.Thread.run(Thread.java:748) 564.68/146.33 564.68/146.33 "ThreadPoolThread144" #8938 daemon prio=6 os_prio=0 tid=0x00002b59e401d800 nid=0xc5e6 runnable [0x00002b5987617000] 564.68/146.33 java.lang.Thread.State: RUNNABLE 564.68/146.33 at java.lang.Thread.setPriority0(Native Method) 564.68/146.33 at java.lang.Thread.setPriority(Thread.java:1095) 564.68/146.33 at java.lang.Thread.init(Thread.java:417) 564.68/146.33 at java.lang.Thread.init(Thread.java:349) 564.68/146.33 at java.lang.Thread.<init>(Thread.java:448) 564.68/146.33 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.<init>(ExecHelper.java:68) 564.68/146.33 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 564.68/146.33 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 564.68/146.33 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 564.68/146.33 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 564.68/146.33 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 564.68/146.33 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 564.68/146.33 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 564.68/146.33 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483)
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to C 2019-03-28 11.48