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)	208.941 seconds
cpu usage	809.09
user time	788.86
system time	20.23
max virtual memory	2.98149052E8
max residence set size	1400.0

stage attributes

unavailable

output

2020-06-22 03:06:22 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): "Thread-8802" #8824 daemon prio=6 os_prio=0 tid=0x00002b9a28006000 nid=0x341b runnable [0x0000000000000000] java.lang.Thread.State: RUNNABLE "Thread-8714" #8823 daemon prio=6 os_prio=0 tid=0x00002b9a28008000 nid=0x3419 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-8800" #8822 daemon prio=6 os_prio=0 tid=0x00002b99ec010800 nid=0x3418 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-8715" #8821 daemon prio=6 os_prio=0 tid=0x00002b99ec001800 nid=0x3416 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-8798" #8820 daemon prio=6 os_prio=0 tid=0x00002b99e401d000 nid=0x3415 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-8716" #8819 daemon prio=6 os_prio=0 tid=0x00002b99e401a000 nid=0x3413 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-8796" #8818 daemon prio=6 os_prio=0 tid=0x00002b99f4011800 nid=0x3412 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-8717" #8817 daemon prio=6 os_prio=0 tid=0x00002b99f4006000 nid=0x3410 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-8794" #8816 daemon prio=6 os_prio=0 tid=0x00002b996c00c800 nid=0x340f runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-8718" #8815 daemon prio=6 os_prio=0 tid=0x00002b996c011000 nid=0x340d runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-8792" #8814 daemon prio=6 os_prio=0 tid=0x00002b997c014000 nid=0x340c runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-8719" #8813 daemon prio=6 os_prio=0 tid=0x00002b997c019800 nid=0x340a runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-8791" #8812 daemon prio=6 os_prio=0 tid=0x00002b998400d800 nid=0x3409 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-8720" #8811 daemon prio=6 os_prio=0 tid=0x00002b9984005000 nid=0x3408 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-8721" #8810 daemon prio=6 os_prio=0 tid=0x00002b99e4003000 nid=0x3406 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-8788" #8809 daemon prio=6 os_prio=0 tid=0x00002b99c8025000 nid=0x3405 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-8722" #8808 daemon prio=6 os_prio=0 tid=0x00002b99c8024800 nid=0x3404 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-8723" #8807 daemon prio=6 os_prio=0 tid=0x00002b99f4008800 nid=0x3402 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-8784" #8806 daemon prio=6 os_prio=0 tid=0x00002b993826b800 nid=0x3401 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-8724" #8805 daemon prio=6 os_prio=0 tid=0x00002b993826d000 nid=0x33ff runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-8782" #8804 daemon prio=6 os_prio=0 tid=0x00002b99ec00f800 nid=0x33fe runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-8726" #8803 daemon prio=6 os_prio=0 tid=0x00002b99ec00e800 nid=0x33fc runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-8781" #8802 daemon prio=6 os_prio=0 tid=0x00002b9a64009800 nid=0x33fb runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-8729" #8800 daemon prio=6 os_prio=0 tid=0x00002b9a64003800 nid=0x33fa runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-8730" #8799 daemon prio=6 os_prio=0 tid=0x00002b9a68003800 nid=0x33f9 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-8731" #8798 daemon prio=6 os_prio=0 tid=0x00002b9a64002000 nid=0x33f8 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-8732" #8797 daemon prio=6 os_prio=0 tid=0x00002b99a0298000 nid=0x33f6 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-8775" #8796 daemon prio=6 os_prio=0 tid=0x00002b9a18007000 nid=0x33f5 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-8733" #8795 daemon prio=6 os_prio=0 tid=0x00002b9a18003000 nid=0x33f3 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-8774" #8794 daemon prio=6 os_prio=0 tid=0x00002b9a60006800 nid=0x33f2 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-8735" #8793 daemon prio=6 os_prio=0 tid=0x00002b9a60005000 nid=0x33f1 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-8736" #8792 daemon prio=6 os_prio=0 tid=0x00002b998800e000 nid=0x33ef runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-8770" #8791 daemon prio=6 os_prio=0 tid=0x00002b9a1c012000 nid=0x33ee runnable [0x0000000000000000] popout

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

job log

popout

actions

all output return to C