Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
C 2019-03-28 11.48 pair #432171402
details
property
value
status
memout
benchmark
Masse-VMCAI2014-Fig1b_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)
173.199 seconds
cpu usage
677.55
user time
664.24
system time
13.31
max virtual memory
1.47916988E8
max residence set size
1440.0
stage attributes
unavailable
output
638.02/163.23 2019-03-28 12:02:12 638.02/163.23 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 638.02/163.23 638.02/163.23 "Thread-2589" #2627 daemon prio=6 os_prio=0 tid=0x00002acb74003800 nid=0x920c runnable [0x0000000000000000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 638.02/163.23 "Thread-2588" #2626 daemon prio=6 os_prio=0 tid=0x00002acb74003000 nid=0x9207 runnable [0x0000000000000000] 638.02/163.23 java.lang.Thread.State: TERMINATED 638.02/163.23 638.02/163.23 "ThreadPoolThread311" #2569 daemon prio=6 os_prio=0 tid=0x00002acae0018000 nid=0x91b8 runnable [0x00002aca93cd4000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 at java.lang.Thread.setPriority0(Native Method) 638.02/163.23 at java.lang.Thread.setPriority(Thread.java:1095) 638.02/163.23 at java.lang.Thread.init(Thread.java:417) 638.02/163.23 at java.lang.Thread.init(Thread.java:349) 638.02/163.23 at java.lang.Thread.<init>(Thread.java:448) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.<init>(ExecHelper.java:68) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 638.02/163.23 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 638.02/163.23 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 638.02/163.23 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 638.02/163.23 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 638.02/163.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 638.02/163.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 638.02/163.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 638.02/163.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 638.02/163.23 at java.lang.Thread.run(Thread.java:748) 638.02/163.23 638.02/163.23 "Thread-2559" #2591 daemon prio=6 os_prio=0 tid=0x00002acad4019800 nid=0x91aa runnable [0x00002acab6b2d000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 at java.io.FileInputStream.readBytes(Native Method) 638.02/163.23 at java.io.FileInputStream.read(FileInputStream.java:255) 638.02/163.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 638.02/163.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 638.02/163.23 - locked <0x00000007b8496588> (a java.lang.UNIXProcess$ProcessPipeInputStream) 638.02/163.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 638.02/163.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 638.02/163.23 - locked <0x00000007b8496ef0> (a java.io.BufferedInputStream) 638.02/163.23 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 638.02/163.23 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 638.02/163.23 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 638.02/163.23 - locked <0x00000007b8496698> (a java.io.InputStreamReader) 638.02/163.23 at java.io.InputStreamReader.read(InputStreamReader.java:184) 638.02/163.23 at java.io.Reader.read(Reader.java:100) 638.02/163.23 at java.util.Scanner.readInput(Scanner.java:804) 638.02/163.23 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 638.02/163.23 at java.util.Scanner.hasNextLine(Scanner.java:1500) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 638.02/163.23 638.02/163.23 "Thread-2552" #2590 daemon prio=6 os_prio=0 tid=0x00002acad4018800 nid=0x91a8 runnable [0x00002acab6a2c000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 at java.io.FileInputStream.readBytes(Native Method) 638.02/163.23 at java.io.FileInputStream.read(FileInputStream.java:255) 638.02/163.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 638.02/163.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 638.02/163.23 - locked <0x00000007b849ed38> (a java.lang.UNIXProcess$ProcessPipeInputStream) 638.02/163.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 638.02/163.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 638.02/163.23 - locked <0x00000007b849f6a0> (a java.io.BufferedInputStream) 638.02/163.23 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 638.02/163.23 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 638.02/163.23 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 638.02/163.23 - locked <0x00000007b849ee48> (a java.io.InputStreamReader) 638.02/163.23 at java.io.InputStreamReader.read(InputStreamReader.java:184) 638.02/163.23 at java.io.Reader.read(Reader.java:100) 638.02/163.23 at java.util.Scanner.readInput(Scanner.java:804) 638.02/163.23 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 638.02/163.23 at java.util.Scanner.hasNextLine(Scanner.java:1500) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 638.02/163.23 638.02/163.23 "Thread-2541" #2571 daemon prio=6 os_prio=0 tid=0x00002acb68002800 nid=0x9175 runnable [0x00002aca938d1000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 at java.io.FileInputStream.readBytes(Native Method) 638.02/163.23 at java.io.FileInputStream.read(FileInputStream.java:255) 638.02/163.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 638.02/163.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 638.02/163.23 - locked <0x00000007b84a6d38> (a java.lang.UNIXProcess$ProcessPipeInputStream) 638.02/163.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 638.02/163.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 638.02/163.23 - locked <0x00000007b84a76a0> (a java.io.BufferedInputStream) 638.02/163.23 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 638.02/163.23 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 638.02/163.23 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 638.02/163.23 - locked <0x00000007b84a6e48> (a java.io.InputStreamReader) 638.02/163.23 at java.io.InputStreamReader.read(InputStreamReader.java:184) 638.02/163.23 at java.io.Reader.read(Reader.java:100) 638.02/163.23 at java.util.Scanner.readInput(Scanner.java:804) 638.02/163.23 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 638.02/163.23 at java.util.Scanner.hasNextLine(Scanner.java:1500) 638.02/163.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 638.02/163.23 638.02/163.23 "Thread-2534" #2570 daemon prio=6 os_prio=0 tid=0x00002acb68001800 nid=0x9173 runnable [0x00002aca93fd8000] 638.02/163.23 java.lang.Thread.State: RUNNABLE 638.02/163.23 at java.io.FileInputStream.readBytes(Native Method) 638.02/163.23 at java.io.FileInputStream.read(FileInputStream.java:255) 638.02/163.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to C 2019-03-28 11.48