Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
C pair #487094588
details
property
value
status
memout
benchmark
ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_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)
90.0245 seconds
cpu usage
341.43
user time
332.17
system time
9.26
max virtual memory
1.47714476E8
max residence set size
1404.0
stage attributes
unavailable
output
2020-06-22 05:07:19 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): "Thread-3779" #3797 daemon prio=6 os_prio=0 tid=0x00002b929c007000 nid=0x6dce runnable [0x0000000000000000] java.lang.Thread.State: RUNNABLE "Thread-3760" #3796 daemon prio=6 os_prio=0 tid=0x00002b929c006800 nid=0x6dcc runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-3761" #3795 daemon prio=6 os_prio=0 tid=0x00002b9250002000 nid=0x6dcb runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-3763" #3794 daemon prio=6 os_prio=0 tid=0x00002b927c001000 nid=0x6dc9 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-3775" #3793 daemon prio=6 os_prio=0 tid=0x00002b926c001800 nid=0x6dc8 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-3765" #3792 daemon prio=6 os_prio=0 tid=0x00002b926c001000 nid=0x6dc6 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-3774" #3791 daemon prio=6 os_prio=0 tid=0x00002b91bc011000 nid=0x6dc5 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-3771" #3790 daemon prio=6 os_prio=0 tid=0x00002b91bc00e800 nid=0x6dc4 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-3767" #3788 daemon prio=6 os_prio=0 tid=0x00002b92a0003800 nid=0x6dc2 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-3742" #3785 daemon prio=6 os_prio=0 tid=0x00002b9274001000 nid=0x6dc1 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-3769" #3787 daemon prio=6 os_prio=0 tid=0x00002b9248003000 nid=0x6dbf runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-3768" #3786 daemon prio=6 os_prio=0 tid=0x00002b91bc010000 nid=0x6dbe runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-3748" #3774 daemon prio=6 os_prio=0 tid=0x00002b929c005800 nid=0x6dab runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-3754" #3773 daemon prio=6 os_prio=0 tid=0x00002b91f0a9f800 nid=0x6daa runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-3750" #3771 daemon prio=6 os_prio=0 tid=0x00002b91f0edb000 nid=0x6da8 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-3752" #3770 daemon prio=6 os_prio=0 tid=0x00002b9244011800 nid=0x6da7 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-3751" #3769 daemon prio=6 os_prio=0 tid=0x00002b9244002000 nid=0x6da5 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-3739" #3764 daemon prio=6 os_prio=0 tid=0x00002b9294007000 nid=0x6da4 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-3740" #3768 daemon prio=6 os_prio=0 tid=0x00002b91f42e0000 nid=0x6da3 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-3741" #3767 daemon prio=6 os_prio=0 tid=0x00002b91c400c000 nid=0x6d99 runnable [0x00002b91c3f83000] java.lang.Thread.State: RUNNABLE at java.io.FileInputStream.readBytes(Native Method) at java.io.FileInputStream.read(FileInputStream.java:255) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x00000007bc087160> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x0000000698d46850> (a java.io.BufferedInputStream) at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) - locked <0x0000000698d48910> (a java.io.InputStreamReader) at java.io.InputStreamReader.read(InputStreamReader.java:184) at java.io.Reader.read(Reader.java:100) at java.util.Scanner.readInput(Scanner.java:804) at java.util.Scanner.findWithinHorizon(Scanner.java:1685) at java.util.Scanner.hasNextLine(Scanner.java:1500) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) "Thread-3719" #3749 daemon prio=6 os_prio=0 tid=0x00002b91c400b000 nid=0x6d97 runnable [0x00002b91d0301000] java.lang.Thread.State: RUNNABLE at java.io.FileInputStream.readBytes(Native Method) at java.io.FileInputStream.read(FileInputStream.java:255) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x00000007bbf51580> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x000000069c2370e0> (a java.io.BufferedInputStream) at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) - locked <0x000000069c2391a0> (a java.io.InputStreamReader) at java.io.InputStreamReader.read(InputStreamReader.java:184) at java.io.Reader.read(Reader.java:100) at java.util.Scanner.readInput(Scanner.java:804) at java.util.Scanner.findWithinHorizon(Scanner.java:1685) at java.util.Scanner.hasNextLine(Scanner.java:1500)
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to C