details

property	value
status	memout
benchmark	min_rf_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)	51.725 seconds
cpu usage	135.45
user time	132.68
system time	2.77
max virtual memory	3.16385396E8
max residence set size	1408.0

stage attributes

unavailable

output

97.43/42.04 2019-03-28 12:03:56 97.43/42.04 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 97.43/42.04 97.43/42.04 "Thread-143" #165 daemon prio=6 os_prio=0 tid=0x00002ac49000b800 nid=0xc400 runnable [0x0000000000000000] 97.43/42.04 java.lang.Thread.State: RUNNABLE 97.43/42.04 97.43/42.04 "Thread-142" #163 daemon prio=6 os_prio=0 tid=0x00002ac490003000 nid=0xc3ff runnable [0x00002ac3d77f9000] 97.43/42.04 java.lang.Thread.State: RUNNABLE 97.43/42.04 at java.io.FileInputStream.readBytes(Native Method) 97.43/42.04 at java.io.FileInputStream.read(FileInputStream.java:255) 97.43/42.04 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 97.43/42.04 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 97.43/42.04 - locked <0x00000006b01439d8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 97.43/42.04 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 97.43/42.04 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 97.43/42.04 - locked <0x000000072409a948> (a java.io.BufferedInputStream) 97.43/42.04 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 97.43/42.04 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 97.43/42.04 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 97.43/42.04 - locked <0x000000072409ca08> (a java.io.InputStreamReader) 97.43/42.04 at java.io.InputStreamReader.read(InputStreamReader.java:184) 97.43/42.04 at java.io.Reader.read(Reader.java:100) 97.43/42.04 at java.util.Scanner.readInput(Scanner.java:804) 97.43/42.04 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 97.43/42.04 at java.util.Scanner.hasNextLine(Scanner.java:1500) 97.43/42.04 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 97.43/42.04 97.43/42.04 "Thread-140" #160 daemon prio=6 os_prio=0 tid=0x00002ac43c005000 nid=0xc3fe runnable [0x00002ac3d76f8000] 97.43/42.04 java.lang.Thread.State: RUNNABLE 97.43/42.04 at java.io.FileInputStream.readBytes(Native Method) 97.43/42.04 at java.io.FileInputStream.read(FileInputStream.java:255) 97.43/42.04 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 97.43/42.04 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 97.43/42.04 - locked <0x0000000699fee660> (a java.lang.UNIXProcess$ProcessPipeInputStream) 97.43/42.04 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 97.43/42.04 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 97.43/42.04 - locked <0x0000000721e4f2b0> (a java.io.BufferedInputStream) 97.43/42.04 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 97.43/42.04 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 97.43/42.04 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 97.43/42.04 - locked <0x0000000721e51370> (a java.io.InputStreamReader) 97.43/42.04 at java.io.InputStreamReader.read(InputStreamReader.java:184) 97.43/42.04 at java.io.Reader.read(Reader.java:100) 97.43/42.04 at java.util.Scanner.readInput(Scanner.java:804) 97.43/42.04 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 97.43/42.04 at java.util.Scanner.hasNextLine(Scanner.java:1500) 97.43/42.04 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 97.43/42.04 97.43/42.04 "Thread-137" #159 daemon prio=6 os_prio=0 tid=0x00002ac420024000 nid=0xc3fd runnable [0x00002ac3d75f7000] 97.43/42.04 java.lang.Thread.State: RUNNABLE 97.43/42.04 at java.io.FileInputStream.readBytes(Native Method) 97.43/42.04 at java.io.FileInputStream.read(FileInputStream.java:255) 97.43/42.04 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 97.43/42.04 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 97.43/42.04 - locked <0x0000000698b73c70> (a java.lang.UNIXProcess$ProcessPipeInputStream) 97.43/42.04 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 97.43/42.04 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 97.43/42.04 - locked <0x000000071f4cd8f0> (a java.io.BufferedInputStream) 97.43/42.04 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 97.43/42.04 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 97.43/42.04 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 97.43/42.04 - locked <0x000000071f4cf9b0> (a java.io.InputStreamReader) 97.43/42.04 at java.io.InputStreamReader.read(InputStreamReader.java:184) 97.43/42.04 at java.io.Reader.read(Reader.java:100) 97.43/42.04 at java.util.Scanner.readInput(Scanner.java:804) 97.43/42.04 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 97.43/42.04 at java.util.Scanner.hasNextLine(Scanner.java:1500) 97.43/42.04 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 97.43/42.04 97.43/42.04 "Thread-136" #158 daemon prio=6 os_prio=0 tid=0x00002ac438006800 nid=0xc3fc runnable [0x00002ac3d74f7000] 97.43/42.04 java.lang.Thread.State: RUNNABLE 97.43/42.04 at java.io.FileInputStream.readBytes(Native Method) 97.43/42.04 at java.io.FileInputStream.read(FileInputStream.java:255) 97.43/42.04 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 97.43/42.04 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 97.43/42.04 - locked <0x000000069adfdc08> (a java.lang.UNIXProcess$ProcessPipeInputStream) 97.43/42.04 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 97.43/42.04 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 97.43/42.04 - locked <0x000000071d282258> (a java.io.BufferedInputStream) 97.43/42.04 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 97.43/42.04 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 97.43/42.04 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 97.43/42.04 - locked <0x000000071d284318> (a java.io.InputStreamReader) 97.43/42.04 at java.io.InputStreamReader.read(InputStreamReader.java:184) 97.43/42.04 at java.io.Reader.read(Reader.java:100) 97.43/42.04 at java.util.Scanner.readInput(Scanner.java:804) 97.43/42.04 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 97.43/42.04 at java.util.Scanner.hasNextLine(Scanner.java:1500) 97.43/42.04 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 97.43/42.04 97.43/42.04 "Thread-134" #156 daemon prio=6 os_prio=0 tid=0x00002ac438004800 nid=0xc3fa runnable [0x00002ac3d73f6000] 97.43/42.04 java.lang.Thread.State: RUNNABLE 97.43/42.04 at java.io.FileInputStream.readBytes(Native Method) 97.43/42.04 at java.io.FileInputStream.read(FileInputStream.java:255) 97.43/42.04 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 97.43/42.04 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 97.43/42.04 - locked <0x000000069adfbb48> (a java.lang.UNIXProcess$ProcessPipeInputStream) 97.43/42.04 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 97.43/42.04 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 97.43/42.04 - locked <0x000000071b036bc0> (a java.io.BufferedInputStream) popout

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

job log

popout

actions

all output return to C 2019-03-28 11.48