details

property	value
status	timeout (wallclock)
benchmark	sorting_bubblesort_true-unreach-call_ground.c
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
space	SV-COMP_Mixed_Categories

run statistics

property	value
solver	AProVE
configuration	c
runtime (wallclock)	300.094 seconds
cpu usage	1000.21
user time	976.42
system time	23.79
max virtual memory	4.6492368E7
max residence set size	6030572.0

stage attributes

unavailable

output

/export/starexec/sandbox2/solver/bin/starexec_run_c: line 3: 57229 Alarm clock LD_LIBRARY_PATH=../lib:../c_lib:$LD_LIBRARY_PATH PATH=.:$PATH T2_PATH=../t2 C_INCLUDE_PATH=../fake_include ../jre/bin/java -Xmx14G -Xms14G -ea -cp ../jre/lib -jar ../aprove.jar -m wst -w 4 -p plain $1 2> /dev/null popout

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

job log

popout

actions

all output return to C